副题名

外文题名

论文作者

江金龙着

导师

周献中指导

学科专业

控制科学与工程

学位级别

博士论文

学位授予单位

南京理工大学

学位授予时间

2006

关键字

Petri网 指挥系统 系统建模 面向对象语言

馆藏号

E917

馆藏目录

2009\E917\1

本文以C⁴ISR系统为套用背景，以统一建模语言(UML)和Petri网的适应性改进为目标，进行了相关的建模方法研究，并提出了相应的分析算法。主要成果与创新点如下： (1)提出了基于离散事件系统规範说明(DEVS)的UML建模方法，该方法支持对模型之间耦合关係的描述，所建模型有很清晰的层次性。提出了可达矩阵分析方法，讨论在系统非运行状态下对子模型增加、替换、删除、重新组合和拆分等操作所引起接口图的变化。 (2)提出了扩展CS-class(ECS-class)的发射规则，它既能在并发情况下正确的计算时间延迟，又能在冲突情况下合理的调度事件。提出了基于T-Net分解的原子级化简规则，该规则比文献[110]中规则的套用範围更广。另外还对组件级化简规则〓中的规则集进行了扩展。 (3)提出了基于UML和Petri网的层次建模方法，该方法採用Petri网描述系统的动态行为，然后经过分析最佳化后，将其转化成UML状态图和序列图。提出了信息网模型的概念，该模型不仅能描述系统的状态变化，而且能刻画出信息在模型中的流动过程。提出了转化算法，将信息网转化成状态图。对UML序列图进行了扩展，描述系统中的并发、同步、选择和汇合等特性。 (4)提出了对象时间Petri网(OTPN)模型的概念，将Petri网和面向对象技术结合起来，所得模型具有模组化、多态、重用性和继承的特点。提出了基于OTPN模型的时间一致性分析方法，计算模型的时间延迟以及判断是否满足系统的时间约束条件；提出了基于OTPN模型的关联矩阵分析方法，来校验模型的可达性；提出了基于OTPN模型的死锁检测算法(DCA)，来检查模型中是否存在死锁。