论文部分内容阅读
为简化布尔函数中12类对称变量的检测过程,提出了基于最小项展开系数的对称变量检测算法。该算法通过判别布尔函数有序特征值矩阵的约束条件实现对称变量的快速检测。应用结果表明,与现有方法相比,新方法在适用的布尔函数变量数、检测类型和检测过程的复杂度方面是最优算法。
基于有序特征值矩阵的对称变量检测算法
【摘 要】
：
为简化布尔函数中12类对称变量的检测过程,提出了基于最小项展开系数的对称变量检测算法。该算法通过判别布尔函数有序特征值矩阵的约束条件实现对称变量的快速检测。应用结
【机 构】
：
浙江建设职业技术学院数字化校园建设办公室,浙江大学信息中心
【出 处】
：
科技通报
【发表日期】
：
2017年12期
【基金项目】
：
2015年国家自然科学基金（61471314）.
其他文献
目的：探讨对进行手术治疗的脑出血患者在围手术期实施针对性护理的效果。方法：将2016年1月20日至2017年1月20日期间在达川区人民医院进行手术治疗的90例脑出血患者随机分为对照
2002年2月6日,我国自主设计、自主建设的第一座商用核电站--秦山二期2 × 60万千瓦核电工程1号机组顺利实现了并网发电.这是我国立足于自主创新,加快核电建设国产化的一
由“中国时报”《开卷》周报连续举办22年，深具影响力的年度“2010开卷好书奖”近日出炉，包括“十大好书·中文创作类”“十大好书·翻译类”“美好生活书奖”“最佳童书”与“最佳青少年图书”五个榜单共有37本书获奖。 2010文学趋势：散文突起 综观之，评审钟怡雯认为，入围的中文创作文学书籍，有两个现象值得一提。首先，散文几乎跟小说平分秋色。迥异于往年翻译多、小说为主的状况。其次，以第一本书入
美国大众图书市场上，电子书已经占到图书总销售的20％，而许多新上市的畅销书，电子版的销售量甚至超过了纸质版。电子书的发展，直接威胁到纸质书的生存。一本书，如果其电子版的销量越
中国人民大学出版社总编辑周蔚华和中国人民大学新闻学院博士研究生闫伟华在《国际新闻界》撰文说：不管是规模经济还是范围经济都可以降低生产成本和增强对市场风险的抵抗能力
目的：比较用富马酸比索洛尔与胺碘酮治疗房颤的效果。方法：对2016年8月至2017年7月期间渠县人民医院收治的80例房颤患者的临床资料进行回顾性研究。按照这80例患者入院的先后顺
无论是“华龙一号”亮相新中国成立70周年庆典、开启批量化建设,还是再获国家科学技术进步奖特等奖,无论是中标ITER为“人造太阳”装“心脏”,还是正式控股纳米比亚罗辛铀矿
高校学生党支部建设是高校党建工作的重要组成部分。目前，高校学生党支部建设中存在一些问题。必须采取有效措施，从理论学习、制度化建设和方法创新等多方面入手，加强学生党支部
利用常规气象资料和合肥多普勒雷达回波,分析了2004年5月21日巢湖市降雹的环流背景、回波发展演变过程.结果表明,炯炀至巢湖市沿湖一线短时间内连续两次遭受冰雹袭击可能与湖