Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

Regulation of Radial Glial Motility by Visual Experience

Radial glia in the developing optic tectum express the key guidance molecules responsible for topographic targeting of retinal axons. However, the extent to which the radial glia are themselves influenced by retinal inputs and visual experience remains unknown. Using multiphoton live imaging of radial glia in the optic tectum of intact Xenopus laevis tadpoles in conjunction with manipulations of neural activity and sensory stimuli, radial glia were observed to exhibit spontaneous calcium transients that were modulated by visual stimulation. Structurally, radial glia extended and retracted many filopodial processes within the tectal neuropil over minutes. These processes interacted with retinotectal synapses and their motility was modulated by nitric oxide (NO) signaling downstream of neuronal NMDA receptor (NMDAR) activation and visual stimulation. These findings provide the first in vivo demonstration that radial glia actively respond both structurally and functionally to neural activity, via NMDAR-dependent NO release during the period of retinal axon ingrowth.

Controlled fabrication of gold nanoparticles biomediated by glucose oxidase immobilized on chitosan layer-by-layer films

The control of size and shape of metallic nanoparticles is a fundamental goal in nanochemistry, and crucial for applications exploiting nanoscale properties of materials. We present here an approach to the synthesis of gold nanoparticles mediated by glucose oxidase (GOD) immobilized on solid substrates using the Layer-by-Layer (LbL) technique. The LbL films contained four alternated layers of chitosan and poly(styrene sulfonate) (PSS), with GOD in the uppermost bilayer adsorbed on a fifth chitosan layer: (chitosan/PSS)(4)/(chitosan/GOD). The films were inserted into a solution containing gold salt and glucose, at various pHs. Optimum conditions were achieved at pH 9, producing gold nanoparticles of ca. 30 nm according to transmission electron microscopy. A comparative study with the enzyme in solution demonstrated that the synthesis of gold nanoparticles is more efficient using immobilized GOD. (C) 2009 Elsevier B.V. All rights reserved.

Involutions of RA Loops

Let L be an RA loop, that is, a loop whose loop ring over any coefficient ring R is an alternative, but not associative, ring. Let l bar right arrow l(theta) denote an involution on L and extend it linearly to the loop ring RL. An element alpha is an element of RL is symmetric if alpha(theta) = alpha and skew-symmetric if alpha(theta) = -alpha. In this paper, we show that there exists an involution making the symmetric elements of RL commute if and only if the characteristic of R is 2 or theta is the canonical involution on L, and an involution making the skew-symmetric elements of RL commute if and only if the characteristic of R is 2 or 4.

On E-functions of semisimple Lie groups

We develop and describe continuous and discrete transforms of class functions on a compact semisimple, but not simple, Lie group G as their expansions into series of special functions that are invariant under the action of the even subgroup of the Weyl group of G. We distinguish two cases of even Weyl groups-one is the direct product of even Weyl groups of simple components of G and the second is the full even Weyl group of G. The problem is rather simple in two dimensions. It is much richer in dimensions greater than two-we describe in detail E-transforms of semisimple Lie groups of rank 3.

Some classes of semisimple group (and loop) algebras over finite fields

We determine the structure of the semisimple group algebra of certain groups over the rationals and over those finite fields where the Wedderburn decompositions have the least number of simple components We apply our work to obtain similar information about the loop algebras of mdecomposable RA loops and to produce negative answers to the isomorphism problem over various fields (C) 2010 Elsevier Inc All rights reserved

Group algebras of torsion groups and Lie nilpotence

Let * be an involution of a group algebra FG induced by an involution of the group G. For char F not equal 2, we classify the torsion groups G with no elements of order 2 whose Lie algebra of *-skew elements is nilpotent.

Electrochemical Control of the Time-Dependent Intensity Fluctuations in Surface-Enhanced Raman Scattering (SERS)

Time-dependent fluctuations in surface-enhanced Raman scattering (SERS) intensities were recorded from a roughened silver electrode immersed in diluted solutions of rhodamine 6G (R6G) and congo red (CR). These fluctuations were attributed to a small number of SERS-active molecules probing regions of extremely high electromagnetic field (hot spots) at the nanostructured surface. The time-dependent distribution of SERS intensities followed a tailed statistics at certain applied potentials, which has been linked to single-molecule dynamics. The shape of the distribution was reversibly tuned by the applied voltage. Mixtures of both dyes, R6G and CR, at low concentrations were also investigated. Since R6G is a cationic dye and CR is an anionic dye, the statistics of the SERS intensity distribution of either dye in a mixture were independently controlled by adjusting the applied potential. The potential-controlled distribution of SERS intensities was interpreted by considering the modulation of the surface coverage of the adsorbed dye by the interfacial electric field. This interpretation was supported by a two-dimensional Monte Carlo simulation that took into account the time evolution of the surface configuration of the adsorbed species and their probability to populate a hypothetical hot spot. The potential-controlled SERS dynamics reported here is a first step toward the spectroelectrochemical investigation of redox processes at the single-molecule level by SERS.

