Temperature dependence of the levitation effect - Implications for separation of multicomponent mixtures

Sufficiently long molecular dynamics simulations have been carried out on spherical monatomic sorbates in NaY zeolite, interacting via simple Lennard-Jones potentials, to investigate the dependence of the levitation effect on the temperature. Simulations carried out in the range 100-300 K suggest that the anomalous peak in the diffusion coefficient (observed when the levitation parameter, gamma, is near unity) decreases in intensity with increase in temperature. The rate of cage-to-cage migrations also exhibits a similar trend. The activation energy obtained from Arrhenius plots is found to exhibit a minimum when the diffusion coefficient is a maximum, corresponding to the gamma approximate to 1 sorbate diameter. In the linear or normal regime, the activation energy increases with increase in sorbate diameter until it shows a sharp decrease in the anomalous regime. Locations and energies of the adsorption sites and their dependence on the sorbate size gives interesting insight into the nature of the underlying potential-energy surface and further explain the observed trend in the activation energy with sorbate size. Cage residence times, tau(c), show little or no change with temperature for the sorbate with diameter corresponding to gamma approximate to 1, whereas there is a significant decrease in tau(c) with increase in temperature for sorbates in the linear regime. The implications of the present study for the separation of mixtures of sorbates are discussed.

Combinatorial logic synthesis using technology directed decomposition

The aim of logic synthesis is to produce circuits which satisfy the given boolean function while meeting timing constraints and requiring the minimum silicon area. Logic synthesis involves two steps namely logic decomposition and technology mapping. Existing methods treat the two as separate operation. The traditional approach is to minimize the number of literals without considering the target technology during the decomposition phase. The decomposed expressions are then mapped on to the target technology to optimize the area, Timing optimization is carried out subsequently, A new approach which treats logic decomposition and technology maping as a single operation is presented. The logic decomposition is based on the parameters of the target technology. The area and timing optimization is carried out during logic decomposition phase itself. Results using MCNC circuits are presented to show that this method produces circuits which are 38% faster while requiring 14% increase in area.

Phase separation in a simple model with dynamical asymmetry

We perform computer simulations of a Cahn-Hilliard model of phase separation that has dynamical asymmetry between the two coexisting phases. The dynamical asymmetry is incorporated by considering a mobility function that is order parameter dependent. Simulations of this model reveal morphological features similar to those observed in viscoelastic phase separation. In the early stages, the minority phase domains form a percolating structure that shrinks with time, eventually leading to the formation of disconnected regions that are characterized by the presence of random interfaces as well as isolated droplets. The domains grow as L(t)similar to t(1/3) in the very late stages. Although dynamical scaling is violated in the area shrinking regime, it is restored at late times. However, the form of the scaling function is found to depend on the extent of dynamical asymmetry. [S1063-651X(99)12101-9].

Role of corundum-adapted strains of Bacillus polymyxa in the separation of hematite and alumina

Strains of Bacillus polymyxa, preadapted and grown in the presence of corundum, were found to be capable of the efficient separation of hematite from alumina. Results of rests peformed using binary hematite-corundum and ternary hematite-quartz-corundum mixtures in the presence of cells and metabolic products separated from the adapted bacterial culture indicated that more than 99% of the hematite could he efficiently separated through selective flocculation after desliming. It was found that alumina-specific bioproteins and other nonproteinaceous compounds were secreted by bacterial cells after adaptation to the mineral. The utility of this bioprocessing is demonstrated in the removal of iron from bauxite ores through selective flocculation in the presence of the adapted bacteria.

Vesicle formation from dimeric ion-paired amphiphiles. Control over vesicular thermotropic and ion-transport properties as a function of intra-amphiphilic headgroup separation

