叶丽君
- 作品数：8 被引量：14H指数：2
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 仿真模型有效性研究
- 本文针对保障仿真模型有效性问题，分析了有效性校核的主要内容，详细论述了仿真模型有效性校核的一般过程，介绍了对仿真模型进行有效性校核时所使用的主要方法。
- 王景会张明清叶丽君桑海
- 关键词：计算机仿真仿真模型模型校核
- 文献传递
- 基于UML描述的概念模型校验技术研究
- 概念模型的校核与验证(简称校验)是校核、验证与确认过程中最重要的阶段之一,在仿真系统可信度评估中具有举足轻重的作用。目前对概念模型的校验已经展开了一些研究,但还停留在理论指导的阶段,如何校验具体描述方式下的概念模型成为亟...
- 叶丽君
- 关键词：UMLPETRI网映射
- 文献传递
- 基于XML的UML时序图向Petri网的转换被引量：2
- 2009年
- 针对统一建模语言(UML)时序图与Petri网间转换的问题,提出基于消息的UML时序图向Petri网转换的映射算法。以XMI,XPDL,XSLT为核心,建立基于可扩展标记语言(XML)的实现该映射算法的3层转换方案。结合XML应用环境要求,建立映射处理流程,并通过实例对方案可行性进行了验证。
- 应一舟叶丽君郭义喜
- 关键词：可扩展标记语言统一建模语言PETRI网
- 基于UML的概念模型的Petri网映射算法研究被引量：2
- 2009年
- 概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证。在深入分析UML时序图特点的基础上,针对已有映射方法存在的缺点,提出了基于消息的模型映射算法,并对时序图中的特殊结构(可选、条件、并行、循环),分别提出了其相应的映射算法,并验证了映射的正确性。方法有利于检查模型映射前后的一致性,同时具有可扩展的优点。
- 叶丽君桑海张明清唐俊
- 关键词：统一建模语言时序图映射
- 建模与仿真过程中需求分析模型的校核与验证研究被引量：4
- 2008年
- 建模与仿真(M&S)开始于对所研究问题的明确定义与清晰描述,准确完整的需求定义是确定M&S校核、验证与确认(VV&A)评估标准的依据。简要介绍了需求分析过程的阶段和需求分析模型的建立方法,分析了需求分析模型校核与验证的主要内容,并给出了需求分析模型的静态校验和动态校验方法。
- 唐俊张明清叶丽君
- 关键词：校核静态校验动态校验
- 仿真模型有效性研究
- 在明确了校核、验证与确认与建模和仿真的关系后,针对保障仿真模型有效性问题,本文分析了有效性校核的主要内容,详细论述了仿真模型有效性校核的一般过程,最后介绍了对仿真模型进行有效性校核时所使用的主要方法．
- 王景会张明清叶丽君桑海
- 关键词：仿真模型有效性校核
- 文献传递
- 建模与仿真过程中需求分析模型的校核与验证研究
- 建模与仿真开始于对所研究问题的明确定义与清晰描述，准确完整的需求定义是确定M&S校核、验证与确认评估标准的依据。本文介绍了需求分析模型的建立方法，分析了需求分析模型校核与验证的主要内容，并针对需求分析的校核验证给出了两种...
- 叶丽君王景会张明清王少东
- 关键词：计算机仿真分析模型模型校验
- 文献传递
- 建模与仿真过程中需求分析模型的校核与验证研究
- 建模与仿真（M＆S）开始于对所研究问题的明确定义与清晰描述,准确完整的需求定义是确定 M＆S 校核、验证与确认（VV＆A）评估标准的依据．本文简要的介绍了需求分析模型的建立方法,分析了需求分析模型校核与验证的主要内容;并...
- 叶丽君王景会张明清王少东
- 关键词：校核静态校验动态校验
- 文献传递