Evolution of artificial defects during shape rolling

Very often defects are present in rolled products. For wire rods, defects are very deleterious since the wire rods are generally used directly in various applications. For this reason, the market nowadays requires wire rods to be completely defect-free. Any wire with defects must be rejected as scrap which is very costly for the production mill. Thus, it is very important to study the formation and evolution of defects during wire rod rolling in order to better understand and minimize the problem, at the same time improving quality of the wire rods and reducing production costs. The present work is focused on the evolution of artificial defects during rolling. Longitudinal surface defects are studied during shape rolling of an AISI M2 high speed steel and a longitudinal central inner defect is studied in an AISI 304L austenitic stainless steel during ultra-high-speed wire rod rolling. Experimental studies are carried out by rolling short rods prepared with arteficial defects. The evolution of the defects is characterised and compared to numerical analyses. The comparison shows that surface defects generally reduce quicker in the experiments than predicted by the simulations whereas a good agreement is generally obtained for the central defect.

Steel Sheet Applications and Integrated Heat Management

Increasing energy use has caused many environmental problems including global warming. Energy use is growing rapidly in developing countries and surprisingly a remarkable portion of it is associated with consumed energy to keep the temperature comfortable inside the buildings. Therefore, identifying renewable technologies for cooling and heating is essential. This study introduced applications of steel sheets integrated into the buildings to save energy based on existing technologies. In addition, the proposed application was found to have a considerable chance of market success. Also, satisfying energy needs for space heating and cooling in a single room by using one of the selected applications in different Köppen climate classes was investigated to estimate which climates have a proper potential for benefiting from the application. This study included three independent parts and the results related to each part have been used in the next part. The first part recognizes six different technologies through literature review including Cool Roof, Solar Chimney, Steel Cladding of Building, Night Radiative Cooling, Elastomer Metal Absorber, and Solar Distillation. The second part evaluated the application of different technologies by gathering the experts’ ideas via performing a Delphi method. The results showed that the Solar Chimney has a proper chance for the market. The third part simulated both a solar chimney and a solar chimney with evaporation which were connected to a single well insulated room with a considerable thermal mass. The combination was simulated as a system to estimate the possibility of satisfying cooling needs and heating needs in different climate classes. A Trombe-wall was selected as a sample design for the Solar Chimney and was simulated in different climates. The results implied that the solar chimney had the capability of reducing the cooling needs more than 25% in all of the studied locations and 100% in some locations with dry or temperate climate such as Mashhad, Madrid, and Istanbul. It was also observed that the heating needs were satisfied more than 50% in all of the studied locations, even for the continental climate such as Stockholm and 100% in most locations with a dry climate. Therefore, the Solar Chimney reduces energy use, saves environment resources, and it is a cost effective application. Furthermore, it saves the equipment costs in many locations. All the results mentioned above make the solar chimney a very practical and attractive tool for a wide range of climates.

Prediction of stress-strain behaviors in steels using an integrated constitutive, FEM and ANN model

Austenitic steels with a carbon content of 0.0037 to 0.79 wt% C are torsion tested and modeled using a physically based constitutive model and an Integrated Phenomenological and Artificial neural Network (IPANN) model. The prediction of both the constitutive and IPANN models on steel 0.017 wt% C is then evaluated using a finite element (FEM) code ABAQUS with different reduction in the thickness after rolling through one roll stand. It is found that during the rolling process, the prediction accuracy of the reaction force from FEM simulation for both constitutive and IPANN models depends on the strain achieved (average reduction in thickness). By integrating FEM into IPANN model and introducing the product of strain and stress as an input of the ANN model, the accuracy of this integrated FEM and IPANN model is higher than either the constitutive or IPANN model.

Nitric oxide regulation of the central aortae of the toad Bufo marinus occurs independently of the endothelium

