逻辑函数的代数化简法技巧剖析

代数化简法可化简任意逻辑函数,但目前尚未形成一套完整系统的方法,没有一个固定的步骤可遵循,具有一定的试探性。能否尽快合理地对逻辑函数进行化简,很大程度上取决于化简者的经验、技巧、洞察力及对公式掌握与运用的熟练程度,特别是经验、技巧,如增加冗余项、配项等,一直以来是教师教学与学生学习的一个难点。将代数化简法与卡诺图化简法有机结合起来,借助卡诺图化简法,对代数化简法的应用经验与技巧作了剖析,做到有章可循。     

用列表法化简逻辑函数

本文以实例阐述用列表法化简多变量逻辑函数的方法，步骤规范化，为用FORTRAN语言通过计算机化简多变量函数提供理论依据。     

多输出组合逻辑函数共卡诺图化简法的研究

针对多输出逻辑函数,建立了一种规范化的共卡诺图化简沦。该化简法要求用一张卡诺图表示多输出逻辑函数,使得它们的共享部分在几何上相互重叠,为辨识共类共享最小项和合并提供了方便。以实例说明了共卡诺图化简法的应用,展示了该方法化简多输出逻辑函数简洁明快的特色。     

化简逻辑函数的ADPR方法

提出了逻辑函数的一类无效逻辑项与二类无效逻辑项的概念,讨论了这两类无效逻辑项的性质,在此基础上建立了最简逻辑函数的判据,从而得到了化简逻辑函数的方法,这一方法克服了传统代数法化简逻辑函数时没有固定方法和步骤,不能判别是否为最简函数式以及过多地依赖于技巧等诸多困难．特别是当逻辑变量的个数大于５时,此法显著地优于卡诺图法．     

化简逻辑函数的一种新方法——代码化简法

文中提出了一种化简逻辑函数的新方法——代码化简法。这种方法的要点是,将与或逻辑式中各乘积项分别编成人们熟知的八个十进数字代码,这些代码可以按照一些简单的规律进行运算,运算的结果即是逻辑函数的最简式。这种方法既具有卡诺图化简法简单直观的优点,又具有表达式化简法不太受变量数目限制的优点。     

一种新的卡诺图化简法

设计了一种新的卡诺图化简方法，可以对七变量及以上的逻辑函数进行化简．这种新卡诺图化简法化简逻辑函数不是采用画包围圈的办法，而是先用新卡诺图来判断哪些标“1”的单元是逻辑相邻的单元，然后再把任何2^m(m=0，1，2，…，n)个标“l”的逻辑相邻单元所对应的最小项项号所对应的二进制数集中到一起，把变量取值保持不变的变量保持下来，把变量取值发生变化的变量去掉，剩下的变量之“与”就是这2^m个逻辑相邻单元化简后的乘积项，这种方法对化简任意变量的逻辑函数都适用。     

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

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

化简逻辑函数软件设计

介绍了一种化简逻辑函数的软件,其化简原理基于一种化简逻辑函数的新方法。由于化简方法中使用的真值表、蕴含表等都是一些二维的表格,因此采用数据库技术编程。文中包括软件的总体设计构想和三个特殊模块的设计思路。由于与一般的管理和控制软件不同,该软件设计方法独特,使用方便,化简迅速,结果准确。     

轴式卡诺图的应用

本文是在轴式卡诺图的基础上,应用数学模型,借助计算机对多变量逻辑函数进行化简,并对同一实例应用不同方法进行化简并且通过比较,显示出不同方法的各自特色.同时也证实了,根据轴式卡诺图的特点所提供的数学模型是正确的,为用计算机辅助化简多变量逻辑函数提供了一种新的方法.     

逻辑集成电路的化简

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

主从触发器的框图分析法

