首页> 中文会议>企业信息化高级论坛全国第12届CAD/CG学术会议 >模型检验中迁移关系的一种分组策略

模型检验中迁移关系的一种分组策略

页面导航

摘要
著录项
相似文献
相关主题

摘要

迁移关系的构建是基于BDD模型检验中一个重要环节,而建立一个占内存尽可能小的关系一直是一个挑战,通常的做法是对迁移关系进行分割,本文提出了一种的对分割后的迁移关系进行分组的规则,通过对ISCAS-89中时序电路的试验表明该方法对其中部分电路是有效可行的.

著录项

来源
《企业信息化高级论坛全国第12届CAD/CG学术会议》|2002年|330-335|共6页
会议地点贵阳
作者
邵明; 李光辉; 李晓维;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP206.1;
关键词
模型检验; 迁移关系; 二叉判定图;
入库时间 2022-08-17 10:17:40

相似文献

中文文献
外文文献
专利

1. 模型检验中迁移关系的分组策略 [J] . 邵明 ,李光辉 ,李晓维 . 计算机辅助设计与图形学学报 . 2003,第009期
2. 大气污染与经济增长关系的再检验——基于门槛回归模型对179个地级以上城市的分组研究 [J] . 王微微 ,谭咏琳 . 山东财经大学学报 . 2019,第005期
3. 大气污染与经济增长关系的再检验——基于门槛回归模型对179个地级以上城市的分组研究 [J] . 王微微1 ,谭咏琳1 . 山东财经大学学报 . 2019,第005期
4. 结构方程模型等同性检验及其在分组比较中的应用 [J] . 武淑琴 ,张岩波 . 中国卫生统计 . 2011,第003期
5. 单向分类随机效应模型误差方差线性关系的一种检验 [J] . 车秀敏 ,范建华 . 商丘职业技术学院学报 . 2003,第003期
6. 服务可迁移性和交互性与服务全球化潜力的关系研究——以243家服务企业的实证检验为例 [C] . 吴晓云 ,于萍 . 2009JMS中国营销科学学术年会暨博士生论坛 . 2009
7. 分组传送网QoS策略在移动业务中的实施及影响评估模型 [A] . 侯辛 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号