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.     

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

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

激光冶炼太阳级硅材料的实验研究

通过实验研究表明，大功率ＣＯ２激光器在廉价硅材料制备中应用的可能性。     

The Solutions for Adjustment and Reconstruction of Water-Drive Surface Systems in the Old Areas of Daqing Oilfield

Introduction 　　Owing to long-time running, more facilities including stations, pipelines, vessels have become corrosive and aged ,some process has grown old, it has exert more burden for the maintenance and repair.Simultaneously, the fluid production rate, oil production rate and water injection rate has changed greatly so that the inflicts and problems from the established surface systems will become more obvious. Energy cost of production and running has increasing continuously. Capacity has been unbalance in systems and areas. 　　……     

大坝安全监控专家系统中的知识处理

在介绍产生式规则及其数学模型的基础上，论述了用成熟的关系数据库 技术来表示和存储产生式规则表示的专家知识的方法，较好地解决了知识的存储和管理问题 。同时，利用关系数据库中实体间的关系，很容易将分散存储的规则元素组合成规则供推理 时使用。在分析了大坝安全监控专家系统知识特点的基础上举例说明了用关系数据库表 示产生式规则的具体方法。     

在协议集成测试系统上开展路由协议测试

在分析路由协议的特性及其测试需求的基础上，提出利用窗口黑盒来描述被测协议，利用多通道测试方法扩展对被测实现的控制和观察，通过扩充参考实现增强系统的测试能力。将这些理论，技术应用于系统中，对路由协议开展了有效的测试活动，为国产高性能路由器的开发提供了有力的支持，也进一步增强了PITS系统的功能和适用性。     

环保型隧道防火涂料的研究

介绍了国内外公路隧道、铁路隧道及地铁火灾情况 ,研制出一种可在潮湿环境中使用、火灾发生时无有害气体产生的环保型隧道防火涂料。涂层厚度 18～2 0 mm,耐火极限达 3小时。为防止涂料加水拌和后沉淀分层 ,增加涂料的和易性 ,研制出一种分散剂。     

Replacement of beef fat in Frankfurters by interesterified palm,cottonseed and olive oils

Three interesterified vegetable oils (IVOs) prepared from palm, cottonseed, and olive oil, respectively, have been studied for application to Frankfurters. Beef fat (10%) was replaced by one of the IVOs at 20, 60 or 100%. Fatty acid composition of the lipid fraction in the Frankfurters and saturated/unsaturated ratios were established for all batches. We found that total or partial replacement of beef fat by IVOs did not lead to significant changes in appearance, colour, texture, flavour or sensory score. We conclude that IVOs may be successfully applied as beef fat substitutes in Frankfurters.