Nitric oxide (NO) signalling pathways were examined in the lateral aortae and dorsal aorta of the cane toad Bufo marinus. NADPH diaphorase histochemistry and nitric oxide synthase (NOS) immunohistochemistry found no evidence for endothelial NOS in the endothelium of toad aortae, but it could be readily demonstrated in rat aorta that was used as a control. Immunohistochemistry using a specific neural NOS antibody showed the presence of neural NOS immunoreactivity in the perivascular nerves of the aortae. The anatomical data was supported by in vitro organ bath physiology, which demonstrated that the vasodilation mediated by applied acetylcholine (10^-5 mol l^-1) was not dependent on the presence of the vascular endothelium; however, it was significantly reduced in the presence of a neural NOS inhibitor, vinyl-L-NIO (10-4 mol l^-1). In addition, atropine (10^-6 mol l^-1) (a muscarinic receptor inhibitor), L-NNA (10^-4 mol l^-1) (a NOS inhibitor) and ODQ (10^-5 mol l^-1) (an inhibitor of soluble guanylyl cyclase) abolished the vasodilatory effect of applied acetylcholine. In conclusion, we propose that an endothelial NO system is absent in toad aortae and that NO generated by neural NOS in perivascular nerves mediates vasodilation.

The influence of solute carbon in cold-rolled steels on shear band formation and recrystallization texture

Two experiments were conducted to clarify the roles of grain size, solute carbon and strain in determining the recrystallization textures of cold-rolled and annealed steels. In the first experiment, samples of coarse-grained low-carbon (LC) and interstitial-free (IF) steels were cold-rolled to a 75% reduction in thickness. One sample from each steel was polished and cold-rolled an additional 5%, while the remaining samples were annealed for various times at 650°C. In the second experiment, three samples from a commercial LC steel sheet were rolled 70% at 300°C. Two of the samples were given a further rolling reduction of 5% of the original thickness, with one of the samples being given this additional reduction at 300°C and the other at room temperature. Goss recrystallization textures are strengthened by coarse initial grain sizes, the presence of solute carbon and rolling at a temperature where dynamic strain ageing occurs, but are weakened by additional rolling beyond a reduction of 70%, especially when this extra rolling is conducted at a temperature where dynamic strain ageing does not occur. Characterization of key features of the deformed and recrystallized steels using optical microscopy, scanning electron microscopy (SEM) and electron back-scatter diffraction (EBSD) supports a rationale for these effects based on the repeated activation and deactivation of shear bands and the influence of solute carbon and dynamic strain ageing on the operating life of the bands and the accumulation of strain within them.

Nitric oxide control of the dorsal aorta and the intestinal vein of the Australian short-finned eel Anguilla australis

This study investigated the mechanisms by which nitric oxide (NO) regulates the dorsal aorta and the intestinal vein of the Australian short-finned eel Anguilla australis. NADPH diaphorase histochemistry and immunohistochemistry using a mammalian endothelial nitric oxide synthase (NOS) antibody could not demonstrate NOS in the endothelium of either blood vessel; however, NOS could be readily demonstrated in the endothelium of the rat aorta that was used as a control. Both blood vessels contained NADPH diaphorase positive nerve fibres and nerve bundles, and immunohistochemistry using a neural NOS antibody showed a similar distribution of neural NOS immunoreactivity in the perivascular nerves. In vitro organ bath physiology showed that a NO/soluble guanylyl cyclase (GC) system is present in the dorsal aorta and the intestinal vein, since the soluble GC inhibitor oxadiazole quinoxalin^-1 (ODQ; 10^–5 mol l^–1) completely abolished the vasodilatory effect of the NO donor, sodium nitroprusside (SNP; 10^–4 mol l^–1). In addition, nicotine (3x10^–4 mol l^–1) mediated a vasodilation that was not affected by removal of the endothelium. The nicotine-mediated dilation was blocked by the NOS inhibitor, Nω-nitro-arginine (L-NNA; 10^–4 mol l^–1), and ODQ (10^–5 mol l^–1). More specifically, the neural NOS inhibitor, Nω-propyl-L-arginine (10^–5 mol l^–1), significantly decreased the dilation induced by nicotine (3x10^–4 mol l^–1). Furthermore, indomethacin (10^–5 mol l^–1) did not affect the nicotine-mediated dilation, suggesting that prostaglandins are not involved in the response. Finally, the calcium ionophore A23187 (3x10^–6 mol l^–1) caused an endothelium-dependent dilation that was abolished in the presence of indomethacin. We propose the absence of an endothelial NO system in eel vasculature and suggest that neurally derived NO contributes to the maintenance of vascular tone in this species. In addition, we suggest that prostaglandins may act as endothelially derived relaxing factors in A. australis.