关于中值定理的几点应用

本文作者给出了在两种不同类型的证明题中应用中值定理的方法.这些方法简单、实用.     

Comparison between photocatalytic ozonation and other oxidation processes for the removal of phenols from water

Photocatalytic ozonation (1O₃ + VUV + TiO₂), ozonation (O₃), catalytic ozonation (O₃ + TiO₂), ozone photolysis (O₃ + VUV), photocatalysis (TiO₂ + VUV) and photolysis (VUV) have been compared in terms of formation of intermediates, extent of, mineralization (TOC, COD, chloride, nitrate) and kinetics in the aqueous treatment of three phenols (phenol, p‐chlorophenol and p‐nitrophenol). In all cases, photocatalytic ozonation led to lower degradation times for chemical oxygen demand and total organic carbon removal. Intermediates formed were similar in the different oxidation systems with some exceptions. They can be classified into three different types: polyphenols (resorcinol, catechol, hydroquinone), unsaturated carboxylic acids (maleic and fumaric acids) and saturated carboxylic acids (glyoxylic, formic and oxalic acids). First order kinetic equations have been checked for the oxidation processes studied in the case of the parent compound. Rate constants of these systems have also been calculated. Copyright © 2005 Society of Chemical Industry     

Peirce algebras

We present a two-sorted algebra, called aPeirce algebra, of relations and sets interacting with each other. In a Peirce algebra, sets can combine with each other as in a Boolean algebra, relations can combine with each other as in a relation algebra, and in addition we have both a set-forming operator on relations (the Peirce product of Boolean modules) and a relation-forming operator on sets (a cylindrification operation). Two applications of Peirce algebras are given. The first points out that Peirce algebras provide a natural algebraic framework for modelling certain programming constructs. The second shows that the so-calledterminological logics arising in knowledge representation have evolved a semantics best described as a calculus of relations interacting with sets.     

防汛应用系统整合与完善的探讨

随着黄委“数字黄河”工程建设的开展以及计算机广域网络的扩大、开发技术运行方式的变化和用户的迅速增长，需要将防汛系统资源进行综合利用，满足业务生产需求。“数字黄河”工程规划完成后．我们根据规划首先选择防汛应用系统为突破口，以防汛会商综合信息支持为目标，将单个的防汛应用系统进行规范、完善，最终建成防汛信息综合平台．在平台的基础上实现现有应用系统和新开发系统的集成。     

Effect of Pressure on Intermediate Valence States in Cerium Kondo Compounds

Electrical resistance, thermal expansion, lattice constants of the intermediate valence materials, α-Ce and CeBe13, were measured at high pressure. It is found that the Grttneisen parameters of Kondo temperature TK are 13 and 42 for α-Ce and CeBe13, respectively, and it decreases with increasing pressure. The magnetoresistance of α-Ce shows H^2 dependence and its coefficient increases with pressure below 1 GPa, but becomes nearly constant above 1 GPa. The results indicate that the intermediate valence states are enhanced at high pressure indicating the enhancement of hybridization between the 4f electron and conduction band.     

宽流道板式换热器在氧化铝生产种子分解过程中的应用

介绍了宽流道板式换热器的结构、特点及在氧化铝生产种子分解过程中的应用。     

Studies on Catalytic Side-Chain Oxidation of Nitroaromatics to Aldehydes with Oxygen

The side-chain oxidation of 2-nitrotoluene in liquid phase in the presence of catalytic amount of manganese sulfate and stoichiometric amount of potassium hydroxide with oxygen was studied. In the most favorable conditions, over 80% of conversion of 2-nitrotoluene and 50% of selectivity to 2-nitrobenzaldehyde was achieved. Effects of the reaction parameters on the conversion of the reactant and the selectivity of the product were examined. These results, together with EPR spectroscopic study, show that a benzyl anion was formed in the early stage of the reaction, which was then converted to the final product via a free radical mechanism.     

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.     

长庆油田陕北区原油破乳剂的筛选和复配

实验考察了8种市售水溶性破乳荆对长庆油田陕北区有代表性的宝塔区、安塞和子长原油(均为低硫中间基-石蜡基原油)的脱水效果(加量100mg／L，脱水温度55℃，时间3h)。目前长庆采油一厂使用的YT-100和延炼集团使用的GT-940对这3种原油的脱水效果均较好，但对子长原油的脱水率不高，分别为69．7％和58．9％。在由所选性能较好的破乳刺组成的4种二元复配物中，GT-940 HQ96-1对3种原油的脱水效果均高于单剂，最佳配比分别为4：1，4：1，3：2；其余3种复配物则对原油有选择性，其中GT-940 YT-100相近(97．5％)；YT-100 HQ96-1仅能改善子长原油的脱水效果，配比为4：1时脱水率最高(76．4％)；SP-169 HQ96-1仅能改善宝塔区原油的脱水效果．配比3：2和2：3时脱水率最高(92．9％)。表5参6。