Combination of pulsed corona discharge with TiO2 photocatalysis: verification of hypothesis

The oxidation potential of pulsed corona discharge concerning aqueous impurities is limited in respect to certain refractory compounds. This may be enhanced in combination of the discharge with catalysis/photocatalysis as developed in homogeneous gas-phase reactions. The objective of the work consists of testing the hypothesis of oxidation potential enhancement in combination of the discharge with TiO2 photocatalysis applied to aqueous solutions of refractory oxalate. Meglumine acridone acetate was included for meeting the practical needs. The experimental research was undertaken into oxidation of aqueous solutions under conditions of various target pollutant concentrations, pH and the pulse repetition rate with plain electrodes and the electrodes with TiO2 attached to their surface. The results showed no positive influence of the photocatalyst, the pollutants were oxidized with the rate identical within the accuracy of measurements. The possible explanation for the observed inefficiency may include low UV irradiance, screening effect of water and generally low oxidation rate in photocatalytic reactions. Further studies might include combination of electric discharge with ozone decomposition/radical formation catalysts.

A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

Introduction of the T-10 static line parachuting capability to the NH90 helicopter

The purpose of this study was to investigate the suitability of the Finnish Defence Forces’ NH90 helicopter for parachuting operations with the T-10 static line parachute system. The work was based on the Army Command’s need to compensate for the reduction in the outsourced flight hours for the military static line parachuting training. The aim of the research was to find out the procedures and limitations with which the NH90 IOC+ or FOC version helicopter could be used for static line parachutist training with the T- 10B/MC1-1C parachutes. The research area was highly complicated and non-linear. Thus analytical methods could not be applied with sufficient confidence, even with present-day computing power. Therefore an empirical research method was selected, concentrating on flight testing supported with literature study and some calculated estimations. During three flights and 4.5 flight hours in Utti, Finland on 17−20 September 2012, a total of 44 parachute drops were made. These consisted of 16 dummy drops and 28 paratrooper jumps. The test results showed that when equipped with the floor mounted PASI-1 anchor line, the deflector bar of the NHIndustries’ Parachuting Kit and Patria’s floor protection panels the Finnish NH90 variant could be safely used for T-10B/MC1-1C static line parachuting operations from the right cabin door at airspeed range of 50−80 KIAS (∼90–150 km/h). The ceiling mounted anchor lines of the NHI’s Parachuting Kit were not usable with the T-10 system. This was due to the static lines’ unsafe behaviour in slipstream when connected to the cabin ceiling level. In conclusion, the NH90 helicopter can be used to meet the Army Command’s requirement for an additional platform for T-10 static line parachutist training. Material dropping, the effect of additional equipment and jumping from the rear ramp should be further studied.

Reference values for lung function tests: I. Static volumes

Static lung volume (LV) measurements have a number of clinical and research applications; however, no previous studies have provided reference values for such tests using a healthy sample of the adult Brazilian population. With this as our main purpose, we prospectively evaluated 100 non-smoking subjects (50 males and 50 females), 20 to 80 years old, randomly selected from more than 8,000 individuals. Gender-specific linear prediction equations were developed by multiple regression analysis with total lung capacity (TLC), functional residual capacity (FRC), residual volume (RV), RV/TLC ratio and inspiratory capacity (IC) as dependent variables, and with age, height, weight, lean body mass and indexes of physical fitness as independent ones. Simpler demographic and anthropometric variables were as useful as more complex measurements in predicting LV values, independent of gender and age (R2 values ranging from 0.49 to 0.78, P<0.001). Interestingly, prediction equations from North American and European studies overestimated the LV at low volumes and underestimated them at high volumes (P<0.05). Our results, therefore, provide a more appropriate frame of reference to evaluate the normalcy of static lung volume values in Brazilian males and females aged 20 to 80 years.

Nitric oxide regulates angiotensin-I converting enzyme under static conditions but not under shear stress

Mechanical forces including pressure and shear stress play an important role in vascular homeostasis via the control of the production and release of a variety of vasoactive factors. An increase in vascular shear stress is accompanied by nitric oxide (NO) release and NO synthase activation. Previously, we have demonstrated that shear stress induces angiotensin-I converting enzyme (ACE) down-regulation in vivo and in vitro. In the present study, we determined whether NO participates in the shear stress-induced ACE suppression response. Rabbit aortic endothelial cells were evaluated using the NO synthase inhibitor L-NAME, and two NO donors, diethylamine NONOate (DEA/NO) and sodium nitroprusside (SNP). Under static conditions, incubation of endothelial cells with 1 mM L-NAME for 18 h increased ACE activity by 27% (from 1.000 ± 0.090 to 1.272 ± 0.182) while DEA/NO and SNP (0.1, 0.5 and 1 mM) caused no change in ACE activity. Interestingly, ACE activity was down-regulated similarly in the presence or absence of L-NAME (delta(0 mM) = 0.26 ± 0.055, delta(0.1 mM) = 0.21 ± 0.22, delta(1 mM) = 0.36 ± 0.13) upon 18 h shear stress activation (from static to 15 dyn/cm²). Taken together, these results indicate that NO can participate in the maintenance of basal ACE levels in the static condition but NO is not associated with the shear stress-induced inactivation of ACE.

