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.     

有机介质中合成二硫化钛

本文研究了硫化氢与四氯化钛在某些有机介质中的反应，并提出了一个合成二硫化钛的新方法。该法是将干燥的硫化氢通入沸腾的四氯化铁的α－氯代萘溶液中，使硫化氢和四氯化钛发生复分解反应而生成二硫化钛。方法简便易行。Ｘ－射线物相鉴定及化学分析结果表明，产物为单一物相的、符合化学计量的二硫化钛。     

��Ȼ����Һ���÷����̽

求文针对我国天然气凝液如何利用问题,结合新技术进展,进行了初步探讨,认为原料较多的场合,应以催化脱氢或芳构化作为当前的主要加工方向。对原料较少的场合,也提出一些看法。     

Synthesis and characterization of novel diimide–dinaphthols and resulting poly(urethane–imide)s

Novel diols containing imide groups were prepared via condensation of aromatic dianhydrides with 5‐amino‐1‐naphthol. The diimide–dinaphthols prepared were characterized by conventional methods and used to synthesize new poly(urethane–imide)s (PUIs). All the polymers were characterized and their physical properties, such as solubility, solution viscosity, thermal stability, and thermal behaviour were studied. The polymers obtained showed more thermal stability than typical polyurethanes because of the presence of the imide groups. Copyright © 2003 Society of Chemical Industry     

Existence, uniqueness and stability of the equilibrium points of a SHARON bioreactor model

This paper addresses the dynamics of a SHARON reactor, a promising technology for ammonium removal from concentrated wastewater streams. The contraction mapping theorem is used to determine which operating conditions of a SHARON reactor with pH-control result in a unique equilibrium state. However, this approach only identifies the case of very large dilution rates, in practice corresponding with complete biomass wash-out, i.e. with complete loss of biological activity. Practical operation of a SHARON reactor aims at reaching ammonium conversion to nitrite. To identify such interesting operating points, the equilibrium points are subsequently calculated directly in terms of input variables for a simplified SHARON reactor model. The stability of the obtained equilibrium points is assessed and the corresponding phase portraits are analyzed. The influence of slightly varying parameter and input values is investigated as well.     

OPGW应用问题的探讨

根据多年的光纤复合架空地线(0PGW)应用经验与实践，从0PGW结构及组成、光纤余长、线路配合、金具配套、0PGW安装等方面，对0PGW应用中的若干问题进行详细的探讨。     

Evaluation codes at singular points of algebraic differential equations

We use the special geometry of singular points of algebraic differential equations on the affine plane over finite fields to study the main features and parameters of error correcting codes giving by evaluating functions at sets of singular points. In particular, one gets new methods to construct codes with designed minimum distance. This work was partially supported by MCyT BFM2001-2251.     

Suppression of photo-induced dilation in cyanide treated hydrogenated amorphous silicon films

Effects of cyanide (CN) treatment with hydrogenated amorphous silicon (a-Si:H) films have been investigated. The decrease of ΔV/V was observed in cyanide treated a-Si:H films and the successive thermal annealing at 200°C after CN treatment induced the further reduction of the ΔV/V. XPS spectra show the indirect evidence that the cyanide species is present within 10 nm from the hydrogenated amorphous silicon surface. The results of CN treatment with a-Si:H solar cells are demonstrated.     

A constructive approach to sequential Nash equilibria

We present a Coq-formalized proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCF-style theorem provers, i.e., it is based on inductive definitions and is computational in nature. The proof (i) uses simple computational means, only, (ii) basically is by construction, and (iii) reaches a constructively stronger conclusion than informal efforts. We believe the development is a first as far as formalized game theory goes.