框图分析法是利用触发器的逻辑框图和逻辑功能分析表,分析主从触发器的工作 原理及逻辑功能的方法。它克服了以往分析方法的缺点,不仅充分体现了主从方 式的特点,同时又简明、系统地分析了触发器的工作原理和逻辑功能,并为日后的 进一步学习打下了基础。     

基于UML的XML Schema设计

给出了一种基于UML对XML Schema文档进行辅助设计的方法,该方法将设计过程分为3个层次,即概念层、逻辑层和物理层。概念层使用标准的UML类图对对象建模,逻辑层使用自定义的逻辑层UML类图表示,物理层则用最终的XMLSchema文档表示。给出的逻辑层UML类图充分利用了XML Schema文档的嵌套结构特点,结构清晰简明,经过一系列的转换步骤,可以由概念层的UML类图生成逻辑层UML类图,并最终得到XML Schema设计。     

可编程控制器梯形图的快速设计方法

提供了可编程控制器控制梯形图的一种快速设计方法,它的关键是如何将三大设计依据转换为程序图,或者说如何用一个图形来描绘电气主令元件、检测元件、执行元件、中间记忆元件在一个工作循环中的动作三要素,然后根据这个图形利用逻辑代数来列写开关函数式,再由此绘制梯形图。这种方法具有快速、简单、一次成功的特点。     

一种基于ArcGIS和AutoCAD的数字地图拼接方法

地图数字化是地理信息系统工作的首要任务之一,针对地理信息系统地图数字化过程中常见的多图幅数字地图逻辑拼接以及数字化后易出现的空间逻辑错误问题,提出一种基于ArcGIS的数字地图逻辑拼接和空间逻辑错误检查方法,实现了真正意义上的多图幅数字地图逻辑拼接,并在河南省航道基础地理信息管理系统中应用,取得了理想效果.     

论公理化方法及其沿革

介绍了公理化方法由产生到逐步走向成熟的历史过程及公理系统的三大特点，指出研究公理系统的内在逻辑结构的意义和公理化方法的局限性。     

基于细胞逻辑、形态特征图像分割新算法

在MATLAB软件中结合细胞逻辑、形态特征提出了一种图像分割和计数的新算法,这种算法的主要思想是通过逻辑运算、拉氏变换和数学形态学运算的处理,首先提取细胞图像中的逻辑信息,再根据细胞特有的圆形、椭圆形形态特征,将细胞从整个背景中进行分割处理,并根据逻辑信息、形态特征实现了血细胞图像的简单计数,实现了特定血细胞的单独分割,其算法简单、可靠。     

判断逻辑电路冒险的逻辑代数方法

对用代数方法判断组合逻辑电路在过渡过程中由于逻辑竞争而产生的冒险问题做了较为详尽的分析和论证。     

在VRML2.0中复杂逻辑功能的实现

VRML2.0为构造网上虚拟现实场景提供了强有力的技术支持,它通过编程语言接口－－Script结点引入一段程序代码来实现一些复杂的逻辑功能,详细阐述了用Java实现VRML2.0中复杂逻辑功能的具体过程,并以导游跟随用户在场景中游鉴的实例详尽说明了在VRML2.0中复杂逻辑功能的实现。     

基于非线性互补约束的含DG配电网故障区段定位方法

随着分布式电源的接入, 配电网故障过电流方向不再唯一, 传统的故障区段定位方法将不适用, 本文提出含分布式电源(Distributed Generation,DG)配电网故障区段定位的非线性互补约束光滑化模型和求解方法。基于逻辑关系的间接故障定位方法在数值稳定性和决策效率上的不足, 本文构建了可适应多个DG投切情况的基于代数关系的开关函数。2个仿真算例与对比实验表明, 含DG配电网故障区段定位的非线性互补约束光滑化方法在进行故障定位时具有较高的容错性能, 且能够实现多信息畸变下的准确定位, 由此可见本方案在数值稳定性上胜于智能算法。     

类比法在普通物理教学中的应用

将类比推理的逻辑方法运用于物理教学过程,启发学生的思维。