组合逻辑电路的无反变量输入设计

本文阐述了组合逻辑电路无反变量输入的设计思想，并通过设计实例给出了具体的设计方法与步骤．     

逻辑电路化简方法的探讨

随着电子技术的发展,对于复杂电路的分析可采用新的方法,即最大项方法.本文从理论上证明了使用最大项方法解决实际问题的正确性,并指出对于复杂电路的分析把最大项方法和最小项方法两者结合起来将更好.     

卡诺图法化简六变量逻辑函数

探讨了用卡诺图化简六变量的逻辑函数的方法及相邻项的正确判断。指出了用卡诺图法化简多变量逻辑函数与少变量逻辑函数之间的差异,并用该方法对六变量逻辑函数进行了实例化简分析.     

0-1逻辑变量在数学建模和数学实验中的应用

文章通过理论与实例相结合的手法,认真分析了0-1逻辑变量的特性,以及它在数学建模和数学实验中的作用,给我们进行数学建模求解带来一些启示,提供一些解题思路.     

用解逻辑方程的方法化简互斥多变量逻辑函数

论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法。     

无反变量输入的逻辑函数的化简

无反变量输入的逻辑函数的化简中,若用非门将输入变量取反来提供反变量往往不能使逻辑函数成为最简形式.可用代数法、并项法和卡诺图法对其进行化简.     

逻辑函数的公式法化简

用逻辑代数的基本公式和常用公式化简逻辑函数,目前尚无一套完整的方法和固定的步骤可循。本文介绍的添项消项法,具有使用公式少、化简步骤单一和化简技巧易于掌握等一系列特点。     

一种0-1型双层线性规划的分支-定界法

针对上下层变量都是0-1变量的双层线性规划问题,在通过对其模型结构特点研究的基础上,结合双层线性规划问题的定界理论,给出了一种便于求解、结构简单的定界函数和寻找问题全局最优解且基于深度优先的搜索准则,由此提出了一个求解0-1型双层线性规划的分支-定界法.提出的算法具有全局收敛性,并通过算例说明了算法的求解过程.     

互斥多变量逻辑函数的化简方法

基于变量互斥的约束关系,以二进制编码器为例讨论了互斥多变量逻辑函数最小化及简化电路结构的公式化简问题.目的是探索特殊逻辑函数的化简方法.结论是所述方法化简过程简单、方便快捷,能提高数字逻辑电路的设计效率.     

一种分析数字逻辑电路的方法

本文提出了一种建立数字门电路宏模型的方法 ,采用该方法建立的门电路宏模型可以对门电路 ,以及由门电路构成的数字电路进行逻辑仿真 .宏模型用构造法建立 ,不含有源器件 ,模型结构简单 ,仿真速度快 ,占用内存少等优点 .     

黄土入渗研究中浸润锋信息处理的模糊逻辑推理方法的探讨

本文尝试把模糊逻辑推理方法应用于黄土入渗数据处理系统,主要是用于获得浸润锋数据。简述了人工处理装置、计算机处理系统,以及模糊集合、模糊关系、模糊逻辑推理和模糊系统设计方法,并给出论域和机器代码数据。     

时序逻辑电路的次态卡诺图分析法

讨论了同步时序逻辑电路的次态卡诺图分析法与异步时序逻辑电路的次态卡诺图的分析法,这两种方法分别是利用状态方程给出各触发器的次态卡诺图,并由次态卡诺图画出状态转换图以及利用状态方程和时钟方程绘出包含“动令”在内的各触发器的次态卡诺图,并由次态卡诺图画出状态转换图,该法是１种分析时序逻辑电路功能的新方法。     

对四值逻辑图形化简法的研究

在文献［１,２］的基础上,讨论了四值逻辑的代数化简方法．根据二值逻辑卡诺图的构成特点,提出四值逻辑函数的Ｋ图及图形化简方法,详细地探讨了Ｋ图的构成特点,并指出了尚待研究和探讨的问题．     

采用SPICE程序分析数字逻辑电路的一种方法

本文提出了一种建立数字门电路宏模型的方法，采用该方法建立的数字门电路宏模型可以在ＳＰＩＣＥ程序下对门电路，以及由门电路构成的数字电路进行逻辑仿真。模型采用构造法建立，不含有源器件，充分利用了ＳＰＩＣＥ程序中的非线性受控源，使模型结构简单，仿真运算速度快、精度高。     

逻辑函数公式法化简技巧

本文用实例总结出逻辑函数公式法化简的技巧方法，从而可对逻辑函数进行灵活快速的化简。     

CSP逻辑编程中一种约束评价的动态控制方法

在一些约束满足问题（ＣＳＰ）中，使需要进行的约束评价的数目减到最低限度是一个十分重要的问题。本文提出了一种改进的回溯算法，它借助基于假设的正确性维护系统ＡＴＭＳ达到了上述目的。     

中介谓词逻辑MF完备性的一些结果

本文讨论了中介谓词逻辑系统 MF 的完备性。为了证明 MF 的完备性定理,在文中引入了协调性与极大协调集等概念,获得了中介谓词逻辑系统 MF 完备性的几个基本结果。     

利用二值代数的化简法则进行三值组合电路的设计

本文用TTL技术讨论三值组合电路的设计。提出了用于输入端口和输出端口的两个三值和二值互相变换的转换器,从而可利用二值代数中的化简法则,使设计出的三值组合电路结构简单,成本降低。本文所用的代数系统简易,基本电路的理论分析和实验证明取得一致,设计举例也已通过HSPICE程序。