Tableau算法在粗逻辑知识推理中的应用

Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。     

Exclusive-nor sum-of-sum逻辑及其最小化研究

对DRM(dual Reed-Muller)逻辑的非标准形表示形式和之同或和(exclusive-nor sum-of-sum,ENSOS)进行研究,并给出一种启发式的ENSOS逻辑最小化算法。该算法采用立方体覆盖表示ENSOS,对立方体迭代应用XNOR连接运算实现ENSOS逻辑的化简。为在算法结果质量与算法效率之间进行折中,该算法在进行立方体的XNOR连接时采用前瞻和回溯策略。使用基准函数进行验证的实验结果表明,所提出的算法能够获得更为精简的逻辑表达式。     

复杂系统的逻辑结构判据问题

系统阐述了LAPP方法以及2004年以来的主要发展,并指出一些新的针对复杂系统的逻辑结构判据算法及相关问题的研究方向.     

VLSI综合的逻辑最小化算法

本文讨论了逻辑函数的多维体空间表示方法和运算方法，探讨了接近量小覆盖的两级与－或网络的自动逻辑综合方法，提出不经过求出全部质蕴涵项而直接构成函数的无冗余覆盖的算法，该算法主要用于可编逻辑阵列（ＰＬＡ）及与－或网络的自动综合。     

归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

基于粗糙集的组合逻辑优化算法

运用粗集理论对逻辑函数进行知识表达的方法,提出了基于粗糙集的组合逻辑优化方法,并给出了相应的算法.通过对20变量以下的组合逻辑标准Benchmark-89,91和93相容逻辑矩阵例题进行了检验,结果表明此算法是正确的,并具有显著的化简效果.     

基于逻辑描述的决策树算法及其Prolog实现

 决策树算法是数据挖掘领域的重要算法之一.文章首先对决策树算法的数据进行逻辑描述,然后使用保险公司客户数据来构建决策树,利用Prolog语言实现了基于逻辑描述的ID3算法,尝试了用逻辑推理方法解决数据挖掘问题,并对结果进行了分析.     

描述逻辑SHIQ研究

描述逻辑由于有很好的建模和推理特性，已成为语义web本体描述语言的逻辑基础．描述逻辑SHIQ是语义web本体描述语言DAML＋OIL的逻辑基础，也是OWLDL的核心．该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法．     

VLSI综合的逻辑最小化算法

本文讨论了逻辑函数的多维体空间表示方法和运算方法，探讨了接近最小覆盖的两级与－或网络的自动逻辑综合方法．提出不经过求出全部质蕴涵项而直接构成函数的无冗余覆盖的算法，该算法主要用于可编逻辑阵列（ＰＬＡ）及与－或网络的自动综合     

未知逻辑的故障电路快速重构算法研究

针对未知逻辑的故障电路诊断与修复问题,研究了一种以同样功能的正常电路作为参考电路,然后利用电路逻辑快速重构算法进行故障修复的方法。该算法将对参考电路的逻辑功能采集与故障电路的逻辑功能重构同步进行,既能降低算法运行过程中的空间消耗,同时也避免了故障电路逻辑功能重构过程中,进行复杂的逻辑综合。此外该算法改进了传统的分块串行处理模式,解决了将采集数据分块并行逻辑综合的问题,提高了故障电路重构的速度。测试表明,相对直接的Q-M逻辑综合算法,该算法处理时间最快能减少70%。     

脉冲型时序逻辑网络设计(Ⅰ)

本文讨论了脉冲型时序逻辑网络中各触发器控制方程的求法,并给出了脉冲型时序逻辑网络设计的一种新方法。这种方法适用于计算机辅助设计。     

同步时序网络的快速设计法

数字电子技术中,时序网络的设计比较复杂.这是因为时序网络中还包含有记忆单元用以记住作用于该网络各输入信号的过去情况,并以状态变量的形式反馈于时序网络的输入.本文提出一种通用的网络结构以及怎样满足各种不同逻辑功能要求时,如何去编制网络中PROM中的数据.     

基于二维数组的序列模式挖掘方法研究

