A decidable temporal logic with repeating values

Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecidability. In this paper, we study a linear-time temporal logic with past-time operators such that the freeze operator is only used to express that some value from an infinite set is repeated in the future or in the past. Such a restriction has been inspired by a recent work on spatio-temporal logics. We show decidability of finitary and infinitary satisfiability by reduction into the verification of temporal properties in Petri nets. This is a surprising result since the logic is closed under negation, contains future-time and past-time temporal operators and can express the nonce property and its negation. These ingredients are known to lead to undecidability with a more liberal use of the freeze quantifier.

Shape and size mimicry in the design of ternary molecular solids: towards a robust strategy for crystal engineering

2- and 5-methylresorcinol form co-crystals with 4,4'-bipyridine in which some of the bipyridine molecules are loosely bound. These molecules can be replaced with other molecules of a similar shape and size to give a general method for the engineering of a ternary co-crystal.

The estimation of the thermodynamic properties of ternary alloys from binary data using the shortest distance composition path

A new composition path, Xi-Xj=constant, is suggested for the semi-empirical calculation of the thermodynamic properties of ternary ‘substitutional’ solutions from binary data, when the binary systems show deviations from the regular solution model. A comparison is made between the results obtained for integral and partial properties using this composition path and those calculated employing other composition paths suggested in literature. It appears that the best estimate of the ternary properties is obtained when binary data at compositions closest to the ternary composition are used.

Activities in the spinel solid solution, phase equilibria and thermodynamic properties of ternary phases in the system Cu Fe O

A review of the structural and thermodynamic information and phase equilibria in the Cu-Fe-O system suggested that a consistent, quantitative description of the system is hampered by lack of data on activities in the spinel solid solution CuFe2O4-Fe3O4. Therefore the activity of Fe3O4 in this solid solution is derived from measurements of the oxygen potentials established at 1000°C by mixtures containing Fe2O3 and spinel solid solutions of known composition. The oxygen pressures were measured manometrically for solid solutions rich in CuFe2O4, while for Fe3O4-rich compositions the oxygen potentials were obtained by an emf technique. The activities show significant negative deviations from Raoult’s law. The compositions of the spinel solid solutions in equilibrium with CuO + CuFeO2 and Cu + CuFeO2 were obtained from chemical analysis of the solid solution after magnetic separation. The oxygen potential of the three-phase mixture Cu + CuFeO2 + Fe3O4(spinel s.s.) was determined by a solid oxide galvanic cell. From these measurements a complete phase diagram and consistent thermodynamic data on the ternary condensed phases, CuFeO2 and CuFeO2O4, were obtained. An analysis of the free energy of mixing of the spinel solid solution furnished information on the distribution of cations and their valencies between the tetrahedral and octahedral sites of the spinel lattice, which is consistent with X-ray diffraction, magnetic and Seebeck coefficient measurements.

The Co Cr S ternary diagram at 1223 K and applications to corrosion

Ternary phase relations in the Co-Cr-S system at 1223 K were determined using microprobe analysis of quenched samples. The results are consistent with the data available on the binary systems. A complete solid solution exists between cobalt monosulfide and chromium monosulfide. The CoCr2S4 thiospinel is the only ternary compound formed. A sulfur potential diagram was constructed for the region involving equilibrium between alloy and monosulfide based on thermodynamic data on the Co-Cr, Co-S, and Cr-S binary systems and the ternary information obtained in this study. The sulfidation behavior of Co-Cr alloys reported in the literature is discussed in light of the sulfur potential diagram.

An advanced design of the solid-state cell for accurate thermodynamic measurements on ternary oxides: system Sm–Pd–O

An advanced design of the solid-state cell incorporating a buffer electrode has been developed for high temperature thermodynamic measurements. The function of the buffer electrode, placed between reference and working electrodes, was to absorb the electrochemical flux of the mobile species through the solid electrolyte caused by trace electronic conductivity. The buffer electrode prevented polarization of the measuring electrode and ensured accurate data. The application of the novel design and its advantages have been demonstrated by measuring the standard Gibbs energies of formation of ternary oxides of the system Sm–Pd–O. Yttria-stabilized zirconia was used as the solid electrolyte and pure oxygen gas at a pressure of 0.1 MPa as the reference electrode. For the design of appropriate working electrodes, phase relations in the ternary system Sm–Pd–O were investigated at 1273 K. The two ternary oxides, Sm4PdO7 and Sm2Pd2O5, compositions of which fall on the Sm2O3–PdO join, were found to coexist with pure metal Pd. The thermodynamic properties of the ternary oxides were measured using three-phase electrodes in the temperature range 950–1425 K. During electrochemical measurements a third ternary oxide, Sm2PdO4, was found to be stable at low temperature. The standard Gibbs energies of formation (Δf(ox)Go) of the compounds from their component binary oxides Sm2O3 and PdO, can be represented by the equations: Sm4PdO7: Δf(ox)Go (J mol−1)=−34,220+0.84T(K) (±280); Sm2PdO4: Δf(ox)Go (J mol−1)=−33,350+2.49T(K) (±230); Sm2Pd2O5: Δf(ox)Go (J mol−1)=−59,955+1.80T(K) (±320). Based on the thermodynamic information, three-dimensional P–T–C and chemical potential diagrams for the system Sm–Pd–O were developed.