A novel series of vesicle-forming ion-paired amphiphiles, bis(hexadecyldimethylammonium)alkane dipalmitate (1a-1h), containing four chains were synthesized with two isolated headgroups. In each of these amphiphiles, the two headgroup charges are separated by a flexible polymethylene spacer chain -[(CH2)(m)]- of varying lengths (m) such that the length and the conformation of the spacer chain determine the intra-"monomer" headgroup separation. Transmission electron microscopy indicated that each of these forms bilayer membranes upon dispersion in aqueous media. The vesicular properties of these aggregates have been examined by differential scanning calorimetry and temperature-dependent fluorescence anisotropy measurements. Interestingly, their T-m values decreased with the increase in the m value. Thus while the apparent T-m of the lipid with m = 2 (1a) is 74.1 degrees C, the corresponding value observed for the lipid with m = 12 (1h) is 38.9 degrees C. The fluorescence anisotropy values (r) for 1b-1g were quite high (r similar to 0.3) compared to that of 1h (r similar to 0.23) at 20-30 degrees C in their gel states. On the other hand, the r value for vesicular 1b beyond melting was higher (0.1) compared to any of those for 1c-1h (similar to 0.04-0.06). X-ray diffraction of the cast films was performed to understand the nature and the thickness of these membrane organizations. The membrane widths ranged from 30 to 51 A as the m values varied. The entrapment of a small water-soluble solute, riboflavin, by the individual vesicular aggregates, and their sustenance: under an imposed transmembrane pH gradient have also been examined. These results show that all lipid vesicles entrap riboflavin and that generally the resistance to OH- permeation decreases with the increase in m value. Finally,all the above observations were comparatively analyzed, and on the basis of the calculated structures of these lipids, it was possible to conclude that membrane propel-ties can be modulated by spacer chain length variation of the ion-paired amphiphiles.

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic

A framework based on the notion of "conflict-tolerance" was proposed in as a compositional methodology for developing and reasoning about systems that comprise multiple independent controllers. A central notion in this framework is that of a "conflict-tolerant" specification for a controller. In this work we propose a way of defining conflict-tolerant real-time specifications in Metric Interval Temporal Logic (MITL). We call our logic CT-MITL for Conflict-Tolerant MITL. We then give a clock optimal "delay-then-extend" construction for building a timed transition system for monitoring past-MITL formulas. We show how this monitoring transition system can be used to solve the associated verification and synthesis problems for CT-MITL.

Data rectification and detection of trend shifts in jet engine path measurements using median filters and fuzzy logic

Filtering methods are explored for removing noise from data while preserving sharp edges that many indicate a trend shift in gas turbine measurements. Linear filters are found to be have problems with removing noise while preserving features in the signal. The nonlinear hybrid median filter is found to accurately reproduce the root signal from noisy data. Simulated faulty data and fault-free gas path measurement data are passed through median filters and health residuals for the data set are created. The health residual is a scalar norm of the gas path measurement deltas and is used to partition the faulty engine from the healthy engine using fuzzy sets. The fuzzy detection system is developed and tested with noisy data and with filtered data. It is found from tests with simulated fault-free and faulty data that fuzzy trend shift detection based on filtered data is very accurate with no false alarms and negligible missed alarms.

Fuzzy logic intelligent system for gas turbine module and system fault isolation

A fuzzy logic intelligent system is developed for gas-turbine fault isolation. The gas path measurements used for fault isolation are exhaust gas temperature, low and high rotor speed, and fuel flow. These four measurements are also called the cockpit parameters and are typically found in almost all older and newer jet engines. The fuzzy logic system uses rules developed from a model of performance influence coefficients to isolate engine faults while accounting for uncertainty in gas path measurements. It automates the reasoning process of an experienced powerplant engineer. Tests with simulated data show that the fuzzy system isolates faults with an accuracy of 89% with only the four cockpit measurements. However, if additional pressure and temperature probes between the compressors and before the burner, which are often found in newer jet engines, are considered, the fault isolation accuracy rises to as high as 98%. In addition, the additional sensors are useful in keeping the fault isolation system robust as quality of the measured data deteriorates.

Health monitoring,of a helicopter rotor in forward flight using fuzzy logic

A fuzzy logic system is developed for helicopter rotor system fault isolation. Inputs to the fuzzy logic system are measurement deviations of blade bending and torsion response and vibration from a "good" undamaged helicopter rotor. The rotor system measurements used are flap and lag bending tip deflections, elastic twist deflection at the tip, and three forces and three moments at the rotor hub. The fuzzy logic system uses rules developed from an aeroelastic model of the helicopter rotor with implanted faults to isolate the fault while accounting for uncertainty in the measurements. The faults modeled include moisture absorption, loss of trim mass, damaged lag damper, damaged pitch control system, misadjusted pitch link, and damaged flap. Tests with simulated data show that the fuzzy system isolates rotor system faults with an accuracy of about 90-100%. Furthermore, the fuzzy system is robust and gives excellent results, even when some measurements are not available. A rule-based expert system based on similar rules from the aeroelastic model performs much more poorly than the fuzzy system in the presence of high levels of uncertainty.

