结合DOEC极小化策略的SAT求解极小碰集方法

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:hongshu16
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在基于模型诊断中,诊断解通常是根据极小冲突集合簇进行相应的计算得到所有的极小碰集,所以提高极小碰集的求解效率是模型诊断的核心问题.因此提出结合基于元素覆盖集合度(degree of element coverage,DOEC)极小化策略的SAT求解极小碰集的方法 SAT-MHS(satisfiability problemminimal hitting sets).首先,方法SAT-MHS将碰集求解问题转换成SAT问题,即把所有的冲突集合以子句形式表示成SAT的输入CNF进行迭代求解.其次,提出比现有的基
其他文献
目的:为修复大面积皮肤缺损提供一种有效的治疗方法。方法;在1次扩张的基础上,采用理复扩张法,它所括3种类型(1)直接接力扩张法;在第1次扩张的皮瓣转移愈合后,同时在此皮瓣下植入扩张器,行
散列表(Hash table)由于其支持高效的记录更新与检索操作,在计算机相关的各个领域中有着广泛的应用.但散列表有2个明显的缺点:冲突和低效的内存利用.最小完美散列使用N个位置存储
目的:探讨器质性心脏病合并心房纤颤(房颤),在瓣膜替换及畸形矫治同时心房内直视迷宫式射频消融治疗房颤的可行性。方法:风湿性心脏瓣膜病合并房颤19例,先天性继发孔房缺合并房颤1例,在
0 引言 热休克(heatshock,HS)的研究始于1962年在热处理的果蝇幼虫唾液腺中发现热休克反应[1].Currie[2]等首先研究发现经HS预处理后的大鼠离体心脏经缺血再灌注后心肌损伤较对照组减轻,心功能恢复能力增强,同
作者从化学合成的一种金属离子螯合的四肽的四株单克隆抗体的杂交瘤细胞中提取RNA,反转录成cDNA。利用合成的寡核苷酸引物扩增了抗体的轻、重链可变区基因,并克隆入质粒。随机挑取阳性
在语种识别中,当训练语音与测试语音长度失配时,系统的识别性能会出现严重下降.基于降噪自动编码器(denoising auto-encoder, DAE)的方法对不同长度测试语音的语种特征进行补
研究转化生长因子β1对胃癌细胞Bcl-2的表达的影响。方法:TGFβ1作用于人胃癌细胞SGC-7901,48H后收集细胞爬片。用抗Bcl-2mAb和免疫组织化学SABC法及图像分析技术分析Bcl-2。结果;TGFβ1作用的胃腺癌细胞Bcl-2表达量1
文章提出一种快速前景检测算法,通过对背景差分得到的前景区域进行处理分析,能够区分出正确的运动区域和由于光线突变而引起的运动区域。首先使用快速背景更新算法建立背景模型及分割出前景,然后提取运动区域,再对运动区域和差分图像进行分析处理,识别出由于光线突变而引起的运动区域,最后对背景进行修正。采用该方法能准确地提取前景中的运动目标区域,同时达到了自适应背景更新的目的,并且算法实现简单,实时性较高。
目的 建立新生胶囊的质量控制方法。方法 采用TLC法对新生胶囊中的黄芪、赤芍、延胡索、洋金花和甘草进行了定性研究,并用薄层扫描法对黄芪中的黄黄芪甲甙行进行含量测定。结果
1医学职业院校人文素养教育现状1.1重技术技能教育,轻人文素养教育,锞程设置不合理在市场经济条件下,不少人急功近利,把进医学职业院校求学的目标锁定在掌握一门专业技能上。为将