Studies of ternary Li2SO4-Li2O-P2O5 glasses

Glasses in a wide range of compositions in the ternary system xLi(2)SO(4-y)Li(2)O-zP(2)O(5) where x ranges from 0 to 30 mol%, y ranges from 35 to 55 mol% and z ranges from 25 to 50 mol% have been prepared and their properties measured using infra-red, Raman, and P-31 magic angle spinning nuclear magnetic resonance spectroscopic techniques. We conclude that a random close packing of phosphate and sulphate ions which also leads to formation of connected voids in the structure is consistent with our data. There is also evidence for formation of condensed sulphate-phosphate species in the liquid which may be retained in the glass structure. (C) 1999 Elsevier Science B.V. All rights reserved.

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.

Systematic trends in structural and thermodynamic properties of ternary oxides in the systems Ln-Pd-O (Ln = lanthanide element)

Isothermal sections of the phase diagrams for the systems Ln-Pd-O (Ln = lanthanide element) at 1223 K indicate the presence of two inter-oxide compounds Ln(4)PdO(7) and Ln(2)Pd(2)O(5) for Ln = La, Pr, Nd, Sm, three compounds Ln(4)PdO(7), Ln(2)PdO(4) and Ln(2)Pd(2)O(5) for Ln = Eu, Gd and only one compound of Ln(2)Pd(2)O(5) for Ln = Tb to Ho. The lattice parameters of the compounds Ln(4)PdO(7), Ln(2)PdO(4) and Ln(2)Pd(2)O(5) show systematic nonlinear variation with atomic number. The unit cell volumes decrease with increasing atomic number. The standard Gibbs energies, enthalpies and entropies of formation of the ternary oxides from their component binary oxides (Ln(2)O(3) and PdO) have been measured recently using an advanced version of the solid-state electrochemical cell. The Gibbs energies and enthalpies of formation become less negative with increasing atomic number of Ln. For all the three compounds, the variation in Gibbs energy and enthalpy of formation with atomic number is markedly non-linear. The decrease in stability with atomic number is most pronounced for Ln(2)Pd(2)O(5), followed by Ln(4)PdO(7) and Ln(2)PdO(4). This is probably related to the repulsion between Pd2+ ions on the opposite phases Of O-8 cubes in Ln(2)Pd(2)O(5), and the presence of Ln-filled O-8 cubes that share three faces with each other in Ln4PdO7. The values for entropy of formation of all the ternary oxides from their component binary oxides are relatively small. Although the entropies of formation show some scatter, the average value for Ln = La, Pr, Nd is more negative than the average value for the other lanthanide elements. From this difference, an average value for the structure transformation entropy of Ln(2)O(3) from C-type to A-type is estimated as 0.87 J.mol(-1).K-1. The standard Gibbs energies of formation of these ternary oxides from elements at 1223 K are presented as a function of lanthanide atomic number. By invoking the Neumann-Kopp rule for heat capacity, thermodynamic properties of the inter-oxide compounds at 298.15 K are estimated. (C) 2002 Elsevier Science Ltd. All rights reserved.

System Dy-Fe-O: thermodynamic properties of ternary oxides using Calvet calorimetry and solid-state electrochemical cell

The enthalpy increments and the standard molar Gibbs energies of formation-of DyFeO3(s) and Dy3Fe5O12(s) have been measured using a Calvet micro-calorimeter and a solid oxide galvanic cell, respectively. A co-operative phase transition, related to anti-ferromagnetic to paramagnetic transformation, is apparent. from the heat capacity data for DyFeO3 at similar to 648 K. A similar type of phase transition has been observed for Dy3Fe5O12 at similar to 560 K which is related to ferrimagnetic to paramagnetic transformation. Enthalpy increment data for DyFeO3(s) and Dy3Fe5O12(s), except in the vicinity of the second-order transition, can be represented by the following polynomial expressions:{H(0)m(T) - H(0)m(298.15 K)) (Jmol(-1)) (+/-1.1%) = -52754 + 142.9 x (T (K)) + 2.48 x 10(-3) x (T (K))(2) + 2.951 x 10(6) x (T (K))(-1); (298.15 less than or equal to T (K) less than or equal to 1000) for DyFeO3(s), and {H(0)m(T) - H(0)m(298.15 K)} (Jmol(-1)) (+/-1.2%) = -191048 + 545.0 x (T - (K)) + 2.0 x 10(-5) x (T (K))(2) + 8.513 x 10(6) x (T (K))(-1); (208.15 less than or equal to T (K) less than or equal to 1000)for Dy3Fe5O12(s). The reversible emfs of the solid-state electrochemical cells: (-)Pt/{DyFeO3(s) + Dy2O3(s) + Fe(s)}/YDT/CSZ//{Fe(s) + Fe0.95O(s)}/Pt(+) and (-)Pt/{Fe(s) + Fe0.95O(s)}//CSZ//{DyFeO3(s) + Dy3Fe5O12(s) + Fe3O4(s)}/Pt(+), were measured in the temperature range from 1021 to 1250 K and 1035 to 1250 K, respectively. The standard Gibbs energies of formation of solid DyFeO3 and Dy3Fe5O12 calculated by the least squares regression analysis of the data obtained in the present study, and data for Fe0.95O and Dy2O3 from the literature, are given by Delta(f)G(0)m(DyFeO3,s)(kJmol(-1))(+/-3.2)= -1339.9 + 0.2473 x (T(K)); (1021 less than or equal to T (K) less than or equal to 1548)and D(f)G(0)m(Dy3Fe5O12,s) (kJmol(-1)) (+/-3.5) = -4850.4 + 0.9846 x (T (K)); (1035 less than or equal to T (K) less than or equal to 1250) The uncertainty estimates for Delta(f)G(0)m include the standard deviation in the emf and uncertainty in the data taken from the literature. Based on the thermodynamic information, oxygen potential diagram and chemical potential diagrams for the system Dy-Fe-O were developed at 1250 K. (C) 2002 Editions scientifiques et medicales Elsevier SAS. All rights reserved.

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.

