桑海
- 作品数：6 被引量：3H指数：1
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- M&S周期中的结构模型及其校验研究
- 建模与仿真是一个具有完整生命周期的过程,一般要历经需求分析、概念建模、详细设计、编码实现和结果评估等环节。其中概念模型是建立仿真模型的基础,但它一般不能直接用于仿真编码实现,之前还需要对系统进行详细设计,该过程可概括为仿...
- 桑海
- 关键词：映射可达图
- 文献传递
- 仿真模型有效性研究
- 本文针对保障仿真模型有效性问题，分析了有效性校核的主要内容，详细论述了仿真模型有效性校核的一般过程，介绍了对仿真模型进行有效性校核时所使用的主要方法。
- 王景会张明清叶丽君桑海
- 关键词：计算机仿真仿真模型模型校核
- 文献传递
- VV&A周期中确认算法的改进及应用
- 2008年
- 分析了传统的价值树分析方法在属性评价数据的确认过程中的缺陷和不足,通过引入可代偿系数,解决不同属性间可代偿性问题。提出了一种新的改进的属性数据确认算法,并利用Matlab对算法进行了实现,给出了应用实例。实验证明,该算法能更有效地解决传统算法中评价值不确定、属性代偿和专家意见描述不明确等问题。
- 张明清桑海唐俊
- 关键词：VV&A聚合函数
- 基于UML的概念模型的Petri网映射算法研究被引量：2
- 2009年
- 概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证。在深入分析UML时序图特点的基础上,针对已有映射方法存在的缺点,提出了基于消息的模型映射算法,并对时序图中的特殊结构(可选、条件、并行、循环),分别提出了其相应的映射算法,并验证了映射的正确性。方法有利于检查模型映射前后的一致性,同时具有可扩展的优点。
- 叶丽君桑海张明清唐俊
- 关键词：统一建模语言时序图映射
- 仿真模型有效性研究
- 在明确了校核、验证与确认与建模和仿真的关系后,针对保障仿真模型有效性问题,本文分析了有效性校核的主要内容,详细论述了仿真模型有效性校核的一般过程,最后介绍了对仿真模型进行有效性校核时所使用的主要方法．
- 王景会张明清叶丽君桑海
- 关键词：仿真模型有效性校核
- 文献传递
- 基于可达图的仿真组件接口设计一致性验证被引量：1
- 2010年
- 仿真组件模型接口设计建模与仿真周期中详细设计阶段的一个重要内容,是继仿真需求分析和概念建模之后的针对系统行为交互的设计过程,起到连接仿真概念模型与仿真编码实现的桥梁作用。用自动机模型来刻画接口模型内部以及它们之间的动态交互过程,针对UML时序图场景规约,通过构造与自动机模型具有等价状态空间的可达图,检查可达路径中是否存在满足规约的路径来判断两者之间的一致性。设计了校验流程,并以基于OPNET的某办公网中的报文传输仿真系统为例,对方法进行了分析应用,说明了方法的适用性。
- 桑海张明清唐俊
- 关键词：仿真组件接口设计时序图可达图
