使用Petri网T－不变量求解子句的逻辑推论

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了向前推论和向后推论在子句Ｐｅｔｒｉ网模型中的应用．     

使用Petri网T—不变量求解子句的逻辑推论

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论，基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决子句推论问题。     

用于模糊推论的硬件系统

模糊推论是通过IF—THEN规则与知识库内容进行匹配而实现的。如果通过模糊逻辑电路进行匹配,则可大大的提高运行速度及性能价格比。用逻辑乘和逻辑和组成的MIN电路、MAX电路构成了模糊逻辑门(ECFL)。通过数字方法和模拟方法能形成模糊推论的机构,以此就能构成模糊计算机的基本结构。     

Petri网用于Horn子句的逻辑推论

这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。     

基于TLA+的AFDX冗余管理算法的改进

为了在航空应用中得到更加安全可靠的通讯系统,就目前普遍应用的标准以太网可能会出现的问题,提出了用行为时序逻辑TLA对AFDX冗余管理算法进行形式化分析.在适当的环境中,根据安全性、活性、可用性3个性质,得到两个冗余管理的推论,根据这些性质和推论,提出了3个冗余管理算法,并用TLA+语言进行详细的描述.通过模型检测,表明出RMA13为最优算法.     

多Agent信念逻辑及其在概率意义下的推广

