Specification-driven approach for protocol design of distributed computing systems

An important issue in the design of a distributed computing system (DCS) is the development of a suitable protocol. This paper presents an effort to systematize the protocol design procedure for a DCS. Protocol design and development can be divided into six phases: specification of the DCS, specification of protocol requirements, protocol design, specification and validation of the designed protocol, performance evaluation, and hardware/software implementation. This paper describes techniques for the second and third phases, while the first phase has been considered by the authors in their earlier work. Matrix and set theoretic based approaches are used for specification of a DCS and for specification of the protocol requirements. These two formal specification techniques form the basis of the development of a simple and straightforward procedure for the design of the protocol. The applicability of the above design procedure has been illustrated by considering an example of a computing system encountered on board a spacecraft. A Petri-net based approach has been adopted to model the protocol. The methodology developed in this paper can be used in other DCS applications.

Conformations of dehydrophenylalanine containing peptides. NMR studies on three tripeptides with a central dehydrophenylalanyl residue.

Three tripeptides containing a central Z-dehydrophenylalanine residue (Δz-Phe), Boc-L-Phe-Δz-Phe-X-OMe (X = L-Val 1, L-Leu 2 and X = L-Ala 3) have been synthesized and their solution conformations investigated by 270 MHz 1H NMR spectroscopy. In all three peptides, conformations involving the X residue NH in an intramolecular hydrogen bond were favoured in CDCl3 solutions. Studies of the nuclear Overhauser effect (NOE) provided support for a Type II β turn conformation in these peptides with Phe and Δz-Phe occupying the i + 1 and i + 2 positions, respectively. Significantly different conformations lacking any intramolecular hydrogen bonds were observed for peptide 1 in (CD3)2SO. NOE results were consistent with a significant population of molecules having semi-extended conformations (ø > 100°) at the Δz-Phe residue.

Modulus Spectroscopy and Dielectric Dispersion Studies in Alkali Metal Perchlorates

Alkali metal perchlorates (KClO4, RbClO4, and CsClO4) undergo a structural phase transition from the orthorhombic to the cubic phase at elevated temperatures. A detailed dielectric study of these crystals across the phase transition is carried out at different frequencies. The crystals are found to exhibit pronounced dielectric dispersion in the kHz frequency range. The results support the view that these transitions are of order–disorder type. The dielectric behaviour at temperatures above Tc is discussed in terms of modulus spectroscopy. An estimate of conductivity relaxation times above the phase transition temperatures made from modulus spectroscopy data gives values of 3.1, 12.2 and 17.7 μs for KClO4, RbClO4, and CsClO4, respectively.

Mutual diffusion coefficients of some binary liquid systems: benzene-n-alkyl alcohol

The mutual diffusion coefficients for binary liquid systems of benzene-n-alkyl alcohol at various compositions have been determined by the diaphragm cell method at 28-degrees-C. The alcohols used were the members of n-paraffinic alcohols ranging from C1 to C8. The maximum possible experimental error is 14%. The data were fitted with a generalized correlation, giving the deviation from the experimental data to within 2.75%, on average.

A structure-preserving energy function for stability analysis of AC/DC systems

Direct stability analysis ofAC/DC power systems using a structure-preserving energy function (SPEF) is proposed in this paper. The system model considered retains the load buses thereby enabling the representation of nonlinear voltage dependent loads. TheHVDC system is represented with the same degree of detail as is normally done in transient stability simulation. The converter controllers can be represented by simplified or detailed models. Two or multi-terminalDC systems can be considered. The stability analysis is illustrated with a 3-machine system example and encouraging results have been obtained.

Inhibition of in Vitro Aminoacylation and Translation by RNA Reactive Antibodies

Antibodies were raised against guanosine-BSA, GMP-BSA and tRNA-mBSA conjugates separately in rabbits. Binding characteristics of these antibodies to various RNAs were studied using a sensitive avidin-biotin micro ELISA. These antibodies inhibited in vitro aminoacylation of tRNA in a dose dependent manner. This inhibition was reversed by the addition of the respective homologous haptens thereby showing the specificity of these antibodies. In vitro translation of endogenous mRNAs in rabbit reticulocyte lysate was also inhibited by these antibodies in a dose dependent manner.

