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.

Crystal chemistry of a new solid solution in the BaO-Bi2O3-Nb2O5 system: Ba-5x/2-Bi(1-x)5/3Nb5O15

A solid solution of the type Ba5x/2Bi(1-x)5/3Nb5O15 has been identified in the BaO-Bi2O3-Nb2O5 system for the first time. The limits of the solid solution are within the range 0.52 <= x <= 0.80. The compositions x = 0.52, 0.60, 0.72, 0.77, 0.78, and 0.80 were synthesized by the solid-state technique from the starting materials in stoichiometric quantities. The powder X-ray patterns of all the phases in the domain indicate a structural similarity to tetragonal tungsten bronzes (TTBs). The compositions below x = 0.52 and those above x = 0.80 exhibit barium niobate and bismuth niobate impurities, respectively. Single crystals of the composition x = 0.77 were obtained by the melt cooling technique. The crystal structure of Ba3.85/2Bi1.15/3Nb5O15 (x = 0.77) was solved in the tetragonal space group P4bm (No. 100) with a = 12.4938 (14) angstrom, c = 3.9519 (2) A, V = 616.87 (10) angstrom(3), and Z = 2 and was refined to an R index of 0.034. Dielectric measurements on all the phases indicate a typical relaxor behavior with a broad phase transition at T-m approximate to 300 K.

Synthesis, characterization and photoluminescence properties of Gd2O3:Eu3+ nanophosphors prepared by solution combustion method

Gd2O3:Eu3+ (0.5-8.0 mol%) nanophosphors have been prepared by low temperature solution combustion method using metal nitrates as oxidizers and oxalyl dihydrazide (ODH) as a fuel. The phosphors are well characterized by powder X-ray diffraction (PXRD), scanning electron microscopy (SEM), Fourier transform infrared spectroscopy (FT-IR) and photoluminescence (PL) techniques. PXRD patterns of as-formed and calcined (800 degrees C, 3 h) Gd2O3 powders exhibit monoclinic phase with mean crystallite sizes ranging from 20 to 50 nm. Eu3+ doping changes the structure from monoclinic to mixed phase of monoclinic and cubic. SEM micrographs shows the products are foamy, agglomerated and fluffy in nature due to the large amount of gases liberated during combustion reaction. Upon 254 nm excitation the photoluminescence of the Gd2O3:Eu3+ particles show red emission at 611 nm corresponding to D-5(0)-> F-7(2) transition. It is observed that PL intensity increases with calcination temperature. This might be attributed to better crystallization and eliminates the defects, which serve as centers of non-radiative relaxation for nanomaterials. It is observed that the optical energy gap (E-g) is widened with increase Eu3+ content. (C) 2010 Elsevier B.V. All rights reserved.

Vibrational analysis of boldine hydrochloride using QM/MM approach

A complete vibrational analysis was performed on the molecular structure of boldine hydrochloride using QM/MM method. The equilibrium geometry, harmonic vibrational frequencies and infrared intensities were calculated by QM/MM method with B3LYP/6-31G(d) and universal force field (UFF) combination using ONIOM code. We found the geometry obtained by the QM/MM method to be very accurate, and we can use this rapid method in place of time consuming ab initio methods for large molecules. A detailed interpretation of the infrared spectra of boldine hydrochloride is reported. The scaled theoretical wave numbers are in perfect agreement with the experimental values. The FT-IR spectra of boldine hydrochloride in the region 4000-500 cm(-1) were recorded in CsI (solid phase) and in chloroform with concentration 5 and 10 mg/ml.

Identifying N60D mutation in omega subunit of Escherichia coli RNA polymerase by bottom-up proteomic approach

Escherichia coli RNA polymerase is a multi-subunit enzyme containing alpha(2)beta beta'omega sigma, which transcribes DNA template to intermediate RNA product in a sequence specific manner. Although most of the subunits are essential for its function, the smallest subunit omega (average molecular mass similar to 10,105 Da) can be deleted without affecting bacterial growth. Creating a mutant of the omega subunit can aid in improving the understanding of its role. Sequencing of rpoZ gene that codes for omega subunit from a mutant variant suggested a substitution mutation at position 60 of the protein: asparagine (N) -> aspartic acid (D). This mutation was verified at the protein level by following a typical mass spectrometry (MS) based bottom-up proteomic approach. Characterization of in-gel trypsin digested samples by reverse phase liquid chromatography (LC) coupled to electrospray ionization (ESI)-tandem mass spectrometry (MS/MS) enabled in ascertaining this mutation. Electron transfer dissociation (ETD) of triply charged (M + 3H)(3+)] tryptic peptides (residues 53-67]), EIEEGLINNQILDVR from wild-type and EIEEGLIDNQILDVR from mutant, facilitated in unambiguously determining the site of mutation at residue 60.

