Critical need for energy research and development : the role of the Midwest research labs : hearing before the Subcommittee on Energy, Nuclear Proliferation, and Government Processes of the Committee on Governmental Affairs, United States Senate, Ninety-seventh Congress, second session, March 22, 1982, Argonne, Illinois.

Mode of access: Internet.

Rabbit CYP4B1 engineered for high-level expression in Escherichia coli: ligand stabilization and processing of the N-terminus and heme prosthetic group

Modifications at the N-terminus of the rabbit CYP4B1 gene resulted in expression levels in Escherichia coli of up to 660 nmol/L. Solubilization of the enzyme from bacterial membranes led to substantial conversion to cytochrome P420 unless alpha-naphthoflavone was added as a stabilizing ligand. Mass spectrometry analysis and Edman sequencing of purified enzyme preparations revealed differential N-terminal post-translational processing of the various constructs expressed. Notably, bacterial expression of CYP4B1 produced a holoenzyme with >98.5% of its heme prosthetic group covalently linked to the protein backbone. The near fully covalently linked hernoproteins exhibited similar rates and regioselectivities of lauric acid hydroxylation to that observed previously for the partially heme processed enzyme expressed in insect cells. These studies shed new light on the consequences of covalent heme processing in CYP4B1 and provide a facile system for future mechanistic and structural studies with the enzyme. (C) 2003 Elsevier Science (USA). All rights reserved.

High nuclear genetic diversity, high levels of outcrossing and low differentiation among remnant populations of Quercus petraea at the margin of its range in Ireland

Background and Aims Quercus petraea colonized Ireland after the last glaciation from refugia on mainland Europe. Deforestation. however. beginning in Neolithic times, has resulted in small, scattered forest fragments, now covering less than 12 000 ha. Methods Plastid (three fragments) and microsatellite variation (13 loci) were characterized in seven Irish populations sampled along a north-south gradient. Using Bayesian approaches and Wright's F-statistics, the effects of colonization and fragmentation on the genetic structure and mating patterns of extant oak populations were investigated. Key-Results All Populations possessed cytotypes common to the Iberian Peninsula. Despite the distance from the refugial core and the extensive deforestation in Ireland, nuclear genetic variation was high and comparable to mainland Europe. Low population differentiation was observed within Ireland and populations showed no evidence for isolation by distance. As expected of a marker with an effective Population size of one-quarter relative to the nuclear genome, plastid variation indicated higher differentiation. Individual inbreeding coefficients indicated high levels of outcrossing. Conclusions Consistent with a large effective Population size in the historical migrant gene pool and/or with high gene flow among populations, high within-population diversity and low population differentiation was observred within Ireland. It is proposed that native Q. petraea populations in Ireland share a common phylogeographic history and that the present genetic structure does not reflect founder effects. (C) 2004 Annals of Botany Company.

The effect of xylanase, phytase and lipase supplementation on the performance of broiler chickens fed a diet with a high level of rice bran.

Enzyme products did not have a significant effect (P>0.05) on weekly fed intake and weight gain of birds. But feed intake tended to drop and weight gain tended to increase in response to supplementation of the three enzymes. Weight gain of the birds was increased by 0.6% with lipase, 3.7% with phytase and 2.4% with xylanase. Xylanase had a marked effect (P

An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

Cognitive neuroscience and (very) high level vision

THE PURPOSE OF THIS ARTICLE is two-fold, first to provide a general overview of two of the main cognitive neuroscientific techniques available, specifically functional magnetic resonance imaging (fMRI) and transcranial magnetic stimulation (TMS); and secondly to apply these techniques to elaborate a discussion of an aspect of higher level vision, namely implied motion, that is the perception of movement from a static image.

TiN-based coatings on fuel cladding tubes for advanced nuclear reactors

Titanium nitride (TiN) thin films are coated on HT-9 and MA957 fuel cladding tubes and bars to explore their mechanical strength, thermal stability, diffusion barrier properties, and thermal conductivity properties. The ultimate goal is to implement TiN as an effective diffusion barrier to prevent the inter-diffusion between the nuclear fuel and the cladding material, and thus lead to a longer lifetime of the cladding tubes. Mechanical tests including hardness and scratch tests for the samples before and after thermal cycle tests show that the films have a high hardness of 28GPa and excellent adhesion properties despite the thermal treatment. Thermal conductivity measurements demonstrate that the thin TiN films have very minimal impact on the overall thermal conductivity of the MA957 and HT-9 substrates, i.e., the thermal conductivity of the uncoated HT-9 and MA957 substrates was 26.25 and 28.44 W m-1 K-1, and that of the coated ones was 26.21 and 28.38W m-1 K-1, respectively. A preliminary Ce diffusion test on the couple of Ce/TiN/HT-9 suggests that TiN has excellent material compatibility and good diffusion barrier properties.

Formal modeling and analysis techniques for high level Petri nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

Ultrasonic Spectral Analysis for Nuclear Fuel Characterization

Ceramic materials have been widely used for various purposes in many different industries due to certain characteristics, such as high melting point and high resistance to corrosion. Concerning the areas of applications, automobile, aeronautics, naval and even nuclear, the characteristics of these materials should be strictly controlled. In the nuclear area, ceramics are of great importance once they are the nuclear fuel pellets and must have, among other features, a well controlled porosity due to mechanical strength and thermal conductivity required by the application. Generally, the techniques used to characterize nuclear fuel are destructive and require costly equipment and facilities. This paper aims to present a nondestructive technique for ceramic characterization using ultrasound. This technique differs from other ultrasonic techniques because it uses ultrasonic pulse in frequency domain instead of time domain, associating the characteristics of the analyzed material with its frequency spectrum. In the present work, 40 Alumina (Al2O3) ceramic pellets with porosities ranging from 5% to 37%, in absolute terms measured by Archimedes technique, were tested. It can be observed that the frequency spectrum of each pellet varies according to its respective porosity and microstructure, allowing a fast and non-destructive association of the same characteristics with the same spectra pellets.