收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

提取不可满足问题核

邵明  李光辉  李晓维  
【摘要】:自动测试产生技术,以及形式验证中的模型检验,等价性检验中的很多关键问题可以借助可满足问题得到有效的解决,本文研究了提取不可满足问题核的算法问题,并对目前存在的识别极小不可满足问题以及提取不可满足问题核的各种算法进行了回顾,并重点分析了怎样利用可满足问题的完全算法求解过程中产生的分解图来进行提取不可满足核的算法。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郝先颖,林蔚,郭小琪;VCD视盘机的电磁干扰及测试[J];电视技术;1998年02期
2 金铃,任秀芝;程控交换机地区用户线的维护[J];铁道通信信号;1998年04期
3 卢斌,黄美美;450MHz无线接入系统的应用实例及其设计特点(上)[J];广东通信技术;1998年06期
4 林琦;5ESS交换机中V5.2技术的实现[J];山东通信技术;1998年04期
5 朱清利,王吉浩;Agilent37717在SDH测试中的应用[J];电信科学;2000年04期
6 何松康;;大型化工设备电机电能平衡测试方法研究[J];机电一体化;2005年06期
7 岳丰田;竖井冻结温度场微机测试系统的研究[J];中国矿业大学学报;1991年02期
8 彭士元,欧阳左群;金属薄膜应变计桥路电阻的测试和计算[J];仪表技术与传感器;1993年03期
9 崔伟清,黄维学,周金荣,李继正;程控交换设备的动特性测试与分析[J];电信工程技术与标准化;1994年02期
10 陈国瑞,王永胜;DC/DC转换器可靠性分析及测试[J];石油仪器;1994年01期
11 傅平;跨接设计与测试的新的边界扫描工具[J];国外电子测量技术;1994年04期
12 李晓维;反馈式内置自测试设计方案对比研究[J];装甲兵工程学院学报;1996年03期
13 门华宇,王伟雄;军用CRT显示终端电磁发射及测试技术研究[J];新电脑;1997年02期
14 候路胜,张林,殷海宁;电控液动执行机构的液压试验[J];煤矿自动化;1998年02期
15 任中京;当代激光颗粒分析技术的进展与应用[J];物理;1998年03期
16 郑延斌,王雪飞;汉字自动编码系统ACCS[J];河南师范大学学报(自然科学版);1998年02期
17 袁战恒,张良莹,姚熹;不同频率下介电材料偏压温度特性测试[J];压电与声光;1999年04期
18 丁胜强;Y2K问题对程控交换机系统的危害及解决对策[J];中国电力;1999年11期
19 龚波,张文敏,郑若忠;计算机2000年问题及测试[J];电脑与信息技术;1999年04期
20 张燕娥;一种硅微型加速度计的制备与测试方法研究[J];测控技术;1999年01期
中国重要会议论文全文数据库 前10条
1 邵明;李光辉;李晓维;;提取不可满足问题核[A];第十届全国容错计算学术会议论文集[C];2003年
2 肖猛;;利用混响室进行辐射发射和抗扰度测试[A];2007'第十二届全国可靠性物理学术讨论会论文集[C];2007年
3 任俊;闫增峰;赵群;;建筑遮阳产品光学性能评价研究[A];城市化进程中的建筑与城市物理环境:第十届全国建筑物理学术会议论文集[C];2008年
4 任文农;;关于提高油品介电常数测度准确性的探讨[A];中国机械工程学会摩擦学分会润滑技术专业委员会第七届学术年会论文集[C];2000年
5 陈永言;戴盛世;姚青;;电镀测量中某些问题的讨论[A];天津市电镀工程学会第九届学术年会论文集[C];2002年
6 廖湘辉;李力;蒋冰华;;注浆泵工作压力测试与结构设计改进[A];湖北省机械工程学会青年分会2006年年会暨第2届机械学院院长(系主任)会议论文集(下)[C];2006年
7 吴洪亮;刘辰;杨正球;;自定义容器进行Cactus自动化测试[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
8 郝新亚;耿刚德;吴为民;;1kHz以上宽带电火花声源的研制及其在水声中的应用[A];2005年全国水声学学术会议论文集[C];2005年
9 刘中文;;西门子900C型呼吸机报警分析、故障修理及安全维护[A];2008年中华临床医学工程及数字医学大会暨中华医学会医学工程学分会第九次学术年会论文集[C];2008年
10 彭正红;;电量隔离传感器可靠性保证[A];四川省电子学会传感技术第九届学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 丁敏;可满足性问题算法研究以及在时序电路等价验证中的应用[D];复旦大学;2005年
2 杨洋;跨文化交际能力的界定与评价[D];北京语言大学;2009年
3 赵海翔;风电引起的电压波动和闪变研究[D];中国电力科学研究院;2005年
4 杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
5 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年
6 王汉卫;华语阅读测试论[D];暨南大学;2008年
7 王胜军;ATLAS语言编译系统[D];吉林大学;2006年
8 刘歆;数字电路的故障测试模式生成方法研究[D];华中科技大学;2004年
9 郜锦侠;4H-SiC隐埋沟道MOSFET理论和实验研究[D];西安电子科技大学;2005年
10 许庆国;基于自动机的时间系统形式验证技术[D];上海大学;2007年
中国硕士学位论文全文数据库 前10条
1 黄沁峰;入侵检测系统测试与评估方法的研究[D];四川大学;2005年
2 王仲华;遗传算法求解排课问题的研究[D];太原理工大学;2006年
3 林会明;连铸机结晶器振动测试分析[D];西安建筑科技大学;2005年
4 关文玉;中国英语课堂听写练习对英语专业学习者语言技能的影响[D];华南师范大学;2005年
5 刘峰;基于386EX CPU的1553B仿真开发系统[D];中国科学院研究生院(空间科学与应用研究中心);2006年
6 温晓玲;VC++程序设计题自动阅卷系统的研究与实现[D];沈阳工业大学;2006年
7 刘凌;基于移动通信计费系统的软件测试应用研究[D];贵州大学;2006年
8 王俊;大庆油田测试分公司管理人员业绩考核与评价研究[D];天津大学;2006年
9 胡健鸥;论中学英语教学评价的实施和方法[D];辽宁师范大学;2007年
10 朱天媛;从测试角度分析初高中英语教学的衔接[D];东北师范大学;2007年
中国重要报纸全文数据库 前10条
1 袁小泓;择业前先“职业测试”[N];中国劳动保障报;2000年
2 ;测试企业界英语[N];新华每日电讯;2002年
3 惠文;SAN测试有去处[N];网络世界;2000年
4 通讯员 张慧丽;整合“整”出了什么[N];中国石油报;2001年
5 ;确定顶尖学校的三个测试[N];中国经营报;2002年
6 记者郑晓春;英将增加危险意识测试[N];科技日报;2002年
7 本报记者 时寒冰;数字电视昨起测试[N];华夏时报;2002年
8 本报记者 陈翔;新三佳亮出测试牌[N];中国计算机报;2002年
9 盛薇;安捷伦确定板测试市场领导地位[N];中国电子报;2000年
10 言实;核酸测试剂市场潜力大[N];医药经济报;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978