A new methodology for analyzing distributed systems modeled by petri nets

Distributed computing systems can be modeled adequately by Petri nets. The computation of invariants of Petri nets becomes necessary for proving the properties of modeled systems. This paper presents a two-phase, bottom-up approach for invariant computation and analysis of Petri nets. In the first phase, a newly defined subnet, called the RP-subnet, with an invariant is chosen. In the second phase, the selected RP-subnet is analyzed. Our methodology is illustrated with two examples viz., the dining philosophers' problem and the connection-disconnection phase of a transport protocol. We believe that this new method, which is computationally no worse than the existing techniques, would simplify the analysis of many practical distributed systems.

Nature of Cl center dot center dot center dot Cl Intermolecular Interactions via Experimental and Theoretical Charge Density Analysis:Correlation of Polar Flattening Effects with Geometry

The experimental charge density distribution in three compounds, 2-chloro-3-quinolinyl methanol, 2-chloro-3-hydroxypyridine, and 2-chloro-3-chloromethyl-8-methylquinoline, has been obtained using high-resolution X-ray diffraction data collected at 100 K based on the aspherical multipole modeling of electron density. These compounds represent type I (cis), type I (trans), and type II geometries, respectively, as defined for short Cl center dot center dot center dot Cl interactions. The experimental results are compared with the theoretical charge densities using theoretical structure factors obtained from a periodic quantum calculation at the B3LYP/6-31G** level. The topological features derived from the Bader's theory of atoms in molecules (AIM) approach unequivocally suggest that both cis and trans type I geometries show decreased repulsion, whereas type II geometry is attractive based on the nature of polar flattening of the electron density around the Cl atom.

Numerical and experimental study of the thermal behaviour of coining and upsetting processes

A numerical simulation technique has been employed to study the thermal behavior of hot-forging type forming processes. Experiments on the coining and upsetting of an aluminum billet were conducted to validate the numerical predictions. Typical forming conditions for both the coining and upsetting processes were then studied in detail. an electrical analogy scheme was used to determine the thermal contact resistance. This scheme can conviniently provide the interface characteristics for typical processing conditions, which normally involve high pressures and temperatures. A single forging cycle was first considered, and then a batch of twenty-five forgings was studied. Each forging cycle includes the billet mounting, ascent, loading, dwelling, unloading, descent, and billet removal stages. The temperature distribution in the first forging to be formed is found to be significantly different from that at the end of the batch. In industry, forging is essentially a batch operation. The influence of forming speed and reduction on thermal characteristics was investigated also. The variations that can occur in the process design by considering differences in temperature characteristics are discussed also.

Studies on helium flow in experimental loops with different impedances operated with fountain effect pumps

An experimental flow loop with He II flow driven by fountain effect pumps (FEPs) is studied with respect to operation at different flow impedances and with thermal loads applied at different positions. The measured values of temperature, flow rate and pressure drop are compared with calculations resulting from a simplified model which assumes ideal performance of the porous plug and of the heat exchangers and which does not take into account Gorter-Mellink (GM) conduction. The main features of the loop are shown to be well described by this model. Refined calculations with a more complex model, including GM conduction of the He II, are only required for predicting the temperature distribution in some discrete regions of the loop.

Transferability of Multipole Charge Density Parameters for Supramolecular Synthons: A New Tool for Quantitative Crystal Engineering

The modularity of the supramolecular synthon is used to obtain transferability of charge density derived multipolar parameters for structural fragments, thus creating an opportunity to derive charge density maps for new compounds. On the basis of high resolution X-ray diffraction data obtained at 100 K for three compounds methoxybenzoic acid, acetanilide, and 4-methyl-benzoic acid, multipole parameters for O-H center dot center dot center dot O carboxylic acid dimer and N-H center dot center dot center dot O amide infinite chain synthon fragments have been derived. The robustness associated with these supramolecular synthons has been used to model charge density derived multipolar parameters for 4-(acetylamino)benzoic acid and 4-methylacetanilide. The study provides pointers to the design and fabrication of a synthon library of high resolution X-ray diffraction data sets. It has been demonstrated that the derived charge density features can be exploited in both intra- and intermolecular space for any organic compound based on transferability of multipole parameters. The supramolecular synthon based fragments approach (SBFA) has been compared with experimental charge density data to check the reliability of use of this methodology for transferring charge density derived multipole parameters.

