基于满足性判定的布尔网络环求解算法

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:ahzhangxz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
环是布尔网络状态转换过程中的稳定态,在模式检测、基因调控网络和可达性分析等领域都有重要的意义。计算布尔网络状态转换中的所有环是一个NP完全问题。该文基于全解布尔满足性判定(SAT)算法,设计了一种求解所有小于等于指定步长环的算法。算法基于布尔网络的状态转换函数和状态环属性生成合取范式形式(CNF)的问题集,通过融合冲突子句学习(CDCL)、非时序回退、阻塞子句和变量分类等技术,降低算法的计算复杂度。实验结果表明,该算法能够高效地计算指定步长的环。对于无法计算所有环的复杂网络,指定步长计算环的方式将更有应用
其他文献
该文提出了基于CDIO工程教育理念和信息技术的机电一体化课程的教学改革,从课堂教学内容更新、网络教学平台建设、课程信息化教学、考核方式改革等方面,探讨了机电一体化课程
提出了一种基于数据融合的电能耗奖惩系统。该系统采用灰色系统方法建立GM(1,1)预测模型对历史数据缺失值进行补救,并引入聚类融合方法,定义了欧式距离矩阵,通过最小距离聚类方法确
千门万户曈曈日,总把新桃换旧符。  ——王安石  核心素养: 乐学善学  时段建议: 晚上  场地建议: 客厅  主 角: 宝宝、妈妈或其他家庭成员  任务卡  A.春联是什么  过完元旦,我们就要准备迎接新年了,要置办的年货很多,其中春联是必不可少的。家长带宝宝观察图片,感受春联的特征,让宝宝知道春联一般包括上联、下联和横批,传统春联上的文字一般为毛笔书写。  B.春联怎么读  春联是中国特有的
植物基因工程在果树品种改良上的应用福建农业大学园艺系植物组织培养育种研究室赖钟雄,陈振兴(一)植物基因工程在果树品种改良上的应用研究概况相对于许多一年生的农作物而言,果
柑桔应用激素保果效应中国农科院柑桔所张格成,李继祥四川资平县农业局董朝佐,肖文龙四川涪陵地区果办侯瑛四川内江县双桥乡李华炳柑桔开花多,着果少,特别是一些单性结实的脐橙和
该文探索和构建了以“内化翻译理论与技巧,提高翻译驾驭能力”为目标的基于TPACK的混合式翻译教学模式,旨在更有效地训练学生的翻译技能,促进翻译教学水平的提高,培养基本功
“莆选一号”枇杷系莆田县农业局经作站和秋芦镇农技站于1991年在崇圣村进行优良单株调查中发现的实生变异株。果实属红肉系,果形与“解放钟”相近,倒卵形,果皮橙红色,萼筒半开,果
找着北  《3-6岁儿童学习与发展指南》:艺术——5~6岁幼儿能用多种工具、材料或不同的表现手法表达自己的感受和想象。  核心素养:人文情怀。  给 把 力  藝术乃德行的宝库。 ——巴尔扎克  加 点 料  1.妈妈扫描二维码,和宝宝一起听诗歌《长围巾》。  2.妈妈扫描二维码,和宝宝一起听故事《王子的围巾》。  3.时空建议:晚上,宝宝和妈妈在客厅进行创作。  4.
据《人民日报》2018年5月18日第5版报道:在小学第一课上朗读"a,o,e",造句本里歪斜的汉字中夹杂着几个拼音,或许是很多人难忘的童年记忆;发送微信,内容检索,深夜"码字",每日工作生
听力教学是英语学科中非常重要的一部分,不仅会直接影响到英语教学效果,而且对学生们的专业知识、专业的语言技能培养而言,具有非常重要的影响和作用。要想顺利开展英语专业