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.     

实体造型中的几何约束

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

无机复合微量元素肥料（FTE）的合成及其应用效果研究

重点研究了无机复合微肥（简称ＦＥＴ）的合成条件及生成规律，并详细探讨了组成、工艺对ＦＴＥ微肥的主要技术指标——枸溶性的影响。同时，介绍了粮、棉、果、菜等各类农作物施用ＦＴＥ后取得的显著效果，为ＦＥＴ在作物上大面积推广应用提供了理论和实践依据。     

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.     

减粘裂化分馏塔顶系统的腐蚀及防护

辽河石化分公司减粘裂化装置改炼辽河超稠油的减压渣油后 ,分馏塔顶系统由HCl -H2 S -HCN -有机酸 -H2 O引起的电化学腐蚀严重 ,其中油水分离器局部腐蚀速率达 3.1mm/a ,12AlMoV管束的空冷器运行不足两个月即发生泄漏。塔顶系统采用BZH - 1中和缓蚀剂、无机氨BZH - 913油溶性缓蚀剂综合注剂方案 ,使腐蚀得到控制     

零析水水泥浆配合双凝双压固井工艺在泽74-1X井固井作业中的应用

泽74－1X井是为评价泽74断块奥陶系潜山油气情况，在泽74－1井开窗侧钻的一口评价井，该井井斜变化大，井眼轨迹呈螺旋型，地层特性复杂。该井通过采用ZJ－2低失水、零析水水泥浆体系配合双凝双压固井工艺，固井施工顺利，全井主要封固段固井质量良好。现场应用表明，ZJ－2降失水水泥浆体系具有流动性好、水泥浆初始稠度低、析水为零等特点，稠化时间易于控制，十分适合大斜度井和井眼轨迹不佳的井的固井要求，能够很好地保护油气层；双凝双密度水泥浆体系应用于压力变化大的超长裸眼封固段固井，施工安全，固井质量好，只要水泥浆密度设计合理，工程上采取小排量替浆，可防止固井漏失，提高作业成功率。     

Microbiological denitrification of red beet juice

The purpose of study was the determination of optimal conditions for red beet juice denitrification by Paracoccus denitrificans bacteria as well as the evaluation of the usefulness of microbiologically treated juice for the production of a natural colouring preparation for foods. Total reduction of nitrates was found during bacterial culturing at 25 and 30 °C, at an initial pH of 7.0-8.0 and juice osmotic pressure of 900-1100 mOsm/kg. Microbiological denitrification procedure affected colour, taste and aroma of the juice. However, the use of juice as food colouring and component was made feasible by acidification and partial evaporation of water together with volatile substances.     

聚苯乙烯生产工艺及其产品性能的改善

介绍了苯乙烯单体热引发本体聚合的特点及美国FINA石油化学公司聚苯乙烯生产工艺的特点，探讨了影响HIPS产品质量的多种因素，并对HIPS产品质量的改善提供提出建议和看法。