A simple method for potential flow simulation of cascades

A simple method using a combination of conformal mapping and vortex panel method to simulate potential flow in cascades is presented. The cascade is first transformed to a single body using a conformal mapping, and the potential flow over this body is solved using a simple higher order vortex panel method. The advantage of this method over existing methodologies is that it enables the use of higher order panel methods, as are used to solve flow past an isolated airfoil, to solve the cascade problem without the need for any numerical integrations or iterations. The fluid loading on the blades, such as the normal force and pitching moment, may be easily calculated from the resultant velocity field. The coefficient of pressure on cascade blades calculated with this methodology shows good agreement with previous numerical and experimental results.

Theoretical and experimental investigation of framed structure-layered soil interaction problems

The plane stress solution for the interaction analysis of a framed structure, with a foundation beam, resting on a layered soil has been studied using both theoretical and photoelastic methods. The theoretical analysis has been done by using a combined analytical and finite element method. In this, the analytical solution has been used for the semi-infinite layered medium and finite element method for the framed structure. The experimental investigation has been carried out using two-dimensional photoelasticity in which modelling of the layered semi-infinite plane and a method to obtain contact pressure distribution have been discussed. The theoretical and experimental results in respect of contact pressure distribution between the foundation beam and layered soil medium, the fibre stresses in the foundation beam and framed structure have been compared. These results have also been compared with theoretical results obtained by idealizing the layered semi-infinite plane as (a) a Winkler model and (b) an equivalent homogeneous semi-infinite medium

Time-domain-finite-wave analysis of the engine exhaust system by means of the stationary-frame method of characteristics. Part II. Computed results and experimental corroboration thereof

Time-domain-finite-wave analysis of engine exhaust systems is usually carried out by means of the method of characteristics. The theory and the computational details of the stationary-frame method have been worked out in the accompanying paper (part I). In this paper (part II), typical computed results are given and discussed. A setup designed for experimental corroboration is described. The results obtained from the simulation are found to be in good agreement with experimental observations.

Experimental Test of the Quantum No-Hiding Theorem

The no-hiding theorem says that if any physical process leads to bleaching of quantum information from the original system, then it must reside in the rest of the Universe with no information being hidden in the correlation between these two subsystems. Here, we report an experimental test of the no-hiding theorem with the technique of nuclear magnetic resonance. We use the quantum state randomization of a qubit as one example of the bleaching process and show that the missing information can be fully recovered up to local unitary transformations in the ancilla qubits.

Selectivity in Garratt-Braverman Cyclization: An Experimental and Computational Study

Bispropargyl sulfones equipped with aromatic rings of dissimilar nature were synthesized. Under basic conditions, these sulfones isomerized to the bisallenic sulfones, creating a competitive scenario between two alternate Garratt-Braverman (GB) cyclization pathways. The observed product distribution ruled out the involvement of any ionic intermediate and supported the diradical mechanism with greater involvement of the electron-rich aromatic ring via the more nucleophilic radical. DFT-based calculations supported the diradical mechanism along with the observed selectivity.

Diastereospecific Coupling of Imines by Low-Valent Titanium: An Experimental and Computational Study

