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.

Crystal structures of propanediamine complexed with L and DL- glutamic acid: effect of chirality on propanediamine.

The structures of complexes of 1,3-diaminopropane With L- and DL-glutamic acid have been determined. L-Glutamic acid complex: C3H12N22+.2C5H8NO4-, M(r) = 368.4, orthorhombic. P2(1)2(1)2(1), a = 5.199 (1), b = 16.832 (1). c = 20.076 (3) angstrom, V = 1756.6 (4) angstrom3, z = 4, D(x) = 1.39 g cm-3, lambda(Mo K-alpha) = 0.7107 angstrom, mu = 1.1 cm-1, F(000) = 792. T = 296 K, R = 0.044 for 1276 observed reflections. DL-Glutamic acid complex: C3H12N22+.2C5H8NO4-, M(r) = 368.4, orthorhombic, Pna2(1), a = 15.219(2), b = 5.169 (1), c 22.457 (4) angstrom, V = 1766.6 (5) angstrom3 Z = 4, D(x) = 1.38 g cm-3, lambda(Mo K-alpha) = 0.7107 angstrom, mu = 1.1 cm F(000) = 792, T = 296 K, R = 0.056 for 993 observed reflections. The conformation of diaminopropane is all-trans in the DL complex but trans-gauche in the L complex. The main packing feature in the L complex is the arrangement of diaminopropane around dimers of antiparallel L-glutamic acid molecules. The diaminopropane in the DL complex is sandwiched between two antiparallel glutamic acid molecules of the same chirality and this forms the basic packing unit. This might be the dominant form of interaction between L-glutamic acid and diaminopropane in solution. The structures reveal the adaptability of the polyamine backbone to different environments and the probable reasons for their choice as biological cations.

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.

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.

Crystallization and preliminary X-ray studies of a galactose-specific lectin from the seeds of Spatholobus parviflorus

A galactose-specific seed lectin was purified from the legume Spatholobus parviflorus and crystallized using the hanging-drop vapour-diffusion technique. The crystals belonged to space group P1, with unit-cell parameters a = 60.998, b = 60.792, c = 78.179 angstrom, alpha = 101.32, beta = 91.38, gamma = 104.32 degrees. X-ray diffraction data were collected under cryoconditions (100 K) to a resolution of 2.04 angstrom using a MAR image-plate detector system mounted on a rotating-anode X-ray (Cu K alpha) generator. Molecular replacement using legume-lectin coordinates as a search model gave a tetrameric structure.

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.

Electrocatalytic efficiency of polyaniline by cyclic voltammetry and electrochemical impedance spectroscopy studies

Electrochemical redox reactions of ferrous/ferric (Fe2+/Fe3+) and hydroquinone/quinone (H(2)Q/Q) were studied on Pt and polyaniline (PANI)-deposited Pt electrodes in 0.5 M H2SO4-supporting electrolyte by cyclic voltammetry and ac impedance spectroscopy. A comparison of the experimental data obtained with the Pt and PANI/Pt electrodes suggested that the reactions were catalyzed by the PANI. Based on a relative increase in peak currents of cyclic voltammograms, catalytic efficiency (gamma(cv)) of the PANI was defined. There was an increase in gamma(cv) with an increase of scan rate and a decrease of concentration of Fe2+/Fe3+ or H(2)Q. The complex plane impedance spectrum of the electrode consisted of a semicircle in high frequency range and a linear spike in low frequency range. The exchange current density (i(0)) calculated using the semicircle part of the impedance showed Butler-Volmer kinetics with respect to concentration dependence. From a relative increase of i(0) on the PANI/Pt electrode, catalytic efficiency (gamma(eis)) was evaluated. (C) 2002 Elsevier Science B.V. All rights reserved.