基于卡诺图的多变量逻辑函数化简原则的一个补充

文中从经典卡诺图化简原则出发,结合一个实际的多变量逻辑函数化简问题,经讨论给出用卡诺图进行逻辑函数化简的一个补充原则,即在卡诺图上一个圈中如有2^i（i=0,1,2…）个逻辑“1”项,则该圈中任意一个逻辑“1”项在本圈中存在而且只存在i个逻辑相邻项。     

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

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

逻辑函数的三维K图化简

根据Ｋ图化简逻辑函数的方法给出三维Ｋ图及化简二值、三值逻辑函数的方法，使逻辑函数相邻项的邻接关系得以增强，变量数得以增加。     

用MSI数据选择器实现逻辑函数的方法讨论

目的讨论用中规模器件实现组合逻辑函数时,函数变量数小于数据选择器的地址变量数的情况。方法详细阐述了数据选择器的原理及应用,从逻辑函数表达式、真值表和卡诺图3方面进行分析。结果得出用MSI数据选择器设计组合逻辑函数能够实现任意组合逻辑函数,并通过实例验证了其有效性。结论用MSI数据选择器可实现任意组合逻辑函数。     

卡诺图降维变量的选择

本文从分析降维卡诺图的填写内容出发,通过几个逻辑函数化简及设计例题的讨论,得出从逻辑函数非最小项（ 含最简） 与或表达式中,选其出现次数最少的变量作降维变量的降维卡诺图和实现电路比较简单的结论     

带有约束项的多变量的逻辑函数化简的一种方法——兼论步进电机环行分配器的逻辑设计

当逻辑函数的变量比较多时,用卡诺图法来化简就比较麻烦。本文所提出的方法是根据逻辑函数各最小项的公因子中各变量来判断,各变量是否覆盖逻辑函数为0的项,如否该变量就是最简式。细无 1个变量的最简式则用公因子中两个变量“相与”去试验,再看“相与”者是否覆盖逻辑函数为0项,如否,则此“相与”的两个变量即为逻辑函数的最简式。     

利用译码与数据选择器实现组合逻辑函数法

针对单一逻辑部件难以实现更多变量的逻辑函数问题,提出了一种译码器与数据选择器结合的组合逻辑函数实现方法,给出了组合逻辑函数实现的卡诺图和逻辑电路图,导出n位译码器与m位数据选择器结合实现变量个数为n m的任意组合逻辑函数的结果,得出利用中规模集成电路数据选择器与译码器组合实现逻辑设计是一种行之有效的方法。     

用降维图化简多变量逻辑函数的新方法

本文提出了一种在原降维图基础上作子降维图化简多变量逻辑函数的新方法，它使得逻辑函数的图形法化简更趋完善。     

论逻辑函数变量的二值与格形对称性

格形结构是自然界中普遍存在的一种结构形态。通过对逻辑函数变量的二值与对偶关系以及与之对应的格形对称图的一些性质及其规律的探讨,在两种格形对称图上,找到了最小项与其逻辑相邻项之间的对应关系,从而为用格形对称图法化简逻辑函数提供了捷径和方法。     

逻辑函数的系统简化法

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

求模糊逻辑函数范式的方块图法

本文提出了模糊逻辑函数的方块图表示及等效变换法则．并利用方块图化简模糊逻辑函数，给出求取析取范式与合取范式的直观方法．     

PLC的SFC图在编写顺序控制梯形图中的应用

为了解决应用可编程控制器(PLC)的基本逻辑指令编写顺序控制梯形图时所存在的编程复杂、不易理解等问题,采用PLC的顺序功能图来编写顺序控制梯形图是一种非常有效的方法,该方法具有编程简单而且直观等特点.以送料小车的控制为例,采用顺序功能图的方法编写其控制梯形图,从编程结果可以看出,与应用PLC的基本逻辑指令方法相比具有简单、直观、逻辑性强等特点,提高编程的效率.     

基于common logic的UML类图形式化及验证

统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证.     

顺序控制法在机械手控制系统中的应用

文章以机械手控制系统为例介绍了顺序控制设计的方法。说明该法是设计PLC梯形图的一种先进规范的方法和有力工具。使控制软件与工序动作有较好的对应关系，与传统的经验设计法相比具有简单、直观、逻辑性强等优点，提高了编程效率。     

UML类图元模型基于描述逻辑的表示及验证

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.     

继电器组合步进电路的最优逻辑设计

从经济性,可靠性及便于维护等目标出发,提出继电器组合步进电路的最优逻辑设计方法,以逻辑关系图为工具,将得电优先型与失电优先型两种设计原则相结合,实现了五类继电器组合步进电路的逻辑设计并给出继电器的通用逻辑式,这些电器的均能实现全自动,半自动及预停等基本控制功能,通过断续控制系统仿真器实验证明,本设计方法是有效的。     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

搪瓷盆生产线煤气辐射炉气动炉门逻辑控制系统的研究

本文应用逻辑控制方法，对辐射炉气动炉门的自动控制进行了研究，研制出安全、可靠、灵活的控制系统。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

随机逻辑控制系统的PC程序设计

用可编程序控制器（Ｐ）控制随机系统．ＰＣ的每个输出继电器有确定的开启条件、关断条件及其约束条件．根据这些条件可以写出每个输出继电器的逻辑方程，再由方程画出ＰＣ的梯形图程序．