有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

关于射影半对称联络的某些特征

本文在前文工作的基础上给出了有关射影半对称联络的某些特征。首先考查了射影半对称联络的不变量并利用该不变量给出了类似于文[4]的某些结论。     

Weierstrass不等式的加强与推广

给出Weierstrass不等式的加强与推广形式，并利用该结果建立两个条件不等式。     

AIP吸收器传质特性中试装置及KLa测试方法研究

基于不依赖空气动力装置（AIP）排出CO2气体旋转床吸收器传质特性研究要求，选择S-195型柴油机为AIP排出气体发生器，优化设计了气、水流程，建立了波纹碟片填料旋转床吸收器的传质特性中间试验装置（简称中试装置），该装置具有多参数调节和测试功能。针对在较高气体压力下，AIP排出气体旋转床传质试验无法直接测算其体积传质系数（Kla），提出了一种间接测算Kla实验值的方法。实验结果表明，用间接测算方法求取的Kla实验值与直接测算值相对误差小于10％。     

手性方酰胺配体的合成及催化二乙基锌对醛的不对称加成反应

手性1，2-环己二胺和1，2-二苯基乙二胺分别与2倍以上物质的量的方酸二酯反应可得含C2对称的手性方酰胺配体4和6以及少量单取代产物5。当1，2-二苯基乙二胺与等物质的量的方酸二正丁酯的乙醇溶液在回流温度下反应时则得关环产物7。上述新配体可用于催化二乙基锌对醛的不对称加成反应，产物仲醇的化学得率和ee值分别为45％-98％和25％-71％，所有新配体的结构均被IR，^1H NMR，MS和元素分析所证实。     

t2阶Kirkman三连系的构造

提出了t2阶Kirkman三连系的构造方法,阐明了t2阶Kirkman三连系构造的基本理论,介绍了9×9阶Kirkman三连系构造的过程.     

光脉冲在不连续光波导中的传播

在时域内应用慢包近似（ＳＶＢＡ）的方法，对光波导内光波传输的时域计算做了简化．应用该方法计算了不连续光波导中光脉冲的传播，得到波导不连续处的传输情况．文中应用的计算方法可以大大节省计算机的内存，节省计算时间，是进行时域计算的一种行之有效的方法     

利用关系矩阵判定关系的传递性

本文研究了有限集合Ａ到Ａ上的具有传递性质的二元关系Ｒ的关系矩阵ＭＲ的特征，并介绍了如何关系Ｒ的关系矩阵ＭＲ来判定关系Ｒ是不否具有传递性，以及如何从关系Ｒ的关系矩阵ＭＲ来求关系Ｒ的传递闭包的方法。     

三相电压不对称与异步电动机负序阻抗

本借助三相对称分量原理，分析了三相异步电动机在不对称的三相电压作用下，三相电流的不对称度与三相电压不对称度之间的关系．由此结果证明了无论从节约电能上，还是提高三相异步电动机输出功率方面，提高三相电压的对称度都是非常有利的．     

有界有向图形元素的几何构型原理与方法

根据图形（实体）的有界特性提出了一种“有界有向图形元素”的几何构型原理与图形处理方法，该方法的基本原理就是对各种基本体素（或面素）与复杂形体，均采用一组“有界有向图形元素”的集合来加以描述，亦即用一组联立不等式／等式方程组来表示实体（图形）的有界边界，在该边界范围内任一点均属于该实体（图形），而在其外的点均不在该实体上，该方法既能快速实现几何构型（采用集合运算）处理，又可克服在图形操作处理时出现图