江金龙
- 作品数：13 被引量：117H指数：6
- 供职机构：南京理工大学自动化学院自动化系更多>>
- 发文基金：国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于DEVS的UML建模方法:UML-BD被引量：4
- 2005年
- DEVS是一种层次的模块化的系统说明方法,它提供了一种层次的模块化的系统说明方法。文中给出的UML-BD方法就是在UML中结合DEVS这一特点,对UML进行一定的扩展;同时还在UML中增加了时间的约束,满足系统的实时性的要求。该方法适合一类层次结构清晰、实时性强的系统的建模,如C4I系统。
- 江金龙周献中孙勇成
- 关键词：模块化实时性
- 层次建模分析方法在C4ISR系统中的应用被引量：2
- 2006年
- C4ISR系统是一个规模庞大、层次分明的离散动态系统,文章提出了一种面向C4ISR系统的UML和Petri网结合的建模分析方法。该方法采用从上到下的层次分析方法,用扩展的UML模型对系统组织结构和系统的静态特征进行描述,用扩展的Petri网模型描述和分析系统动态特性,通过相应的规则将Petri网模型转化成状态图和序列图。新方法可以对系统要求进行验证,同时还可以编程实现。最后通过该方法,对一个C4ISR系统进行了建模分析。
- 江金龙杨华甫周献中孙勇成
- 关键词：UMLPETRI网层次分析C4ISR
- 建模与仿真中验证与确认的测试与评估实现被引量：8
- 2005年
- M&S的可信性问题是M&S理论研究及工程应用的重要内容,VV&A和T&E都是为了提高和保证M&S的置信度,降低仿真系统在实际工程应用中由于仿真结果不可信而带来的风险。首先深入分析了VV&A与T&E的关系,认为VV&A更强调确保M&S可信性的工作内容,T&E更强调具体的实现方法,T&E是V&V的主要技术和方法,V&V可以通过T&E来实现;然后分析了M&S中T&E面临的挑战,研究了M&S开发全生命周期中V&V的T&E实现,最后简要介绍了T&E的充分性判定方法。
- 孙勇成马艳琴周献中江金龙
- 关键词：校核
- 基于UML和Petri网的层次建模分析方法被引量：18
- 2006年
- 提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的层次分析方法,用扩展的UML模型对系统组织结构和系统的静态特征进行描述,用扩展的Petri网模型描述和分析系统动态特性,通过转化规则将Petri网模型转化成相应的状态图和序列图,然后集成所有的UML模型,通过RationalRose等软件来实现代码。最后通过该方法,对一个FMS进行了建模分析。
- 江金龙周献中孙勇成徐延勇
- 关键词：UMLPETRI网层次分析FMS
- UML-BD在C3I系统中的应用
- 2005年
- DEVS是对离散事件系统的一种形式化描述,它提供了一种层次的模块化的系统说明方法。该文中的UML-BD(UMLBasedonDEVS)方法就是在UML中结合DEVS这一特点,对UML进行一定的扩展;同时还在UML中还增加了时间的约束,满足系统的实时性的要求。基于C3I系统的层次性、实时性的特点,该文采用UML-BD方法对系统进行建模,构建出系统模型能够充分地展现系统特点。
- 江金龙周献中孙勇成
- 关键词：指挥模块化实时性
- 基于使用模型和遗传算法的测试数据自动产生技术被引量：3
- 2006年
- 测试数据的自动产生技术是软件测试的一个重要研究领域,是提高软件测试效率和效果的有效方法。为保证被测对象中实际运行更频繁的部分得到更充分的测试,把使用模型和遗传算法相结合,以整个被测试对象所需测试数据量为优化目标,给出了相应的规划模型,并提出了路径权重和目标路径集的确定方法,设计的适应性函数综合考虑了路径权重、路径覆盖率和路径接近程度三要素。实例证明了模型与方法的合理性及有效性。
- 周献中孙勇成江金龙
- 关键词：计算机软件软件测试测试数据遗传算法
- 分布式实时仿真系统的实时性验证被引量：9
- 2005年
- 实时仿真系统满足实时性要求是仿真结果可信的前提条件,要验证实时仿真系统的可信性首先要分析、验证实时仿真系统的实时性。由于分布式实时仿真系统组成复杂、类型多样,并且位置分散,其实时性分析更加复杂。重点分析了影响分布式实时仿真系统实时性的主要因素,提出了六个指标来分析其实时性,同时给出了各指标的定量计算模型,所提出的指标结合综合评估模型,可以判断具体系统是否满足实时性要求及满足实时性要求的程度。
- 孙勇成孙凌周献中江金龙
- 关键词：分布式实时仿真系统实时性
- UML和Petri网建模方法及其在C<'4>ISR系统中的应用
- 本文以C<'4>ISR 系统为应用背景，以统一建模语言(UML)和Petri 网的适应性改进为目标，进行了相关的建模方法研究，并提出了相应的分析算法。主要成果与创新点如下：
(1)提出了基于离散事件系统规范说明...
- 江金龙
- 关键词：离散事件系统统一建模语言
- 文献传递
- 基于灰色聚类法的仿真系统可信度分析被引量：7
- 2005年
- 仿真系统可信度分析是仿真理论特别是仿真VV&A技术研究的重要内容,也是仿真系统开发的重点及难点工作之一。该文首先对仿真系统可信度分析的常用方法进行了分析和比较,针对仿真系统信息存在不完备、不全面和不充分的特点,把灰色聚类理论引入到仿真系统可信度分析中,给出了仿真系统可信度分析的灰色关联聚类法、灰色变权聚类法和灰色定权聚类法的单级和多级评判模型,最后分析比较了这三种方法的特点和适用范围。
- 孙勇成周献中江金龙李桂芳
- 关键词：仿真系统
- 实时仿真系统可信性验证被引量：5
- 2005年
- 实时仿真系统可信性验证是实时仿真理论研究及工程应用的重要内容。主要研究了实时仿真系统可信性验证,给出了验证的基本步骤,提出了从实时性、逻辑计算正确性及稳定性三个方面验证实时仿真系统可信性的观点;然后提出了三个指标来验证实时性,给出了各指标的定量计算模型;并研究了实时仿真系统逻辑计算正确性的相关问题,给出了逻辑计算正确性验证的基本步骤;最后分析了实时仿真系统稳定性验证。
- 孙勇成孙凌江金龙周献中
- 关键词：实时仿真实时性稳定性
