切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于求解DNF永真性问题的近似快速算法的研究
关于求解DNF永真性问题的近似快速算法的研究
来源 :计算机学报 | 被引量 : 0次 | 上传用户:JJ415722591
【摘 要】
:
本文研究了用吸收关系与补关系构造求解DNF的永真性的近似快速算法问题。在第二节给出了偏序集〈S;≤〉的定义,研究了〈S;≤〉上的链与反链的性质。在第三节巧妙地借助补关系
【作 者】
:
陈志祥
赖楚生
【机 构】
:
华中理工大学计算机系,华中理工大学计算机系
【出 处】
:
计算机学报
【发表日期】
:
1990年10期
【关键词】
:
DNF
永真性
算法
析取范式
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究了用吸收关系与补关系构造求解DNF的永真性的近似快速算法问题。在第二节给出了偏序集〈S;≤〉的定义,研究了〈S;≤〉上的链与反链的性质。在第三节巧妙地借助补关系图构造了一个求解DNF的永真性的分治算法。
其他文献
故障矩阵映射法
本文在[1],[2],[4],[5]的基础上提出了求同步或异步时序电路测试序列的一个代数方法——故障矩阵映射法。应用该算法可以求出检测单故障或多重故障的最短测试序列集(STS)。
期刊
时序电路
故障
矩阵映射法
测试
内地活禽全面恢复供港
经过23d的暂停期后.7月1日内地活禽全面恢复供港。早上7时30分,由广州市江丰实业有限公司报检的1400只活鸡,经文锦渡检验检疫局口岸现场离境检疫合格后,从文锦渡口岸顺利通关供港
期刊
活禽
检验检疫局
活鸡
广州市
口岸
关于用吴—刘定理判别图的平面性的复杂性问题
吴文俊和刘彦佩教授在七十年代用代数拓扑的方法,给出了一个新的判别图的平面性的方法,即吴-刘定理。本文对给定Hamilton路的图进一步简化了吴-刘定理,据此可以给出一个判别
期刊
线性
算法
HAMILTON路
图平面性
一种适于最佳双环网的容错路由算法
本文提出了一种新的适用于C.S.Raghavendra等人提出的最佳双环网的容错路由算法,并证明了该算法总能导致信包传递沿着一条最优的路径。
期刊
双环网
容错路由算法
计算机网络
大豆后市有望剧烈振荡
2008年年初,大豆价格在2007年大幅上涨的基础上不断刷新历史新高,而3月以来,大豆价格暴涨暴跌,形成上千点的宽幅振荡走势(图1),笔者认为大豆市场自2006年9月以来的长期单边上涨走势
期刊
大豆市场
振荡
价格
重燃创业者的激情与梦想—第三届中国饲料科技与经济高层论坛暨中国饲料经济专业委员会第三届学术交流大会在京召开
2006年12月16—18日,“第三届中国饲料科技与经济高层论坛暨中国饲料经济专业委员会第三届学术交流大会”在北京会议中心隆重召开,国内外知名企业家和专家学者千余名代表欢聚一
期刊
学术交流大会
渔业经济
专业委员会
中国
饲料
科技
论坛
农业部兽医局
河南:18个省辖市10月底前将建立市级肉类储备制度
河南省18个省辖市将在2008年10月底以前建立市级肉类储备制度。河南省商务厅有关负责人表示,此举意在平抑肉类价格.增强政府部门对肉类价格的掌控能力和市场平衡能力。
期刊
储备制度
河南省
肉类
市级
平衡能力
政府部门
负责人
价格
计算机体系结构描述语言 S
本文提出了一种能够描述计算机体系结构的描述语言S,该语言用于进程描述具有并行特性的系统,并用事件(event)进行同步与交互,它采用被描述的计算机的指令作为模型运行的负载,
期刊
计算机
体系结构
语言
S语言
图的最短路径和传递闭包的并行算法
<正> 1.图的最短路径 给定一赋权有向图G=(V,E),假设G中没有带负权圈的顶点,Floyd给出了一个计算G的所有顶点对v_i,v_j之间最短路径算法。在该算法中,用带权邻接矩阵cosT表示
期刊
图
最短路径
传递闭包
并行算法
尹成杰:积极推进动物标识及疫病可追溯体系建设
3月19-20日.全国动物卫生监督执法暨动物疫病追溯体系建设工作会议在上海召开,农业部副部长尹成杰出席会议并讲话。尹成杰强调,各地要进一步提高对做好动物卫生监督执法工作重要
期刊
重大动物疫病
标识
兽医管理体制改革
卫生监督执法
动物产品安全
监督执法工作
动物卫生
农村建设
与本文相关的学术论文