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.

Surface diffusion driven nanoshell formation by controlled sintering of mesoporous nanoparticle aggregates

We report a general method for the synthesis of hollow structures of a variety of functional inorganics by partial sintering of mesoporous nanocrystal aggregates. The formation of a thin shell initiates the transport of mass from the interior leading to growth of the shell. The principles are general and the hollow structures thus produced are attractive for many applications including catalysis, drug delivery and biosensing.

Groove Binding Ligands for the Interaction with Parallel-Stranded ps-Duplex DNA and Triplex DNA

DNA adopts different conformations not only based on novel base pairs, but also with different chain polarities. Besides several duplex structures (A, B, Z, parallel stranded (ps)-DNA, etc.), DNA also forms higher-order structures like triplex, tetraplex, and i-motif. Each of these structures has its own biological significance. The ps-duplexes have been found to be resistant to certain nucleases and endonucleases. Molecules that promote triple-helix formation have significant potential. These investigations have many therapeutic advantages which may be useful in the regulation of the expression of genes responsible for certain diseases by locking either their transcription (antigene) or translation (antisense). Each DNA minor groove binding ligand (MGBL) interacts with DNA through helical minor groove recognition in a sequence-specific manner, and this interferes with several DNA-associated processes. Incidentally, these ligands interact with some non-B-DNA and with higher-order DNA structures including ps-DNA and triplexes. While the design and recognition of minor grooves of duplex DNA by specific MGBLs have been a topic of many reports, limited information is available on the binding behavior of MGBLs with nonduplex DNA. In this review, we summarize various attempts of the interaction of MGBLs with ps-DNA and DNA triplexes.

Diesel Engine Driven Stand-Alone Variable Speed Constant Frequency Slip Ring Induction Generator - Theory and Experimental Results

The operation of a stand-alone, as opposed to grid connected generation system, using a slip-ring induction machine as the electrical generator, is considered. In contrast to an alternator, a slip-ring induction machine can run at variable speed and still deliver constant frequency power to loads. This feature enables optimization of the system when the prime mover is inherently variable speed in nature eg. wind turbines, as well as diesel driven systems, where there is scope for economizing on fuel consumption. Experimental results from a system driven by a 44 bhp diesel engine are presented. Operation at subsynchronous as well as super-synchronous speeds is examined. The measurement facilitates the understanding of the system as well as its design.

Carbon dioxide and methane exchange between a boreal pristine lake and the atmosphere

