真值维护系统的语义研究

本文研究了带有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年并将继续。法律是最低的道德 ,道德是法治的环境。对于当代中国来说 ,法治和德治都不可或缺 ,不可丢弃。要建设一个文明、民主和强大的中国 ,依法治国具有特别的意义。     

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

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

慢波导环形换能器指向性的计算机计算程序

本文利用有限而元式Helmholtz积分方程法完成了慢波导环形换能器指向性的数学计算程序。文中给出了程序中所用的各种数学表达式,计算程序方框图以及计算题例。计算题例中计算机计算结果与实际测量结果基本上是一致的。