A design environment for deadlock-free concurrent software

Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.

Development of a novel platform for high-throughput gene design and artificial gene synthesis to produce large libraries of recombinant venom peptides for drug discovery

Tese de Doutoramento em Ciências Veterinárias na Especialidade de Ciências Biológicas e Biomédicas

A Computer program for estimating population size by the removal method

A BASIC computer program (REMOVAL) was developed to compute in a VAXNMS environment all the calculations of the removal method for population size estimation (catch-effort method for closed populations with constant sampling effort). The program follows the maximum likelihood methodology,checks the failure conditions, applies the appropriate formula, and displays the estimates of population size and catchability, with their standard deviations and coefficients of variation, and two goodness-of-fit statistics with their significance levels. Data of removal experiments for the cyprinodontid fish Aphanius iberus in the Alt Emporda wetlands are used to exemplify the use of the program

EDTA- and DTPA-functionalized silica gel and chitosan adsorbents for the removal of heavy metals from aqueous solutions

Adsorbents functionalized with chelating agents are effective in removal of heavy metals from aqueous solutions. Important properties of such adsorbents are high binding affinity as well as regenerability. In this study, aminopolycarboxylic acid, EDTA and DTPA, were immobilized on the surface of silica gel, chitosan, and their hybrid materials to achieve chelating adsorbents for heavy metals such as Co(II), Ni(II), Cd(II), and Pb(II). New knowledge about the adsorption properties of EDTA- and DTPA-functionalizedadsorbents was obtained. Experimental work showed the effectiveness, regenerability, and stability of the studied adsorbents. Both advantages and disadvantages of the adsorbents were evaluated. For example, the EDTA-functionalized chitosan-silica hybrid materials combined the benefits of the silica gel and chitosan while at the same time diminishing their observed drawbacks. Modeling of adsorption kinetics and isotherms is an important step in design process. Therefore, several kinetic and isotherm models were introduced and applied in this work. Important aspects such as effect of error function, data range, initial guess values, and linearization were discussed and investigated. The selection of the most suitable model was conducted by comparing the experimental and simulated data as well as evaluating the correspondence between the theory behind the model and properties of the adsorbent. In addition, modeling of two-component data was conducted using various extended isotherms. Modeling results for both one- and twocomponent systems supported each other. Finally, application testing of EDTA- and DTPA-functionalized adsorbents was conducted. The most important result was the applicability of DTPA-functionalized silica gel and chitosan in the capturing of Co(II) from its aqueous EDTA-chelate. Moreover, these adsorbents were efficient in various solution matrices. In addition, separation of Ni(II) from Co(II) and Ni(II) and Pb(II) from Co(II) and Cd(II) was observed in two- and multimetal systems. Lastly, prior to their analysis, EDTA- and DTPA-functionalized silica gels were successfully used to preconcentrate metal ions from both pure and salty waters

The effects of manipulated augmented sensory feedback on error detection when using a touch screen

The purpose of the present study was to determine which augmented sensory modality would best develop subjective error-detection capabilities of learners performing a spatial-temporal task when using a touch screen monitor. Participants were required to learn a 5-digit key-pressing task in a goal time of 2550 ms over 100 acquisition trials on a touch screen. Participants were randomized into 1 of 4 groups: 1) visual-feedback (colour change of button when selected), 2) auditory-feedback (click sound when button was selected), 3) visual-auditory feedback (both colour change and click sound when button was selected), and 4) no-feedback (no colour change or click sound when button was selected). Following each trial, participants were required to provide a subjective estimate regarding their performance time in relation to the actual time it took for them complete the 5-digit sequence. A no-KR retention test was conducted approximately 24-hours after the last completed acquisition trial. Results showed that practicing a timing task on a touch screen augmented with both visual and auditory information may have differentially impacted motor skill acquisition such that removal of one or both sources of augmented feedback did not result in a severe detriment to timing performance or error detection capabilities of the learner. The present study reflects the importance of multimodal augmented feedback conditions to maximize cognitive abilities for developing a stronger motor memory for subjective error-detection and correction capabilities.

