摘要:本文引入了广义ＦＤ路和外部闭包的概念，将它们应用于函数依赖集的无冗余覆盖计算，有效地减少了计算的闭包个数．并在此基础上提出了一个新的３ＮＦ合成算法，将常用的３ＮＦ合成算法中的２次无冗余覆盖计算合并为１次，显著地减少了计算闭包总个数．

摘要:局部搜索法在ＳＡＴ问题上的成功运用已引起越来越广泛的重视，然而，它在面对不可满足问题例时的局限性不能不被考虑．分级重排搜索算法ＭＳＲＡ（ｍｕｌｔｉ－ｓｔａｇｅｓｅａｒｃｈｒｅａｒｒａｎｇｅ－ｍｅｎｔａｌｇｏｒｉｔｈｍ）正是为克服局部搜索法的不完备性而提出的，准确地讲，它是几种算法在思想上的集成，但为明确起见，把其最典型的分级重排过程作为名称．分级重排搜索算法在求解ＳＡＴ问题时，能表现出优于单一求解策略（如局部搜索法或回溯算法）的明显特性．由于可根据约束条件的强弱来估计ＳＡＴ问题例的可满足性，因此能够以此来确定更有效的求解策略．

摘要:存储器一致性管理是分布式共享存储器ＤＳＭ（ｄｉｓｔｒｉｂｕｔｅｄｓｈａｒｅｄｍｅｍｏｒｙ）系统的一个重要问题．在基于目录和所有者管理一致性的ＤＳＭ系统中，如何适时地更新所有者链表以及目录中关于所有者的信息是缩短查表时间的关键．本文介绍一种新型的链表更新算法的设计及其性能分析．分析表明，这种方案对维护存储器一致性来说，具有较灵活的适应性并有助于缩短查表时间，提高系统性能．该算法也可适用于树形层次结构的一致性管理方案．

摘要:本文首先给出一个智能计算机辅助教学系统的设计思想：个别化、交互式和多媒体综合表示．然后给出该系统的教学流程、体系结构及其各功能模块的设计方法．

摘要:本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础上，本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式，得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式，从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础．

摘要:解释学习可以直接应用于知识库的推理加速．经解释学习学到的一组规则，其参加匹配的先后次序直接影响着学习的效用．本文提出并证明了在以规则的成功频率与本身匹配费用的比值为序自大至小排列时，可以使这些规则的整体匹配费用最小．文中给出学习结果的优化排序算法，对于训练例的任意给定次序，可求得最小费用排列．

摘要:一个可以正确反映当前系统负载情况的负载指标对一个成功的动态负载平衡系统来说是至关重要的．但是，很少负载平衡系统对其选定给出一个实验说明，而且多数系统使用资源队列长度（即ＣＰＵ队列长度）作为负载指标．本文说明了这种负载指标存在的缺点，并对一种新的负载指标－资源利用率进行了讨论．实验表明，在动态负载平衡系统中，使用资源利用率作为负载指标比使用资源队列长度作为负载指标对资源利用率及作业响应时间的改进更有效．

摘要:本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．

摘要:本文提出了一种利用二叉树结构表达矩形物体布局状态空间的方法．通过将布局空间依次分割，每次放入相对于当前布局空间来说是满足特定条件的最优布局块，并将该布局块定位于当前布局空间的左上角来完成不同大小矩形物体的布局方案的确定．通过调整调序因子ＫＡ和ＫＢ的值，可得到满足不同要求的优化布局方案．同时，所得布局方案均满足工业上一刀切的要求．实验结果证明了该算法的灵活性和有效性．