Continuous action system refinement

Action systems are a framework for reasoning about discrete reactive systems. Back, Petre and Porres have extended these action systems to continuous action systems, which can be. used to model hybrid systems. In this paper we define a refinement relation, and develop practical data refinement rules for continuous action systems. The meaning of continuous action systems is expressed in terms of a mapping from continuous action systems to action systems. First, we present a new mapping from continuous act ion systems to action systems, such that Back's definition of trace refinement is correct with respect to it. Second, we present a stream semantics that is compatible with the trace semantics, but is preferable to it because it is more general. Although action system trace refinement rules are applicable to continuous action systems with a stream semantics, they are not complete. Finally, we introduce a new data refinement rule that is valid with respect to the stream semantics and can be used to prove refinements that are not possible in the trace semantics, and we analyse the completeness of our new rule in conjunction with the existing trace refinement rules.

Dynamic annealing in III-nitrides under ion bombardment

We study the evolution of structural defects in AlxGa1-xN films (with x=0.0-0.6) bombarded with kilo-electron-volt heavy ions at 77 and 300 K. We use a combination of Rutherford backscattering/channeling spectrometry and cross-sectional transmission electron microscopy. Results show that an increase in Al content not only strongly enhances dynamic annealing processes but can also change the main features of the amorphization behavior. In particular, the damage buildup behavior at 300 K is essentially similar for all the AlGaN films studied. Ion-beam-produced disorder at 300 K accumulates preferentially in the crystal bulk region up to a certain saturation level (similar to50%-60% relative disorder). Bombardment at 300 K above a critical fluence results in a rapid increase in damage from the saturation level up to complete disordering, with a buried amorphous layer nucleating in the crystal bulk. However, at 77 K, the saturation effect of lattice disorder in the bulk occurs only for xgreater than or similar to0.1. Based on the analysis of these results for AlGaN and previously reported data for InGaN, we discuss physical mechanisms of the susceptibility of group-III nitrides to ion-beam-induced disordering and to the crystalline-to-amorphous phase transition. (C) 2004 American Institute of Physics.

Structural, electrical, and optical analysis of ion implanted semi-insulating InP

Semi-insulating InP was implanted with MeV P, As, Ga, and In ions, and the resulting evolution of structural properties with increased annealing temperature was analyzed using double crystal x-ray diffractometry and cross sectional transmission electron microscopy. The types of damage identified are correlated with scanning spreading resistance and scanning capacitance measurements, as well as with previously measured Hall effect and time resolved photoluminescence results. We have identified multiple layers of conductivity in the samples which occur due to the nonuniform damage profile of a single implant. Our structural studies have shown that the amount and type of damage caused by implantation does not scale with implant ion atomic mass. (C) 2004 American Institute of Physics.

Defenses against oxidative stress in Neisseria gonorrhoeae and Neisseria meningitidis: Distinctive systems for different lifestyles

Defenses against oxidative stress are crucial for the survival of the pathogens Neisseria meningitidis and Neisseria gonorrhoeae. An Mn(II) uptake system is involved in manganese (Mn)-dependent resistance to superoxide radicals in N. gonorrhoeae. Here, we show that accumulation of Mn also confers resistance to hydrogen peroxide killing via a catalase-independent mechanism. An mntC mutant of N. meningitidis is susceptible to oxidative killing, but supplementation of growth media with Mn does not enhance the organism's resistance to oxidative killing. N. meningitidis is able to grow in the presence of millimolar levels of Mn ion, in contrast to N. gonorrhoeae, whose growth is retarded at Mn concentrations >100 mumol/L, indicating that Mn homeostasis in the 2 species is probably quite different. N. meningitidis superoxide dismutase B plays a role in protection against oxidative killing. However, a sodC mutant of N. meningitidis is no more sensitive to oxidative killing than is the wild type. A cytochrome c peroxidase (Ccp) is present in N. gonorrhoeae but not in N. meningitidis. Investigations of a ccp mutant revealed a role for Ccp in protection against hydrogen peroxide killing. These differences in oxidative defenses in the pathogenic Neisseria are most likely a result of their localization in different ecological niches.

Macrocyclic systems containing 2,6,9-trioxabicyclo[3.3.1]-nona-3,7-dienes as chiral spacer groups: Synthesis, stereochemical features and preliminary complexation properties

