卡诺图化简逻辑函数技巧

卡诺图化简法又称为图形化简法。该方法简单、直观、容易掌握，因而在逻辑设计中得到广泛应用。我们要掌握化简原则，多加练习，运用自如。     

对称图形化简法

本文提出一种新型卡诺图．定义为对称卡诺图;利用这种对称卡诺图进行化简 ．称为对称图形化简法;并举出化简实例。这种图形化简法使得在进行多变量化简时仍能 保持简便、直观的优点．     

逻辑设计的一种工具—降维图

降维图可作为化简多变量逻辑函数、设计逻辑电路的一种方法。这种方法正在逐步完善,本文对降维图的建立和运用,进行化简函数,设计逻辑电路作了较详细的阐述。     

逻辑表达式图的实现及其在集成电路故障 可测性中的应用

数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams, BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。     

基于“异或”门的组合逻辑化简CAD

“异或”门电路目前已作为基本门电路使用，但组合逻辑电路ＣＡＤ大多采用以“与非”、“或非”等为基本器件的设计技术。基于“异或”门的组合逻辑化简ＣＡＤ发展了传统的设计方法，把“异或”门作为基本逻辑门，研究出计算机自动逻辑设计的实用方法。对于某些逻辑设计，进一步简化了电路，使电路成本降低，可靠性提高，同时减少了门电路的级数，提高了电路的工作速度。     

次态卡诺图在时序逻辑电路中的应用

基于逻辑电路的设计中经常涉及到用卡诺图化简逻辑函数的过程,给出了利用次态卡诺图设计逻辑电路的方法及不同触发器的状态方程在次态卡诺图上的表示,并举例加以说明。     

集群多系统无互调频率配置的分析模型及算法

研究了避免互调干扰的组网设计原则，提出了一种新的计算无三阶互调频率组的物理模型，该模型具有算法简法，易于计算机实现等特点，既适用于同一服务区多系统移动通信初始频率的选择分配，也适用于对同一服务区多系统移动通信信道进行无三阶互调频率的校验，调整与扩容。     

一个新的经济型状态化简软件

介绍以隐含最大相容类集为基础的经济型状态化简新算法。该算法是从最大隐含相容类集得出最小闭覆盖的初始候选集，通过对初始候选集的不断调整，得到化简结果。通过与一个具有代表性的经济型算法软件的比较发现，用该算法实现的软件，除少数情况外，可对大量状态机进行更有效的状态化简。     

软件法化简逻辑代数

阐述了化简逻辑代数的基本原理,针对代数法和卡诺图法化简逻辑代数的不足,提出了一种软件化简逻辑代数的编码方案;详细地介绍了形式变换模块、扩充模块和化简模块的设计过程。通过实验可表明,用软件化简逻辑代数可使化简结果准确、算法高效、适用面广。     

一种新的模糊逻辑函数表示及化简方法

提出了一种新的模糊逻辑函数表示及化简方法——模糊Ｋ图法．首先给出了模糊逻辑函数的最小化析取范式，接着提出了模糊逻辑函数的Ｋ图（ＦＫ图）表示方法、模糊一致定理、ＦＫ图的蕴含图及覆盖分数．最后给出了模糊逻辑函数的ＦＫ图化简算法．与传统的解析法相比，该方法不仅直观、简便，还易于计算机实现，具有一定的实用价值．     

逻辑集成电路的化简

在数字逻辑集成电路中，常用公式法或卡诺图对逻辑函数进行化简，但在变量较多时，就很不方便且易出错。本文采用一种表格法，既可以解决变量较多时进行的化简，更便于计算机处理逻辑函数的化简。     

铰链四杆机构运动位置分析简法计算的实现

本文是在文献理论的基础上，分别用ＱＢａｓｉｃ和Ｂａｓｉｃａ语言编写了计算铰链四杆机构位置的主程序和子程序、然后肜１００多组数据输入进行求解，计算机屏幕同时以图形显示出来，结果证明简法计算的求解铰链四杆机构的位置安全能够实现，另外文中还对有关问题进行了讨论。     

一种产生组合逻辑电路最小完全检测集的算法

提出了一种产生组合逻辑电路最小完全检测集算法。通过此算法可以得到组合逻辑电路中任意可测故障的测试及最小完全检测集。     

模糊控制器设计

本文探讨了模糊控制器设计的直接试探法,提出了以性能模型为参考的设计方法。 在总结极大极小合成方法的基础上,给出了用逻辑电路实现模糊算法和精调控制器提高系统性能的方法;针对极大极小方法中信息量不足的缺陷,提出了用模糊数和插值原理设计控制器的方法。 把性能指标转换成性能模型,用模糊集理论测辨对象的模糊数模型,用计算机实现模糊算法,构成以性能模型为参考的设计方法。     

逻辑函数化简法——表格法

介绍一种逻辑函数化简方法－－表格法,并给出多输出逻辑函数化简方法的实例,该方法可为计算机处理逻辑函数的化简提供理论依据。     

电力参数数学化测量的常用算法研究

介绍了交流采样计算电力参数的几种算法，根据信号类型的不同。算法分为正弦模型算法和非正弘模型算法，并分析了各种算法的特点及适用范围，进而提出了采用复序列FFT特性以提高计算效率及其在计算机上实现的实数形式公式。     

基于Groebner平面两自由度七杆机构位置分析的符号解

借助Groebner基法和计算机符号处理技术，对平面两自由度七杆机构位置分析问题进行了符号求解。该法通过对变量排序，建立多项式对的集合，求SP多项式，约简等运算，将一组非线性方程组化简为等价的三角化方程组，导出了单变量的8次代数方程，得到了封闭形式的解析解，并给出了具体数值实例。     

同步时序逻辑电路的设计

同步时序逻辑电路是计算机及其他数字系统中的一种常用电路。本文通过一个设计实例,详细说明同步时序逻辑电路的设计思路和设计方法。     

GPS航迹线的自适应折半查找化简算法

提出了一种新的全球定位系统(GPS)航迹线自适应折半查找化简算法,采用了Sleeve-fitting算法的最优骨架点判断模式来保证航迹线的化简质量,通过粗筛与精选相结合的分步处理方式来提高化简效率：(1)粗筛是利用经验步长值动态预测下一步搜索步长,快速确定包含骨架点的搜索区间;(2)精选是在搜索区间内利用折半查找的方式搜索到骨架点．将某市城区的GPS航迹数据应用于文中算法,结果表明,该算法大幅度提高了化简效率,同时最大程度地保持了化简后航迹线与原始航迹在形态特征上的一致性．     

WKS熵阈值法的快速算法

据Shannon熵的性质，将WKS熵阈值法中的目标函数进行了优化，把对数和乘积运算化简为减法运算，从而得到意义明确、形式简洁的WKS熵阈值法的快速算法.这种算法与WKS熵阈值法对图像分割效果完全相同，同时具有更快的运算速度.从理论上给出了该算法的证明，在实验中给出了应用实例.该算法在保持WKS熵阈值法对图像分割效果不变的条件下，提高了运算速度，增强了WKS熵阈值法的实时处理能力.