论文部分内容阅读
为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明,与现有方法相比,算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.
含无关项布尔函数的对称变量检测算法
【摘 要】
：
为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的
【机 构】
：
浙江旅游职业学院信息中心,浙江大学信息中心
【出 处】
：
浙江大学学报：理学版
【发表日期】
：
2017年2期
【基金项目】
：
国家自然科学基金资助项目（61471314）,浙江省公益技术研究社会发展项目（2014C33042）
其他文献
报道了浙江的5种新记录水生植物,分别为阔叶慈姑（Sagittaria platyphylla（Engelm.）J.G.Sm.）、心叶刺果泽泻（Echinodorus cordifolius（Linn.）Griseb.）、伊乐藻（Elodea nuttallii（Planch.
退变性膝关节炎又称膝关节骨性关节炎（OA），是中老年人常见的一种慢性关节炎。根据流行病学调查，55～64岁人群中发病率达40％，随着世界老龄人口的增加，OA的发病率也呈逐年上升趋势。我院
预防院内感染，涉及面广，其基本手段是消毒、灭菌、隔离、空气保持新鲜。护理人员每天要进行大量的技术操作，处理物品及污染物，护理病情各异的病人，与医院内感染密切相关。如不强化
841100新疆农二师焉耆医院内科 doi:10.3969/j.issn.1007-614x.2010.17.207 提高医护人员的自身素质,强化防范意识 完善各项护理安全管理制度,严格落实各项护理措施,加强护士与药品的管理,根据病区的用药特点制定给药原则。规范无菌技术操作,严格执行无菌观念,重视输液瓶套的消毒与处理,落实输液过程薄弱环节的监督,严防交叉感染。 医护人员应掌握药效动力学和药
摘 要 目的:分析吸宫不全及漏吸的常见原因,探讨其处理办法;方法:对60例吸宫不全及漏吸患者的临床资料进行回顾性分析,根据临床表现、B超、血β-HCG或尿HCG检查确诊,4例为漏吸,56例为吸宫不全;54例1次清宫治愈;6例清宫2次治愈;另1例为宫角妊娠,在B超引导下行第二次清宫治愈。 关键词 吸宫不全及漏吸 原因分析 预防处理 手术结束前检查刮出的胚胎组织 doi:10.3969/j.i
<正> 集安市麻线乡党委书记董玉国,已年近半百,多年来,他以对老百姓的拳拳之心,默默奉献之行,把昔日贫穷的山乡逐步建设成为一个符合小康标准的新农村。他的实际行动赢得了群
中国共产党在第十六届三中全会上明确提出了树立“以人为本,全面、协调、可持续的科学发展观”,这是20世纪80年代改革开放以来对我国经济、文化与社会发展实践的理论概括和总