多值逻辑的矢量变换与二值器件实现的综合

本文利用逻辑代数的矢量变换法分析了多值逻辑函数的展开问题,提出了分量递椎式的建立方法,举例说明了用二值元件实现多值逻辑函数的综合过程。本文结果表明,利用矢量变换法,可以用类似于二值逻辑的方法来处理多值逻辑问题。     

多值逻辑函数发生器的优化设计方法

将二值逻辑系统的设计方法巧妙地溶入了多值逻辑系统的设计当中,找到了实现多值逻辑系统设计的最优方法.并通过典型实例的分析,总结出三点结论,可望促进多值逻辑技术的普及与发展.     

逻辑函数求补算法及其改进

逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。     

对逻辑函数3种求补算法的分析

对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。     

一种基于对称三值逻辑的多值学习网络

采用对称三值逻辑的数元｛１↑－，０，１｝作为信息存储的基本单位，本文提出一种用于逼近非线性函数的多值学习网络（ＫＬＮ）。该网络由多个既关联又独立的子网络构成，而每个子网络包含一个权值存储单元组和一个阈值存储单元组。所需的数学运算仅为整数的加法和逻辑判断，因而非常简单。在此基础上，研究了具有自学习功能的多值逻辑学习控制策略。仿真结果表明ＫＬＮ对非线性函数具有良好的学习和表达能力，并对复杂非线性系统具     

系统L中τ(A→X)≥α型逻辑不等式的解问题

二值命题逻辑L中τ(A→X)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F(Sn)中公式是逻辑不等式τ(A→X)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的分类定理,得到了等价类的结构表示和等价类个数结论,为基于真度的逻辑不等式问题的进一步研究和应用提供结构性方法。     

用关键特征集对逻辑进行优化

提出了一个两级逻辑优化的新算法，与通过函数质蕴涵集求解覆盖的传统算法不同，文中将求解逻辑函数的质蕴涵项与推导覆盖问题相结合，直接得出覆盖问题的解。算法的主要问题可以简化为：对于立方描述的单元，求解最小覆盖，在这个过程中又提出了一种改进的覆盖吸收算法，基于关键特征集合的选拔吸收算法，此算法不用求所有的立方，通过标准的测试例子与原来的Espresso算法作比较，对于大电路，在计算时间上，新算法有明显的改进。     

二维权值路径在软件项目管理中的应用

针对以往的软件项目规划过程将时间、成本和资源单独进行评估的局限,将二维权值路径引入到软件项目管理中来.目的就是要研究如何在尽可能低的成本下充分分配关键资源,以缓解在软件项目开发过程中出现的资源争用问题.     

用遗传算法优化二值图像信息隐藏技术的方法

提出了一种新的基于块的二值图像信息隐藏方法,该方法用遗传算法进行优化。首先用混沌映射置乱欲隐藏信息的比特顺序,然后用遗传算法来寻找一个较好的系统参数,使之确定的比特顺序与块的特征具有较好的一致性。从而减少要取反的像素个数,提高图像的视觉质量。另外,该参数也是提取信息比特的密钥,增强了所隐藏信息的安全性。实验结果证实了该方法的有效性。     

基于可观测性无关项的快速逻辑优化实现策略

在对可观测性无关项相关问题进行研究的基础上，通过计算逻辑网络中门的可观测无关项，得到最大允许函数集，依此来消除网络中冗余门，进行逻辑设计优化。同时对已有算法做了一定改进，给出了SANDTNT算法，以适用大输入和输出变量逻辑网络的优化。     

对一种基于多值逻辑阵列变换的加解密系统的破解

多值逻辑在计算机科学中的应用前景是极为广阔的,比如在密码学方面的应用。该文通过引入多值逻辑中的序列变换的定义,采用矩阵乘法进行推导计算,证明了对文献（1）中提出的数据加密与解密系统不难进行破解,所采用的是“已知明文攻击”的方法。因此,对于真正可靠的基于多值逻辑的数据加密解密系统,还有待于进一步的研究。     

Knowledge Discovery from Decision Tables by the Use of Multiple-Valued Logic

This paper describes how succinct rules, which reduce the size of decision tables, can be found by employing multiple-valued logic (MVL). Two multiple-valued algebras are described, one based on level detection, and the other on literal functions. Then a decision table which had also been reduced in size using rough set theory, is now reduced using both algebras and it is seen that all three approaches lead to reductions of comparable simplicity. The new methods require coding the values of each attribute as integers. Then an MVL function that maps the coding of the condition attributes to the coding of the decision attribute is found. As the coded table is sparse only some of the basis functions for each algebra are required. Then a simple approach requiring the reduction of a matrix to row echelon form is used to finding all suitable MVL functions. By decomposing a function in terms of its variables a complete set of rules can be found. The MVL function encodes the data in a very compact form and its decomposition into subfunctions reveals a good way to slice up the table into subtables. The structure of the subfunctions can then be used to simplify each subtable until compact sets of rules emerge. Alternatively, rules can be found by substitution into the MVL function. Encoding a decision table using MVL makes the data easy to manipulate and can uncover relationships that may not become apparent when using other methods.     

关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果

对部分四值逻辑中保完满对称关系的78个准完备集按相似关系别除不属于最小覆盖的32个准完备集,为部分四值逻辑中准完备集最小覆盖的判定提供基础。     

具有两种否定的描述逻辑系统MALC

否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明：信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词 引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模模糊知识的能力。同时,文章给出了基于中介无穷值语义模型的语义解释;在推理机制上,给出了可满足性的定义和可满足性的Tableau算法。     

提高一阶多值逻辑Tableau推理效率的布尔剪枝方法

含有量词的一阶多值Tableau方法具有统一的扩展规则，并由Zabel等人给出了可靠性和完备性的证明，但由于扩展后的分枝随着真值数目的增加而呈指数的增加，因而影响了机器推理执行的效率，该文提出了布尔剪枝方法，将带符号的公式与集合的上集／下集联系起来，使含量词的一阶多值逻辑公式的扩展规则大大简化，进一步，通过对布尔剪枝方法的分析，建立了一类特殊一阶多值逻辑正则公式的更为简洁的Tableau推理方法，该方法使得含量词的一阶多值逻辑Tableau推理类同于经典逻辑Tableau方法。     

Compiler Optimization Correctness by Temporal Logic

Rewrite rules with side conditions can elegantly express many classical compiler optimizations for imperative programming languages. In this paper, programs are written in an intermediate language and transformation-enabling side conditions are specified in a temporal logic suitable for describing program data flow.The purpose of this paper is to show how such transformations may be proven correct. Our methodology is illustrated by three familiar optimizations: dead code elimination, constant folding, and code motion. A transformation is correct if whenever it can be applied to a program, the original and transformed programs are semantically equivalent, i.e., they compute the same input-output function. The proofs of semantic equivalence inductively show that a transformation-specific bisimulation relation holds between the original and transformed program computations.     

基于时序逻辑的编译优化测试用例生成方法*

提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率.     

关于部分四值逻辑中保2元正则可离关系的分类

根据部分多值逻辑的完备性理论,定出部分四值逻辑中保2元正则可离关系,并按照准完备集之间的相似关系概念,对所定出的关系进行分类。     

部分四值逻辑中4元单纯可离关系之分类

根据部分多值逻辑的完备性理论,定出部分四值逻辑中4元单纯可离关系,再按照准完备集之间的相似关系概念,对所定出的关系进行分类。