本文介绍了两种主要的序列模式挖掘方法,在已有二进制算法的基础上提出了一种基于二维数组与二进制形式的频繁序列的计算方法。该方法通过二维数组实现事务数据库的存储,利用"或"、"与"、"异或"等逻辑运算计算序列的支持度计数和确定频繁序列模式,减少了数据库的扫描次数,降低了算法实现的难度,提高了挖掘效率,具有较好的创新性和理论价值。     

分解炉结构参数的优化设计研究

针对水泥生产中分解炉的结构参数优化设计问题,提出了一种利用分解炉虚拟样机结合神经网络、遗传算法及正交设计的方法,详细研究了它们之间的逻辑联系和在整体优化设计框架中的作用,同时以水泥生产中常见的双喷腾分解炉为例,对其结构参数进行了优化设计研究,给出了优化结果.该方法不仅建立了一套较为完备的分解炉系统仿真和分析的理论体系,为分解炉进一步的开发和设计提供了有利的工具,同时也为工程设计人员提供了一种优化思路.     

顺序存储的满二叉树中序遍历的非递归算法

从中序遍历的定义出发以及满二叉树的自身特点出发，得出了关于顺序存储的满二叉树中序遍历的性质，从而推导出一种全新的、逻辑结构非常清晰的、与递归解完全等效的非递归、不需使用堆栈的算法，以及该算法在其他问题上的应用和推广。     

LSF:一种面向S-RAID 5的能量管理算法

S-RAID 5是一种适于顺序数据访问的节能磁盘阵列,为了提高其性能并保持节能效率,提出一种能量管理算法:逻辑空间预测法（LSF）,该算法对S-RAID 5的I/O请求地址进行动态聚类分析,以获得I/O请求在逻辑地址空间内的分布区,然后求出各分布区的动态特性,并结合S-RAID 5的特殊数据布局,预测磁盘的工作状态并根据预测状态调度磁盘. 实验表明,在节能效果相当的情况下,与典型算法TPM、Markov相比,LSF可有效消除S-RAID 5的响应时间延迟.      

针对PAL器件分析的一种新型算法——PLS算法

本文针对 PAL 器件的分析提出一种新型逻辑综合算法,即 PLS 算法。算法应用 H—L 原理,采用自然组合生成立方,并可提前剔除与函数无关的变量,此外还运用了一种快速吸收算法。程序实现采用了位串式数据结构,并实行对变量分组化简,对组合反馈做了必要的处理。在时间和空间的占用以及求得函数的无冗余最小复盖方面都取得了满意的结果.     

Design of Survivable Routing with and without Wavelength-continuity Constraints in WDM Networks

The problem of routing logical links (lightpaths) on a physical topology of WDM networks in a way that the logical topology remains connected in the event of single physical link failure is called survivable routing. This paper addresses the survivable routing problem with and without wavelength-continuity constraints by proposing a new Integer Linear Programming (ILP) algorithm, which is based on a simplified necessary and sufficient condition. Numerical results are given and discussed to show that survivable routing solutions of most logical topologies can be found by the algorithm of the authors. Furthermore, comparing with other similar methods, the above algorithm can find out a survivable solution in much shorter time, and it works especially well with sparse-connected logical topologies. The impact of wavelengthcontinuity constraints and the other factors that influence the probability to find out a survivable solution are also discussed in the paper.     

基于主成分分析的对等网络邻近标识符选择

保持对等网络与底层网络的拓扑良好契合是保障对等网络性能的重要条件.以对等网络系统CAN为基础,将底层网络拓扑建模为高维欧氏空间,使用主成分分析法将底层网络拓扑映射到低维CAN逻辑空间,从而根据节点在底层网络中的位置决定其在对等网络中的标识符.实验结果表明,该算法能够有效减少对等网络链路延时,提高路由效率.     

脉冲型时序逻辑网络设计（Ⅲ）

为文献［１］的继续，利用多值逻辑方法讨论二值脉冲型时序逻辑网络的设计，并以实例说明这种方法的设计过程。该方法适用于计算机辅助设计。此外，首次提出了初态自启动的概念及初态自启动网络设计问题。