Lakes serve as sites for terrestrially fixed carbon to be remineralized and transferred back to the atmosphere. Their role in regional carbon cycling is especially important in the Boreal Zone, where lakes can cover up to 20% of the land area. Boreal lakes are often characterized by the presence of a brown water colour, which implies high levels of dissolved organic carbon from the surrounding terrestrial ecosystem, but the load of inorganic carbon from the catchment is largely unknown. Organic carbon is transformed to methane (CH4) and carbon dioxide (CO2) in biological processes that result in lake water gas concentrations that increase above atmospheric equilibrium, thus making boreal lakes as sources of these important greenhouse gases. However, flux estimates are often based on sporadic sampling and modelling and actual flux measurements are scarce. Thus, the detailed temporal flux dynamics of greenhouse gases are still largely unknown. ----- One aim here was to reveal the natural dynamics of CH4 and CO2 concentrations and fluxes in a small boreal lake. The other aim was to test the applicability of a measuring technique for CO2 flux, i.e. the eddy covariance (EC) technique, and a computational method for estimation of primary production and community respiration, both commonly used in terrestrial research, in this lake. Continuous surface water CO2 concentration measurements, also needed in free-water applications to estimate primary production and community respiration, were used over two open water periods in a study of CO2 concentration dynamics. Traditional methods were also used to measure gas concentration and fluxes. The study lake, Valkea-Kotinen, is a small, humic, headwater lake within an old-growth forest catchment with no local anthropogenic disturbance and thus possible changes in gas dynamics reflect the natural variability in lake ecosystems. CH4 accumulated under the ice and in the hypolimnion during summer stratification. The surface water CH4 concentration was always above atmospheric equilibrium and thus the lake was a continuous source of CH4 to the atmosphere. However, the annual CH4 fluxes were small, i.e. 0.11 mol m-2 yr-1, and the timing of fluxes differed from that of other published estimates. The highest fluxes are usually measured in spring after ice melt but in Lake Valkea-Kotinen CH4 was effectively oxidised in spring and highest effluxes occurred in autumn after summer stratification period. CO2 also accumulated under the ice and the hypolimnetic CO2 concentration increased steadily during stratification period. The surface water CO2 concentration was highest in spring and in autumn, whereas during the stable stratification it was sometimes under atmospheric equilibrium. It showed diel, daily and seasonal variation; the diel cycle was clearly driven by light and thus reflected the metabolism of the lacustrine ecosystem. However, the diel cycle was sometimes blurred by injection of hypolimnetic water rich in CO2 and the surface water CO2 concentration was thus controlled by stratification dynamics. The highest CO2 fluxes were measured in spring, autumn and during those hypolimnetic injections causing bursts of CO2 comparable with the spring and autumn fluxes. The annual fluxes averaged 77 (±11 SD) g C m-2 yr-1. In estimating the importance of the lake in recycling terrestrial carbon, the flux was normalized to the catchment area and this normalized flux was compared with net ecosystem production estimates of -50 to 200 g C m-2 yr-1 from unmanaged forests in corresponding temperature and precipitation regimes in the literature. Within this range the flux of Lake Valkea-Kotinen yielded from the increase in source of the surrounding forest by 20% to decrease in sink by 5%. The free water approach gave primary production and community respiration estimates of 5- and 16-fold, respectively, compared with traditional bottle incubations during a 5-day testing period in autumn. The results are in parallel with findings in the literature. Both methods adopted from the terrestrial community also proved useful in lake studies. A large percentage of the EC data was rejected, due to the unfulfilled prerequisites of the method. However, the amount of data accepted remained large compared with what would be feasible with traditional methods. Use of the EC method revealed underestimation of the widely used gas exchange model and suggests simultaneous measurements of actual turbulence at the water surface with comparison of the different gas flux methods to revise the parameterization of the gas transfer velocity used in the models.

A parallel multistep predictor-corrector algorithm for solving ordinary differential equations

In this paper we give a generalized predictor-corrector algorithm for solving ordinary differential equations with specified initial values. The method uses multiple correction steps which can be carried out in parallel with a prediction step. The proposed method gives a larger stability interval compared to the existing parallel predictor-corrector methods. A method has been suggested to implement the algorithm in multiple processor systems with efficient utilization of all the processors.

Microwave driven hydrothermal synthesis of LiMn2O4 nanoparticles as cathode material for Li-ion batteries

Among the various cathode materials studied for Li-ion batteries over the past many years, spinet LiMn2O4 is found to be one of the most attractive materials. Nanoparticles of the electrode materials sustain high rate capability due to large surface to volume ratio and small diffusion path length. Nanoparticles of spinel LiMn2O4 have been synthesized by microwave hydrothermal technique using prior synthesized amorphous MnO2 and LiOH. The phase and purity of spinel LiMn2O4 are confirmed by powder X-ray diffraction. The morphological studies have been investigated using field emission scanning electron microscopy and high-resolution transmission electron microscopy. The electrochemical performances of the material for Li insertion/extraction are evaluated by cyclic voltammetry, galvanostatic charge-discharge cycling and AC impedance studies. The initial discharge capacity is found to be about 89 mAh g(-1) at current density of 21 mA g(-1). (C) 2010 Elsevier B.V. All rights reserved.

Disorder-driven electronic localization and phase separation in superconducting Fe1+yTe0.5Se0.5 single crystals