Nanocrystallisation and Nanoquasicrystallisation in (Ti/Hf)-Zr-(Ni/Cu) Ternary Alloys

The applicability of the confusion principle and size factor in glass formation has been explored by following different combinations of isoelectronic Ti, Zr and Hf metals. Four alloys of nominal composition Zr41.5Ti41.5Ni17, Zr41.5Hf41.5Ni17, Zr25Ti25Cu50 and Zr34Ti16Cu50 have been rapidly solidified to obtain an amorphous phase and their crystallisation behaviour has been studied. The Ti-Zr-Ni alloy crystallises in three steps. Initially this alloy precipitates icosahedral quasicrystalline phase, which on further heat treatment precipitates cF96 Zr2Ni phase. The Zr-Hf-Ni alloy can not be amorphised under the same experimental conditions. The amorphous Zr-Ti-Cu alloys at the initial stages of crystallisation phase-separateinto two amorphous phases and then on further heat treatment cF24 Cu5Zr and oC68 Cu10Zr7 phase are precipitated. The lower glass-forming abilityof Zr-Hf-Ni alloy and the crystallisation behaviour of the above alloys has been studied. The rationale behind nanoquasicrystallisation and the formation of other intermetallic phases has been explained.

Efficient visible light induced nuclease activity of a ternary mono-1,10-phenanthroline copper(II) complex containing 2-(methylthio)ethylsalicylaidimine

Ternary Schiff base copper(II) complex [CuL(phen)](ClO4), where HL is 2-(methylthio)ethylsalicylaldimine and phen is 1,10-phenanthroline, has been prepared and structurally characterized by X-ray crystallography. The complex shows a CuN3OS coordination in a square-pyramidal (4 + 1) geometry with the sulfur as an equatorial ligand. The complex is an avid binder to double-stranded DNA in the minor groove and exhibits both photonuclease and chemical nuclease activity. When exposed to UV light of 312 nm (96 W) or visible light of 532 nm (125 W) under aerobic conditions, the complex causes significant cleavage of supercoiled pUC19 DNA in the absence of any externally added reducing agent or H2O2.

Ternary copper(II) complexes of thiosemicarbazones and heterocyclic bases showing N3OS coordination as models for the type-2 centers of copper monooxygenases

Six ternary copper(II) complexes of general formulation [CuLB] (1-6), where L is dianionic ONS-donor thiosemicarbazones derived from the condensation of salicylaldehyde with thiosemicarbazides and B is NN-donor heterocyclic bases like 2,2'-bipyridine, 1,10-phenanthroline and 2,9-dimethyl-1,10-phenanthroline, are prepared from a reaction of copper(II) acetate hydrate with the heterocyclic base (B) and the thiosemicarbazone (H2L) in MeOH, and structurally characterized by X-ray diffraction technique. Crystal structures of the complexes display a distorted square-pyramidal (4 + 1) coordination geometry having the ONS-donor thiosemicarbazone bonded at the basal plane. The chelating heterocyclic bases exhibit axial-equatorial mode of bonding. The complexes are one-electron paramagnetic and they show axial X-band EPR spectra in DMF-toluene glass at 77 K giving g(parallel to)(A(parallel to)) and g(perpendicular to) values of similar to2.2 (175 x 10(-4) cm(-1)) and similar to2.0 indicating a {d(x2-y2)}(1) ground state. The complexes show a d-d band near 570 nm and a charge transfer band near 400 nm in DMF. The complexes are redox active and exhibit a quasireversible Cu(II)-Cu(I) couple in DMF-0.1 M tetrabutylammonium perchlorate near 0.1 V vs. SCE. They are catalytically active in the oxidation of ascorbic acid in presence of dioxygen. The complexes with a CuN3OS coordination model the ascorbate oxidation property of dopamine beta-hydroxylase and peptidylglycine a-hydroxylating monooxygeanase. (C) 2003 Elsevier Science B.V. All rights reserved.

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.

Unified Vdd Vth Optimization Based DVFM Controller for a Logic Block

In this paper analytical expressions for optimal Vdd and Vth to minimize energy for a given speed constraint are derived. These expressions are based on the EKV model for transistors and are valid in both strong inversion and sub threshold regions. The effect of gate leakage on the optimal Vdd and Vth is analyzed. A new gradient based algorithm for controlling Vdd and Vth based on delay and power monitoring results is proposed. A Vdd-Vth controller which uses the algorithm to dynamically control the supply and threshold voltage of a representative logic block (sum of absolute difference computation of an MPEG decoder) is designed. Simulation results using 65 nm predictive technology models are given.