【摘 要】
：
针对或-符合代数系统中缺失对称变量检测的有效方法等问题,提出了该代数系统基于或-符合运算Reed-Muller展开系数的十二类变量对称性检测算法。该算法通过分析逻辑函数关于变
【机 构】
：
浙江大学信息中心,浙江大学城市学院信息与电气工程学院,浙江大学信息与电子工程学系
论文部分内容阅读
针对或-符合代数系统中缺失对称变量检测的有效方法等问题,提出了该代数系统基于或-符合运算Reed-Muller展开系数的十二类变量对称性检测算法。该算法通过分析逻辑函数关于变量xi、xj展开的子函数系数矩阵和或-符合运算Reed-Muller展开系数按变量xi、xj组合分解系数矩阵的对应关系,揭示了任意两变量间各类对称性所满足的分解系数矩阵的约束条件,提出了各类逻辑变量的对称性检测步骤。应用结果表明,与传统方法相比,免去了从逻辑函数的CRM展开式变换为最小项展开式或RM展开式的变换域转换过程,也解决了在该
其他文献
战后,英国的电信发展,受到了人力和物力的限制,远不能满足人民的需要。仅长途电话方面有了一定的发展。英国现有自动化长途电话电路,在25英里以上者达25000条,较战后初期增加
<正> 本文闡明一种新的比較經济的十进位步进制自动电話局的分隔电桥电路,並証明与現用的电桥等效。在十进位步进制自动电話局內所採用的分隔电容电桥(圖1α),除了一个感应綫
会议电話目前已经在全国、全省、专区內、县內、大城市以及厂矿和人民公社內普遍使用。成为各级党、政领导和发动广大群众贯彻党的总路线、实現生产建设大躍进的有力工具,应
在城市建设和老企业的改造过程中,地下管道电缆的寻找成为一个新问题。埋藏在地下的自来水、煤气等管道、电力及通讯电缆,由于历史的原因,原有资料严重丢失,
<正> 南斯拉夫广播採用超短波接力南斯拉夫的主要广播将採用超短波接力。第一步(1955年底)将薩格勒布、贝尔格莱德及利亚卡电台连接起来。现在薩格勒布与贝尔格莱德已建立了
本文介绍几个有关矿床板块构造的分类,较详细地叙述Pitcher的花岗岩类型与构造环境的模型,以及Burnham的长英质岩浆作用晚期过程的模型.大陆科学钻探计划的目标之一是研究深
<正> 最近十年来,英国有上百万的人家,在屋顶的烟囱上,架起了电视天线,他们在家里现在都可以欣赏两种可以选择的电视节目。但是,还有无数的人家,屋顶的烟囱上,升不起电视天线
电信工作以长途为网,在我国国民经济大跃进的高潮中,各地邮电工业部門大量研究和制造各式载波机,发展复用長途线路的多路通信系統,使邮电通信工作多、快、好、省地滿足党和国
<正> 中国电子学学会筹委会北京分会简介在1956年6月9日中国电子学会总会筹委会会议上,推定王士光同志等9人为筹组北京分会的召集人。这几位召集人在北京科联的协助下,积极地
<正> 長途通信电纜測試苏联庫列索夫等著 1.50元本書詳尽地叙述了長途通信电缆线路的各种檢验项目,主要的电气特性定額,並系統地叙述了电纜线路的各种电气特性和各种障碍的测