真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

惯性约束中子测温的误差研究

综合分析了ＩＣＦ（惯性约束）中子测温系统的误差与其参数的关系，这些参数包括靶核温度，探测的中子数、靶到探测器的距离、探测器的响应函数以及闪烁体厚度等，考虑到中子与探测器的相互作用，探测器的响应与靶的烧蚀过程，在此基础上提出了新的统计误差计算方法，该方法对于改善中子测温的相对误差并应用于闪烁体的设计具有重要意义。     

MAPGIS在地质图件绘制中的应用

介绍了用地理信息系统进行地质信息管理的特点和优越性以及国产地理信息系统基础软件 -MAPGIS的数据结构、主要功能等。论述了在MAPGIS环境下绘制地质图件的基本方法和步骤。该系统实际应用于陕西省铜川矿务局煤矿地质信息的管理和图件绘制 ,实践证明该方法切实可行 ,效果明显。     

广义拓扑分子格中分子网的θ—收敛性

本文在广义拓扑分子格中建立了分子网的Ｍｏｏｒｅ－Ｓｍｉｔｈθ收敛理论。借助于此理论，我们得到了刻划弱连续序同态的三个特征定理。     

网格计算:全球信息化的下一个里程碑

近几年来，一个不为人们所熟悉的新词“网格”正越来越多地见诸报端，业已成为当今信息技术产业的新热点，众多国家和著名IT厂商都把它列为重要的研发方向。那么，究竟什么是网格呢？网格即下一代的互联网，具体地说，网格是把整个因特网整台成一台巨大的超级计算机，实现各种资源的全面共享，它无疑是全球信息化的下一个重要的里程碑。     

从东西方文化看以德治国和依法治国

关于法治和德治的争论在东方和西方产生了相似的激烈争论。这种争论已经持续了约 30 0 0年并将继续。法律是最低的道德 ,道德是法治的环境。对于当代中国来说 ,法治和德治都不可或缺 ,不可丢弃。要建设一个文明、民主和强大的中国 ,依法治国具有特别的意义。     

超声波复合振动加工机理及应用的研究

在超声波复合振动的基础上，分别对纵向振动和两种横向振动组成的Ⅰ型，Ⅱ型超声波复合振动的加工特性进行了较系统的试验研究，研究结果表明：Ⅰ型超声波复合振动可以对未烧结陶瓷等非导电脆性材料的异型孔穴，窄槽进行高效加工，而Ⅱ型超声波复合振动适用于对上述材料进行精细加工。