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.

Entropy-Based Approach to Analyze and Classify Mineral Aggregates

This paper presents an automatic method to detect and classify weathered aggregates by assessing changes of colors and textures. The method allows the extraction of aggregate features from images and the automatic classification of them based on surface characteristics. The concept of entropy is used to extract features from digital images. An analysis of the use of this concept is presented and two classification approaches, based on neural networks architectures, are proposed. The classification performance of the proposed approaches is compared to the results obtained by other algorithms (commonly considered for classification purposes). The obtained results confirm that the presented method strongly supports the detection of weathered aggregates.

The potential for first-generation ethanol production from sugarcane

Ethanol production from sugarcane, mainly in Brazil, on the basis of first-generation technology (22.5 billion liters, in 2007/2008 season, in 3.4 million hectares) replaces 1% of the gasoline used in the world today and is highly competitive in economic terms with ethanol produced from other crops in the USA and Europe. In this paper we discuss the potential for sugarcane ethanol expansion from two angles: (1) productivity gains which would allow greater production in the same area and (2) geographical expansion to larger areas. The potential of first-generation technology for the production of ethanol from sugarcane is far from being exhausted. There are gains in productivity of approximately a factor of two from genetically modified varieties and a geographical expansion by a factor of ten of the present level of production in many sugar-producing countries. The replacement of 10% of the gasoline used in the world by ethanol from sugarcane seems possible before second-generation technology reaches technological maturity and possibly economic competitiveness. (C) 2009 Society of Chemical Industry and John Wiley & Sons, Ltd

An analytical relation between entropy production and quantum Lyapunov exponents for Gaussian bipartite systems

We study and compare the information loss of a large class of Gaussian bipartite systems. It includes the usual Caldeira-Leggett-type model as well as Anosov models ( parametric oscillators, the inverted oscillator environment, etc), which exhibit instability, one of the most important characteristics of chaotic systems. We establish a rigorous connection between the quantum Lyapunov exponents and coherence loss, and show that in the case of unstable environments coherence loss is completely determined by the upper quantum Lyapunov exponent, a behavior which is more universal than that of the Caldeira-Leggett-type model.

Structural, electronic, and magnetic entropy contributions of the orbital order-disorder transition in LaMnO(3)

Measurements of X-ray diffraction, electrical resistivity, and magnetization are reported across the Jahn-Teller phase transition in LaMnO(3). Using a thermodynamic equation, we obtained the pressure derivative of the critical temperature (T(JT)), dT(JT)/dP = -28.3 K GPa(-1). This approach also reveals that 5.7(3)J(mol K)(-1) comes from the volume change and 0.8(2)J(mol K)(-1) from the magnetic exchange interaction change across the phase transition. Around T(JT), a robust increase in the electrical conductivity takes place and the electronic entropy change, which is assumed to be negligible for the majority of electronic systems, was found to be 1.8(3)J(mol K)(-1).

Generation of Vortices and Observation of Quantum Turbulence in an Oscillating Bose-Einstein Condensate

We report on the experimental observation of vortex formation and production of tangled vortex distribution in an atomic BEC of (87)Rb atoms submitted to an external oscillatory perturbation. The oscillatory perturbations start by exciting quadrupolar and scissors modes of the condensate. Then regular vortices are observed finally evolving to a vortex tangle configuration. The vortex tangle is a signature of the presence of a turbulent regime in the cloud. We also show that this turbulent cloud has suppression of the aspect ratio inversion typically observed in quantum degenerate bosonic gases during free expansion.

Generation of nonground-state condensates and adiabatic paradox

The problem of resonant generation of nonground-state condensates is addressed aiming at resolving the seeming paradox that arises when one resorts to the adiabatic representation. In this picture, the eigenvalues and eigenfunctions of a time-dependent Gross-Pitaevskii Hamiltonian are also functions of time. Since the level energies vary in time, no definite transition frequency can be introduced. Hence no external modulation with a fixed frequency can be made resonant. Thus, the resonant generation of adiabatic coherent modes is impossible. However, this paradox occurs only in the frame of the adiabatic picture. It is shown that no paradox exists in the properly formulated diabatic representation. The resonant generation of diabatic coherent modes is a well defined phenomenon. As an example, the equations are derived, describing the generation of diabatic coherent modes by the combined resonant modulation of the trapping potential and atomic scattering length.

An entropy-based approach to automatic image segmentation of satellite images

An entropy-based image segmentation approach is introduced and applied to color images obtained from Google Earth. Segmentation refers to the process of partitioning a digital image in order to locate different objects and regions of interest. The application to satellite images paves the way to automated monitoring of ecological catastrophes, urban growth, agricultural activity, maritime pollution, climate changing and general surveillance. Regions representing aquatic, rural and urban areas are identified and the accuracy of the proposed segmentation methodology is evaluated. The comparison with gray level images revealed that the color information is fundamental to obtain an accurate segmentation. (C) 2010 Elsevier B.V. All rights reserved.

