搜索筛选:
搜索耗时1.3216秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：喻钢,XU Zhong-wei,
来源：系统仿真学报 年份：2004
基于构件的仿真与建模方法来源于面向对象,该方法采用层次化、模块化、标准化的思想来分析系统.与面向对象的方法相比,基于构件的仿真与建模分析的粒度较大,可重用性更好.根...
[期刊论文] 作者：杜军威,XU Zhong-wei,宋波,
来源：计算机工程 年份：2007
利用自动机理论模型检验算法,检验车站联锁逻辑的有色Petri网模型是否满足预期的性能.通过采用带标签的广义Büchi自动机(LGBA)构建线性时态逻辑,有效地解决了模型检验中的状...
相关搜索：
