切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
逻辑函数无冗余覆盖选择问题
逻辑函数无冗余覆盖选择问题
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:liongliong533
【摘 要】
:
逻辑函数的最小化算法可以分为两大步骤,产生本源蕴涵项和在这些蕴涵项中选择一个最小覆盖。提出一个适于大变量输入输出逻辑函数的实质项与相对冗余项的识别和选择近似最小覆
【作 者】
:
张义清
管致锦
吕彦明
李洵
【机 构】
:
南通大学理学院,南京航空航天大学信息科学与技术学院
【出 处】
:
计算机工程与应用
【发表日期】
:
2007年10期
【关键词】
:
余因子
列覆盖
无冗余覆盖
cofactor
column covering
irredundant cover
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
逻辑函数的最小化算法可以分为两大步骤,产生本源蕴涵项和在这些蕴涵项中选择一个最小覆盖。提出一个适于大变量输入输出逻辑函数的实质项与相对冗余项的识别和选择近似最小覆盖的算法。Benchmark例题测试表明,算法具有理想的处理效果
其他文献
重塑技术创新机制是国有企业改革发展的关键
在知识经济已见端倪、高技术领域的国际竞争日趋激烈的新形势下,重塑技术创新机制已经成为国有企业改革与发展的关键。技术创新是国有企业、特别是老工业基地大中型国有企业走
期刊
技术创新
国有企业
老工业基地
基于二值体金字塔数据结构的自适应快速体绘制方法
直接体绘制技术无需拟合中间几何图元直接绘制体数据,由于绘制图像质量高,该技术倍受青睐。但是,因为直接体绘制需要遍历整个数据场,绘制速度慢,在绘制大规模数据场时,速度已经成为
期刊
层次空间划分
八叉树
二值体金字塔
光线投射
体绘制
体素
hierarchical spatial enumeration
octree
pyramid
包装方式影响火龙果贮藏品质
据《中国果树》2016年第5期《不同包装对火龙果低温贮藏品质的影响》(作者杨相政等)报道,以海南“大红2号”红肉火龙果为试材,在(5-0.5)℃条件下,2%CaCl2+0.1%抑霉唑混合溶液浸泡5min,风干
期刊
贮藏品质
包装方式
火龙果
果实腐烂率
可溶性固形物
维生素C含量
溶液浸泡
硅窗气调
玉树地区一次强降水天气过程分析
利用常规高空、地面、各物理量场以及数值模式资料,对2017年6月13—14日玉树地区一次强降雨过程进行了诊断分析。结果表明:500hPa上高纬地区为两槽一脊形势,玉树地区处在南支
期刊
玉树地区
强降雨
物理量场
成因分析
纳米表面合金膜修饰电极的制备、表征及电催化活性研究
以不锈钢(SS)作基底,自行研制不锈钢载纳米表面合金电催化材料(Surface alloy/SS),并运用循环伏安法(CV)和扫描电镜(SEM)等技术对该催化剂进行结构和性能表征。SEM研究表明.所研制的Surfa
期刊
不锈钢载表面合金
电催化还原
循环伏安
SEM
顺丁烯二酸
surface alloy supported the stainless steel
elect
通货紧缩与企业创新
目前我国宏观经济已显现出通货紧缩现象,物价指数持续走低,金融收缩趋势未改,经济回升势头趋缓。但通货紧缩时期正是企业创新的最好时期。企业创新可以使经济走出紧缩,进入复苏和
期刊
通货紧缩
企业创新
阿尔及利亚:椰枣成功打入印尼市场
近年来,阿尔及利亚对亚洲市场出口椰枣逐渐增加,出口椰枣品种多样化,成功进入亚洲市场。据比斯克拉工商联合会主席Abdelmadjid Khobzi称,2014年11月,阿尔及利亚首次参加在印
期刊
阿尔及利亚
亚洲市场
印度尼西亚
枣
出口市场
印尼
品种多样化
农产品贸易
信阳市气温实况插值方法比较研究
摘 要 重点分析了气温空间插值方法中的反距离权重法、克里格插值法和样条插值法三种方法,并分别用这3种方法探讨信阳年平均气温的空间分布,通过分析得出克里格插法在信阳市年平均气温分布研究中最优。这3种插值分析法的应用时不仅要考虑站点的温度、地理位置等信息,还要针对不同站点的温度和地形、地理等之间的特征,综合考虑多种影响因子,以期提高精度。 关键词 空间插值法;反距离权重法;克里格插法;样条插值法
期刊
空间插值法
反距离权重法
克里格插法
样条插值法
多设备环境下的界面代码生成方法
为解决多设备环境下用户界面设计中的代码自动生成问题,提出了一种包含数据对象视图、抽象界面视图和具体展示视图三部分的界面设计方法。该方法以界面数据对象的抽象表达为核
期刊
多设备环境
代码自动生成
抽象界面模型
multi-device environment
automated code generation
abstract
近36年德令哈地区气温变化特征及突变分析
利用德令哈市国家基本气象站1981—2016年的气温数据资料,运用统计法、气候倾向法和Mann-Kendall检验法分析了德令哈市近36a来气温的变化特征。结果表明:年平均气温以0.478℃/
期刊
德令哈地区
气温变化
突变分析
气候倾向法
M-K检验
与本文相关的学术论文