Serotypic and genotypic characterization of human serotype 10 rotaviruses from asymptomatic neonates

Human rotaviruses were isolated from asymptomatic neonates at various hospitals and clinics in the city of Bangalore, India, and were found to be subgroup I specific and possess long RNA patterns (M. Sukumaran, K. Gowda, P. P. Maiya, T. P. Srinivas, M. S. Kumar, S. Aijaz, R. R. Reddy, L. Padilla, H. B. Greenberg, and C. D. Rao, Arch. Virol. 126:239-251, 1992). Three of these strains were adapted to tissue culture and found by serotype analysis and neutralization assays to be of serotype 10, a serotype commonly found in cattle but infrequently found in humans and not previously identified in neonates. By RNA-RNA hybridization, a high level of relatedness to a serotype 10 bovine rotavirus strain and a low-to-medium level of relatedness to a human rotavirus strain were observed. Since this human isolate shares a genogroup with bovine rotavirus, it is likely that it originated by interspecies transmission. A human rotavirus strain isolated from asymptomatic neonates and similar to bovine rotavirus might represent a good vaccine candidate.

Role of lattice defects and crystallite morphology in the UV and visible-light-induced photo-catalytic properties of combustion-prepared TiO2

The physico-chemical, photo-physical and micro-structural properties responsible for the strikingly different photocatalytic behavior of combustion-prepared TiO2 (c.TiO2) and Degussa P25 (d.TiO2) samples are elucidated in this study. Electron microscopy and selected area electron diffraction micrographs revealed that the two samples exhibited different morphologies. The grains of c.TiO2 were spherical and comprised of 5-6 nm size primary particle. On the other hand, d.TiO2 consisted of large (0.5-3.0 mu m) size and irregular shape aggregates having primary particles of 15-40 nm cross-sectional diameter. The ESR study revealed that the presence of certain defect states in c.TiO2 helped in stabilization of O-. and Ti3+-OH type species during room-temperature UV-irradiation. No such paramagnetic species were however formed over d.TiO2 under similar conditions. C1s and Ti 2p XPS spectra provide evidence for the presence of some lattice vacancies in c.TiO2 and also for the bulk Ti4+ -> Ti3+ conversion during its UV-irradiation. Compared to d.TiO2, c.TiO2 displayed considerably higher activity for discoloration of methyl orange but very poor activity for splitting of water, both under UV and visible light radiations. This is attributed to enhanced surface adsorption of dye molecules over c.TiO2, because of its textural features and also the presence of photo-active ion-radicals. On the other hand, the poor activity of c.TiO2 for water splitting is related to certain defect-induced inter-band charge trapping states in the close vicinity of valence and conduction bands of c.TiO2, as revealed by thermoluminescence spectroscopy. Further, the dispersion of nanosize gold particles gave rise to augmented activity of both the catalysts, particularly for water splitting. This is explained by the promotional role of Au-0 or Au-0/TiO2 interfacial sites in the adsorption and charge-adsorbate interaction processes. (C) 2011 Elsevier B.V. All rights reserved.

Using Correlated Parameters for Improved Ranking of Protein-Protein Docking Decoys

