【摘 要】
：
为提高复杂仿真系统的开发效率和降低开发成本，提出了基于标签转移系统 LTS 的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素，并将执行序列表示为 LTS，
【机 构】
：
哈尔滨工程大学计算机科学与技术学院,哈尔滨工程大学船舶工程学院
【基金项目】
：
国家自然科学基金资助项目（61100006,61272184）,黑龙江省自然科学基金资助项目（F201129）.
论文部分内容阅读
为提高复杂仿真系统的开发效率和降低开发成本，提出了基于标签转移系统 LTS 的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素，并将执行序列表示为 LTS，通过将表示组合仿真模型行为的 LTS 进行比较，得出组合仿真模型的有效性。最后给出了作战坦克修理所实例，结果表明，该方法能够有效验证仿真模型可组合问题。
其他文献
竞争情报已成为企业核心竞争力的重要来源,其核心价值及其实现是国内外竞争情报界关注的理论与实践问题。本文认为竞争情报的核心价值在于提升企业的竞争优势,进一步探讨了开
<正>近年来,四川《自贡日报》作为自贡市委机关报,当地主流媒体,在重大主题宣传报道上做了大量实践,取得了可喜的成绩和有益的经验。主题报道的成功实施,营造了良好的舆论氛
针对有限差分Box method时间域上变量离散求解非线性拖缆动力学方程存在不稳定的性缺点,在求解拖缆方程时在时间域上采用广义α算法,并保留在空间域上有限差分Box method的离
研究了采用国产三代山梨醇透明成核DMDBS制备的透明聚丙烯的光学性能、结晶性能、机械性能与热性能。研究表明,在0~2500ppm内随着添加量的增加,国产三代山梨醇透明成核剂与美
<正>www.iresearch.com.cn中国互联网消费金融市场概述消费金融产业快速发展,潜力巨大2014年中国消费信贷规模达到15.4万亿,同比增长18.4%近年来,伴随着我国经济转型对刺激消
随着电力体制改革和市场经济的进一步发展,国网集体企业经营形势日趋严峻、行业竞争日益激烈。本文运用SWOT分析法,对阳光合源集团经营管理现状进行分析,剖析了集体企业预算
以4,4’-二羟基查尔酮为原料,和环氧氯丙烷反应合成了主链含有双键结构的查尔酮环氧树脂（CER），其结构经1H NMR和FT-IR确证。采用非等温DSC法研究了甲基四氢邻苯二甲酸酐和4,4’-
<正>浅阅读环境下,信息传播效果不但取决于读者数量,而且与读者的阅读时间和接收信息的多少有关。媒介研究人员曾做过比较,得出结论,如果两种报纸的读者数量相近,平均阅读时
<正> 化装侦察是一种古老而常新的侦察手段,借此成功侦破的案件不胜枚举。当前,刑侦工作面临的斗争形势十分复杂,破案难、取证难、抓人难的情况日渐突出,化装侦察必然由此得
随着三亚打造国际化精品旅游城市,旅游服务品质大幅度提升,吸引了更多的候鸟人群来三亚旅游、休闲与度假,为三亚城市建设与旅游发展创造了良好的契机。候鸟型人群在此度假与