A denotational semantics for the generalized ER model and a simple ER algebra

The recent spurt of research activities in Entity-Relationship Approach to databases calls for a close scrutiny of the semantics of the underlying Entity-Relationship models, data manipulation languages, data definition languages, etc. For reasons well known, it is very desirable and sometimes imperative to give formal description of the semantics. In this paper, we consider a specific ER model, the generalized Entity-Relationship model (without attributes on relationships) and give denotational semantics for the model as well as a simple ER algebra based on the model. Our formalism is based on the Vienna Development Method—the meta language (VDM). We also discuss the salient features of the given semantics in detail and suggest directions for further work.

Universal Stability and Temperature Dependent Phase Transformation in Group VIIIB-IB Transition Metal FCC Nanowires

Atomistic simulation of Ag, Al, Au, Cu, Ni, Pd, and Pt FCC metallic nanowires show a universal FCC -> HCP phase transformation below a critical cross-sectional size, which is reported for the first time in this paper. The newly observed HCP structure is also confirmed from previous experimental results. Above the critical cross-sectional size, initial < 100 >/{100} FCC metallic nanowires are found to be metastable. External thermal heating shows the transformation of metastable < 100 >/{100} FCC nanowires into < 110 >/{111} stable configuration. Size dependent metastability/instability is also correlated with initial residual stresses of the nanowire by use of molecular static simulation using the conjugant gradient method at a temperature of 0 K. It is found that a smaller cross-sectional dimension of an initial FCC nanowire shows instability due to higher initial residual stresses, and the nanowire is transformed into the novel HCP structure. The initial residual stress shows reduction with an increase in the cross-sectional size of the nanowires. A size dependent critical temperature is also reported for metastable FCC nanowires using molecular dynamic, to capture the < 110 >/{111} to < 100 >/{100} shape memory and pseudoelasticity.

Coherence of the real symmetric Hardy algebra

Let D denote the open unit disk in C centered at 0. Let H-R(infinity) denote the set of all bounded and holomorphic functions defined in D that also satisfy f(z) = <(f <(z)over bar>)over bar> for all z is an element of D. It is shown that H-R(infinity) is a coherent ring.

The algebra and geometry of SU(3) matrices

We give an elementary treatment of the defining representation and Lie algebra of the three-dimensional unitary unimodular group SU(3). The geometrical properties of the Lie algebra, which is an eight dimensional real Linear vector space, are developed in an SU(3) covariant manner. The f and d symbols of SU(3) lead to two ways of 'multiplying' two vectors to produce a third, and several useful geometric and algebraic identities are derived. The axis-angle parametrization of SU(3) is developed as a generalization of that for SU(2), and the specifically new features are brought out. Application to the dynamics of three-level systems is outlined.

Universal behaviour in erosive burning of solid propellants

This paper considers the extensive data and correlations on the erosive burning of solid propellants. A relatively simple nondimensional relationship between the ratio of the actual to nonerosive burn rate (eta) and a quantity g, which is the product of g(0)-the ratio of free stream mass flux to the mass flux from the surface for nonerosive condition-and Re-0(m), where Re-0 is the Reynolds number based on the nonerosive mass flux of the propellant and port diameter, is shown to correlate most data within the accuracies of the experiments with m = -0.125. This shows the above relationship to account for the effects of pressure, aluminum, even up to a proportion of 17%, burn rate catalysts, and motor size. It is concluded that the suggested correlation between eta and g may be adopted universally for most practical propellants. (C) 1997 by The Combustion Institute.

On approximately universal schemes for two-hop networks

Full-duplex and half-duplex two-hop networks are considered. Explicit coding schemes which are approximately universal over a class of fading distributions are identified, for the case when the network has either one or two relays.

Insights into the Regulatory Characteristics of the Mycobacterial Dephosphocoenzyme A Kinase: Implications for the Universal CoA Biosynthesis Pathway

Being vastly different from the human counterpart, we suggest that the last enzyme of the Mycobacterium tuberculosis Coenzyme A biosynthetic pathway, dephosphocoenzyme A kinase (CoaE) could be a good anti-tubercular target. Here we describe detailed investigations into the regulatory features of the enzyme, affected via two mechanisms. Enzymatic activity is regulated by CTP which strongly binds the enzyme at a site overlapping that of the leading substrate, dephosphocoenzyme A (DCoA), thereby obscuring the binding site and limiting catalysis. The organism has evolved a second layer of regulation by employing a dynamic equilibrium between the trimeric and monomeric forms of CoaE as a means of regulating the effective concentration of active enzyme. We show that the monomer is the active form of the enzyme and the interplay between the regulator, CTP and the substrate, DCoA, affects enzymatic activity. Detailed kinetic data have been corroborated by size exclusion chromatography, dynamic light scattering, glutaraldehyde crosslinking, limited proteolysis and fluorescence investigations on the enzyme all of which corroborate the effects of the ligands on the enzyme oligomeric status and activity. Cysteine mutagenesis and the effects of reducing agents on mycobacterial CoaE oligomerization further validate that the latter is not cysteine-mediated or reduction-sensitive. These studies thus shed light on the novel regulatory features employed to regulate metabolite flow through the last step of a critical biosynthetic pathway by keeping the latter catalytically dormant till the need arises, the transition to the active form affected by a delicate crosstalk between an essential cellular metabolite (CTP) and the precursor to the pathway end-product (DCoA).

Effect of two-level systems on the spectral density of universal conductance fluctuations in doped Si

We have studied the power spectral density [S(f) = gamma/f(alpha)] of universal conductance fluctuations (UCF's) in heavily doped single crystals of Si, when the scatterers themselves act as the primary source of dephasing. We observed that the scatterers, with internal dynamics like two-level-systems, produce a significant, temperature-dependent reduction in the spectral slope alpha when T less than or similar to 10 K, as compared to the bare 1/f (alphaapproximate to1) spectrum at higher temperatures. It is further shown that an upper cutoff frequency (f(m)) in the UCF spectrum is necessary in order to restrict the magnitude of conductance fluctuations, [(deltaG(phi))(2)], per phase coherent region (L-phi(3)) to [(deltaGphi)(2)](1/2) less than or similar to e(2)/h. We find that f(m) approximate to tau(D)(-1), where tau(D) = L-2/D, is the time scale of the diffusive motion of the electron along the active length (L) of the sample (D is the electron diffusivity).

Hydrogen-bond dynamics near a micellar surface: Origin of the universal slow relaxation at complex aqueous interfaces

The dynamics of hydrogen bonds among water molecules themselves and with the polar head groups (PHG) at a micellar surface have been investigated by long molecular dynamics simulations. The lifetime of the hydrogen bond between a PHG and a water molecule is found to be much longer than that between any two water molecules, and is likely to be a general feature of hydrophilic surfaces of organized assemblies. Analyses of individual water trajectories suggest that water molecules can remain bound to the micellar surface for more than 100 ps. The activation energy for such a transition from the bound to a free state for the water molecules is estimated to be about 3.5 kcal/mol.