Dynamical self-stabilization of the Mott insulator: Time evolution of the density and entanglement entropy of out-of-equilibrium cold fermion gases

The time evolution of the out-of-equilibrium Mott insulator is investigated numerically through calculations of space-time-resolved density and entropy profiles resulting from the release of a gas of ultracold fermionic atoms from an optical trap. For adiabatic, moderate and sudden switching-off of the trapping potential, the out-of-equilibrium dynamics of the Mott insulator is found to differ profoundly from that of the band insulator and the metallic phase, displaying a self-induced stability that is robust within a wide range of densities, system sizes and interaction strengths. The connection between the entanglement entropy and changes of phase, known for equilibrium situations, is found to extend to the out-of-equilibrium regime. Finally, the relation between the system`s long time behavior and the thermalization limit is analyzed. Copyright (C) EPLA, 2011

Gaining ligand selectivity in thyroid hormone receptors via entropy

Nuclear receptors are important targets for pharmaceuticals, but similarities between family members cause difficulties in obtaining highly selective compounds. Synthetic ligands that are selective for thyroid hormone (TH) receptor beta (TR beta) vs. TR alpha reduce cholesterol and fat without effects on heart rate; thus, it is important to understand TR beta-selective binding. Binding of 3 selective ligands (GC-1, KB141, and GC-24) is characterized at the atomic level; preferential binding depends on a nonconserved residue (Asn-331 beta) in the TR beta ligand-binding cavity (LBC), and GC-24 gains extra selectivity from insertion of a bulky side group into an extension of the LBC that only opens up with this ligand. Here we report that the natural TH 3,5,3`-triodothyroacetic acid (Triac) exhibits a previously unrecognized mechanism of TR beta selectivity. TR x-ray structures reveal better fit of ligand with the TR alpha LBC. The TR beta LBC, however, expands relative to TR alpha in the presence of Triac (549 angstrom(3) vs. 461 angstrom(3)), and molecular dynamics simulations reveal that water occupies the extra space. Increased solvation compensates for weaker interactions of ligand with TR beta and permits greater flexibility of the Triac carboxylate group in TR beta than in TR alpha. We propose that this effect results in lower entropic restraint and decreases free energy of interactions between Triac and TR beta, explaining subtype-selective binding. Similar effects could potentially be exploited in nuclear receptor drug design.

Relative entropy measures applied to healthy and pathological voice characterization

