Towards formal specification of a distributed computing system

Onboard spacecraft computing system is a case of a functionally distributed system that requires continuous interaction among the nodes to control the operations at different nodes. A simple and reliable protocol is desired for such an application. This paper discusses a formal approach to specify the computing system with respect to some important issues encountered in the design and development of a protocol for the onboard distributed system. The issues considered in this paper are concurrency, exclusiveness and sequencing relationships among the various processes at different nodes. A 6-tuple model is developed for the precise specification of the system. The model also enables us to check the consistency of specification and deadlock caused due to improper specification. An example is given to illustrate the use of the proposed methodology for a typical spacecraft configuration. Although the theory is motivated by a specific application the same may be applied to other distributed computing system such as those encountered in process control industries, power plant control and other similar environments.

Mode of Coordination and Chemical Reactivity of Alpha-Imine Hydrasone Ligands

Interaction of nickel(I1) and copper(I1) complexes of 4,9-dimethy1-5,8-diazadodeca-4,8diene-2,1 ldione, Ni(baen) and 4,6,9-trimethyl-5, 8diazadodeca-4,8-diene-2,ll-dione, Ni(bapn), with arene diazonium chlorides in buffered solutions of methanol yielded metal derivatives of glyoxaliminearylhydrazones. This typical electrophilic addition at the 3-carbon of the complex occurs owing to the pseudo aromatic behaviour of the chelate ring. A mechanism which predicts the attack of the diazonium cation through the coordination shell of the metal is well documented from the available experimental evidences. The chemical reactivity of a few complexes with a single residual non-substituted y-carbon is reasonably manifested by their reaction with phenyl isocyanate.

Self-Assembly of Bile Steroid Analogues: Molecules, Fibers, and Networks

Structural and rheological features of a series of molecular hydrogels formed by synthetic bile salt analogues have been scrutinized. Among seven gelators, two are neutral compounds, while the others are cationic systems among which one is a tripodal steroid derivative. Despite the fact that the chemical structures are closely related, the variety of physical characteristics is extremely large in the structures of the connected fibers (either plain cylinders or ribbons), in the dynamical modes for stress relaxation of the associated SAFINs, in the scaling laws of the shear elasticity (typical of either cellular solids or fractal floc-like assemblies), in the micron-scale texture and the distribution of ordered domains (spherulites, crystallites) embedded in a random mesh, in the type of nodal zones (either crystalline-like, fiber entanglements, or bundles), in the evolution of the distribution and morphology of fibers and nodes, and in the sensitivity to added salt. SANS appears to be a suitable technique to infer all geometrical parameters defining the fibers, their interaction modes, and the volume fraction of nodes in a SAFIN. The tripodal system is particularly singular in the series and exhibits viscosity overshoots at the startup of shear flows, an “umbrella-like” molecular packing mode involving three molecules per cross section of fiber, and scattering correlation peaks revealing the ordering and overlap of 1d self-assembled polyelectrolyte species.

Transversely isotropic infinite cylindrical shell subjected to a radial axisymmetric line load

The problem of an infinite transversely isotropic circular cylindrical shell subjected to an axisymmetric radial external line load is investigated using elasticity theory, classical shell theory and shear deformation theory. The results obtained by these methods are compared for two ratios of inner to outer shell radius and for varying degrees of anisotropy. Some typical results are given here to show the effect of anisotropy and the thickness of the shell on the distribution of stresses and displacements.

Performance of graphic aluminium particulate composite materials

Friction characteristics of journal bearings made from cast graphic aluminum particulate composite alloy were determined under mixed lubrication and compared with those of the base alloy (without graphite) and leaded phosphor bronze. All three materials ran without seizure while the performance of the particulate composite and leaded phosphor bronze improved with running. Temperature rise in the journal bearing under mixed/boundary lubrication was also measured. It was found that with 0.3D/1000 to 1.5D/1000 clearance and a low lubrication rate (typical value for a bearing of diameter 35 mm × length 35 mm is 80 mm3/min) and at a PV value of 73 × 106 Nm m−2 min−1 graphitic aluminium alloy journal bearings operate satisfactorily without seizure and excessive temperature rise. In comparison, the bronze bearings, with all the other parameters remaining the same, could not run without excessive temperature rise at clearances below D/1000 at lubrication rates lower than 200 mm3/min

Non-linear dynamic analysis of rotors by finite element method

Non-linear natural vibration characteristics and the dynamic response of hingeless and fully articulated rotors of rectangular cross-section are studied by using the finite element method. In the formulation of response problems, the global variables are augmented with appropriate additional variables, facilitating direct determination of sub-harmonic response. Numerical results are given showing the effect of the geometric non-linearity on the first three natural frequencies. Response analysis of typical rotors indicates a possibility of substantial sub-harmonic response especially in the fully articulated rotors widely adopted in helicopters.