A successful protein-protein docking study culminates in identification of decoys at top ranks with near-native quaternary structures. However, this task remains enigmatic because no generalized scoring functions exist that effectively infer decoys according to the similarity to near-native quaternary structures. Difficulties arise because of the highly irregular nature of the protein surface and the significant variation of the nonbonding and solvation energies based on the chemical composition of the protein-protein interface. In this work, we describe a novel method combining an interface-size filter, a regression model for geometric compatibility (based on two correlated surface and packing parameters), and normalized interaction energy (calculated from correlated nonbonded and solvation energies), to effectively rank decoys from a set of 10,000 decoys. Tests on 30 unbound binary protein-protein complexes show that in 16 cases we can identify at least one decoy in top three ranks having <= 10 angstrom backbone root mean square deviation from true binding geometry. Comparisons with other state-of-art methods confirm the improved ranking power of our method without the use of any experiment-guided restraints, evolutionary information, statistical propensities, or modified interaction energy equations. Tests on 118 less-difficult bound binary protein-protein complexes with <= 35% sequence redundancy at the interface showed that in 77% cases, at least 1 in 10,000 decoys were identified with <= 5 angstrom backbone root mean square deviation from true geometry at first rank. The work will promote the use of new concepts where correlations among parameters provide more robust scoring models. It will facilitate studies involving molecular interactions, including modeling of large macromolecular assemblies and protein structure prediction. (C) 2010 Wiley Periodicals, Inc. J Comput Chem 32: 787-796, 2011.

Optimization of cold and warm workability in 304 stainless steel using instability maps

The deformation characteristics of stainless steel type AISI 3O4 under compression in the temperature range 20 degrees C to 600 degrees C and strain-rate range 0.001 to 100 s(-1) have been studied with a view to characterizing the flow instabilities occurring in the microstructure. At strain rates less than 5 s(-1), 304 stainless steel exhibits flow localization, whereas dynamic strain aging occurs at intermediate temperatures and below 0.5 s(-1). At room temperatures and strain rates less than 10 s(-1), martensite formation is observed. To avoid the preceding microstructural instabilities, cold and warm working should be carried out at strain rates greater than 5 s(-1). The continuum criterion, developed on the basis of the principles of maximum rate of entropy production and separability of the dissipation function, predicts accurately all the preceding instability features.

Ultrafast solvation dynamics in water: Isotope effects and comparison with experimental results

A detailed theoretical study of solvation dynamics in water is presented. The motivation of the present study comes from the recent experimental observation that the dynamics of solvation of an ion in water is ultrafast and the solvation time correlation function decays with a time constant of about 55 fs. The slower decay in the long time can be described by a sum of two exponentials with time constants equal to 126 and 880 fs. The molecular theory (developed earlier) predicts a time constant equal to 52 fs for the initial Gaussian decay and time constants equal to 134 and 886 fs for the two exponential components at the long time. This nearly perfect agreement is obtained by using the most detailed dynamical information available in the literature. The present study emphasizes the importance of the intermolecular vibrational band originating from the O...O stretching mode of the O�H...O units in the initial dynamics and raises several interesting questions regarding the nature of the decay of this mode. We have also studied the effects of isotope substitution on solvation dynamics. It is predicted that a significant isotope effect may be observed in the long time. The experimental results have also been compared with the prediction of the dynamic mean spherical approximation (DMSA); the agreement is not satisfactory at the long time. It is further found that the molecular theory and the DMSA lead to virtually identical results if the translational modes of the solvent molecules are neglected in the former. DMSA has also been used to investigate the dynamics of solvation of a dipolar solute in water. It is found that the dynamics of dipolar solvation exhibit features rather different from those of ion solvation. © 1995 American Institute of Physics.

Synthesis and properties of La1-xSrxFeO3

Fine particle strontium substituted lanthanum ferrites La1-xSrxFeO3, where x = 0.0-1.0, have been synthesized by the solution combustion method using corresponding metal nitrates, oxalyl dihydrazide (ODH) or tetra formal tris azine (TFTA). Formation of La1-xSrxFeO3 was confirmed by the XRD and the fine particle nature of the ferrites investigated using SEM, particle size analysis and BET surface area measurements. La1-xSrxFeO3 (up to x = 0-0.4) exhibited low resistivity near the Neel temperatures. La1-xSrxFeO3 with x greater than or equal to 0.8 when used as bifunctional electrodes, showed oxygen evolution and reduction activity comparable with the orthoferrites prepared by the conventional solid state method. (C) 1999 Elsevier Science B.V. All rights reserved.