首先建立了一种多Agent信念逻辑MBL(multi-agentbelieflogic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL的Kripke语义与广义Aumann语义,讨论了两者的等价性,证明了MBL对于上述两种语义的可靠性和完备性.其次,建立了一种多Agent概率信念逻辑MPBL(multi-agentprobabilisticbelieflogic),通过在广义Aumann语义基础上引入概率空间,给出了MPBL的概率Aumann语义,证明了它的可靠性,并给出MPBL的一些推论.     

旋转动力学理论(2):元理论

旋转动力学理论是以辨证逻辑和心理学理论为指导，微分拓扑为工具建立起来的创新计算的统一理论框架。本文探讨它的元理论，包括元理论的内容，研究方法与程序，以及理论的检验与应用等。元理论的主要作用在于(1)提出假设和预测，为旋转动力学理论提供基础；(2)采用逻辑分析的方法判断和鉴别旋转动力学推论的真伪；(3)概括和抽象经验研究的事实和结论，形成一般性的理论框架。     

集成电路高层故障模型评估方法

给出了利用测试向量进行评估的基本理论方法，以及强对应集和弱对应集的定义及推论。按该方法，依不同模型生成测试向量，然后进行相互间的覆盖计算，以比较模型的优劣。最后对ITC99-benchmark电路进行实验，结果表明该方法是有效的。     

基于FPGA的PCI接口设计

介绍一种使用PCI硬核逻辑进行简单高效的PCI接口设计方法。该方法是在已固化PCI硬核逻辑的FPGA中，设计PCI用户逻辑。重点叙述了QL5030中PCI硬核逻辑的原理和结构，分析了时序设计要点。给出了设计实例和注意事项。     

可能性理论与不相容知识处理

Ｄ．Ｄｕｂｏｉｓ和Ｈ．Ｐｒａｄｅ提出的可能性逻辑是一种基于可能性理论的非经典逻辑，主要和于不确定证据推理。可能性逻辑不同于模糊逻辑，因为模糊逻辑处理非布尔公式，其命题中包模糊谓词，而可能性逻辑处理布尔公式，其中只包含经典命题的和谓词。本文尝试在可能性理论的框架下进行不相容知识库的维护和问题求解。这里的知识表示是基于可能性逻辑的。为此，我们提出了两种不同的方法：第一种方法在计算命题可信度时，要考虑所     

基于归纳逻辑程序设计的学习方法及其实现的研究

归纳逻辑程序设计是机器学习领域中的一个新方法，它研究的是从实例和背景知识进行逻辑程序（新知识）的构造．本文介绍了归纳逻辑程序设计的基本理论和方法，并介绍了这种学习方法在专家系统中的应用情况．     

模糊调节器算法研究

本文介绍了模糊调节器的基本原理;把逻辑蕴含的句义和推论合成规则扩展到n元模糊关系之上;证明了它们的一些性质,指出利用这些性质可以大大简化模糊调节器的算法过程,从而简化调节器的硬件结构。     

事务处理统计通用程序设计方法 ——约束条件状态矩阵方法

在事务处理系统中，经常会遇到任意改变约束条件的统计和查询，本文提出了一种通用的程序设计方法，允 许用户在菜单上定义约束条件并提出统计项目，计算机根据菜单上的逻辑“与”、逻辑“或”和它们的组合，应用约束条 件状态矩阵方法自动进行处理，此方法也适用于数据之间互相制约的逻辑控制。     

动态模糊逻辑在电子商务中的应用与研究

在电子商务的信息处理过程中，常要对一些动态的、模糊的、不确定的问题进行分析判断，在这些问题上，可以引入动态模糊逻辑理论进行分析判断。该文介绍了动态模糊逻辑理论、动态模糊逻辑在电子商务信息处理知识领域中的应用，如获取客户信息、物流配送以及库存管理等方面。并通过具体的实例来讲述运用动态模糊逻辑解决电子商务信息处理问题的方法和推理过程。     

一种PKI信任模型逻辑推理的改进方法

为了简化PKI信任模型的逻辑推理，本文对Bakkali H E和他dtouni B I提出的两种推理方法进行了改进。首先通过使用三个谓词和三个约束条件给出与信任模型相关的定义和推理规则，并在此基础上提出了两个推论。可以证明，该方法能够有效地简化逻辑推理。最后，在层次结构模型中分析其推理过程。     

一种多开关结构的固态功控系统的开发

本文介绍了一种利用复杂可编程逻辑器件（CPLD）设计28V直流固态功控系统的方法，对整个系统进行了详细的介绍和说明。固态功控系统由控制和逻辑部件、固态开关部件和电流感受部件组成。固态开关部件采用电力MOSFET做软开关，使得电路通断时，不会出现打火花的现象。在可编程逻辑区，运用硬件描述语言（VHDL）在CPLD上实现了SSPC的控制和逻辑功能。     

面向三维忆阻阵列的状态逻辑计算

基于忆阻存储阵列的状态逻辑电路是打破“冯·诺依曼瓶颈”,实现存内计算的有效途径。然而，目前针对存内状态逻辑电路的研究多以二维忆阻存储阵列为基础平台，缺少对更复杂的三维忆阻存储阵列中状态逻辑实现的讨论。相比于平面二维阵列，三维忆阻存储阵列拥有更大的存储密度和更丰富的器件连接关系，能对状态逻辑门的构建提供更灵活的配型方法。因此，有必要对状态逻辑门在三维存储阵列中的配型和级联过程进行专门讨论。立足平面堆叠型三维忆阻存储阵列，从基本状态逻辑门的实现以及支持级联的综合映射方法2个方面对复杂状态逻辑计算过程实现进行研究。首先，分析并总结了平面堆叠型三维忆阻存储阵列中器件的连接关系，并据此得出实现两输入布尔逻辑的状态逻辑门配型要求。其次，提出一种复合状态逻辑门，通过将逻辑输入与逻辑输出共享同一个忆阻器，来一步实现复杂逻辑功能(例如，定义为ONOR),节省复杂状态逻辑计算过程的步骤与器件数目。最后，还给出了基于三维忆阻存储阵列中复杂状态逻辑计算实现的自动化综合映射方法。对LGsynth91基准的测试结果表明，与当前二维阵列中的最优映射结果相比，提出的基于三维忆阻存储阵列的综合映射方法实现了层间的逻辑计...     

面向对象的约束逻辑程序设计

本文介绍了面向对象技术和约束逻辑程序设计方法在人工智能中应用的基本思想，通过二者的结合使现有逻辑程序设计在逻辑的清晰性和执行的高效性上都得以提高，这样就引入了一个新的研究方向：面向对象的约束逻辑程序设计     

公钥密码体制下认证协议的形式化分析方法研究

本文通过对形式化方法中最广泛使用的类BAN逻辑进行研究发现，此方法更侧重于对称密码体制下认证协议的分析，而在分析基于公钥体制的认证协议时，该方法有很大的局限性。因此，文中针对公角密码的特点对类BAN逻辑进行了扩展。扩展后的逻辑方法能够更好地应用于分析公钥认证协议。     

基于行为轮廓和逻辑Petri网的模型修复方法

现实中的业务流程不断发生变化，需要对初始的业务流程模型进行修复以更好地表示实际业务流程。模型修复的关键步骤是分析现实日志和模型间的偏差，目前寻找偏差的方法主要采用对齐重演技术，未从行为的角度定量分析抽象的结构。因此，提出了一种通过行为轮廓分析日志和模型偏差的方法，并在此基础上进一步给出了基于逻辑Petri网的模型修复方法。首先，基于行为轮廓计算日志和模型间的服从度以识别偏差迹；然后，在偏差迹中依据偏差三元组集从偏差活动中选择逻辑变迁；最后，基于逻辑变迁设置逻辑函数，并通过添加新的分支或重构新的结构来修复原模型。对修复模型的适应度和精确度进行了验证，仿真实验结果表明，在尽可能保持修复模型与原始模型相似的基础上，相较于Fahland方法与Goldratt方法，所提修复方法在适应度都为1的情况下，得到的修复模型具有更高的精确度。