浅谈用最小项和最大项化简同一逻辑函数的规律

针对当前多数教材中用最小项化简逻辑函数的方法 ,指出了如何用最大项化简的技巧 ,同时阐明了两者之间的关系 .     

逻辑函数的化简与实现

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

逻辑函数化简与实现的计算机方法

本文讨论了逻辑函数化简与实现的计算机方法。前者通过计算卡诺式，求函数最小项集与各项最小项集的差、交集，实现函数化简。后者在给定变量分配情况下，通过转换矩阵作用，将函数最小项集映射成新的最小项集，以实现函数。     

最小径集求解方法及Mathematica实现

为了解决传统事故树最小径集求解过程中遇到的计算量大、专业化简软件缺乏、手工计算容易出错的问题,文章研究了现有2种最小径集求解方法,用图解的形式说明了这2种方法的求解路径,通过理论推导证明了最小割集和最小径集在事故树的表示上是等效的.在此基础上,提出了一种新的求解最小径集的方法并进行了证明.通过在Mathematica软件中建立基本的事故树化简规则,从而实现了事故树的软件自动化简,并通过实例验证,证明了文中所述3种最小径集求解方法的正确性和便捷性.     

用Karnaugh图化简多输出逻辑函数

提出了用Karnaugh图化简多输出逻辑函数的方法,并给予了该方法正确性和最简性的证明。     

最大项方法化简逻辑函数的探讨

使用卡诺图化简逻辑函数,本文在最小项方法的基础上论证了最大项方法化简逻辑函数与最小项方法的等价性,并举例说明了应用最大项方法的优越性。     

基于整数序列表示的逻辑函数化简

作者在开发一个逻辑代数符号系统中，引入了逻辑函数的一种紧凑的基于整数序列表达方式，将每一个逻辑函数用一个整数序列来描述，每一个简单项用一个或两个整数来表达．基于整数序列的表示方式特别便于机械化．在逻辑函数Q-M化简法的基础上，提出了一个改进的基于整数运算的逻辑函数化简法．该算法只在同类简单项中寻找冗余变量，能输出具有最少的项数，且在项数相等的情况下又具有最少因子总数的所有最简与或式。     

用坐标的现点看卡诺图

卡诺图(K-Map)是用来描述一个逻辑函数并且可以化简一个逻辑函数的特殊图形.在用卡诺图表示逻辑函数时,有时给出的逻辑函数是与或表达式,我们必须先把逻辑函数化简成最小项表达式形式,然后再填入卡诺图,而且需牢记变量卡诺图的顺序表示,比较繁锁,且易出错.在利用卡诺图法化简时也往往不能快速准确地写出化简后的逻辑函数表达式,利用坐标的观点来看卡诺图,这些问题可以迎刃而解.     

随机网络的最短路问题

研究了随机网络上的最短路问题，并给出了一个启发式算法ESP来寻找期望最短路，以及启发式算法KESP寻找K-期望最短路，最后举出一个实例来证明算法的有效性．     

用坐标的观点看卡诺图

卡诺图(K-Map)是用来描述一个逻辑函数并且可以化简一个逻辑函数的特殊图形。在用卡诺图表示逻辑函数时,有时给出的逻辑函数是与或表达式,我们必须先把逻辑函数化简成最小项表达式形式,然后再填入卡诺图,而且需牢记变量卡诺图的顺序表示,比较繁锁,且易出错。在利用卡诺图法化简时也往往不能快速准确地写出化简后的逻辑函数表达式,利用坐标的观点来看卡诺图,这些问题可以迎刃而解。     

正态总体方差最短置信区间的研究

从置信区间的本质意义出发，通过数值计算的方法，对于给定的置信度γ=0．90，0．95和0．99，在样本容量n从3到30的范围内，在正态总体均值未知的情形下，求得了方差σ^2的最短置信区间，并对用通常方法求得的置信区间的长度与最短置信区间的长度进行了对比分析。结果表明，在小样本的情形下，用最短置信区间来作未知方差σ^2的区间估计，将会使估计精度得到显著的提高。     

圆锥曲线一般方程化最简方程的系数公式——公式法化简圆锥曲线一般方程

本文把圆锥曲线一般方程的化简给以公式化,是当前这一课题中的首创。     

指数分布参数置信区间的最短化研究

从置信区间的本质意义出发，通过数值计算的方法，对于给定的置信度0．90，0．95和0．99，在样本容量从2到22的范围内，求得了指数分布参数的最短置信区间，并对通常方法求得的置信区间的长度与最短置信区间的长度进行了对比分析。结果表明：在小样本(≤11)的情形下，用最短置信区间来作未知参数的区间估计，将会使估计精度得到显著的提高。     

三角函数的最值

三角函数的最值问题，因其解法灵活多样，综合性强。一直是高考三角部分考查的重点内容。它不仅与三角函数的基础知识有关，还与函数、方程、不等式知识有一定的联系，实际问题也有广泛的应用。本文通过举例说明三角函数最值的求解策略。     

最短路线模型及其程序设计

属于高等数学的实验性研究课题中的一个基本实验，主要给出了最短路线的数学模型及其程序设计，并通过计算机软件测试，同时又将动态规则中的设备更新问题化归为最短路线模型来处理。     

高维Hopf分岔系统的最简规范形

针对高维Hopf动态分岔问题,研究了不经计算其传统规范形,直接计算高维任意阶数的Hopf分岔系统的最简规范形.利用中心流形定理,将原n维动力系统降为二维的中心流形,根据规范形理论,对中心流形上流的方程进一步化简,在不经过计算传统规范形的情况下,直接计算出其最简规范形中只包含的三阶和五阶项.编写了Mathematica程序,利用该程序,可直接由原n维动力系统计算出其最简规范形.通过3个算例验证了该方法的正确性和计算程序的高效性.     

哈明距离下的最短路反问题

反优化问题是指修改给定的参数，使得优化问题的最优解的目标函数值满足一定的约束。本文中我们考虑的是哈明距离下的最短路反问题：通过修改给定网络上弧的长度，使得修改后网络中指定点之间的最短路长度不超过给定的常数，而其中修改费用是用哈明距离来衡量的，我们证明了哈明距离下的最短路反问题是强NP-完全的。     

应用引入变量卡诺图化简逻辑函数

引入变量卡诺图，使多变量卡诺图得以简化，为多变量逻辑函数应用卡诺图化简提供了方便。     

分解真分式为最简分式

本文用分解真分式为最简分式的分解基本定理来确定最简分式分子里的常数。     

启发式最短路算法

提出了一种基于人工智能搜索技术和启发函数的启发式最短路算法，讨论了启发函数的建立原则，通过实例说明了启发式最短路算法提高搜索效率的程度。