Partial instantiation methods for inference in first-order logic

Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-order logic that reduce the problem to a series of ground-level satisfiability problems. R. Jeroslow introduced a partial instantiation method of this kind that differs radically from the standard resolution-based methods. This paper lays the theoretical groundwork for an extension of his method that is general enough and efficient enough for general logic programming with indefinite clauses. In particular we improve Jeroslow's approach by (1) extending it to logic with functions, (2) accelerating it through the use of satisfiers, as introduced by Gallo and Rago, and (3) simplifying it to obtain further speedup. We provide a similar development for a "dual" partial instantiation approach defined by Hooker and suggest a primal-dual strategy. We prove correctness of the primal and dual algorithms for full first-order logic with functions, as well as termination on unsatisfiable formulas. We also report some preliminary computational results.

Spin-orbital ordering and mesoscopic phase separation in the double perovskite Ca2FeReO6

Neutron powder diffraction measurements on Ca2FeReO6 reveal that this double perovskite orders ferrimagnetically and shows anomalous lattice parameter behavior below T-C=521 K. Below similar to300 K and similar to160 K we observe that the high-T monoclinic crystal structure separates into two and three monoclinic phases, respectively. A magnetic field suppresses the additional phases at low T in favor of the highest-T phase. These manifestations of the orbital degree of freedom of Re 5d electrons indicate that these electrons are strongly correlated and the title compound is a Mott insulator, with competing spin-orbitally ordered states.

A study of phase separation in ternary alloys

We have studied the evolution of microstructure when a disordered ternary alloy is quenched into a ternary miscibility gap. We have used computer simulations based on multicomponent Cahn-Hilliard (CH) equations for c(A) and c(B), the compositions (in mole fraction) of A and B, respectively. In this work, we present our results on the effect of relative interfacial energies on the temporal evolution of morphologies during spinodal phase separation of an alloy with average composition, c(A) = 1/4, c(B) = 1/4 and c(C) = 1/2. Interfacial energies between the 'A' rich, 'B' rich and 'C' rich phases are varied by changing the gradient energy coefficients. The phases associated with a higher interfacial energy are found to be more rounded than those with lower energy. Further, the kinetic paths (i.e. the history of A-rich, B-rich and C-rich regions in the microstructure) are also affected significantly by the relative interfacial energies of the three phases.

Biaxial strain induced electrical inhomogenities and phase separation in the ferromagnetic metallic phase in thin films of La0.7Ca0.3MnO3: A scanning tunneling potentiometry/spectroscopy study

We have investigated the effect of biaxial strain on local electrical/electronic properties in thin films of La0.7Ca0.3MnO3 with varying degrees of biaxial strain in them. The local electrical properties were investigated as a function of temperature by scanning tunneling spectroscopy (STS) and scanning tunneling potentiometry (STP), along with the bulk probe like conductance fluctuations.The results indicate a positive correlation between the lattice mismatch biaxial strain and the local electrical/electronic inhomogenities observed in the strained sample. This is plausible since the crystal structure of the manganites interfere rather strongly with the magnetic/electronic degrees of freedom. Thus even a small imbalance (biaxial strain) can induce significant changes in the electrical properties of the system.

A Note On The Effect Of Short And Long Laminar Separation-Bubbles On Desinent Cavitation

Earlier desinent cavitation studies on a 1/8 caliber ogive by one of the authors (J. W. H.) showed a sudden change in the magnitude of the desinent cavitation number at a critical velocity. In the present work it is shown by means of oil-film flow visualization that below the critical velocity a long laminar separation bubble exists whereas above the critical velocity the laminar separation bubble is short. Thus the desinent cavitation characteristics of a 1/8 caliber ogive are governed by the nature of the viscous flow around the body.

A low power, process invariant keeper design for high speed dynamic logic circuits

A low power keeper circuit using the concept of rate sensing has been proposed. The proposed technique reduces the amount of short circuit power dissipation in the domino gate by 70% compared to the conventional keeper technique. Also the total power-delay product is 26% lower compared to the previously reported techniques. The process tracking capability of the design enables the domino gate to achieve uniform delay across different process corners. This reduces the amount of short circuit power dissipation that occurs in the cascaded domino gates by 90%. The use of the proposed technique in the read path of a register file reduces the energy requirement by 26% as compared to the other keeper techniques. The proposed technique has been prototyped in 130nm CMOS technology.