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

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

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

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

逻辑函数的卡诺图化简方法

通过对四变量卡诺图同卡诺图的对称性质,总结出多变量逻辑函数卡诺的地称规律,并给出多变量卡诺图的作图和化简方法。     

用圆图化简多变量逻辑函数

阐述了圆图的由来,多变量圆图的组建过程和循环码编码技巧,同时着重介绍了用圆图化简多变量逻辑函数的规则,以及用圆图法直接化简多变量"与或"逻辑函数和"或与"逻辑函数实例.     

谈逻辑函数化简方法

逻辑函数的化简方法有代教法和几何法,本文侧重介绍针对几何法原理和方法的教学所融合的一条思路,以及如何将代数法与几何法进行有机的结合,用以克服逻辑函数化简这一教学难点。     

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

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

逻辑函数的公式法化简

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

化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，因而也无函数式是否化简到了最简的判别方法。为解决这些难题，提出了“镜像消元法”，给出了化简的具体步骤和方法。对于6个以上变量的逻辑函数的化简，镜像消元法优于卡诺图法。     

逻辑函数公式法化简技巧

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

逻辑函数的卡诺图化简

本文针对卡诺图逻辑函数中不易掌握极易出错之处,提出了和常规化简方法不同的化简方法。     

逻辑代数卡诺图化简方法与技巧

逻辑代数卡诺图化简是数字电子技术的一个重要内容,本文讨论了卡诺图化简逻辑代数的基本方法和实用技巧。     

组合逻辑电路的设计简化

把EPROM引用到逻辑电路中,将会简化逻辑电路及其设计步骤.     

逻辑函数的化简与实现

提出能反映逻辑函数最小项合并规律的最小项合并图,给出了基于最小项合并图的逻辑函数化简法,用该化简法可获得逻辑函数的所有最简式且该方法便于编程实现。     

与—或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

多输出逻辑函数的一种化简方法

多输出逻辑函数的化简，目前还没有成熟的方法．凭经验决定蕴涵项的取舍，往往不能确定方案是否最简．由于将多个输出电路作为一个整体电路看待，每个单输出函数最简单并不能保证整体方案最简单．若能找出各输出函数间的公共项，即使它不是质蕴涵项，由于公用，也可能得到最简的方案一作者提出了一种规范而又切实可行的化简方法，用此方法最终可解决多输出函数的化简问题．     

逻辑函数的系统简化法

提出了逻辑函数“系统简化法”的计算机辅助设计方法，从而实现了对多变量逻辑函数的自动简化。     

知识库上逻辑程序图搜索的一种启发函数

本文把A~*算法的启发搜索应用到逻辑程序的求解过程中,就逻辑程序这一特定的问题领域,构造出A~*算法相应的一种启发函数。利用该启发函数,通过A~*算法可求得逻辑程序的“最佳解”。     

基于散乱点云边界提取及简化的单坐标搜索法之改进

针对单坐标搜索法在处理大量点云数据时会出现收敛速率降低、边界提取模糊等缺点,采用一种改进的方法能快速确定点云的紧邻信息。并且在保留所有边界点的基础上,结合测点的曲率特征以及邻域内保留点的情况提取点云的边界特征并进行非均匀化。结果表明,该方法能够在快速、有效地简化点云数据的同时保持原始特征信息。     

数字逻辑电路设计方法探讨

全加器是算术逻辑运算中非常重要的组成部分,对其深入探索、正确理解有极其重要的意义,通过对全加器的逻辑表达演变,采用不同器件,用多种方法设计出一位全加器,使实验者或产品开发者等在使用全加器时,根据具体条件,选择不同方法完成其功能,以达到对数字逻辑电路设计方法较全面的理解。     

Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。