We have investigated the influence of Fe excess on the electrical transport and magnetism of Fe1+yTe0.5Se0.5 (y=0.04 and 0.09) single crystals. Both compositions exhibit resistively determined superconducting transitions (T-c) with an onset temperature of about 15 K. From the width of the superconducting transition and the magnitude of the lower critical field H-c1, it is inferred that excess of Fe suppresses superconductivity. The linear and nonlinear responses of the ac susceptibility show that the superconducting state for these compositions is inhomogeneous. A possible origin of this phase separation is a magnetic coupling between Fe excess occupying interstitial sites in the chalcogen planes and those in the Fe-square lattice. The temperature derivative of the resistivity d(rho)/d(T) in the temperature range T-c < T < T-a with T-a being the temperature of a magnetic anomaly, changes from positive to negative with increasing Fe. A log 1/T divergence of the resistivity above T-c in the sample with higher amount of Fe suggests a disorder-driven electronic localization.

Impact of water drops onto the junction of a hydrophobic texture and a hydrophilic smooth surface

Wettability gradient surfaces play a significant role in control and manipulation of liquid drops. The present work deals with the analysis of water drops impacting onto the junction line between hydrophobic texture and hydrophilic smooth portions of a dual-textured substrate made using stainless steel material. The hydrophobic textured portion of the substrate comprised of unidirectional parallel groove-like and pillar-like structures of uniform dimensions. A high-speed video camera recorded the spreading and receding dynamics of impacting drops. The drop impact dynamics during the early inertia driven impact regime remains unaffected by the dual-texture feature of the substrate. A larger retraction speed of drop liquid observed on the hydrophobic portion of the substrate during the impact of low velocity drops makes the drop liquid on the higher wettability portion to advance further (secondary drop spreading). The net horizontal drop velocity towards the hydrophilic portion of the dual-textured substrate decreases with increasing drop impact velocity. The available experimental results suggest that the movement of bulk drop liquid away from the impact point during drop impact on the dual-textured substrate is larger for the impact of low inertia drops. (C) 2010 Elsevier B.V. All rights reserved.

Flow And Heat-Transfer Over An Upstream Moving Wall With A Magnetic-Field And A Parallel Free Stream

The flow and heat transfer over an upstream moving non-isothermal wall with a parallel free stream have been considered. The magnetic field has been applied in the free stream parallel to the wall and the effect of induced magnetic field has been included in the analysis. The boundary layer equations governing the steady incompressible electrically conducting fluid flow have been solved numerically using a shooting method. This problem is interesting because a solution exists only when the ratio of the wall velocity does not exceed a certain critical value and this critical value depends on the magnetic field and magnetic Prandtl number. Also dual solutions exist for a certain range of wall velocity.

An algebraic formulation of static isotropy and design of statically isotropic 6–6 Stewart platform manipulators

In this paper, we present an algebraic method to study and design spatial parallel manipulators that demonstrate isotropy in the force and moment distributions. We use the force and moment transformation matrices separately, and derive conditions for their isotropy individually as well as in combination. The isotropy conditions are derived in closed-form in terms of the invariants of the quadratic forms associated with these matrices. The formulation is applied to a class of Stewart platform manipulator, and a multi-parameter family of isotropic manipulators is identified analytically. We show that it is impossible to obtain a spatially isotropic configuration within this family. We also compute the isotropic configurations of an existing manipulator and demonstrate a procedure for designing the manipulator for isotropy at a given configuration.

Parallel min-cut placement on reduced hardware SIMD architecture.

Massively parallel SIMD computing is applied to obtain an order of magnitude improvement in the executional speed of an important algorithm in VLSI design automation. The physical design of a VLSI circuit involves logic module placement as a subtask. The paper is concerned with accelerating the well known Min-cut placement technique for logic cell placement. The inherent parallelism of the Min-cut algorithm is identified, and it is shown that a parallel machine based on the efficient execution of the placement procedure.

Seismic response of a long span cable

The dynamic response of a single span cable due to a travelling seismic excitation is studied in this paper. The influence of propagation time between the supports is investigated in detail. The importance of considering both vertical and longitudinal equations of motion in the analysis is highlighted. The results indicate the considerable influence of the time-lagged support motions on the cable dynamic tension. A modal combination rule based on the response spectrum method is developed to arrive at the peak estimates of the cable response. Some significant aspects of cable behaviour, especially under horizontal support motion, are discussed.