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.     

以网格曲线为连续条件的光滑曲面

本文提出一种以网格边界曲线定义曲面的方法。曲面的计算式唯一地由网格的四条边界线的参数而定，各网格间连接的光滑度完全由网格间的边界线的光滑度来决定。当网格间的边界线具有Ｃ~１连续以上的光滑度时，网络曲面间将自动保证是Ｃ~１连续的，否则将是Ｃ~０连续。利用这个方法，可以方便地从线框模型（ｗｉｒｅ－ｆｒａｍｅｍｏｄｅｌ）建立面模型（ｓｕｒｆａｃｅｍｏｄｅｌ）。     

实体造型中的几何约束

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

强度反射型光纤温度传感器

本文提出并研究了一种新型的强度反射型光纤温度传感器.根据定容气体温度与压力的线性关系,通过简单的测温元调制光纤中的反射光强,从而得知待测温度.这种传感器结构紧凑,造价低廉.在30~50℃范围内,灵敏度可以达到30mV/℃以上.     

BP算法的改进及用模拟电路实现的神经网络分类器

基于用模拟电路实现神经网络分类器的目的，对多层静态前馈神经网络的ＢＰ算法做了改进，采用线性限幅函数代替Ｓｉｇｍｏｉｄ函数作为神经元的激活函数，给出了改进的ＢＰ算法。对该算法性能的实验研究表明：这种改进算法不但方便了用线性模拟集成运算放大电路实现神经网络，而且具有学习速度快，映射能力强等优点。根据本文算法设计的神经网络分类器，无论是计算机仿真，还是模拟电路实现，都得到了比较高的识别率。     

Suppressive effect of corticosteroids on the gene expression of interleukin-5 and eosinophil activation in asthmatics

Although cortico steroids are effective anti-inflammatory agents in ameliorating asthma symptoms and bronchial hperreactivity, their mechanism of action is unknown. Interleukin (IL)-5 is known to play a key role in regulating eosinophil proliferation and activation. Therefore, we examined the changes of IL-5 mRNA expressions in PBMC semi-quantitatively with RT-PCR as well as serum ECP levels and MCH-PC20 values in asthmatics before and after being treated with corticosteroids. The results revealed that there were significant decrease in the level of IL-5 mRNA and serum ECP concentration after therapy (P < 0.05) and there was remarkable improvement in the values of MCH-PC20 and FEV1% (P < 0.05). It was also found that the changes of serum ECP levels or MCH-PC20 values were accompanied by a reduction in IL-5 mRNA expression (r = 0.5426 or 0.4857, P < 0.05). These results suggested that the therapeutic effects of corticosteroids in asthma may result from modulation of IL-5 gene expression with consequent inhibition of eosinophil activation.     

威海市污水处理深海排放工程的设计

威海市污水处理深海排放工程是为改善其水域环境而建设的一英包括市区排水系统，污水预处理厂，输水管道和海洋放流管系统在内的完整而典型的工程，因此其工程设计扣的经验将会对同类项目的设计与工程建设有所借鉴。     

光纤检漏系统

本文介绍一种新型的光纤检漏系统,通过对待测件内气体状态分析,确定采用比较法充压检漏技术和先进的光纤技术,研制成既具有高检测灵敏度又稳定可靠的检漏系统。该系统已成功地用于工业生产中,对水库大坝仪器实现了在线充压检漏,保证产品质量。     

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.