ECG Noise Removal using GA tuned Sign-Data Least Mean Square Algorithm

Adaptive filter is a primary method to filter Electrocardiogram (ECG), because it does not need the signal statistical characteristics. In this paper, an adaptive filtering technique for denoising the ECG based on Genetic Algorithm (GA) tuned Sign-Data Least Mean Square (SD-LMS) algorithm is proposed. This technique minimizes the mean-squared error between the primary input, which is a noisy ECG, and a reference input which can be either noise that is correlated in some way with the noise in the primary input or a signal that is correlated only with ECG in the primary input. Noise is used as the reference signal in this work. The algorithm was applied to the records from the MIT -BIH Arrhythmia database for removing the baseline wander and 60Hz power line interference. The proposed algorithm gave an average signal to noise ratio improvement of 10.75 dB for baseline wander and 24.26 dB for power line interference which is better than the previous reported works

Initial vegetation, and spore density, diversity and evenness of different arbuscular mycorrhizal fungi morphotaxa 29,36 and 39 months after experimental vegetation removal, central Argentina

1. Dominant plant functional types (PFTs) are expected to be primary determinants of communities of other above- and below-ground organisms. Here, we report the effects of the experimental removal of different PFTs on arbuscular mycorrhizal fungi (AMF) communities in a shrubland ecosystem in central Argentina. 2. On the basis of the biomass-ratio hypothesis and plant resource use strategy theory, we expected the effect of removal of PFTs on AMF colonization and spores to be proportional to the biomass removed and to be stronger when more conservative PFTs were removed. The treatments applied were: undisturbed control (no plant removed), disturbed control (mechanical disturbance), no shrub (removal of deciduous shrubs), no perennial forb (removal of perennial forbs), no graminoid (removal of graminoids) and no annual forb (removal of annual forbs). AMF colonization was assessed after 5,17 and 29 months. Total density of AMF spores, richness and evenness of morpho-taxa, and AMF functional groups were quantified after 5,17,29,36 and 39 months. 3. Five months after the initial removal we found a significant reduction in total AMF colonization in all plots subjected to PFT removals and in the disturbed control plots, as compared with the undisturbed controls. This effect disappeared afterwards and no subsequent effect on total colonization and colonization by arbuscules was observed. In contrast, a significant increase in colonization by vesicles was observed in months 17 and 29, mainly in no graminoid plots. In general, treatments did not significantly affect AMF spores in the soil. On the other hand, no annual forb promoted transient (12-18 months) higher ammonia availability, and no shrub promoted lower nitrate availability in the longer term (24-28 months). 4. Synthesis. Our experiment, the first to investigate the effects of the removal of different PFTs on AMF communities in natural ecosystems, indicates that AMF communities are resilient to changes in the soil and in the functional composition of vegetation. Furthermore, it does not provide consistent evidence in support of the biomass-ratio hypothesis or differential trait-based direct or indirect effects of different PFTs on AMF in this particular system.

Efficacy Of Ethylene-diamine-tetra-acetic Acid Associated With Chlorhexidine On Intracanal Medication Removal: A Scanning Electron Microscopy Study.

