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.     

新型实用布线算法──L─M算法

本文提出新型布线算法，集李氏迷宫法与线搜索法的长处为一体，以饱和带法进行动态排序，以线搜索法确定借孔位置，然后用李氏法进行单层布线，获得最佳路径，从而达到线型好，布通率高的效果。     

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

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

铁路冷藏运输运价分析

本文对各种运输方式易腐货物的运价进行了比较分析,对铁路冷藏运输的现行运价和保本运价进行了讨论,提出了铁路冷藏运输运价改革的若干建议,可供铁路进行冷藏运输改革参考。     

环境中氚和碳-14

本文介绍了加拿大恰克河实验室有关氚和碳－14在环境中行为和评价的研究。     

由光率体求导折射率及振动方向的新方法

从光率体出发，利用坐标轴旋转，导出了光在晶体中传播时折射率及振动方向的公式。     

气压传动与控制在电子专用设备上的应用

气压传动与控制已成为电子专用设备研制过程中一项不可缺少的内容 ,必须进行合理的气动系统设计及其控制 ,选择相应的气动元件以满足设备的功能要求。概述了气压传动与控制在电子专用设备上的应用。