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.     

印刷质量控制的基本方法(一)综述

无论哪一种印刷品的生产都要经过若干个工艺过程，才能将原稿上的图文信息转移到承印物上。由于印刷技术的飞跃发展，标准化和质量控制成为一个很重要的问题。标准化和质量控制在很大程度上是依靠仪器和控制装置来实现的。科学技术的极大发展，大大地推动了印刷技术的发展，印刷所使用的原材料和工艺得到了很大的改进，逐步实现了标准化，提高并稳定了生产高质量产品的能力。目前我们评价印刷品质量的优劣大致有三种方法：主观评价法、客观评价法和综合评价法。主观评价法，是以原稿为基础对照样张来评价。这里有人为的因素，根据评价人的知…     

假钞的公众识别方法

一、假钞公众识别的必要性马克思在《资本论》中有一段名言：“一旦有适当的利润，资本就胆大起来。如果有10%的利润，它就保证到处使用。有20%的利润，它就活跃起来。有50%的利润，它就铤而走险。为了100%的利润，它就敢践踏一切人间法律。有300%的利润，它就敢犯任何罪行，甚至冒着绞首的危险。”伪造货币“创造”的利润之巨不言而喻，而其危害性也人所共知。轻者给个人造成损失，特别是经济损失。重者扰乱金融秩序，影响社会的稳定。在世界范围内，所有国家都将伪造货币视为严重犯罪，对伪造者处以极刑。对普通大众而言，了解假钞的公众…     

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.     

一个可切实服务于运营商的移动无线因特网

本文在简单介绍了移动IP及其路由优化，无线局域网（WLAN）和GPRS的基础上，提出了一个新的利用移动IP来融合WLAN和GPRS的移动无线因特网的网络结构，详细论述了其多连接的路由过程，平滑垂直切换，AAA，并做了简要的性能分析。     

网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

Suspension force and mechanism of debris flows

The paper discusses the postulated suspension force, by which it is possible to explain some enigmatic phenomena observed in different types of mass movements. This force is generated in thick suspensions as a result of friction between sinking solid particles and static water. The suspension force is related to the seepage force but they have opposite directions. Both forces form flow networks. Having explained the suspension force, the paper describes how this influences the movement of material, particularly in debris flows. Enigmatic features and the mechanism of debris flows and lahars are explained by virtue of the suspension force. Electronic Publication