基于最小割集的多项因式相乘布尔函数化简研究

来源 :矿业研究与开发 | 被引量 : 0次 | 上传用户:Ghost_D
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
化简布尔函数的方法有许多种,有布尔代数法、行列法、矩阵法等.针对大型事故树求最小割集的困难提出一种化简布尔函数的新算法.通过此法,可以化简相乘因式基本事件较少、重复基本事件较多情况的布尔函数.通过实例验证发现,此法在计算时思路清晰,也大大提高了求解本类布尔函数的计算效率.
其他文献
介绍了长沙矿山研究院推行ISO9001质量管理体系的现状,以及体系运行4年来所取得的主要成效,分析指出了质量管理体系下一步的改进方向。
环甲膜位置表浅、解剖标志清晰,环甲膜切开术对于危急情况下建立紧急临时气道具有无可替代的优势。1997年12月至2009年12月笔者采取紧急环甲膜切开术成功救治急性喉或上呼吸道
通过D263NO-3型贫铀树脂对酸法地浸采铀浸出液的吸附试验,分析了NO3-离子转入吸附尾液的过程及规律,初步建立了吸附尾液中NO3-积累平衡点的概念,就积累平衡点的某些特征及其
目的探讨埃索美拉唑治疗老年人与中青年人胃溃疡的疗效。方法选取75例幽门螺杆菌(Hp)阳性,年龄60岁以上的胃溃疡患者为老年组;以同期106例Hp阳性,年龄59岁以下的胃溃疡患者为中
利用氢氧化钠溶出脱硅法研究了搅拌速度、NaOH浓度、反应温度、反应时间、液固比和助剂这些溶出条件对煤系高岭土脱硅率的影响,并进一步考察了两段溶出对煤系高岭土脱硅率的
对履带式集矿机在海底运行的情形及其串联的软管进行了简化与假定,据此建立了集矿机系统的数学模型,得出了履带式集矿机在深海底作直线运行时的拉格朗日运动方程,该方程对研
井下斜巷提升过程中,存在矿车掉道,人员进入斜巷等不安全隐患,为确保提升运输安全,在斜巷提升的各个片口及巷道内安装数个监控摄像头,并传至绞车房,让司机对斜巷提升运输状况的动、
依托采矿工程国家重点学科,在湖南省的大力支持下,中南大学资源与安全工程学院于2004年组建了“湖南省深部金属矿产资源开发与灾害控制重点实验室”,对深部高应力条件下的资源开
目的研究竹节参皂苷与竹节参多糖组合物对免疫低下小鼠免疫功能的调节作用。方法取清洁级Balb/c小鼠,腹腔注射环磷酰胺(cyclophosphamide,Cy)制备免疫功能低下小鼠模型;摘取脾