System Cu-Rh-O: Phase diagram and thermodynamic properties of ternary oxides CuRhO2 and CuRh204

An isothermal section of the phase diagram for the system Cu-Rh-O at 1273 K has been established by equilibration of samples representing eighteen different compositions, and phase identification after quenching by optical and scanning electron microscopy (SEM), X-ray diffraction (XRD), and energy dispersive analysis of X-rays (EDX). In addition to the binary oxides Cu2O, CuO, and Rh2O3, two ternary oxides CuRhO2 and CuRh2O4 were identified. Both the ternary oxides were in equilibrium with metallic Rh. There was no evidence of the oxide Cu2Rh2O5 reported in the literature. Solid alloys were found to be in equilibrium with Cu2O. Based on the phase relations, two solid-state cells were designed to measure the Gibbs energies of formation of the two ternary oxides. Yttria-stabilized zirconia was used as the solid electrolyte, and an equimolar mixture of Rh+Rh2O3 as the reference electrode. The reference electrode was selected to generate a small electromotive force (emf), and thus minimize polarization of the three-phase electrode. When the driving force for oxygen transport through the solid electrolyte is small, electrochemical flux of oxygen from the high oxygen potential electrode to the low potential electrode is negligible. The measurements were conducted in the temperature range from 900 to 1300 K. The thermodynamic data can be represented by the following equations: {fx741-1} where Δf(ox) G o is the standard Gibbs energy of formation of the interoxide compounds from their component binary oxides. Based on the thermodynamic information, chemical potential diagrams for the system Cu-Rh-O were developed.

Signature of a silver phase percolation threshold in microscopically phase separated ternary Ge0.15Se0.85-xAgx (0≤x≤0.20) glasses

Temperature modulated alternating differential scanning calorimetric studies show that Se rich Ge0.15Se0.85−xAgx (0 x 0.20) glasses are microscopically phase separated, containing Ag2Se phases embedded in a Ge0.15Se0.85 backbone. With increasing silver concentration, Ag2Se phase percolates in the Ge–Se matrix, with a well-defined percolation threshold at x = 0.10. A signature of this percolation transition is shown up in the thermal behavior, as the appearance of two exothermic crystallization peaks. Density, molar volume, and microhardness measurements, undertaken in the present study, also strongly support this view of percolation transition. The superionic conduction observed earlier in these glasses at higher silver proportions is likely to be connected with the silver phase percolation.

Digital Dead Time Logic and Protection Circuitry for PWM Voltage Source Converters

Power semiconductor devices have finite turn on and turn off delays that may not be perfectly matched. In a leg of a voltage source converter, the simultaneous turn on of one device and the turn off of the complementary device will cause a DC bus shoot through, if the turn off delay is larger than the turn on delay time. To avoid this situation it is common practice to blank the two complementary devices in a leg for a small duration of time while switching, which is called dead time. This paper proposes a logic circuit for digital implementation required to control the complementary devices of a leg independently and at the same time preventing cross conduction of devices in a leg, and while providing accurate and stable dead time. This implementation is based on the concept of finite state machines. This circuit can also block improper PWM pulses to semiconductor switches and filters small pulses notches below a threshold time width as the narrow pulses do not provide any significant contribution to average pole voltage, but leads to increased switching loss. This proposed dead time logic has been implemented in a CPLD and is implemented in a protection and delay card for 3- power converters.

Quasicrystals and their crystalline homologues in the Al–Mn–Cu ternary alloys

Electron diffraction and high-resolution electron microscopy have been employed to differentiate among icosahedral, decagonal and crystalline particles that occur in as-cast and rapidly solidified Al-Mn-Cu alloys. The resemblance between decagonal quasicrystals and crystals in their electron diffraction patterns is striking. The crystalline structure is based on the orthorhombic ‘Al3Mn’ structure, but also a new monoclinic phase called ‘X’ has been discovered and described here. The present observations are also closely related to the orthorhombic structures in Al60Mn11Ni4. The occurrence of fine-scale twinning and fragmentation into domains explains the complex diffraction effects.