,An algorithm for identifying symmetric variables in the canonical OR-coincidence algebra system

来源 :浙江大学学报(英文版)(C辑:计算机与电子) | 被引量 : 0次 | 上传用户:goddesslee
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
To simplify the process for identifying 12 types of symmetric variables in the canonical OR-coincidence (COC) algebra system, we propose a new symmetry detection algorithm based on OR-NXOR expansion. By analyzing the relationships between the coefficient matrices of sub-functions and the order coefficient subset matrices based on OR-NXOR expansion around two arbitrary logical variables, the constraint conditions of the order coefficient subset matrices are revealed for 12 types of symmetric variables. Based on the proposed constraints, the algorithm is realized by judging the order characteristic square value matrices. The proposed method avoids the transformation process from OR-NXOR expansion to AND-OR-NOT expansion, or to AND-XOR expansion, and solves the problem of completeness in the dj-map method. The application results show that, compared with traditional methods, the new algorithm is an optimal detection method in terms of applicability of the number of logical variables, detection type, and complexity of the identification process. The algorithm has been implemented in C language and tested on MCNC91 benchmarks. Experimental results show that the proposed algorithm is convenient and efficient.
其他文献
学位
乐观豁达的态度是于逍给人的第一印象,“随着年龄的增长,不甘于平凡一生的我发现只有直销才是适合普通人创业的平台,但由于其特殊性,在我刚开始从事直销时,遇到了很多困难,但
棉花是一种天然纺织纤维作物。陆地棉和海岛棉是两个主要的四倍体栽培种,陆地棉适应性广、产量高、但品质较差;海岛棉高抗黄萎病、纤维品质优良、但产量偏低。将海岛棉优异基因片段渐渗到陆地棉,使产量和纤维品质进行同步提高,培育出高产、优质的棉花新品系,对改良我国陆地棉纤维品质至关重要,对推动棉纺织工业的发展具有重要意义。本研究以陆海高代回交自交获得的2套优质海岛棉染色体片段渐渗系材料为亲本,分别构建了以广泛
加强高校组工文化建设是构建组织部门自身建设长效机制的内在需求,是增强党的凝聚力和提高党的执政能力的必然要求,是弘扬高校组工文化以及构建和谐校园的迫切要求,是贯彻落
菊芋(Helianthus tuberosus L.)是目前发展最快的新型糖料加工作物。为了解菊芋生长发育与营养元素吸收与分配规律,本试验选取种植密度、施钾量、施磷量、施种氮量和施追氮量
学位
This paper is devoted to developing and evaluating a set of technologies with the objective of designing a method-ology for the implementation of sophisticated
Nanocrystalline SnO_2:Sc-2O_3 was synthesized by a two-step hydrothermal process in the presence of urea.The transient response of the SnO_2:Sc_2O_3 gas sensor
以籼型水稻的四个不育系和三个恢复系的供试亲本,采用p×q交配设计,对其在产量等农艺性状和品质性状的配合力及其组合的杂种优势进行研究.利用莫惠栋出的2交配世代设计以及徐
学位