【摘 要】
：
基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验;而模型校核对于确保仿真的可信度十分重要。本文从分析基于有
【机 构】
：
海军装备研究院,海军装备研究院博士后科研工作站
论文部分内容阅读
基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验;而模型校核对于确保仿真的可信度十分重要。本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发,将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集。并在此基础上,提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略。实验表明,在满足若干禁入规则的条件下,该方法能够完整复现有限状态机模型的状态变迁过程,从而可为实现可校核与可检验有限状态机模型提供建模框架。
其他文献
目的：眼袋的不同表现和形成机制,采取不同类型眼袋整形术,进行探讨不同类型眼袋整形的手术方式选择及相关应用体会。方法：选取我院2014年1月-2016年3月在我院进行眼袋整复手术
知识经济不会是绝对对立于、超越于“资源经济”且以单纯摆弄知识为标志的生产形式；在知识经济社会里，非知识形态的商品和劳动的交换遵守市场规律，知识的生产，交换不遵守市场规律
易卜生的《咱们死人醒来的时候》主要探讨了人身上的人性因子和兽性因子的不同组合和变化对人们艺术创造和爱情生活等方面的深刻影响。每一个人都像人面狮身的斯芬克斯一样,
以武汉铁路职业技术学院为例,介绍了开展春暑运社会实践的具体做法,分析了春暑运社会实践的育人成效,并对如何进一步加强实践育人进行了的思考。
混凝土工程中水泥砼的裂缝是一个一直以来都存在,而且难以得到切实有效解决的质量隐患。关于如何预防和处理混凝土工程中水泥砼裂缝的问题一直以来备受业界的关注。本文就混
本文采用纹波法和脉冲法在600～730℃之间同时测量了 LiCl 在 KCl-LiCl-LiF 系中的反电动势(BEMF)。结果表明,随着电流密度的增加,BEMF 逐渐以对数的形式上升,当电流密度在0.3～2
1、选种适期播种应选择耐热、抗病、优质高产的品种，如香油麦菜。夏播油麦菜适于6月下旬至7月上旬播种，每亩（1亩=1／15ha）需播种子50g，苗龄25-30d，7月下旬至8月初定植。秋播适宜7月底
本文用离子交换法,从铜阳极泥的粗硒中制得99.995%的高纯硒,并对最佳工艺条件进行了选择,对回收率进行了测定。本法避免了火法冶炼的环境污染,是从铜阳极泥中提取高纯硒的一
在广告主们感叹广告形式陈旧、广告效果越来越不理想的的今天,研究病毒性营销的策略成为商家优先考虑的选择。一场病毒性营销的广告战已经开始。它利用的是用户口碑传播的原