【摘 要】
：
该文提出了一种基于对称及特征的成对比较的NPN布尔匹配算法,利用变量对称、1阶特征向量及香农分解设计完成了NPN布尔匹配。算法利用具有相同1阶特征向量是两个布尔函数NP等
【机 构】
：
电子科技大学计算机科学与工程学院大数据研究中心,广西民族大学广西混杂计算与集成电路设计分析重点实验室,新疆财经大学计算机科学与工程学院
【基金项目】
：
国家自然科学基金(61572109,11371003,61163066)
论文部分内容阅读
该文提出了一种基于对称及特征的成对比较的NPN布尔匹配算法,利用变量对称、1阶特征向量及香农分解设计完成了NPN布尔匹配。算法利用具有相同1阶特征向量是两个布尔函数NP等价的必要条件,和具有相同1阶特征是两个变量具有映射关系的必要条件搜索两个布尔函数之间的候选变换并进行验证。对称及特征的使用降低了候选变换搜索的空间,提高了NPN等价匹配的速度。
其他文献
针对跨国企业在商品、材料等的运输过程中的时间、成本和可靠性等多目标综合化问题,提出了以决策网络计划为基础,以模糊综合评判法理论的＂时间—成本—可靠性＂多目标物流方案综
<正> 媒体的起源在于把人类社会中存在和发生的各种事情告诉给每个人。所以,在一般人看来,媒体的基本作用就在于作为中介,作为桥梁;媒体的基
国外对教学法的研究与实践已有100多年的历史。语言课堂历来是教学法研究与实践的前沿,我国的英语教学课堂也越来越多地受到国外教学法研究与发展的影响,但是,这种影响还没有
黄体破裂为妇产科急腹症之一，发病率较高。而妊娠合并黄体破裂，其发病率低，且因人绒毛膜促性腺激素（HCG）升高并伴有附件包块，易误诊为异位妊娠，甚至造成宫内妊娠流产。选取我科宫内
从著作权侵权诉讼切入,以诉讼程序一般展开为视角,从如何认定著作权,到如何认定著作权侵权,再到如何证明,沟通著作权侵权诉讼实体与程序两个法律部门的概念、制度和理论。由
课程作为教务管理系统中最重要的基础数据。其完整性对整个系统的数据管理质量和运行效果影响重大。本文针对课程数据完整性的有关问题，诠释了课程数据完整性的基本内涵，探究了
近年来,心脑血管疾病病患群体人数迅速增多,比如缺血性脑卒中、慢性房颤和心脏瓣膜术后等,这类患者往往需要长期口服抗血小板药物或抗凝药物,尤其是随着治疗心脑血管疾病的支
山西某矿3405工作面采用一次采全高的综合机械化的采煤工艺,其矿压显现比较剧烈。为了更好地安全高效回采该工作面,通过FLAC3D数值模拟软件来分析该工作面回采时应力分布特征
目的探究心理治疗抑郁症的临床效果。方法应用随机分组法将2017年3月至2019年3月医院门诊收治的68例抑郁症患者进行分组实验,对照组34例抑郁患者接受常规治疗,研究组34例抑郁
<正>河豚毒素(Tetrodotoxin,TTX)是一种氨基全氢喹唑啉化合物,分子式为C11H17N3O8,主要存在于河豚鱼卵巢、肝脏等内脏中[1],纽虫、蝾螈、蓝斑章鱼等海洋生物[2],为自然界毒性