Novel 2:2-macrocycles bearing bridged concave 2,6,9-trioxabicyclo[3.3.1]nona-3,7-dienes as chiral spacer units were obtained by cyclocondensation reaction of the chiral bisacid chloride and the corresponding diols, while use of methylene diamines instead of diols afforded 1:1 macrocycles only. Applying the same, but now template-assisted, experimental procedure to the reaction of the bisacid chloride with triethylene glycol brought about a significant increase in yield as well as a suitable simplification of the work-up during preparation and separation of the corresponding 1:1 as well as 2:2 macrocycles, when compared to results reported previously. HPLC separation on chiral columns revealed the presence of diastereoisomers [RR(S,S)- and RS-(meso)-forms] for all 2:2 macrocycles, which was further evidenced by the CD spectrum of one of those species as an example. Preliminary ESI-MS experiments indicated strong complexation abilities of the sulphur-containing ligand towards Ag(I), Cu(II) and Au(III) ions.

Ion trap transducers for quantum electromechanical oscillators

An enduring challenge for contemporary physics is to experimentally observe and control quantum behavior in macroscopic systems. We show that a single trapped atomic ion could be used to probe the quantum nature of a mesoscopic mechanical oscillator precooled to 4 K, and furthermore, to cool the oscillator with high efficiency to its quantum ground state. The proposed experiment could be performed using currently available technology.

Theory of strongly correlated electron systems. I. Intersite coulomb interaction and the approximation of renormalized fermions in total energy calculations

The diagrammatic strong-coupling perturbation theory (SCPT) for correlated electron systems is developed for intersite Coulomb interaction and for a nonorthogonal basis set. The construction is based on iterations of exact closed equations for many - electron Green functions (GFs) for Hubbard operators in terms of functional derivatives with respect to external sources. The graphs, which do not contain the contributions from the fluctuations of the local population numbers of the ion states, play a special role: a one-to-one correspondence is found between the subset of such graphs for the many - electron GFs and the complete set of Feynman graphs of weak-coupling perturbation theory (WCPT) for single-electron GFs. This fact is used for formulation of the approximation of renormalized Fermions (ARF) in which the many-electron quasi-particles behave analogously to normal Fermions. Then, by analyzing: (a) Sham's equation, which connects the self-energy and the exchange- correlation potential in density functional theory (DFT); and (b) the Galitskii and Migdal expressions for the total energy, written within WCPT and within ARF SCPT, a way we suggest a method to improve the description of the systems with correlated electrons within the local density approximation (LDA) to DFT. The formulation, in terms of renormalized Fermions LIDA (RF LDA), is obtained by introducing the spectral weights of the many electron GFs into the definitions of the charge density, the overlap matrices, effective mixing and hopping matrix elements, into existing electronic structure codes, whereas the weights themselves have to be found from an additional set of equations. Compared with LDA+U and self-interaction correction (SIC) methods, RF LDA has the advantage of taking into account the transfer of spectral weights, and, when formulated in terms of GFs, also allows for consideration of excitations and nonzero temperature. Going beyond the ARF SCPT, as well as RF LIDA, and taking into account the fluctuations of ion population numbers would require writing completely new codes for ab initio calculations. The application of RF LDA for ab initio band structure calculations for rare earth metals is presented in part 11 of this study (this issue). (c) 2005 Wiley Periodicals, Inc.

Theory of strongly correlated electron systems. II. Including correlation effects into electronic structure calculations

We have previously shown that a division of the f-shell into two subsystems gives a better understanding of the cohesive properties as well the general behavior of lanthanide systems. In this article, we present numerical computations, using the suggested method. We show that the picture is consistent with most experimental data, e.g., the equilibrium volume and electronic structure in general. Compared with standard energy band calculations and calculations based on the self-interaction correction and LIDA + U, the f-(non-f)-mixing interaction is decreased by spectral weights of the many-body states of the f-ion. (c) 2005 Wiley Periodicals, Inc.

Tryptophan determination in proteins and feedstuffs by ion exchange chromatography

A chromatographic method was developed for the determination of tryptophan content in food and feed proteins. The method involves separation and quantitation of tryptophan (released from protein by alkaline hydrolysis with NaOH) by isocratic ion-exchange chromatography with O-phthalaldehyde derivatization followed by fluorescence detection. In this procedure, chromatographic separation of the tryptophan and alpha-methyl tryptophan, the internal standard, was complete in 15 min, without any interference from other compounds. The precision of the method was 1-4%, relative standard deviation. Accuracy was validated by agreement with the value for chicken egg white lysozyme, a sequenced protein, and by quantitative recoveries after spiking with lysozyme. The method allows determination in a range of feed proteins, containing varied concentrations of tryptophan, and is applicable to systems used for routine amino acid analysis by ion-exchange chromatography. (C) 2004 Elsevier Ltd. All rights reserved.