Effect of frequency of static stretching on flexibility, hamstring tightness and electromyographic activity

We compared the effect of the number of weekly repetitions of a static stretching program on the flexibility, hamstring tightness and electromyographic activity of the hamstring and of the triceps surae muscles. Thirty-one healthy subjects with hamstring tightness, defined as the inability to perform total knee extension, and shortened triceps surae, defined by a tibiotarsal angle wider than 90° during trunk flexion, were divided into three groups: G1 performed the stretching exercises once a week; G2, three times a week, and G3, five times a week. The parameters were determined before and after the stretching program. Flexibility improved in all groups after intervention, from 7.65 ± 10.38 to 3.67 ± 12.08 in G1, from 10.73 ± 12.07 to 0.77 ± 10.45 in G2, and from 14.20 ± 10.75 to 6.85 ± 12.19 cm in G3 (P < 0.05 for all comparisons). The increase in flexibility was higher in G2 than in G1 (P = 0.018), while G2 and G3 showed no significant difference (G1: 4 ± 2.17, G2: 10 ± 5.27; G3: 7.5 ± 4.77 cm). Hamstring tightness improved in all groups, from 37.90 ± 6.44 to 29 ± 11.65 in G1, from 39.82 ± 9.63 to 21.91 ± 8.40 in G2, and from 37.20 ± 6.63 to 26.10 ± 5.72° in G3 (P < 0.05 for all comparisons). During stretching, a statistically significant difference was observed in electromyographic activity of biceps femoris muscle between G1 and G3 (P = 0.048) and G2 and G3 (P = 0.0009). No significant differences were found in electromyographic activity during maximal isometric contraction. Stretching exercises performed three times a week were sufficient to improve flexibility and range of motion compared to subjects exercising once a week, with results similar to those of subjects who exercised five times a week.

Automated static image analysis as a novel tool in describing the physical properties of dietary fiber

Abstract The growing interest in the usage of dietary fiber in food has caused the need to provide precise tools for describing its physical properties. This research examined two dietary fibers from oats and beets, respectively, in variable particle sizes. The application of automated static image analysis for describing the hydration properties and particle size distribution of dietary fiber was analyzed. Conventional tests for water holding capacity (WHC) were conducted. The particles were measured at two points: dry and after water soaking. The most significant water holding capacity (7.00 g water/g solid) was achieved by the smaller sized oat fiber. Conversely, the water holding capacity was highest (4.20 g water/g solid) in larger sized beet fiber. There was evidence for water absorption increasing with a decrease in particle size in regards to the same fiber source. Very strong correlations were drawn between particle shape parameters, such as fiber length, straightness, width and hydration properties measured conventionally. The regression analysis provided the opportunity to estimate whether the automated static image analysis method could be an efficient tool in describing the hydration properties of dietary fiber. The application of the method was validated using mathematical model which was verified in comparison to conventional WHC measurement results.

Simulation and material calibration of ultra high strength steel (UHSS) S960 welded joint under static tensile test utilizing finite element method (FEM)

The aim of this work was to calibrate the material properties including strength and strain values for different material zones of ultra-high strength steel (UHSS) welded joints under monotonic static loading. The UHSS is heat sensitive and softens by heat due to welding, the affected zone is heat affected zone (HAZ). In this regard, cylindrical specimens were cut out from welded joints of Strenx® 960 MC and Strenx® Tube 960 MH, were examined by tensile test. The hardness values of specimens’ cross section were measured. Using correlations between hardness and strength, initial material properties were obtained. The same size specimen with different zones of material same as real specimen were created and defined in finite element method (FEM) software with commercial brand Abaqus 6.14-1. The loading and boundary conditions were defined considering tensile test values. Using initial material properties made of hardness-strength correlations (true stress-strain values) as Abaqus main input, FEM is utilized to simulate the tensile test process. By comparing FEM Abaqus results with measured results of tensile test, initial material properties will be revised and reused as software input to be fully calibrated in such a way that FEM results and tensile test results deviate minimum. Two type of different S960 were used including 960 MC plates, and structural hollow section 960 MH X-joint. The joint is welded by BöhlerTM X96 filler material. In welded joints, typically the following zones appear: Weld (WEL), Heat affected zone (HAZ) coarse grained (HCG) and fine grained (HFG), annealed zone, and base material (BaM). Results showed that: The HAZ zone is softened due to heat input while welding. For all the specimens, the softened zone’s strength is decreased and makes it a weakest zone where fracture happens while loading. Stress concentration of a notched specimen can represent the properties of notched zone. The load-displacement diagram from FEM modeling matches with the experiments by the calibrated material properties by compromising two correlations of hardness and strength.

Static waves in corporate space : characterizing oscillating trading patterns in New York stock exchange

