导读:本文包含了质蕴涵论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:布尔,蕴涵,函数,组合,最小化,代数,矩阵。
质蕴涵论文文献综述
李景荣,马文阁[1]（1994）在《求多输出函数质蕴涵的一种方法》一文中研究指出运用布尔矩阵运算的方法对确定多输出函数的质蕴涵进行了研究，并通过示例说明了这种方法的运算程序。(本文来源于《辽宁工学院学报》期刊1994年01期）
薛宏熙,张燕安,邓辉[2]（1990）在《一个判别必要质蕴涵项的E算法》一文中研究指出用精选法求布尔函数的最小化解时,传统的作法是先求出质覆盖Z,然后从Z中挑选必要质蕴涵项。本文提出的E算法在勿需求出质覆盖的情况下,就可以判断出多输出二值布尔函数的一个质蕴涵项是否是必要质蕴涵项,从而节省计算机的存储空间和运算时间。(本文来源于《计算机辅助设计与图形学学报》期刊1990年04期）
史定华[3]（1985）在《非网联故障树和简单质蕴涵算法》一文中研究指出在故障树分析的文献中,例如在文献[1,2]中,都把含有非门的故障树称为非网联(noncoherent)故障树,而把仅含与门和或门的(本文来源于《自然杂志》期刊1985年08期）
质蕴涵论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
用精选法求布尔函数的最小化解时,传统的作法是先求出质覆盖Z,然后从Z中挑选必要质蕴涵项。本文提出的E算法在勿需求出质覆盖的情况下,就可以判断出多输出二值布尔函数的一个质蕴涵项是否是必要质蕴涵项,从而节省计算机的存储空间和运算时间。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
质蕴涵论文参考文献
[1].李景荣,马文阁.求多输出函数质蕴涵的一种方法[J].辽宁工学院学报.1994
[2].薛宏熙,张燕安,邓辉.一个判别必要质蕴涵项的E算法[J].计算机辅助设计与图形学学报.1990
[3].史定华.非网联故障树和简单质蕴涵算法[J].自然杂志.1985
论文知识图