Nowadays, noninvasive methods of diagnosis have increased due to demands of the population that requires fast, simple and painless exams. These methods have become possible because of the growth of technology that provides the necessary means of collecting and processing signals. New methods of analysis have been developed to understand the complexity of voice signals, such as nonlinear dynamics aiming at the exploration of voice signals dynamic nature. The purpose of this paper is to characterize healthy and pathological voice signals with the aid of relative entropy measures. Phase space reconstruction technique is also used as a way to select interesting regions of the signals. Three groups of samples were used, one from healthy individuals and the other two from people with nodule in the vocal fold and Reinke`s edema. All of them are recordings of sustained vowel /a/ from Brazilian Portuguese. The paper shows that nonlinear dynamical methods seem to be a suitable technique for voice signal analysis, due to the chaotic component of the human voice. Relative entropy is well suited due to its sensibility to uncertainties, since the pathologies are characterized by an increase in the signal complexity and unpredictability. The results showed that the pathological groups had higher entropy values in accordance with other vocal acoustic parameters presented. This suggests that these techniques may improve and complement the recent voice analysis methods available for clinicians. (C) 2008 Elsevier Inc. All rights reserved.

Generating segmented meshes from textured color images

This paper presents a new framework for generating triangular meshes from textured color images. The proposed framework combines a texture classification technique, called W-operator, with Imesh, a method originally conceived to generate simplicial meshes from gray scale images. An extension of W-operators to handle textured color images is proposed, which employs a combination of RGB and HSV channels and Sequential Floating Forward Search guided by mean conditional entropy criterion to extract features from the training data. The W-operator is built into the local error estimation used by Imesh to choose the mesh vertices. Furthermore, the W-operator also enables to assign a label to the triangles during the mesh construction, thus allowing to obtain a segmented mesh at the end of the process. The presented results show that the combination of W-operators with Imesh gives rise to a texture classification-based triangle mesh generation framework that outperforms pixel based methods. Crown Copyright (C) 2009 Published by Elsevier Inc. All rights reserved.

Algorithms for two-dimensional cutting stock and strip packing problems using dynamic programming and column generation

We investigate several two-dimensional guillotine cutting stock problems and their variants in which orthogonal rotations are allowed. We first present two dynamic programming based algorithms for the Rectangular Knapsack (RK) problem and its variants in which the patterns must be staged. The first algorithm solves the recurrence formula proposed by Beasley; the second algorithm - for staged patterns - also uses a recurrence formula. We show that if the items are not so small compared to the dimensions of the bin, then these algorithms require polynomial time. Using these algorithms we solved all instances of the RK problem found at the OR-LIBRARY, including one for which no optimal solution was known. We also consider the Two-dimensional Cutting Stock problem. We present a column generation based algorithm for this problem that uses the first algorithm above mentioned to generate the columns. We propose two strategies to tackle the residual instances. We also investigate a variant of this problem where the bins have different sizes. At last, we study the Two-dimensional Strip Packing problem. We also present a column generation based algorithm for this problem that uses the second algorithm above mentioned where staged patterns are imposed. In this case we solve instances for two-, three- and four-staged patterns. We report on some computational experiments with the various algorithms we propose in this paper. The results indicate that these algorithms seem to be suitable for solving real-world instances. We give a detailed description (a pseudo-code) of all the algorithms presented here, so that the reader may easily implement these algorithms. (c) 2007 Elsevier B.V. All rights reserved.

Tissue-, substrate-, and site-specific characteristics of mitochondrial reactive oxygen species generation

Reactive oxygen species are a by-product of mitochondrial oxidative phosphorylation, derived from a small quantity of superoxide radicals generated during electron transport. We conducted a comprehensive and quantitative study of oxygen consumption, inner membrane potentials, and H(2)O(2) release in mitochondria isolated from rat brain, heart, kidney, liver, and skeletal muscle, using various respiratory substrates (alpha-ketoglutarate, glutamate, succinate, glycerol phosphate, and palmitoyl carnitine). The locations and properties of reactive oxygen species formation were determined using oxidative phosphorylation and the respiratory chain modulators oligomycin, rotenone, myxothiazol, and antimycin A and the Uncoupler CCCP. We found that in mitochondria isolated from most tissues incubated under physiologically relevant conditions, reactive oxygen release accounts for 0.1-0.2% of O(2) consumed. Our findings support an important participation of flavoenzymes and complex III and a substantial role for reverse electron transport to complex I as reactive oxygen species sources. Our results also indicate that succinate is an important substrate for isolated mitochondrial reactive oxygen production in brain, heart, kidney, and skeletal muscle, whereas fatty acids generate significant quantities of oxidants in kidney and liver. Finally, we found that increasing respiratory rates is an effective way to prevent mitochondrial oxidant release under many, but not all, conditions. Altogether, our data uncover and quantify many tissue-, substrate-, and site-specific characteristics of mitochondrial ROS release. (C) 2009 Elsevier Inc. All rights reserved.

Generation of Cholesterol Carboxyaldehyde by the Reaction of Singlet Molecular Oxygen [O(2) ((1)Delta(g))] as Well as Ozone with Cholesterol

A few years ago, it was reported that ozone is produced in human atherosclerotic arteries, on the basis of the identification of 3 beta-hydroxy-5-oxo-5,6-secocholestan-6-al and 3 beta-hydroxy-5 beta-hydroxy-B-norcholestane-6 beta-carboxaldehyde (ChAld) as their 2,4-dinitrophenylhydrazones. The formation of endogenous ozone was attributed to water oxidation catalyzed by antibodies, with the formation of dihydrogen trioxide as a key intermediate. We now report that ChAld is also generated by the reaction of cholesterol with singlet molecular oxygen [O(2) ((1)Delta(g))] that is produced by photodynamic action or by the thermodecomposition of 1,4-dimethylnaphthalene endoperoxide, a defined pure chemical source of O(2) ((1)Delta(g)). On the basis of (18)O-labeled ChAld mass spectrometry, NMR, light emission measurements, and derivatization studies, we propose that the mechanism of ChAld generation involves the formation of the well-known cholesterol 5 alpha-hydroperoxide (5 alpha-OOH) (the major product of O(2) ((1)Delta(g))-oxidation of cholesterol) and/or a 1,2-dioxetane intermediate formed by O(2) ((1)Delta(g)) attack at the Delta(5) position. The Hock cleavage of 5 alpha-OOH (the major pathway) or unstable cholesterol dioxetane decomposition (a minor pathway, traces) gives a 5,6-secosterol intermediate, which undergoes intramolecular aldolization to yield ChAld. These results show clearly and unequivocally that ChAld is generated upon the reaction of cholesterol with O(2) ((1)Delta(g)) and raises questions about the role of ozone in biological processes.