再论逻辑程序并行解释的Conery模型

举例说明经 Woo N S 和 Choe K M 修正的 Conery AND/OR 处理模型可能陷入无穷循环,并分析其成因,然后给出算法 SEND 2来克服它。     

焊接结构装配顺序的自动生成

本文采用问题归约方法的思想，认为图论割集算法和ＡＮＤ／ＯＲ图ＡＯ搜索算法是装配顺序生成理想的通用算法。但是，制约其实用化的关键问题是产品建模、约束类型的确定和各类型约束的求解。这方面与具体应用领域有关，必须具有开放式结构。同时，任何约束都不能仅仅认为是绝对约束和绝对不约束这两种情况，而应对约束附加约束程度系数。本文就此提出了构造焊接结构扩展关系图（ＥＲＧ）的建模方法和影响焊接结构生产工艺过程设计的七种约束类型及其约束程度系数求解方法。     

决策树分类算法在地税征管系统中的研究

本文将适应于大规模数据的决策树算法SLIQ，SPRINT，Rain Forest等算法用于地税征管系统的海量税务数据分析，并对各个算法在可伸缩性以及并行性等方面进行深入的研究．     

面向CMP的推测多线程编译技术研究

开发和利用并行性是提高程序执行性能的有效方法之一。传统的处理器主要采用超标量结构和超长指令字结构开发指令级并行性,受到程序中存在的不确定、模糊的控制依赖和数据依赖限制,以及集成电路工艺等方面的限制,使得挖掘细粒度的指令级并行性变得愈发困难,所以越来越多的研究转移到线程级并行上。     

40Cr钢强韧化的新探索

对４０Ｃｒ钢高、低温淬火强韧化进行了评价；提出强韧化的新途径──复合热处理强韧化，并按 此设计了几种新工艺．性能试验结果表明：新工艺使４０Ｃｒ获得较好的强韧化，即在保持强度水平 下，塑性、韧性、系列冲击韧性及冷脆转变温度，和疲劳性能均得到明显的改善．用金相方法及 扫描电镜观察分析指出，这与微区成分均匀、晶界净化、组织细化与改善，从而避免或减少了沿 晶或解理脆断有关．     

分布式实时语言的类型与特征

详细介绍了分布式实时语言的类型，深入讨论了分布式实时语言不同于传统顺序语言的４个主要特性，即并行性、合作性、实时性和容错性．     

时滞对离散H∞滤波系统抗干扰性能的影响

研究了时滞离散系统的H∞滤波问题。通过引入增广向量,将时滞系统方程转化为不显含时滞的标准离散方程,并基于计算结构力学与最优控制之间的模拟理论,引入区段混合能的概念,采用扩展的Wittrick-Williams算法求解H∞滤波系统的抗干扰性能指标,进而得到时滞对滤波系统抗干扰性能指标的影响,并同时方便地完成了时滞滤波器的设计和滤波方程的求解。时滞H∞滤波器直接从时滞方程中得到,可保证系统的稳定性,是依赖于时滞的设计。