收藏本站
《北方工业大学学报》 2004年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

任务模型及MCTL系统中存储结构的研究

杜慧  李哲英  骆丽  
【摘要】:给出了超大规模数字集成电路形式验证的任务流集合和任务模型 ,并以任务模型为基础提出了验证新方法MCTL .建立任务流集合以及相关的存储结构 ,是MCTL实现的关键 .为此 ,本文确定了一组基本功能算子与约束条件存储结构 ,这种存储结构既可以节省空间和时间 ,又满足了建立任务流集合对存储结构的要求

手机知网App
【引证文献】
中国重要会议论文全文数据库 前1条
1 于庆梅;骆丽;;任务流模型检验的研究[A];中国通信集成电路技术与应用研讨会文集[C];2006年
【共引文献】
中国期刊全文数据库 前10条
1 李德强,黄莎白;一种新聚类算法在模糊神经网络中的应用[J];信息与控制;2002年05期
2 金浩;刘新平;朱文武;;三种数值方法在期权定价中的定量研究[J];云南师范大学学报(自然科学版);2006年02期
3 陈淑铭,乔田田;一个求解非线性最小二乘问题的新方法[J];烟台大学学报(自然科学与工程版);2004年01期
4 程军峰,徐善驾;分析电大尺寸导波结构散射特性的一种高效直接有限元方法[J];微波学报;2001年04期
5 张立新,钱维宏,高新全,丑纪范;协调多时次差分格式及其稳定性[J];物理学报;2005年07期
6 任玉珊;既有水工钢闸门耐久性专家评估方法研究[J];钢结构;2002年04期
7 史文谱,刘迎曦,李翠华,褚京莲;黄金分割法在求解线性方程组中的应用[J];大学数学;2003年03期
8 宁伟,陶华学,卿熙宏;广义非线性最小二乘测量参数平差的快速差分迭代解算[J];测绘科学;2004年06期
9 赵永涛,白春华,张奇;温压弹爆炸超压场实验研究[J];爆破;2004年04期
10 文环明,肖慈珣,李薇,智刚;蒙特卡洛法在油气储量估算中的应用[J];成都理工学院学报;2002年05期
中国重要会议论文全文数据库 前2条
1 刘若溪;张建华;刘淇辉;;基于有理插值法的TCR触发延迟角的求解与仿真[A];第十一届全国电工数学学术年会论文集[C];2007年
2 韦韩;袁吉鸿;王克海;李茜;;桥梁结构抗震计算可视化系统研究[A];第16届全国结构工程学术会议论文集(第Ⅲ册)[C];2007年
中国博士学位论文全文数据库 前10条
1 韩国兵;微波与高速电路宽域参变分析研究[D];上海交通大学;2007年
2 蔡艳辉;差分GPS水下定位系统集成关键技术研究[D];辽宁工程技术大学;2007年
3 王中双;基于键合图理论的多体系统耦合动力学建模方法的研究[D];哈尔滨工业大学;2007年
4 杨军;集成电路的逻辑等价性验证研究[D];浙江大学;2007年
5 陈炜卿;定向井轨迹误差分析及三维可视化描述研究[D];中国石油大学;2007年
6 宋旸;相位场的莫尔层析重建理论与算法研究[D];南京理工大学;2007年
7 阮玉峰;宽带天线分析与设计[D];南京理工大学;2007年
8 邹北骥;人脸造型与面部表情动画技术研究[D];湖南大学;2001年
9 郝志明;随机结构有限元法及可靠性研究[D];中国工程物理研究院北京研究生部;2002年
10 刘全;Z-Pinch磁流体力学方程组的数值模拟方法[D];中国工程物理研究院北京研究生部;2002年
中国硕士学位论文全文数据库 前10条
1 周路平;虚拟仪器实现直流马达转速检测的研究与开发[D];上海交通大学;2007年
2 谭志飞;智能机器人运动分析与仿真的研究[D];湘潭大学;2007年
3 谢君;基于DSP的电力参数野值修正算法研究[D];四川大学;2007年
4 史春旻;DTS全过程动态仿真研究[D];浙江大学;2007年
5 王胜东;考虑重力作用的优势流场与剩余油分布研究[D];中国石油大学;2007年
6 王梅英;考虑二次梯度项影响的低渗透油藏非达西流动分析[D];中国石油大学;2007年
7 刘光军;基于LabVIEW的感应电机转速转矩测量系统[D];华中科技大学;2006年
8 袁旭;数控带锯跑车软件系统的研究与实现[D];东北林业大学;2007年
9 李晓燕;注水开发后储层物理特征参数变化的数模研究[D];中国石油大学;2007年
10 蔡志端;基于复阻抗分离法的电容式水分测量系统研究[D];景德镇陶瓷学院;2007年
【相似文献】
中国期刊全文数据库 前10条
1 R.L.Park ,王永平 ,李伟;美国有关科学机密的法令[J];系统工程与电子技术;1986年09期
2 黄凯;C++ Builder3几次精通(五)[J];电脑爱好者;1999年10期
3 周若愚,冯英振;模块测试和维护总线[J];航空电子技术;2001年03期
4 ;大虾门诊[J];计算机与网络;2002年03期
5 李修杰,詹于杭;模块测试与维护总线[J];航空电子技术;2003年02期
6 钟汉如,梁俊斌;MSP430F14X MCU数据采集及其USB模块的扩展设计[J];机电产品开发与创新;2003年06期
7 肖琴,常越;MSP430中模数转换器的使用方法[J];单片机与嵌入式系统应用;2003年05期
8 张秀丽;DSP与24 bit音频编解码器接口设计[J];电声技术;2004年01期
9 杜慧,李哲英,骆丽;任务模型及MCTL系统中存储结构的研究[J];北方工业大学学报;2004年01期
10 史风栋,李小京;MSP430单片机在铁路货车轴承磨合检测中的应用[J];工业控制计算机;2004年06期
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026