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.     

Hierarchical models for analysis and recognition of handwritten characters

Different hierarchical models in pattern analysis and recognition are proposed, based on occurrence probability of patterns. As an important application of recognizing handprinted characters, three typical kinds of hierarchical models such asM _89-89,M _89-36 andM _36-36 have been presented, accompanied by the computer algorithms for computing recognition rates of pattern parts. Moreover, a comparative study of their recognition rates has been conducted theoretically; and numerical experiments have been carried out to verify the analytical conclusions made. Various hierarchical models deliberated in this paper can provide users more or better choices of pattern models in practical application, and lead to a uniform computational scheme (or code). The recognition rates of parts can be improved remarkably by a suitable hierarchical model. For the modelM _89-36 in which case some of the Canadian standard handprinted characters have multiple occurrence probabilities, the total mean recognition rates of the given sample may reach 120% of that by the model proposed by Li et al., and 156% of that obtained from the subjective experiments reported by Suen.     

中国古典园林三维造型研究

论述了采用层次结构化及参数化三维造型方法，建立一个以造型函数库为核心，从而构造各类、各级园林景观构件表面模型的方法和过程。对于某些非建筑类的园林配景构件，采用了Ｆｒａｃｔａｌ方法进行造型。     

利用TM资料测量毛乌素沙地面积的方法和结果

利用1:25万陆地卫星TM资料和地形图，在GIS支持下，建立毛乌素沙地图形数据库，对毛乌素沙地目前流沙分布的范围进行了调查研究。重.资、介绍了利用陆地卫星TM资料对毛乌素沙地的面积进行测童计算的技术和方法，给出了最新测贡得到的毛乌素沙地全区总面积和分布于各旗县的沙地面积数据。     

心电地图仪中工频干扰的一种滤除方法

在心电地图仪中记录到的体表心电信号往往由于电磁的影响而引进工频干扰．基于体表心电信号中工频干扰的特点，作者提出了一种滤除工频干扰的方法，即就单独—胸导联信号通过提高频谱的分辨率来估计工频干扰的频率；基于最小均方误差准则来估计各导联信号中工频干扰的幅度和相位。文中还给出了该算法的流程图和滤波性能分析。模拟结果表明了该算法的有效性。应用该算法对心电地图仪中的工频干扰进行对消，取得了满意的结果。     

不等波纹函数低通原型的理论及应用

本文提出不等波纹函数低通原型，并对其理论进行初步探讨。切比雪夫函数及最平坦型巴特活兹函数皆为其特例。文中给出不等波纹函数的几个性质，最后给出两个应用实例，消除耦合环自感部分的影响；抑制高次模的微带圆盘腔带通滤波器。     

聚合物载体－稀土金属络合物的研究 ⅩⅢ．聚［苯乙烯－甲基丙烯酸β（甲基亚硫酰基）乙酯］的结构与其稀土金属络合物催化丁二烯聚合的活性

从测得的竞聚率计算了单体链节在聚［苯乙烯－甲基丙烯酸β（甲基亚硫酰基）乙酯］（ＰＳＭ）中的序列分布。苯乙烯（Ｓ）或甲基丙烯酸β（甲基亚硫酰基）乙酯（Ｍ）的长序列的概率随着ＰＳＭ中相应单体含量的增加而增加。对于Ｓ和Ｍ摩尔分数大致相等的ＰＳＭ，单体链节的长序列分布函数值相接近。用与此结构相近的ＰＳＭ合成的稀土金属络合物，其催化活性不佳。在Ｍ短序列分布和Ｓ长序列分布较高的情况下，络合物的催化活性最好。所得聚丁二烯的微观结构与ＰＳＭ中单体单元的分布无关。     

用于提高国产氩离子激光器相干长度的相干扩展器

本文报导了最近研制成功的用于提高国产氩离子激光器相干长度的相干扩展器。利用这种基于F-P理论的相干扩展器可以使国产氩离子激光器的相干长度由不足5cm一下提高到m的量级,功率损耗在25%～40%之间,有着很好的应用前景。     

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

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