“十五”国家科技攻关计划(40405010101C)
- 作品数：5 被引量：20H指数：3
- 相关作者：周献中江金龙孙勇成葛银茂杨建新更多>>
- 相关机构：南京理工大学南京大学中国人民解放军海军航空工程学院更多>>
- 发文基金：国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 时间Petri网的ECS-class可达性分析方法
- 2007年
- 时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型,可达性分析是Petri网模型最基本分析方法。基于"状态类(State-class)"的可达性分析方法不能正确计算并发情况下的时间延迟,而基于"带时间戳的状态类(CS-class)"的可达性分析方法不能正确处理冲突情况下的事件调度,因此提出了"扩展的带时间戳的状态类(ECS-class)"可达性分析方法。它不仅正确的计算时间延迟,而且合理地调度事件。并对一个时间Petri网模型进行可达性分析验证。
- 张姝江金龙
- 基于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
- 基于拉普拉斯图谱和K均值的多社团发现方法被引量：11
- 2008年
- 分析了常见的社团发现算法的特点,以及谱二分法在实际应用中必须不断迭代才能完成多社团发现的不足,并提出了基于Laplace图谱和K-Means聚类算法的多社团发现方法,该方法是一个可视化的决策过程。根据Laplace图谱的次小特征值和第三小特征值对应的特征向量,构成聚类样本并显示出来。根据决策者的意图,由决策者来确定社团的个数和聚类中心,应用K-Means聚类算法一次完成多社团的分类。
- 杨建新周献中葛银茂
- 关键词：复杂网络社团结构K-MEANS算法可视化
- 基于UML状态图的C4ISR系统的建模和实时分析被引量：4
- 2005年
- 针对C4ISR系统的实时性强的特点,对UML状态图进行时间扩展,使用时间扩展的UML状态图对C4ISR系统进行建模。同时为分析C4ISR系统的实时性,采用一定的转化规则,将时间扩展状态图模型转化成时间Petri网模型,使用时间Petri网的可达树来分析C4ISR系统的时间特性。应用一个C4ISR防空实例表明了该方法的可行性和实用性。
- 江金龙周献中孙勇成
- 关键词：UML状态图时间PETRI网C4ISR实时性分析