The reaction of phenylsilane (PhSiH3) and titanium(IV) isopropoxide Ti(OiPr)(4)] generates low-valent titanium alkoxides that reduce and reductively couple imines. The C-C coupling reaction is diastereospecific, with exclusive formation of the (+/-)-isomer. The yield is dependent on the concentration of titanium(IV) isopropoxide used. Using imines with varying electronic demand revealed that the coupling is most efficient for unsubstituted imines. The involvement of a trimeric titanium biradical species is invoked to explain the observed concentration dependence and diastereospecificity in the reaction. Multilayer ONIOM (''our own n-layered integrated molecular orbital and molecular mechanics'') calculations were carried out on the plausible intermediates involved by using the Guassian 09 suite of programs. Formation of the trimeric biradical species leading to the formation of the (+/-)-isomer is more favored than formation of the trimeric biradical species, which leads to the meso-isomer. Similar calculations with dimeric intermediates do not predict the (+/-)-selectivity. Mass spectral analysis of the reaction mixture indicates the presence of a trimeric titanium alkoxide species.

Particle filters for structural system identification using multiple test and sensor data: A combined computational and experimental study

The problem of structural system identification when measurements originate from multiple tests and multiple sensors is considered. An offline solution to this problem using bootstrap particle filtering is proposed. The central idea of the proposed method is the introduction of a dummy independent variable that allows for simultaneous assimilation of multiple measurements in a sequential manner. The method can treat linear/nonlinear structural models and allows for measurements on strains and displacements under static/dynamic loads. Illustrative examples consider measurement data from numerical models and also from laboratory experiments. The results from the proposed method are compared with those from a Kalman filter-based approach and the superior performance of the proposed method is demonstrated. Copyright (C) 2009 John Wiley & Sons, Ltd.

Metathesis of carbon dioxide and phenyl isocyanate catalysed by group(IV) metal alkoxides: An experimental and computational study

The insertion reactions of zirconium(IV) n-butoxide and titanium(IV) n-butoxide with a heterocumulene like carbodiimide, carbon dioxide or phenyl isocyanate are compared. Both give an intermediate which carries out metathesis at elevated temperatures by inserting a second heterocumulene in a head-to-head fashion. The intermediate metallacycle extrudes a new heterocumulene, different from the two that have inserted leading to metathesis. As the reaction is reversible, catalytic metathesis is feasible. In stoichiometric reactions heterocumulene insertion, metathesis and metathesis cum insertion products are observed. However, catalytic amounts of the metal alkoxide primarily led to metathesis products. It is shown that zirconium alkoxides promote catalytic metathesis (isocyanates, carbon dioxide) more efficiently than the corresponding titanium alkoxide. The difference in the metathetic activity of these alkoxides has been explained by a computational study using model complexes Ti(OMe)(4) (1bTi) and Zr(OMe)(4) (1bZr). The computation was carried out at the B3LYP/LANL2DZ level of theory.

A novel method for diameter estimation of small opaque objects using Fraunhofer diffraction

A novel optical method is proposed and demonstrated, for real-time dimension estimation of thin opaque cylindrical objects. The methodology relies on free-space Fraunhofer diffraction principle. The central region, of such tailored diffraction pattern obtained under suitable choice of illumination conditions, comprises of a pair of `equal intensity maxima', whose separation remains constant and independent of the diameter of the diffracting object. An analysis of `the intensity distribution in this region' reveals the following. At a point symmetrically located between the said maxima, the light intensity varies characteristically with diameter of the diffracting object, exhibiting a relatively stronger intensity modulation under spherical wave illumination than under a plane wave illumination. The analysis reveals further, that the said intensity variation with diameter is controllable by the illumination conditions. Exploiting these `hitherto unexplored' features, the present communication reports for the first time, a reliable method of estimating diameter of thin opaque cylindrical objects in real-time, with nanometer resolution from single point intensity measurement. Based on the proposed methodology, results of few simulation and experimental investigations carried-out on metallic wires with diameters spanning the range of 5 to 50 mu m, are presented. The results show that proposed method is well-suited for high resolution on-line monitoring of ultrathin wire diameters, extensively used in micro-mechanics and semiconductor industries, where the conventional diffraction-based methods fail to produce accurate results.