Studies on characteristics of lightning generated currents in an interconnected lightning protection system

An in-depth knowledge about the characteristics of lightning generated currents will facilitate evaluation of the interception efficacy of lightning protection systems. In addition, it would aid in extraction of valuable statistics (from measured current data) on local lightning parameters. Incidentally, present day knowledge on characteristics of lightning induced current in typical lightning protection systems is rather limited. This is particularly true with closely interconnected protection systems, like the one employed in Indian Satellite Launch Pad-II. This system is taken as a specific example in the present study. Various aspects suggest that theoretical modelling would be the best possible approach for the intended work. From the survey of pertinent literature, it is concluded that electromagnetic modelling of lightning return-stroke with current source at the channel base is best suited for this study. Numerical electromagnetic code was used for the required electromagnetic field solution and Fourier transform techniques were employed for computing time-domain results. A validation for the numerical modelling is provided by laborator experiments on a reduced scale model of the system. Apart from ascertaining the influence of various parameters, salient characteristics of tower base currents for different kinds of events are deduced. This knowledge can be used in identifying the type of event, as well as its approximate location. A method for estimation of injected stroke current has also been proposed.

On the origin of the inflectional instability of a laminar separation bubble

This is an experimental and theoretical Study of a laminar separation bubble and the associated linear stability mechanisms. Experiments were performed over a flat plate kept in a wind tunnel, with an imposed pressure gradient typical of an aerofoil that would involve a laminar separation bubble. The separation bubble was characterized by measurement of surface-pressure distribution and streamwise velocity using hot-wire anemometry. Single component hot-wire anemometry was also used for a detailed study of the transition dynamics. It was foundthat the so-called dead-air region in the front portion of the bubble corresponded to a region of small disturbance amplitudes, with the amplitude reaching a maximum value close to the reattachment point. An exponential growth rate of the disturbance was seen in the region upstream of the mean maximum height of the bubble, and this was indicative of a linear instability mechanism at work. An infinitesimal disturbance was impulsively introduced into the boundary layer upstream of separation location, and the wave packet was tracked (in an ensemble-averaged sense) while it was getting advected downstream. The disturbance was found to be convective in nature. Linear stability analyses (both the Orr-Sommerfeld and Rayleigh calculations) were performed for mean velocity profiles, starting from an attached adverse-pressure-gradient boundary layer all the way up to the front portion of the separation-bubble region (i.e. up to the end of the dead-air region in which linear evolution of the disturbance could be expected). The conclusion from the present work is that the primary instability mechanism in a separation bubble is inflectional in nature, and its origin can be traced back to upstream of the separation location. In other words, the inviscid inflectional instability of the separated shear layer should be logically seen as an extension of the instability of the upstream attached adverse-pressure-gradient boundary layer. This modifies the traditional view that pegs the origin of the instability in a separation bubble to the detached shear layer Outside the bubble, with its associated Kelvin-Helmholtz mechanism. We contendthat only when the separated shear layer has moved considerably away from the wall (and this happens near the maximum-height location of the mean bubble), a description by the Kelvin-Helmholtz instability paradigm, with its associated scaling principles, Could become relevant. We also propose a new scaling for the most amplified frequency for a wall-bounded shear layer in terms of the inflection-point height and the vorticity thickness and show it to be universal.

NMR studies of phase transition in ammonium hydrogen bischloroacetate, NH4H(CH2ClCOOO)2

Proton second moment (M2) and spin-lattice relaxation time (T1) of Ammonium Hydrogen Bischloroacetate (ABCA) have been measured in the range 77-350 K. A value of 6.5 G2 has been observed for the second moment at room temperature, which is typical of NH4+ reorientation and also a second moment transition in the range 170-145 K indicates the freezing of NH4+ motion. The NMR signal disappears dicontinuously at 128 K. Proton spin-lattice relaxation time (T1) Vs temperature, yielded only one sharp miniumum of 1.9 msec which is again typical of NH4+ reorientation. A slope change at 250 K is also observed, prbably due to CH2 motion. Further, the FID signal disappears at 128 K. Thus the Tc appears to be 128 K (of two reported values 120 K and 128 K). Activation energies have been calculated and the mechanism of the phase transition is discussed.

X-Ray Structure Of A Ternary Metal-Complex - Copper(Ii) Inosine 5'-Monophosphate Imidazole - Metal-Binding To The N(7) Atom Of The Nucleotide In A Mixed-Ligand System Containing An Aromatic Amine