Various researches in the field of econophysics has shown that fluid flow have analogous phenomena in financial market behavior, the typical parallelism being delivered between energy in fluids and information on markets. However, the geometry of the manifold on which market dynamics act out their dynamics (corporate space) is not yet known. In this thesis, utilizing a Seven year time series of prices of stocks used to compute S&P500 index on the New York Stock Exchange, we have created local chart to the corporate space with the goal of finding standing waves and other soliton like patterns in the behavior of stock price deviations from the S&P500 index. By first calculating the correlation matrix of normalized stock price deviations from the S&P500 index, we have performed a local singular value decomposition over a set of four different time windows as guides to the nature of patterns that may emerge. I turns out that in almost all cases, each singular vector is essentially determined by relatively small set of companies with big positive or negative weights on that singular vector. Over particular time windows, sometimes these weights are strongly correlated with at least one industrial sector and certain sectors are more prone to fast dynamics whereas others have longer standing waves.

The effects of static and diurnally-cycling temperature acclimations on thermal tolerances of rainbow trout, Salmo gairdneri

:ofiedian lethal temperatures ( LT50' s ) were determined for rainbow trout, Salmo gairdnerii, acclimated for a minimum of 21 days at 5 c onstant temperatures between 4 and 20 0 C. and 2 diel temperature fluctuations ( sinewave curves of amplitudes ± 4 and ± 7 0 C. about a mean temperature of 12 0 C. ) . Twenty-four-, 48-, and 96-hour LT50 estimates were c alculated f ollowing standard flow-through aquatic bioassay techniques and probi t transformation of mortality data. The phenomenon of delayed thermal mortality was also investigated. Shifts in upper incipient lethal temperature occurred as a result of previous thermal conditioning. It was shown that increases in constant acclimation temperature result in proportional l inear increases in thermal tolerances. The increase i n estimated 96-hour LT50's was approximately 0.13 0 c. X 1 0 C:1 between 8 and 20 0 C. The effect of acclimation to both cyclic temperature regimes was an increase in LT50 to values between the mean and maximum constant equivalent daily temperatures of the cycles. Twenty-four-, 48-, and 96-hour LT50 estimates of both cycles corresponded approximately to the LT50 values of the 16 0 C. c onstant temperature equivalent . This increase i n thermal tolerance was further demonstrated by the delayed thermal mortality experiments . Cycle amplitudes appeared to i nfluence thermal resistance through alterations in initi al mortality since mortality patterns characteristic of base temperature acclimations re-appeared after approximately 68 hours exposure to test temperatures for the 12 + 4 0 C. group, whereas mortality patterns stabilized and remained constant for a period greater than 192 hours with the larger therma l cycle ( 12 + 7 0 C. ). NO s ignificant corre lations between s pecimen weight and time-to-death was apparent. Data are discussed in relation to the establishment of thermal criteria for important commercial and sport fishes , such as the salmonids , as is the question whether previously reported values on lethal temperature s may have been under estimated.

Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Energy-Efficient Cluster based Routing Schemes for Static and Mobile Sensor Networks

The theme of the thesis is centred around one important aspect of wireless sensor networks; the energy-efficiency.The limited energy source of the sensor nodes calls for design of energy-efficient routing protocols. The schemes for protocol design should try to minimize the number of communications among the nodes to save energy. Cluster based techniques were found energy-efficient. In this method clusters are formed and data from different nodes are collected under a cluster head belonging to each clusters and then forwarded it to the base station.Appropriate cluster head selection process and generation of desirable distribution of the clusters can reduce energy consumption of the network and prolong the network lifetime. In this work two such schemes were developed for static wireless sensor networks.In the first scheme, the energy wastage due to cluster rebuilding incorporating all the nodes were addressed. A tree based scheme is presented to alleviate this problem by rebuilding only sub clusters of the network. An analytical model of energy consumption of proposed scheme is developed and the scheme is compared with existing cluster based scheme. The simulation study proved the energy savings observed.The second scheme concentrated to build load-balanced energy efficient clusters to prolong the lifetime of the network. A voting based approach to utilise the neighbor node information in the cluster head selection process is proposed. The number of nodes joining a cluster is restricted to have equal sized optimum clusters. Multi-hop communication among the cluster heads is also introduced to reduce the energy consumption. The simulation study has shown that the scheme results in balanced clusters and the network achieves reduction in energy consumption.The main conclusion from the study was the routing scheme should pay attention on successful data delivery from node to base station in addition to the energy-efficiency. The cluster based protocols are extended from static scenario to mobile scenario by various authors. None of the proposals addresses cluster head election appropriately in view of mobility. An elegant scheme for electing cluster heads is presented to meet the challenge of handling cluster durability when all the nodes in the network are moving. The scheme has been simulated and compared with a similar approach.The proliferation of sensor networks enables users with large set of sensor information to utilise them in various applications. The sensor network programming is inherently difficult due to various reasons. There must be an elegant way to collect the data gathered by sensor networks with out worrying about the underlying structure of the network. The final work presented addresses a way to collect data from a sensor network and present it to the users in a flexible way.A service oriented architecture based application is built and data collection task is presented as a web service. This will enable composition of sensor data from different sensor networks to build interesting applications. The main objective of the thesis was to design energy-efficient routing schemes for both static as well as mobile sensor networks. A progressive approach was followed to achieve this goal.