Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

“点对多点微波通信机助工程设计系统”的若干技术问题

本文介绍由天津大学电子工程系和天大无线电厂联合开发的“点对多点微波通信机助工程设计系统”。该系统技术方案先进,具有投资省、功能多、设计快、适应范围广、操作方便等一系列特点,是进行点对多点通信工程设计的现代化理想工具。     

实体造型中的几何约束

实体造型是一个基于约束的过程，完成从功能约束到几何约束、再到代数约束的转化而得到实体模型。本文讨论了几何约束的层次性及其表示，并且对几何约束同设计意图的关系进行了研究，提出了基于ＣＳＧ／ＧＣＧ／Ｂ－ｒｅｐ的模型表示。     

基于图形约束的工程图纸扫描图象表面粗糙度的自动识别

本文通过分析现有工程图纸扫描图象的识别与理解系统，提出了表面粗造度的自动识别算法，从而弥补了以往系统的不足，基于图形约束的表面粗造度整体识别算法符合技术人员的读图规律，处理速度快，可靠性高，该算法已在微机上调试成功。     

玻璃碳电极的激光改性处理

玻璃碳电极（ＧＣＥ）用激光脉冲照射处理后，电化学反应行为发生很大变化。背景电流减小，Ｆｅ３＋／Ｆｅ２＋氧化还原电对的电极反应速率显著提高，抗坏血酸（ＡＡ）在电极上呈现明显的吸附作用。     

A novel cyclic process using CaSO<Subscript>4</Subscript>/CaS pellets for converting sulfur dioxide to elemental sulfur without generating secondary pollutants: Part I. Feasibility and kinetics of the reduction of sulfur dioxide with calcium-sulfide pellets

Certain new sulfide-smelting processes and coal-gasification processes generate high-strength sulfur dioxide streams, for which a new process for converting sulfur dioxide to elemental sulfur needs to be developed because no process exists that is generally and economically applicable to the treatment of such streams. A thermodynamic and experimental investigation to develop a new process for converting sulfur dioxide to elemental sulfur by a cyclic process involving calcium sulfide and calcium sulfate without generating secondary pollutants was carried out. In this process, the starting raw material, calcium sulfate, is reduced by a suitable reducing agent, such as hydrogen, to produce calcium sulfide, which is used to reduce sulfur dioxide to elemental sulfur vapor and calcium sulfate. The latter is, in turn, reduced to regenerate calcium sulfide. In this Part I, detailed experimental results are presented on the kinetics of the reaction between sulfur dioxide and calcium-sulfide pellets, which produces elemental sulfur and calcium sulfate. The experiments were carried out at temperatures between 1023 and 1088 K and sulfur-dioxide partial pressures between 9 and 60 kPa by the use of a thermogravimetric analysis (TGA) technique. The rate of this reaction was demonstrated by the conversion of 40 pct calcium-sulfide pellets obtained from the hydrogen reduction of fresh calcium sulfate in 10 minutes at 1073 K under a sulfur-dioxide partial pressure of 43 kPa. The reactivity decreased somewhat during the first three cycles but remained largely unchanged thereafter up to the tenth cycle. This characteristic of the pellets is important because the solids must be reusable for repeated cycles to avoid generating secondary pollutants. A pore-blocking model was found to fit the reaction rate. The reaction is first order with respect to sulfur-dioxide partial pressure and has an activation energy of 101 to 134 kJ/mol (24 to 32 kcal/mol) for calcium-sulfide pellets reacted and regenerated several different times. Sulfur dioxide-containing streams from certain sources, such as the regenerator off-gas from an integrated-gasification, combined-cycle, desulfurization unit and new sulfide-smelting plants, contain much higher partial pressures of SO₂. In these cases, the rate of the first reaction is expected to be proportionally higher than in the test conditions reported in this article. The reduction kinetics of calcium-sulfate pellets with hydrogen gas is reported in the accompanying Part II.     

用JHS-3胶合砂防粉细砂

针对孤东油田大量油井出现粉细砂甚至粘土砂而严重影响生产的问题,研制了用JHS-3胶合砂防粉细砂方法。介绍了胶合砂的基本配方、主要技术指标及防砂机理。适应性分析结果表明,施工井的层数、处理半径和施工压力升幅3个因素直接影响着胶合砂的防砂堵水效果。现场20井次的应用情况可看出,胶合砂能有效地防住粉细砂和粘土砂,明显地改善产液剖面,并有显著的降水增油效果。     

油田污水中咪唑啉缓蚀剂浓度检测技术研究

研究评价了油田污水中咪唑啉缓蚀剂浓度检测的七种方法 ,其中紫外光分析法和显色反应法适合于低浓度咪唑啉缓蚀剂检测 ,且方法简便、速度快、成本低 ,检测浓度范围 2～ 5 0mg/L。