Electrochemical reduction of Cu(II)-EDTA complex at dropping mercury electrode. An impedance approach

The study of electrochemical reduction of Cu(II)-EDTA system by phase sensitive a.c. impedance method at dropping mercury electrode reveals several interesting features. The complex plane polarograms exhibit loop like shape in contrast to the classical zinc ion reduction where crest like shape is found. Again, the relative placement of peaks of in-phase and quadrature components, and the relative placement of portions before and after the peaks of complex plane polarograms are different from that of zinc ion reduction. The complex plane plots suggest that electrochemical reduction of Cu-EDTA is charge transfer controlled.

Facile hydrothermal synthesis and observation of bubbled growth mechanism in nano-ribbons aggregated microspherical Covellite blue-phosphor

Well uniform microspheres of phase pure Covellite were synthesized through a simple hydrothermal approach using poly vinyl pyrrolidone (PVP) as surfactant. The micro-spheres were constituted of numerous self-organized knitted nano-ribbons of similar to 30 nm thickness. The effect of conc. PVP in the hydrothermal precursor solution on the product morphology was investigated. Based on the out-coming product micro-architecture a growth mechanism was proposed which emphasized bubbled nucleation inside the hydrothermal reactor. In a comparative study on linear optical properties, enhancement of luminescent intensity was observed for nano-ribbon clung microspheres rather than that of agglomerates of distorted particles, which may be attributed to better crystallinity as well as reduced surface defects and ionic vacancies for ribbon-like nano-structures.

Rocking response of rectangular rigid blocks under random noise base excitations

The response of a rigid rectangular block resting on a rigid foundation and acted upon simultaneously by a horizontal and a vertical random white-noise excitation is considered. In the equation of motion, the energy dissipation is modeled through a viscous damping term. Under the assumption that the body does not topple, the steady-state joint probability density function of the rotation and the rotational velocity is obtained using the Fokker-Planck equation approach. Closed form solution is obtained for a specific combination of system parameters. A more general but approximate solution to the joint probability density function based on the method of equivalent non-linearization is also presented. Further, the problem of overturning of the block is approached in the framework of the diffusion methods for first passage failure studies. The overturning of the block is deemed incipient when the response trajectories in the phase plane cross the separatrix of the conservative unforced system. Expressions for the moments of first passage time are obtained via a series solution to the governing generalized Pontriagin-Vitt equations. Numerical results illustra- tive of the theoretical solutions are presented and their validity is examined through limited amount of digital simulations.

Signal subspace approach in localization of sound source in shallow water

A new algorithm based on signal subspace approach is proposed for localizing a sound source in shallow water. In the first instance we assumed an ideal channel with plane parallel boundaries and known reflection properties. The sound source is assumed to emit a broadband stationary stochastic signal. The algorithm takes into account the spatial distribution of all images and reflection characteristics of the sea bottom. It is shown that both range and depth of a source can be measured accurately with the help of a vertical array of sensors. For good results the number of sensors should be greater than the number of significant images; however, localization is possible even with a smaller array but at the cost of higher side lobes. Next, we allowed the channel to be stochastically perturbed; this resulted in random phase errors in the reflection coefficients. The most singular effect of the phase errors is to introduce into the spectral matrix an extra term which may be looked upon as a signal generated coloured noise. It is shown through computer simulations that the signal peak height is reduced considerably as a consequence of random phase errors.

Heat conduction with a phase change in a cylindrical mould

Analytical short time solution of moving boundary in heat conduction in a cylindrical mould under prescribed flux boundary condition has been studied in this paper. Partial differential equations are converted to integro-differential equations. These integro-differential equations which are coupled have been solved analytically for short time by choosing suitable series expansions for the unknown quantitities.

A Direct Approach to the Problem of Diffraction by a Half-Plane under Mixed Boundary Conditions

