光电干扰武器系统C^3I可执行建模研究

基于UML的C3I系统模型的设计结果是对系统的静态表述,而C3I系统的本质是动态的。着色Petri网(Colored Petri Net,CPN)具有强大的描述能力及严密的数学基础和多种分析手段,并且它是可以仿真运行的。提出了从UML产品映射到可用于逻辑、行为和性能方面体系结构评价的CPN可执行模型的方法,先对光电干扰武器系统C3I进行UML建模的一般描述,再详细地阐述了光电干扰武器系统C3I从UML产品映射到CPN建立可执行模型的过程。通过对可执行模型CPN的仿真可对光电干扰武器系统C3I进行完整准确地评价。     

CPN仿真的C4ISR体系结构验证评估

在分析基于CPN (Colored Petri Net)仿真的体系结构验证评估过程的基础上,对体系结构产品到可执行模型的转换方法进行了探讨,并结合实例利用具体信息系统对其体系结构进行了逻辑验证、行为和效能评估.     

基于有色Petri网的CAN总线仿真与性能分析

针对CAN总线的多主竞争模式通过解析法难以建模这一问题,运用CPN Tools工具构建了基于有色Petri网的CAN总线CSMA/CA竞争机制模型,模拟了CAN总线的静态结构和动态行为,对CAN总线性能进行了仿真与分析。仿真结果验证了所建CAN总线模型的合理性与正确性。     

着色Petri网的装备维修工艺建模

通过对装备维修工艺过程及其特点的分析,确定了基于Petri网建模方法的维修工艺优化过程模型。首先依据基本的维修拆卸规则和Petri网建模规则建立了工序Petri网模型,在此基础上以维修人员和通用维修机、工具为主要资源约束建立了维修工艺过程CPN模型。最后,通过装甲装备某部件维修的工艺过程仿真及数据分析确定了该建模方法的有效性和实用性。CPN较好地描述了装备维修工艺过程中的选择、冲突等事件,对指导维修工艺实践和工艺优化起到了积极的作用。     

基于有色Petri网的综电系统总线建模

针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模的正确性与可行性。     

基于CPN的复杂装备系统维修任务建模仿真研究

在分析了复杂装备系统维修任务的概念、研究了维修任务与维修资源之间的相互关系后,构建了复杂装备系统维修过程的着色Petri网(CPN)仿真模型.建立了维修任务之间逻辑关系与CPN模型初始托肯的转换规则,提高了模型结构的稳定性.最后,通过案例验证了模型的正确性和有效性.