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.     

由AEO_3硫酸化合成AES的研究

以氨基磺酸和氯磺酸作硫酸化剂,由AEO_3合成了AES,讨论了工艺条件对反应过程和产品质量的影响。     

冲裁模CAD／CAM结构库之原型法

本文首先给出了一种新的2.5D 实体表示法,然后在此基础上提出了“原型”的概念。原型法的思想运用在结构库的管理中主要体现在它将模具结构与构成这种结构的零件之间的强联系变成弱联系,结构库面向的对象是一个具有整体性和可运算性的结构原型。这样的原型结构库基本上达到了通用性与开放性的要求。     

隧道挖掘中采用补偿灌浆的实例

在英国伦敦多克兰斯轻便铁路刘易舍姆延长线（DLR－LWE）双隧道掘进工程中，在敏感建筑物下进行了补偿灌浆，以防止隧道开挖引起的过度沉降。但是，过度灌浆也会对隧道下部施加超越。介绍了由隧道掘进承包商所编辑的关于地面和建筑物沉降以及由补偿灌浆引起的隧道衬砌变形的详细现场监测数据。     

恢复城市水环境的自然生态

为了确保城市社会经济的可持续发展,城市的水资源管理是重要的一环,而且,这项管理会逐步从防洪、水资源利用的量的管理向水质管理、空间管理和生态体系的保护等综合管理发展,其中恢复河流清澈、优美的自然生态,科学有效地建设城市水环境是个需要研究的大课题.     

顶封封隔管柱的研制与应用

中原油田近年来注水压力不断升高，井况恶化严重，为此开发了顶封封隔管柱，主要阐述了管柱工况受力特点、结构、工作原理及现场使用效果。经现场较大面积的应用证明，各项性能、技术指标达到了现场要求。     

分光光度法测定微量茴香醛的研究

研究了测定微量茴香醛的光度分析新方法。在盐酸介质中,硫代巴比妥酸与茴香醛发生缩合反应,生成棕色产物,可用于微量茴香醛的测定。最大吸收波长为415nm,茴香醛浓度在2×10-6-1×10-4mol/L范围内符合比尔定律。该法具有灵敏、准确、操作简便、快速等特点。用于测定食品中茴香醛的含量,结果满意。     

二过碘酸合银（Ⅲ）钾引发丙类酸甲酯在淀粉上接枝共聚合反应的研究

研究了由二过碘酸合银（Ⅲ）钾（简称Ag(Ⅲ））与可溶性淀粉组成的氧化还原体系，于碱性介质中引发淀粉的接枝共聚合反应，得到高接枝效率的接枝共聚物，测定了引发剂浓度、单体浓度、pH值和反应温度对接枝参数的影响，并探讨了引发机理。