A general direct technique of solving a mixed boundary value problem in the theory of diffraction by a semi-infinite plane is presented. Taking account of the correct edge-conditions, the unique solution of the problem is derived, by means of Jones' method in the theory of Wiener-Hopf technique, in the case of incident plane wave. The solution of the half-plane problem is found out in exact form. (The far-field is derived by the method of steepest descent.) It is observed that it is not the Wiener-Hopf technique which really needs any modification but a new technique is certainly required to handle the peculiar type of coupled integral equations which the Wiener-Hopf technique leads to. Eine allgemeine direkte Technik zur Lösung eines gemischten Randwertproblems in der Theorie der Beugung an einer halbunendlichen Ebene wird vorgestellt. Unter Berücksichtigung der korrekten Eckbedingungen wird mit der Methode von Jones aus der Theorie der Wiener-Hopf-Technik die eindeutige Lösung für den Fall der einfallenden ebenen Welle hergeleitet. Die Lösung des Halbebenenproblems wird in exakter Form angegeben. (Das Fernfeld wurde mit der Methode des steilsten Abstiegs bestimmt.) Es wurde bemerkt, daß es nicht die Wiener-Hopf-Technik ist, die wirklich irgend welcher Modifikationen bedurfte. Gewiß aber wird eine neue Technik zur Behandlung des besonderen Typs gekoppelter Integralgleichungen benötigt, auf die die Wiener-Hopf-Technik führt.

Precursor Dependent Microstructure Evolution and Nonstoichiometry in Nanostructured Cerium Oxide Coatings Using the Solution Precursor Plasma Spray Technique

A solution precursor plasma spray (SPPS) technique has been used for direct deposition of cerium oxide nanoparticles (CNPs) from various cerium salt solutions as precursors. Solution precursors were injected into the hot zone of a plasma plume to deposit CNP coatings. A numerical study of the droplet injection model has been employed for microstructure development during SPPS. The decomposition of each precursor to cerium oxide was analyzed by thermogravimetric-differential thermal analysis and validated by thermodynamic calculations. The presence of the cerium oxide phase in the coatings was confirmed by X-ray diffraction studies. Transmission electron microscopy studies confirmed nanocrystalline (grain size <14 nm) characteristic of the coatings. X-ray photoelectron spectroscopy studies indicated the presence of a high concentration of Ce3+ (up to 0.32) in the coating prepared by SPPS. The processing and microstructure evolution of cerium oxide coatings with high nonstoichiometry are reported.

Novel kinetic scheme for the ammonium perchlorate gas phase

A novel gas-phase kinetic scheme for ammonium perchlorate (AP) deflagration involving 22 reactions among 18 species is developed. The kinetic scheme is based on a study of the effect of initial conditions on the solution of the differential equations of adiabatic constant-pressure combustion kinetics. The existence of condensed-phase reaction products providesalternate pathways for the consumption of NH3 and HCIOl produced by gas-phase dissociation of AP. Theoretically obtained temperature-time profiles of the novel scheme do not change when the conventional reaction pathways are included, indicatingthat the novel scheme is a substantially faster rate process. The new scheme does not involve the species CIO, which has long been considered a critical component of the AP gas phase and which is included in the conventional reaction pathways.The new scheme develops faster overall reaction rates, steeper temperature-time profiles, and in a deflagration model will result in higher heat-transfer rates from gas phase to the condensed phase.

A photoelastic approach to framed structure-foundation beam-soil interaction

The interaction of a framed structure with a foundation beam resting on an elastic medium, representing the soil, has been studied using the photoelastic method. The contact pressure distribution, the fibre stress in the foundation beam and frame structure, as well as the stresses in the elastic medium, have been obtained. These have been compared with theoretical results obtained by idealizing the soil as (a) elastic half plane, and (b) elastic half space. It is shown that the photoelastic method can provide an easy solution to this type of problem if the soil can be idealized as an elastic continuum.

Exact traveling- wave solution for model geophysical systems

Exact traveling-wave solutions of time-dependent nonlinear inhomogeneous PDEs, describing several model systems in geophysical fluid dynamics, are found. The reduced nonlinear ODEs are treated as systems of linear algebraic equations in the derivatives. A variety of solutions are found, depending on the rank of the algebraic systems. The geophysical systems include acoustic gravity waves, inertial waves, and Rossby waves. The solutions describe waves which are, in general, either periodic or monoclinic. The present approach is compared with the earlier one due to Grundland (1974) for finding exact solutions of inhomogeneous systems of nonlinear PDEs.