切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
SAT算法解决码覆盖问题之探讨
SAT算法解决码覆盖问题之探讨
来源 :内江科技 | 被引量 : 0次 | 上传用户:pk8984812
【摘 要】
:
本文讨论了SAT算法在码覆盖问题上的应用,首先将码覆盖问题转化为用合取范式描述的问题,而后运用一个著名的SAT题的算法—walkSAT的思想来解决该问题。
【作 者】
:
吴志华
【机 构】
:
漳州教育学院
【出 处】
:
内江科技
【发表日期】
:
2007年9期
【关键词】
:
SAT算法
码覆盖
描述
模型
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文讨论了SAT算法在码覆盖问题上的应用,首先将码覆盖问题转化为用合取范式描述的问题,而后运用一个著名的SAT题的算法—walkSAT的思想来解决该问题。
其他文献
适应建设现代大电网需要提高计算机应用技术水平
本文根据内蒙古电力超常规发展的形势和建设现代大电网的需要,简单回顾我区电力系统计算机应用现状及存在的问题,着重讨论当前计算机应用技术的发展方向,特别强调开发人工智
期刊
计算机
电力系统
专家系统
Food Safety Rights Organization Lacked, Social Supervision Needed
<正>Food safety problems seem to be the biggest scandal in China recently. In April a shocking fact was revealed to the public that some steamed buns sold in la
期刊
食品安全问题
社会监督
组织
人权
电子邮件
化学物质
大型超市
突发事件
县级乡镇企业主管部门管理费的收缴
县级乡镇企业主管部门在乡镇企业系统处于承上启下的位置,其地位和作用非常重要,其职能作用发挥的如何,直接关系到乡镇企业管理水平的提高。据了解,不少县级主管部门的经费全
期刊
乡镇企业法
部门管理
企业主管
主管部门
管理费
企业系统
收缴工作
乡村集体企业
职能作用
财会人员
低压除氧器的技术改造
<正>l 改前情况包头一电厂于1959年9月投产时装机容量11.2万千瓦,补给水泵系统有苏制点水加热器、软水加热器各两台,大气式除氧器一台.经过扩建,现有装机容量已达42.4万千瓦.
期刊
锅炉
除氧器
低压除氧器
技术改造
Chinese companies promote products at Mobile World Conuress
期刊
中国移动公司
世界大会
产品推广
华为技术公司
中兴通讯公司
通信企业
电信产品
领导者
Spring gets A320 aircraft on tease
期刊
A320飞机
金融租赁
航空公司
喷气飞机
交通银行
Silting Festival airfares skyrocket
期刊
票价
人口流动
春运
机票
试论当前的房地产价格
本文论述了近年来国内房地产价格疯涨的不合理性,并进行了原因分析,最后预测由于土地升值、国家宏观政策调控等综合因素作用。2007年房价仍会上涨,但涨幅有所回落,平穗上涨将成为
期刊
房地产价格
宏观调控
涨幅
网络流媒体选帧技术的研究
在网络流媒体应用过程中,由于Internet是一个无连接网络,只提供一种尽力传送的承载业务,并不保证向应用数据流提供所需的带宽,也不保证数据流的传送时延和丢失率等质量指标。因此
期刊
选帧技术
流媒体
网络技术
网络流媒体
乌海地区电网切空长线及高频切机自动装置的研制
该自动装置采用先进的微机有功功率检测技术及自行研制的有功功率继电器,实现了对空长线的可靠判断。数字式频率继电器配合相应的逻辑回路,使装置运行灵活方便。它的研制与投运
期刊
空长线
高频切机
电力网
内蒙古
与本文相关的学术论文