2. 您的位置
3. 首页
4. 期刊论文
5. 基于OBDD的SMC中PRE(E)操作的改进算法

基于OBDD的SMC中PRE(E)操作的改进算法

来源 :计算机工程 | 被引量 : 0次 | 上传用户：yingchali

【摘 要】

：

提出一种基于排序二值判定图(OBDD)的符号模型检测中PRE(操作的改进算法.该算法处理PRE(步骤3(嵌套布尔存在量化)的方法是一次遍历“删除”所有被量化变量的节点,产生表示布

【作 者】

：

姚全珠 魏小勇 

【机 构】

：

西安理工大学计算机科学与工程学院,西安,710048

【出 处】

：

计算机工程

【发表日期】

：

2008年14期

【关键词】

：

排序二值判定图 符号模型检测 PRE(操作 深度优先搜索 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

提出一种基于排序二值判定图(OBDD)的符号模型检测中PRE(操作的改进算法.该算法处理PRE(步骤3(嵌套布尔存在量化)的方法是一次遍历“删除”所有被量化变量的节点,产生表示布尔函数与嵌套存在量化结果等价的不确定排序二值判定图,把不确定排序二值判定图转换成OBDD.实验表明,该算法能有效缩短计算时间,减少中间节点所需空间.

其他文献

建筑工程造价的合理控制

期刊

“万元葡萄树”l棵能结300串

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥

期刊

葡萄树示范基地科学种植种植方式种植方法栽培技术上海嘉定果实质量根域限制大棚种植产值和分量负责人粒数控制果粒

免耕直播油菜高产栽培技术

在茬口安排不及或育苗不足的情况下,利用冬闲稻田免耕直播的方法栽培一季油菜,也是油菜生产上一项可取的种植方式,试验证明:同育苗移栽比较,不仅技术简化,易于掌 In the cas

期刊

稻田免耕直播直播油菜育苗移栽单位面积产量种植方式栽培油菜生产技术管理措施证明增效试验方法茬口安排

浅议和谐企业的构建

期刊

临翔区近50年雷暴特征分析研究

利用临翔区1964-2013年雷暴资料,对临翔区雷暴的年、季、月、日变化特征进行分析研究.分析结果表明:临翔区近50年年平均雷暴日数为74.4d,年雷暴日数在波动中减少;临翔区雷暴

期刊

临翔区雷暴灾害防御

330MW锅炉飞灰现状及分析

锅炉飞灰含碳量是反映火力发电厂燃煤锅炉燃烧效率的重要指标,合理控制飞灰含碳量的指标,有利于降低发电成本,提高机组运行的经济性.

期刊

330MW锅炉飞灰磨煤机磨风量

开家农家饭滋补店赚绿色钱

吃腻了大餐的城市人,会非常向往一顿地地道道的农家饭,如果再加上有滋补作用,农家饭就更有吸引力了。一、农家饭的选材农家饭需选择新鲜地道、有滋补作用的农家菜或野味,如鲜

期刊

滋补作用吸引力城市人地道

市政工程施工项目成本控制探讨

期刊

园林绿化施工项目成本控制

期刊

天气预报在降低农业灾害中的应用探讨

农作物的生长发育受气候的影响和制约较大,每年发生的气象灾害都会对我国农业生产造成严重的经济损失.随着社会各界对农业生产以及气象灾害重视程度的提高,党中央政府启动了

期刊

天气预报农业生产自然灾害