A ternary metal-nucleotide complex, Na2[Cu(5’-IMP)2(im)o,8(H20)l,2(H20)2h]as~ 1be2e.n4 pHr2ep0a,r ed and its structure analyzed by X-ray diffraction (5’-IMP = inosine 5’-monophos hate; im = imidazole). The complex crystallizes in space group C222, with a = 8.733 (4) A, b = 23.213 (5) A, c = 21.489 (6) 1, and Z = 4. The structure was solved by the heavy-atom method and refined by full-matrix least-squares technique on the basis of 2008 observed reflections to a final R value of 0.087. Symmetry-related 5’-IMP anions coordinate in cis geometry through the N(7) atoms of the bases. The other cis positions of the coordination plane are statistically occupied by nitrogen atoms of disordered im groups and water oxygens with occupancies 0.4 and 0.6, respectively. Water oxygens in axial positions complete the octahedral coordination of Cu(I1). The complex is isostructural with C~S-[P~(S’-IMP),(NH~)~a] m”,o del proposed for Pt(I1) binding to DNA. The base binding observed in the present case is different from the typical ”phosphate only” binding shown from earlier studies on metal-nucleotide complexes containing various other ?r-aromatic amines.

An algorithm for optimum control of static VAR compensators to meet phase-wise unbalanced reactive power demands

The operation of thyristor-controlled static VAR compensators (SVCs) at various conduction angles can be used advantageously to meet the unablanced reactive power demands in a system. However, such operation introduces harmonic currents into the AC system. This paper presents an algorithm to evaluate an optimum combination of the phase-wise reactive power generations from SVC and balanced reactive power supply from the AC system, based on the defined performance indices, namely, the telephone influence factor (TIF), the total harmonic current factor (IT) and the distortion factor (D). Results of the studies conducted on a typical distribution system are presented and discussed.

Combined Use of Solid of Revolution, Thin Shell, and Interphase Elements for Analysis of Cylindrical Shells

Near the boundaries of shells, thin shell theories cannot always provide a satisfactory description of the kinematic situation. This imposes severe limitations on simulating the boundary conditions in theoretical shell models. Here an attempt is made to overcome the above limitation. Three-dimensional theory of elasticity is used near boundaries, while thin shell theory covers the major part of the shell away from the boundaries. Both regions are connected by means of an “interphase element.” This method is used to study typical static stress and natural vibration problems

Chemical probes into the active centre of a heme thiolate monoxygenase

Linalool-8-monoxygenase, a typical bacterial P-450 heme thiolase, shows a high degree of substrate specificity towards linalool. The active site of the pure enzyme has been probed with a large number of substrate analogues with systematic alterations or conformational variations in the linalool molecule. The comparison of three parameters, the mo→mos conversion of the enzyme as a result of substrate binding monitored at 392 nm, theK D of the analogues giving information about energies of association and the relative turnover as substrate have given information about the space-filling characteristics of the substrates in the enzyme cleft, the number of contacts the molecules make with the respective domains of the enzyme and the distance of the site undergoing hydroxylation from the oxygen site, respectively. The data permit the conclusion that linalool makes contact with the enzyme by hydrogen bonding with the hydroxyl group as well through hydrophobic association with all the eight carbons carrying hydrogen in the molecules.

Computer-aided analysis of the structure of kinematic chains

Using the link-link incidence matrix to represent a simple-jointed kinematic chain algebraic procedures have been developed to determine its structural characteristics such as the type of freedom of the chain, the number of distinct mechanisms and driving mechanisms that can be derived from the chain. A computer program incorporating these graph theory based procedures has been applied successfully for the structural analysis of several typical chains.

Proton Spin-Lattice Relaxation in Sodium Ammonium Selenate Dihydrate:NaNHaSeOa.2He0

Proton spin-lattice relaxation studies in sodium ammonium selenate dihydrate carried out in the temperature range 130 to 300 K at 10 MHz show a continuous change in T, at T, indicating a second order phase transition. This compound is a typical case of a highly hindered solid wherein the thermally activated reorientations of ammonium ions freeze well above 77 K, as seen by NMR.Untersuchimgen der Protonen-Spin-Gitter-Relaxation in Natriuni-Ammoniumselenat-Dihydrat bei 10 MHz im Temperaturbereich 130 bis 300 K zeigen eine kontinuierliche Andernng in TI bei T, und ergeben einen Phasenubergang zweiter Art. Diese Verbindung ist ein typischer Fall eines stark ,,behinderten" Festkarpers, in dein die thermisch aktivierten Reorientierungen der Ammoniumionen weit oberhalb 77 H einfrieren, wie die NMR-Ergebnisse zeigen.