When is `partial' adequate? A logic-based proof technique using partial specifications

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples

Partial oxidation reforming of biomass fuel gas over nickel-based monolithic catalyst with naphthalene as model compound

With naphthalene as biomass tar model compound, partial oxidation reforming (with addition of O-2) and dry reforming of biomass fuel gas were investigated over nickel-based monoliths at the same conditions. The results showed that both processes had excellent performance in upgrading biomass raw fuel gas. Above 99% of naphthalene was converted into synthesis gases (H-2+CO). About 2.8 wt% of coke deposition was detected on the catalyst surface for dry reforming process at 750 degrees C during 108 h lifetime test. However, no Coke deposition was detected for partial oxidation reforming process, which indicated that addition of O-2 can effectively prohibit the coke formation. O-2 Can also increase the CH4 conversion and H-2/CO ratio of the producer gas. The average conversion of CH4 in dry and partial oxidation reforming process was 92% and 95%, respectively. The average H-2/CO ratio increased from 0.95 to 1.1 with the addition of O-2, which was suitable to be used as synthesis gas for dimethyl ether (DME) synthesis.

INFLUENCE OF THE 90-DEGREES PARTIAL DISLOCATION CORE STRUCTURE IN SILICON ON ENERGY-LEVELS

An LCAO-scheme taking into account 10 atomic orbitals (s-, p-, and d-type) is used to calculate the electronic structure of the reconstructed 90-degrees partial dislocation in Si. Two different valence force fields producing deviating results are used for modelling the core structure. Geometrical data published by another group is also used. The aim is to explore the influence of geometry on energy levels. We find that the band structure depends sensitively on bond angles. Using data determined by the Tersoff potential we obtain two bands of which the upper one penetrates deeply into the indirect band gap while the geometry minimizing the simple Keating potential leaves the gap completely clear of dislocation states. Thus, from a theoretical point of view, the chief difficulty in calculating the electronic structure of the reconstructed 90-degrees partial is the lack of accurate structural information.

ENERGY-LEVEL CALCULATIONS OF THE RECONSTRUCTED 90-DEGREES PARTIAL DISLOCATION IN SILICON

An LCAO scheme taking into account 10 atomic orbitals (s-, p-, and d-type) applied to a supercell containing 256 atoms is used to calculate the bound states of the reconstructed 90-degrees partial dislocation in Si. The results differ significantly from our earlier calculations on the unreconstructed 90-degrees partial using the same method. We find two bands separate from each other in the entire Brillouin zone and the upper band penetrates deep into the indirect band gap which is in contradiction with the general opinion that core reconstruction clears the band gap of dislocation states.

Effect of partial site occupation on the magnetic properties of Nd2Fe17-xSix by supercell calculation

The magnetic properties of the Nd2Fe17-xSix intermetallic compounds are studied by means of spin-polarized supercell calculations in which the selected sites of substitution are close to the situations in real samples. It is shown that the average Fe moment increases with x and saturates near x = 3. This correlates quite well with the experimental dependence of Te on x. The difference between supercell and unit cell calculations are pointed out and the influence of Si atoms on the density of states of the nearby Fe atoms is emphasized. (C) 1997 American Institute of Physics.

ELECTRON-STATES OF A VACANCY IN THE CORE OF THE 90-DEGREES PARTIAL DISLOCATION IN SILICON

An LCAO scheme (linear combination of atomic orbitals) taking into account ten atomic orbitals (s-, p-, and d-type) is used to calculate the electronic structure of a vacancy present in the core of the reconstructed 90 degrees partial dislocation in silicon. The levels in the band gap are extracted using Lanczos' algorithm and a continued fraction representation of the local density of states. The three-fold degenerate stale of the ideal vacancy is split into three levels with energies 0.26, 1.1, and 1.9 eV measured from the valence band edge.