定性演算的扩充

在已有定性演算的类的划分上进行了扩充并定义了新的定性演算,而且进一步讨论了定性运算的性质.     

现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

略论非帕斯卡概率逻辑的知识创新意义

非帕斯卡概率逻辑的知识创新意义在于：（1）借助这种逻辑，我们更有可能在科学理论创新过程中探索出更为有效的解决科学实际问题的方式；（2）这种逻辑就是一种知识增长的逻辑；（3）它揭示的不断逼近的过程就是科学理论创新的过程。     

开互模拟的一条泛公理

π-演算公理化中较难处理的是有关局部化算子的等式, 传统的方法是使用带条件的推导规则或使用“区别”. 提出一条关于π-演算局部化算子的泛公理, 并证明它可在开互模拟的公理化中取代“区别”的作用. 本方法的好处是在公理化过程中我们只要处理一个互模拟, 而无须处理一族互模拟.     

用进程代数描述CORBA请求调用

用π演算模型来表现ＣＯＲＢＡ请求调用流程．对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库、实现库、桩、对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都用π演算进程加以表示．利用π演算对描述进程的并行性所具有的独特优势,通过对ＣＯＲＢＡ体系结构的高度简化,希望这一模型能够体现ＣＯＲＢＡ的高度并行和分布的特性．对动态和静态请求调用的分别描述,从理论上表现出它们的共性和区别．     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

基于区域似大地水准面精化的测量精度探索

本文基于笔者从事区域似大地水准面精化的相关工作,以区域似大地水准面精化的意义为研究对象,从三个方面对其测量精度进行了验证,结果表明,区域似大地水准面精化成果的精度完全满足四等及等外水准点的测量、各种比例尺地形测图及相应比例尺航测像控点布设的要求,基于此,笔者给出了重点应用方向,全文是笔者长期工作实践基础上的理论升华,相信对从事相关工作的同行能有所裨益.     

T611型卧式镗床精化改造分析

国产60—70年代的T611型卧式镗床大多因原结构性能和多年使用的原因，有必要进行精化改造。本文分析了T611型卧式镗床存在的一些弊端，并从数显改造等方面有针对性的介绍了一些精化改造的措施和方法，同时分析了改造后所具有的性能特点。     

组合范畴语法产生和发展的动因之分析--从句法演算的角度看

AB-演算刻画句法推演能力太弱,许多合语法的语句在 AB-演算中没有合适的推演形式.斯蒂德曼(Steedman)在 AB-演算基础上增加组合规则,产生了标准的组合范畴语法 CCG;CCG 刻画推演能力太强,不仅能推演出所有合语法的语句,而且可以推演出不合语法的语句;为制止非法句子的可推演性,就需要对推理规则做出限制,因为各种自然语言的特殊性,这种限制又会因语言而异,导致 CCG 失去一定的普遍性.鲍德里奇(Jason Baldridge)和克鲁伊夫(Geert-Jan M . Kruijff)把模态词引入 CCG,由此产生了多模态组合范畴语法MMCCG;MMCCG 摒弃了 CCG 的限制规则的策略,在词法上控制组合规则的适用性,不同语言语法的区别仅仅体现在词汇上,使语法逻辑走上了完全的词汇主义道路.     

求解大型特征值问题的块Davidson方法的精化技术

块Davidson方法是求解大型对称矩阵特征值问题的一种有效的方法.但对一些特征值问题,当Ritz值收敛以后,该方法并不能保证Ritz向量也同时收敛.因此,为加速块Davidson方法的收敛性,研究了块Davidson方法的重新开始技术,提出了精化块Davidson方法,并对精化块Davidson方法进行了收敛性分析.数值试验和理论分析均表明,新方法对计算大型对称矩阵的一些极端特征对是有效的.