The aim of this study was to evaluate the effectiveness of 17% ethylene-diamine-tetra-acetic acid (EDTA) used alone or associated with 2% chlorhexidine gel (CHX) on intracanal medications (ICM) removal. Sixty single-rooted human teeth with fully formed apex were selected. The cervical and middle thirds of each canal were prepared with Gates Glidden drills and rotary files. The apical third was shaped with hand files. The specimens were randomly divided into two groups depending on the ICM used after instrumentation: calcium hydroxide Ca(OH)(2) +CHX or Ca(OH)(2) +sterile saline (SS). After seven days, each group was divided into subgroups according to the protocol used for ICM removal: instrumentation and irrigation either with EDTA, CHX+EDTA, or SS (control groups). All specimens were sectioned and processed for observation of the apical thirds by using scanning electron microscopy. Two calibrated evaluators attributed scores to each specimen. The differences between the protocols for ICM removal were analyzed with Kruskal-Wallis and Mann-Whitney U tests. Friedman and Wilcoxon signed rank tests were used for comparison between the score of debris obtained in each root canal third. Remains of Ca(OH)(2) were found in all specimens independently of the protocol and ICM used (P > 0.05). Seventeen percent EDTA showed the best results in removing ICM when used alone (P < 0.05), particularly in those associated with CHX. It was concluded that the chelating agent 17% EDTA significantly improved the removal of ICM when used alone. Furthermore, the type of the vehicle associated with Ca(OH)(2) also plays a role in the ICM removal.

Refractive Error In School Children In Campinas, Brazil.

77

Removal Of Glyphosate Herbicide From Water Using Biopolymer Membranes.

Enormous amounts of pesticides are manufactured and used worldwide, some of which reach soils and aquatic systems. Glyphosate is a non-selective herbicide that is effective against all types of weeds and has been used for many years. It can therefore be found as a contaminant in water, and procedures are required for its removal. This work investigates the use of biopolymeric membranes prepared with chitosan (CS), alginate (AG), and a chitosan/alginate combination (CS/AG) for the adsorption of glyphosate present in water samples. The adsorption of glyphosate by the different membranes was investigated using the pseudo-first order and pseudo-second order kinetic models, as well as the Langmuir and Freundlich isotherm models. The membranes were characterized regarding membrane solubility, swelling, mechanical, chemical and morphological properties. The results of kinetics experiments showed that adsorption equilibrium was reached within 4 h and that the CS membrane presented the best adsorption (10.88 mg of glyphosate/g of membrane), followed by the CS/AG bilayer (8.70 mg of glyphosate/g of membrane). The AG membrane did not show any adsorption capacity for this herbicide. The pseudo-second order model provided good fits to the glyphosate adsorption data on CS and CS/AG membranes, with high correlation coefficient values. Glyphosate adsorption by the membranes could be fitted by the Freundlich isotherm model. There was a high affinity between glyphosate and the CS membrane and moderate affinity in the case of the CS/AG membrane. Physico-chemical characterization of the membranes showed low values of solubility in water, indicating that the membranes are stable and not soluble in water. The SEM and AFM analysis showed evidence of the presence of glyphosate on CS membranes and on chitosan face on CS/AG membranes. The results showed that the glyphosate herbicide can be adsorbed by chitosan membranes and the proposed membrane-based methodology was successfully used to treat a water sample contaminated with glyphosate. Biopolymer membranes therefore potentially offer a versatile method to eliminate agricultural chemicals from water supplies.

Cinética de remoção de lactato na definição de pausas para treinamento intervalado de alta intensidade

Universidade Estadual de Campinas . Faculdade de Educação Física

Effects of the unilateral removal and dissection of the masseter muscle on the facial growth of young rats

This study analyzed the effects of the unilateral removal and dissection of the masseter muscle on the facial growth of young rats. A total of 30 one-month-old Wistar rats were used. Unilateral complete removal of the masseter muscle was performed in the removal group, and detachment followed by repositioning of the masseter muscle was performed in the dissection group, while only surgical access was performed in the sham-operated group. The animals were sacrificed at three months of age. Axial radiographic projections of the skulls and lateral projections of the hemimandibles were taken. Cephalometric evaluations were made and the values obtained were submitted to statistical analyses. In the removal group, there were contour alterations of the angular process, and a significant homolateral difference in the length of the maxilla and a significant bilateral difference in the height of the mandibular body and the length of the mandible were observed. Comparison among groups revealed significance only in the removal group. It was concluded that the experimental removal of the masseter muscle during the growing period in rats induced atrophic changes in the angular process, as well as asymmetry of the maxilla and shortening of the whole mandible.