Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

An Environmental Friendly Procedure for Photometric Determination of Hypochlorite in Tap Water Employing a Miniaturized Multicommuted Flow Analysis Setup

A photometric procedure for the determination of ClO(-) in tap water employing a miniaturized multicommuted flow analysis setup and an LED-based photometer is described. The analytical procedure was implemented using leucocrystal violet (LCV; 4,4', 4 ''-methylidynetris (N, N-dimethylaniline), C(25)H(31)N(3)) as a chromogenic reagent. Solenoid micropumps employed for solutions propelling were assembled together with the photometer in order to compose a compact unit of small dimensions. After control variables optimization, the system was applied for the determination of ClO(-) in samples of tap water, and aiming accuracy assessment samples were also analyzed using an independent method. Applying the paired t-test between results obtained using both methods, no significant difference at the 95% confidence level was observed. Other useful features include low reagent consumption, 2.4 mu g of LCV per determination, a linear response ranging from 0.02 up to 2.0 mg L(-1) ClO(-), a relative standard deviation of 1.0% (n = 11) for samples containing 0.2 mg L(-1) ClO(-), a detection limit of 6.0 mu g L(-1) ClO(-), a sampling throughput of 84 determinations per hour, and a waste generation of 432 mu L per determination.

VARIATION IN STOMATAL NUMBERS OF GLOSSOPTERIS LEAVES FROM THE LOWER PERMIAN OF PARANA BASIN, BRAZIL

The stomatal density and index in compressed leaves of Glossopteris communis from two different roof shales from the Lower Permian in Parana Basin, Brazil (Western Gondwana) have been investigated to test the possible relationship with modeled global changes in atmospheric CO(2) during the Phanerozoic. The obtained parameters show that the genus Glossopteris from the Cool Temperate biome can be used as CO(2) -proxy, despite the impossibility of being compared with living relatives or equivalents. When confronted with already published data for the Tropical Summer Wet biome, the present results confirm the detection of low levels of atmospheric CO(2) during the Early Permian, as predicted by the modeled curve. Nevertheless, the lower stomatal numbers detected at the climax of the coal interval (Faxinal Coalfield, Sakmarian) when compared to the higher ones obtained in leaves from a younger interval (Figueira Coalfield, Artinskian) could be attributed to temporarily high levels of atmospheric CO(2). Therefore, the occurrence of an extensive peat generating event at the southern part of the basin and subsequent greenhouse gases emissions from this environment may have been enough to reverse regionally and temporarily the reduction trend in atmospheric CO(2). Additionally, the Faxinal flora is preserved in a tonstein layer, which is a record of volcanic activity that could also cause a rise in atmospheric CO(2). During the Artinskian, the scarce generation of peat mires, as revealed by the occurrence of thin and discontinuous coal layers, and the lack of volcanism evidence would be insufficient to affect the general low CO(2) trend.

Direct evidence of singlet molecular oxygen generation from peroxynitrate, a decomposition product of peroxynitrite

The decomposition of peroxynitrite to nitrite and dioxygen at neutral pH follows complex kinetics, compared to its isomerization to nitrate at low pH. Decomposition may involve radicals or proceed by way of the classical peracid decomposition mechanism. Peroxynitrite (ONOOH/ONOO(-)) decomposition has been proposed to involve formation of peroxynitrate (O(2)NOOH/O(2)NOO(-)) at neutral pH (D. Gupta, B. Harish, R. Kissner and W. H. Koppenol, Dalton Trans., 2009, DOI: 10.1039/b905535e, see accompanying paper in this issue). Peroxynitrate is unstable and decomposes to nitrite and dioxygen. This study aimed to investigate whether O(2)NOO(-) formed upon ONOOH/ONOO(-) decomposition generates singlet molecular oxygen [O(2) ((1)Delta(g))]. As unequivocally revealed by the measurement of monomol light emission in the near infrared region at 1270 nm and by chemical trapping experiments, the decomposition of ONOO(-) or O(2)NOOH at neutral to alkaline pH generates O(2) ((1)Delta(g)) at a yield of ca. 1% and 2-10%, respectively. Characteristic light emission, corresponding to O(2) ((1)Delta(g)) monomolecular decay was observed for ONOO(-) and for O(2)NOOH prepared by reaction of H(2)O(2) with NO(2)BF(4) and of H(2)O(2) with NO(2)(-) in HClO(4). The generation of O(2) ((1)Delta(g)) from ONOO(-) increased in a concentration-dependent manner in the range of 0.1-2.5 mM and was dependent on pH, giving a sigmoid pro. le with an apparent pK(a) around pD 8.1 (pH 7.7). Taken together, our results clearly identify the generation of O(2) ((1)Delta(g)) from peroxynitrate [O(2)NOO(-) -> NO(2)(-) + O(2) ((1)Delta(g))] generated from peroxynitrite and also from the reactions of H(2)O(2) with either NO(2)BF(4) or NO(2)(-) in acidic media.

Nanogravimetric and voltammetric studies of a Pt-Rh alloy surface and its behavior for methanol oxidation

This paper describes the preparation of a Pt-Rh alloy surface electrodeposited on Pt electrodes and its electrocatalytic characterization for methanol oxidation. The X-ray photoelectronic spectroscopy ( XPS) results demonstrate that the surface composition is approximately 24 at-% Rh and 76 % Pt. The cyclic voltammetry (CV) and electrochemical quartz crystal (EQCN) results for the alloy were associated, for platinum, to the well known profile in acidic medium. For Rh, on the alloy, the generation of rhodium hydroxide species (Rh(OH)(3) and RhO(OH)(3)) was measured. During the successive oxidation-reduction cycles the mass returns to its original value, indicating the reversibility of the processes. It was not observed rhodium dissolution during the cycling. The 76/24 at % Pt-Rh alloy presented singular electrocatalytic activity for methanol electrooxidation, which started at more negative potentials compared to pure Pt (70 mV). During the sweep towards more negative potentials, there is only weak CO re-adsorption on both Rh and Pt-Rh alloy surfaces, which can be explained by considering the interaction energy between Rh and CO.

Lignocellulosic polysaccharides and lignin degradation by wood decay fungi: the relevance of nonenzymatic Fenton-based reactions

The brown rot fungus Wolfiporia cocos and the selective white rot fungus Perenniporia medulla-panis produce peptides and phenolate-derivative compounds as low molecular weight Fe(3+)-reductants. Phenolates were the major compounds with Fe(3+)-reducing activity in both fungi and displayed Fe(3+)-reducing activity at pH 2.0 and 4.5 in the absence and presence of oxalic acid. The chemical structures of these compounds were identified. Together with Fe(3+) and H(2)O(2) (mediated Fenton reaction) they produced oxygen radicals that oxidized lignocellulosic polysaccharides and lignin extensively in vitro under conditions similar to those found in vivo. These results indicate that, in addition to the extensively studied Gloeophyllum trabeum-a model brown rot fungus-other brown rot fungi as well as selective white rot fungi, possess the means to promote Fenton chemistry to degrade cellulose and hemicellulose, and to modify lignin. Moreover, new information is provided, particularly regarding how lignin is attacked, and either repolymerized or solubilized depending on the type of fungal attack, and suggests a new pathway for selective white rot degradation of wood. The importance of Fenton reactions mediated by phenolates operating separately or synergistically with carbohydrate-degrading enzymes in brown rot fungi, and lignin-modifying enzymes in white rot fungi is discussed. This research improves our understanding of natural processes in carbon cycling in the environment, which may enable the exploration of novel methods for bioconversion of lignocellulose in the production of biofuels or polymers, in addition to the development of new and better ways to protect wood from degradation by microorganisms.

Evaluation of Adaptive Genetic Algorithm to Environmental Modeling of Peponapis and Cucurbita

This paper presents a free software tool that supports the next-generation Mobile Communications, through the automatic generation of models of components and electronic devices based on neural networks. This tool enables the creation, training, validation and simulation of the model directly from measurements made on devices of interest, using an interface totally oriented to non-experts in neural models. The resulting model can be exported automatically to a traditional circuit simulator to test different scenarios.

Combined production of sugar, ethanol and electricity: Thermoeconomic and environmental analysis and optimization

Many works have shown the potential of the Brazilian sugarcane industry as an electricity supplier. However, few studies have studied how this potential could be achieved without jeopardizing the production of sugar and ethanol. Also, the impact of modifications in the cogeneration plant on the costs of production of sugar and ethanol has not been evaluated. This paper presents an approach to the problem of exergy optimization of cogeneration systems in sugarcane mills. A general model to the sugar and ethanol production processes is developed based on data supplied by a real plant, and an exergy analysis is performed. A discussion is made about the variables that most affect the performance of the processes. Then, a procedure is presented to evaluate modifications in the cogeneration system and in the process, and their impact on the production costs of sugar, ethanol and electricity. Furthermore, a discussion on the renewability of processes is made based on an exergy index of renewability. As a general conclusion, besides adding a new revenue to the mill, the generation of excess electricity improves the exergo-environmental performance of the mill as a whole. (C) 2010 Elsevier Ltd. All rights reserved.

Degradation of Poly(ethylene glycol) in Aqueous Solution by Photo-Fenton and H(2)O(2)/UV Processes

This article reports experimental results obtained in a laboratory-scale photochemical reactor on the photodegradation of poly(ethylene glycol) (PEG) in aqueous solutions by means of the photo-Fenton and H(2)O(2)/UV processes. Dilute water solutions of PEG were fed to a batch reactor, mixed with pertinent reactants, and allowed to react under different conditions. Reaction progress was evaluated by sampling and analyzing the concentration of the total organic carbon (TOC) in solution as a function of the reaction time. Organic acids formed during oxidation were determined by HPLC analyses. The main acids detected in both processes were acetic and formic. Glycolic acid was detected only in the photo-Fenton process, and malonic acid was detected only in the H(2)O(2)/UV treatment, indicating that different reaction paths occur in these processes. The characteristics of both processes are discussed, based on the evolution of the TOC-time curves and the concentration profiles of the monitored organic acids. The experimental results constitute a contribution to the design of industrial processes for the treatment of wastewaters containing soluble polymers with similar properties.

Coalescence of Water Droplets in Crude Oil Emulsions: Analytical Solution

In petroleum refineries, water is used in desalting units to remove the salt contained in crude oil. Typically, 7% of the volume of hot crude oil is water, forming a water-and-oil emulsion. The emulsion flows between two electrodes and is subjected to an electric field. The electrical forces promote the coalescence of small droplets of water dispersed in crude oil, and these form bigger droplets. This paper calculates the forces acting on the droplets, highlighting particularly the mechanisms proposed for droplet-droplet coalescence under the influence of an applied electric field. Moreover, a model is developed in order to calculate the displacement speed of the droplets and the time between droplet collisions. Thus, it is possible to simulate and optimize the process by changing the operational variables (temperature, electrical field, and water quantity). The main advantage of this study is to show that it is feasible to increase the volume of water recycled in desalting processes, thus reducing the use of freshwater and the generation of liquid effluents in refineries.

Molecular modeling and QSAR studies of a set of indole and benzimidazole derivatives as H(4) receptor antagonists

Histamine is an important biogenic amine, which acts with a group of four G-protein coupled receptors (GPCRs), namely H(1) to H(4) (H(1)R - H(4)R) receptors. The actions of histamine at H(4)R are related to immunological and inflammatory processes, particularly in pathophysiology of asthma, and H(4)R ligands having antagonistic properties could be helpful as antiinflammatory agents. In this work, molecular modeling and QSAR studies of a set of 30 compounds, indole and benzimidazole derivatives, as H(4)R antagonists were performed. The QSAR models were built and optimized using a genetic algorithm function and partial least squares regression (WOLF 5.5 program). The best QSAR model constructed with training set (N = 25) presented the following statistical measures: r (2) = 0.76, q (2) = 0.62, LOF = 0.15, and LSE = 0.07, and was validated using the LNO and y-randomization techniques. Four of five compounds of test set were well predicted by the selected QSAR model, which presented an external prediction power of 80%. These findings can be quite useful to aid the designing of new anti-H(4) compounds with improved biological response.

Characterization of the stimulus for reactive oxygen species generation in calcium-overloaded mitochondria

We have used two different probes with distinct detection properties, dichlorodihydrofluorescein diacetate and Amplex Red/horseradish peroxidase, as well as different respiratory substrates and electron transport chain inhibitors, to characterize the reactive oxygen species (ROS) generation by the respiratory chain in calcium-overloaded mitochondria. Regardless of the respiratory substrate, calcium stimulated the mitochondrial generation of ROS, which were released at both the mitochondrial-matrix side and the extramitochondrial space, in a way insensitive to the mitochondrial permeability transition pores inhibitor cyclosporine A. In glutamate/malate-energized mitochondria, inhibition at complex I or complex III (ubiquinone cycle) similarly modulated ROS generation at either mitochondrial-matrix side or extramitochondrial space; this also occurred when the backflow of electrons to complex I in succinate-energized mitochondria was inhibited. On the other hand, in succinate-energized mitochondria the modulation of ROS generation at mitochondrial-matrix side or extra-mitochondrial space depends on the site of complex III which was inhibited. These results allow a straight comparison between the effects of different respiratory substrates and electron transport chain inhibitors on ROS generation at either mitochondrial-matrix side or extra-mitochondrial space in calcium-overloaded mitochondria.

Involvement of dopaminergic mechanisms in the nucleus accumbens core and shell subregions in the expression of fear conditioning

The involvement of dopamine (DA) mechanisms in the nucleus accumbens (NAC) in fear conditioning has been proposed by many studies that have challenged the view that the NAC is solely involved in the modulation of appetitive processes. However, the role of the core and shell subregions of the NAC in aversive conditioning remains unclear. The present study examined DA release in these NAC subregions using microdialysis during the expression of fear memory. Guide cannulae were implanted in rats in the NAC core and shell. Five days later, the animals received 10 footshocks (0.6 mA, 1 s duration) in a distinctive cage A (same context). On the next day, dialysis probes were inserted through the guide cannulae into the NAC core and shell subregions, and the animals were behaviorally tested for fear behavior either in the same context (cage A) or in a novel context (cage B). Dialysates were collected every 5 min for 90 min and analyzed by high-performance liquid chromatography. The rats exhibited a significant fear response in cage A but not in cage B. Moreover, increased DA levels in both NAC subregions were observed 5-25 min after the beginning of the test when the animals were tested in the same context compared with accumbal DA levels from rats tested in the different context. These findings Suggest that DA mechanisms in both the NAC core and shell may play an important role in the expression of contextual fear memory. (c) 2008 Elsevier Ireland Ltd. All rights reserved.

GABAergic REGULATION OF AUDITORY SENSORY GATING IN LOW- AND HIGH-ANXIETY RATS SUBMITTED TO A FEAR CONDITIONING PROCEDURE

The inferior colliculus (IC) is primarily involved in the processing of acoustic stimuli, being in a position to send auditory information to motor centers that participate in behaviors such as prey catching and predators` avoidance The role of the central nucleus of the IC (CIC) on fear and anxiety has been suggested on the basis that rats are able to engage in tasks to decrease the aversiveness of CIC stimulation, increased Fos immunolabeling during diverse aversive states and increased CIC auditory evoked potentials (AEP) induced by conditioned fear stimuli Additionally it was shown that brainstem AEP, represented by wave V, for which the main generator is the IC, is increased during experimentally induced anxiety Rats segregated according to their low or high emotional reactivity have been used as an important tool in the study of fear and anxiety The IC contains a high density of GABA receptors Since the efficacy of an anxiolytic compound is a function of the animal`s anxiety level, it is possible that GABA-benzodiazepine (Bzp) agents affect LA and HA animals differently In this study we investigated the GABA-Bzp influence on the modulation of AEP in rats with low (LA) or high-anxiety (HA) levels, as assessed by the elevated plus maze test (EPM) GABA-Bzp modulation on the unconditioned AEP response was analyzed by using intra CIC injections (0 2 mu l) of the GABA-Bzp agonists muscimol (121 ng) and diazepam (30 mu g) or the GABA inhibitors bicuculline (10 ng) and semicarbazide (7 mu g) In a second experiment, we evaluate the effects of contextual aversive conditioning on AEP using foot shocks as unconditioned stimuli On the unconditioned fear paradigm GABA inhibition in creased AEP in LA rats and decreases this measure in HA counterparts Muscimol was effective in reducing AEP in both LA and HA rats Contextual fear stimuli increased the magnitude of AEP In spite of no effect obtained with diazepam in LA rats the drug inhibited AEP in HA animals The specificity of the regulatory mechanisms mediated by GABA Bzp for the ascending neurocircuits responsible for the acquisition of aversive information in LA and HA animals shed light on the processing of sensory information underlying the generation of defensive reactions (C) 2010 IBRO Published by Elsevier Ltd All rights reserved

Assessment of two central auditory tests in elderly patients without hearing complaints

Speech understanding disorders in the elderly may be due to peripheral or central auditory dysfunctions. Asymmetry of results in dichotic testing increases with age, and may reflect on a lack of inter-hemisphere transmission and cognitive decline. Aim: To investigate auditory processing of aged people with no hearing complaints. Study design: clinical prospective. Materials and Methods: Twenty-two voluntary individuals, aged between 55 and 75 years, were evaluated. They reported no hearing complaints and had maximal auditory thresholds of 40 dB HL until 4 KHz, 80% of minimal speech recognition scores and peripheral symmetry between the ears. We used two kinds of tests: speech in noise and dichotic alternated dissyllables (SSW). Results were compared between males and females, right and left ears and between age groups. Results: There were no significant differences between genders, in both tests. Their Left ears showed worse results, in the competitive condition of SSW. Individuals aged 65 or older had poorer performances than those aged 55 to 64. Conclusion: Central auditory tests showed worse performance with aging. The employment of a dichotic test in the auditory evaluation setting in the elderly may help in the early identification of degenerative processes, which are common among these patients.