由多维体运算求布尔差分

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:oo2009123456
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 布尔差分(布尔导数)是对逻辑电路进行动态分析和求故障测试集的有效数学工具,自1968年由Sellers等人提出后被人们广泛采用.如果将逻辑函数的布尔表达式用多维体集合表示,利用自动逻辑综合中所定义的一些运算符和多维体集合之间的一些运算方法可以不需要展开为最小项而求布尔差分,因而占用存储单元较少.n个变量逻辑函数可以表示为:
其他文献
<正>代谢综合征(metabolic syndrome,代谢综合征)是指一系列与胰岛素抵抗(insulinresistance,IR)相关的作为动脉粥样硬化和心血管疾病的危险因素的代谢以及生理紊乱,包括了中
会议
<正>报告内容一、何谓物流二、现代物流重要性三、从93年-02年日本物流机械销售额看日本的物流发达情况四、从日本物流图片看日本物流技术水平 1.自动小车(AGV) 2.自动码垛机 3
会议
<正>关于古代铜鼓年代的问题,尤其是黑格尔第Ⅰ类型铜鼓——目前我国学术界一般称之为东山铜鼓——的年代问题是研究古代铜鼓中至关重要的问题之一。因为在研究东山铜鼓年代
会议
随着聚乙烯管道在城镇燃气管网中的大量推广使用,由于管道输送的介质具有可燃易爆的特性,管道连接的焊接质量关系到城市燃气管网的安全稳定运行。通过介绍聚乙烯燃气管道的连
印度可能是家鸡的起源地之一,但在遗传学上没有直接证据。本文试图通过分析数据库中的信息,探讨该地区作为家鸡起源地的可能性。根据 GenBank 中提供家鸡和红色原鸡的信息,本
等值区域制图中经M apG IS拓扑处理产生的各区域单元颜色是随机的。通过赋予各区域内文本所在区编号属性并与区属性连接的方式,能实现各等值区域分级单元颜色的快速自动填充,并给出了具体实例。
由于三维点云数据具有高密度、高精度、主动性和丰富空间信息等优势,在人工智能、自动驾驶、智慧城市等需要对场景解译要求高的领域得到广泛应用,而三维激光点云的语义分割是