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.     

Applications of a super element model for non-linear analysis of stiffened box structures

Numerical investigations are carried out to verify the new super element model developed in Reference 1 for non-linear analysis of stiffened box structures. The results presented here are obtained from a variety of examples which are chosen to illustrate the accuracy and convergence of the model in various applications. Good agreement is obtained for most of the problems considered and the present formulation is found to be accurate and economical for preliminary engineering design.     

BEM 系列原油流动性改进剂的应用

对BEM系列原油流动性改进剂的基本原理以及在中洛、濮临、东临、东黄、鲁宁、魏荆等几条原油长输管道工业应用的现场测试情况进行了介绍。结果表明，BEM系列原油流动性改进剂在降低原油凝点和粘度方面性能良好，能满足管道安全，平稳运行的要求。     

面向表面微加工工艺的微器件设计框架的研究

本文以微器件设计为对象，对微硅表面制造驱动的微器件并行设计方法学及相应的计算机辅助设计工具的开发逻辑进行了研究，提出了采用基于三层Web-ASP集成框架实现e-CAD原型工具的编程方案，其中，并行任务流管理与控制，微器件实例及设计资源库，微加工工艺规划及仿真，微器件设计评价等是该系统实现的关键要素，在此基础上将建立网上微器件设计中心，并通过应用服务机制，实现对微器件设计工具使用的商务化，以达到降低设计成本，加快MEMS产业化之目的。     

甲醇氧化羰化制碳酸二甲酯产物气相色谱分析

以Chromosorb 10 1为固定相 ,气相色谱法分析甲醇氧化羰化制碳酸二甲酯产物中水、甲醇、乙酸甲酯和碳酸二甲酯等组份的含量 ,考察了柱温 ,载气流量对分离度的影响 ,确定了适宜的分析条件 ,并用校正面积归一化法定量。该方法操作简便 ,快速 ,精度高 ,重现性好     

标识化语言的发展及在电子物流中的应用

重点阐述了XML技术的发展和对EDI技术的有效补充与改进，并展望基于XML技术的电子商务物流数据交换技术的发展前景。     

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.