论文部分内容阅读
在大型工程系统的建模与分析中,将系统的静态IDEF0模型转换为动态CPN模型的方法得到大量的应用,但是人工转换既繁琐也容易出错。该文在IDEF0和CPN模型的形式化表示分析的基础上,提出两种模型自动转换的一般步骤和方法。
IDEF0与CPN的自动转换方法研究
【摘 要】
：
在大型工程系统的建模与分析中,将系统的静态IDEF0模型转换为动态CPN模型的方法得到大量的应用,但是人工转换既繁琐也容易出错。该文在IDEF0和CPN模型的形式化表示分析的基础
【机 构】
：
华中科技大学控制科学与工程系
【出 处】
：
计算机与数字工程
【发表日期】
：
2012年4期
其他文献
6月4日，美国国际贸易委员会宣布对中国台湾宏达闰际电子股份有限公司（HTC）发起“337调查”，以确定该公司生产的部分电子产品是否存在专利侵权行为。具体涉案产品是HTC生产的某类
在单凹腔燃烧室中引入侧壁激波,为研究燃烧室内部流动特性,采用纳米粒子平面激光散射技术和粒子图像测速技术对全尺寸玻璃燃烧室模型进行流场观测,获得了冷态流场展向和法向的瞬态灰度图及平均速度场。实验结果表明:在远壁面区域,凹腔内部速度与密度都较低;引入侧壁激波后,近壁面区域凹腔与主流的质量与动量交换增强,速度与密度升高;受到侧壁激波影响,燃烧室底壁边界层不再均匀,凹腔中后部产生大规模低速区,具有明显三维
大企业,谁冒险谁就是傻瓜,四平八稳才是长久之道。企业越大,就越难界定责任和贡献,事做成了不一定收入大涨,失败了则可能打包走人。蓝海拓展宛如玩轮盘赌,最低的风险是堵红黑
在当今社会,我们几乎每天都要和＂新闻＂打交道：开车上班的路上收听广播新闻,堵车时关注微博新闻,到了办公室打开电脑,无数条新闻自动弹出……那么,什么才真正称之为＂新闻＂呢？