Adsorption and decomposition of H2S on Pd(1 1 1) surface: a first-principles study

Gradient-corrected density functional theory was used to investigate the adsorption of H₂S on Pd(1 1 1) surface. Molecular adsorption was found to be stable with H₂S binding preferentially at top sites. In addition, the adsorption of other S moieties (SH and S) was investigated. SH and S were found to be preferentially bind at the bridge and fcc sites, respectively. The reaction pathways and energy profiles for H₂S decomposition giving rise to adsorbed S and H were determined. Both H₂S_(ad) → SH_(ad) + H_(ad) and SH_(ad) → S_(ad) + H_(ad) reactions were found to have low barriers and high exothermicities. This reveals that the decomposition of H₂S on Pd(1 1 1) surface is a facile process.     

Application of parallelized analogical planning to engineering design

Analogical planning provides a means of solving engineering problems where other machine learning methods fail. Unlike many machine learning paradigms, analogy does not require numerous previous examples or a rich domain theory. Instead, analogical planners adapt knowledge of solved problems in similar domains to the current problem. Unfortunately, the analogical planning task is an expensive one. While the process of forming correspondences between a known problem and a new problem is complex, the problem of selecting a base case for the analogy is virtually intractable.This paper addresses the issue of efficiently forming analogical plans. The Anagram planning system is described, which takes advantage of the massively parallel architecture of the Connection Machine to perform base selection and map formation. Anagram provides a tractable solution to analogical planning, with a complexity that is sublinear in the size of the plans.This paper describes the Anagram system and its parallel algorithms. The paper also presents theoretical analyses and empirical results of testing the system on a large database of plans from the domain of automatic programming.     

Notes on Ginsberg's multivalued logics

The use of multivalued logics for knowledge representation and nonmonotonic reasoning has often been advocated, in particular within the general framework proposed by Ginsberg in his paper "Multivalued logics: a uniform approach to reasoning in artificial intelligence." His system is based on a multivalued logic with an arbitrary number of truth values classified with respect to two partial orders, a truth order and a knowledge order. This classification is very interesting and gives an intuitive appeal to the framework. In this paper the work by Ginsberg is critically reviewed, pointing out some flaws and ways to overcome them. Moreover, we present some ideas on how to modify the original schema in order to obtain a more semantically well-founded framework.
L'utilisation de la Iogique multivalente pour la représentation des connaissances et le raisonnement non monotone a souvent été préconisée, en particulier à l'intérieur du cadre général proposé par Ginsberg dans son article intitulé〘 Multivalued logics: a uniform approach to reasoning in artificial intelligence 〙 Son système est basé sur une logique multivalente comportant un nombre arbitraire de valeurs de vérité classées selon deux ordres partiels: un ordre de vérité et un ordre de connaissances. Cette classification est très intéressante et donne un attrait intuitif au cadre. Dans cet article, l'auteur examine le travail de Ginsberg, y relève des lacunes et propose des moyens de les corriger. De plus, il expose certaines idées en vue de modifier le schéma original et ainsi obtenir un meilleur cadre du point de vue de la sémantique.     

On the design of multiple key hashing files for concurrent orthogonal range retrieval between two disks

This paper concerns the following problem: given a set of multi-attribute records, a fixed number of buckets and a two-disk system, arrange the records into the buckets and then store the buckets between the disks in such a way that, over all possible orthogonal range queries (ORQs), the disk access concurrency is maximized. We shall adopt the multiple key hashing (MKH) method for arranging records into buckets and use the disk modulo (DM) allocation method for storing buckets onto disks. Since the DM allocation method has been shown to be superior to any other allocation methods for allocating an MKH file onto a two-disk system for answering ORQs, the real issue is knowing how to determine an optimal way for organizing the records into buckets based upon the MKH concept.

A performance formula that can be used to evaluate the average response time, over all possible ORQs, of an MKH file in a two-disk system using the DM allocation method is first presented. Based upon this formula, it is shown that our design problem is related to a notoriously difficult problem, namely the Prime Number Problem. Then a performance lower bound and an efficient algorithm for designing optimal MKH files in certain cases are presented. It is pointed out that in some cases the optimal MKH file for ORQs in a two-disk system using the DM allocation method is identical to the optimal MKH file for ORQs in a single-disk system and the optimal average response time in a two-disk system is slightly greater than one half of that in a single-disk system.     

液化石油气储罐火灾模拟试验——池火灾环境下

液化石油气储罐在火灾作用下，其内部的温度和压力会迅速上升，从而可能引起储罐爆炸，进而酿成危害性更大的二次灾害。为此，对液化石油气储罐在池火灾环境下的热响应情况进行了大量的模拟试验研究。研究发现，储罐在池火灾作用下存在着明显的热分层，热分层加速了储罐内部压力升高的速度；储罐内部温度分布和压力响应受到储罐类型、充装水平等因素的影响，压力随时间的变化关系可以用三次多项式加以拟合。     

Integrating integer programming and probabilistic deduction graphs for probabilistic reasoning

Optimal solutions of several variants of the probabilistic reasoning problem were found by a new technique that integrates integer programming and probabilistic deduction graphs (PDG). PDGs are extended from deduction graphs of the and-type via normal deduction graphs. The foregoing variants to be solved can involve multiple hypotheses and multiple evidences where the former is given and the latter is unknown and being found or vice versa. The relationship among these hypotheses and evidences with possible intermediaries is represented by a causal graph. The proposed method can handle a large causal graph of any type and find an optimal solution by invoking a linear integer programming package. In addition, formulating the reasoning problem to fit integer programming takes a polynomial time. H.-L. Li was visiting the Department of Computer Sciences, University of North Texas in 1988–1989. He is with the Institute of Information Management, National Chiao Tung University, Hsinchu, Taiwan, R.O.C.     

同步辐射光刻技术

同步辐射光刻有希望代替传统光刻技术,用于0.25μm以下图形的超精细加工。本文叙述了它的原理、相关技术的开发现状和工艺应用。     

Direct atomic scale analysis of the distribution of Cu valence states in Cu/γ-Al2O3 catalysts

In this paper, the microstructure of a 1 wt.% Cu/γ-Al₂O₃ catalyst that was reduced in a 4% hydrogen/argon atmosphere at temperatures of 523, 773 and 1073 K, is studied by Z-contrast imaging and electron energy-loss spectroscopy (EELS) in a scanning transmission electron microscope (STEM). Results show that the copper species are well dispersed when the catalyst is reduced below 523 K. At 773 K, separated Cu(I) and Cu(0) species are found existing as ring-like and bulk-like particles. This appears to indicate that the copper has not been reduced to its metallic form due to the interaction between the copper oxide and the support. Large spherical particles having core-shell structures with Cu(I) in the shells and Cu(0) in the cores are generated when the catalyst is reduced at 1073 K. The formation of partially oxidized copper species upon reduction at 1073 K is attributed to the metallic copper interaction with the alumina support. This study also demonstrates that high-spatial resolution Z-contrast imaging and EELS performed simultaneously can provide unique information on the morphology and chemistry of metal species in supported metal catalysts.     

Enthalpic relaxation in semi-crystalline PEEK

The effect of crystallisation on the glass transition temperature and enthalpic relaxation in poly(ether ether ketone) (PEEK) has been investigated. The increase in glass transition temperature and the activation enthalpy of ageing is explained in terms of the amorphous phase being constrained by the crystallites. The extent of enthalpic relaxation with time has been analysed in terms of the Cowie-Ferguson model and the β value was found to be dependent on both temperature and the crystalline morphology, changes in the co-operativity of the relaxations are used to explain this observation.