在舰船电子综合化系统的设计过程中,总线性能指标与整个系统的总体性能指标有着密切的关系。以有色Petri网CPN(Colored Petri Net)为理论工具,构建基于CPN的舰船电子综合化系统总线模型,给出了相应的控制规程。通过仿真实验得到总线性...在舰船电子综合化系统的设计过程中,总线性能指标与整个系统的总体性能指标有着密切的关系。以有色Petri网CPN(Colored Petri Net)为理论工具,构建基于CPN的舰船电子综合化系统总线模型,给出了相应的控制规程。通过仿真实验得到总线性能指标的动态变化曲线,与理论计算值比较分析,验证了所建模型的正确性和有效性,所建模型可以为舰船电子综合化系统的设计与优化提供理论依据。展开更多
针对舰船电子综合化系统总线故障诊断模糊性、不确定性的日益增强,且难以实现快速故障诊断的难题,提出一种基于自适应模糊Petri网(Adaptive Fuzzy Petri Net,AFPN)的舰船电子综合化系统总线故障诊断方法;在加权模糊Petri网(Weighted Fuz...针对舰船电子综合化系统总线故障诊断模糊性、不确定性的日益增强,且难以实现快速故障诊断的难题,提出一种基于自适应模糊Petri网(Adaptive Fuzzy Petri Net,AFPN)的舰船电子综合化系统总线故障诊断方法;在加权模糊Petri网(Weighted Fuzzy Petri Net,WFPN)的基础上,引入神经网络技术,给出了AFPN的形式化定义及学习算法;实例分析验证了所提方法的有效性,研究表明:AFPN模型具有很强的自适应能力和推理能力,克服了传统单纯依靠人工经验故障诊断的不确定性和偶然性,可以实现舰船电子综合化系统总线快速精确的故障诊断。展开更多
周期性消息和非周期性消息对舰船电子综合化系统总线网络性能的影响是舰船电子综合化电子系统总线网络设计过程的难点之一。针对该问题,提出采用以确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)建立周期性消息的总...周期性消息和非周期性消息对舰船电子综合化系统总线网络性能的影响是舰船电子综合化电子系统总线网络设计过程的难点之一。针对该问题,提出采用以确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)建立周期性消息的总线网络DSPN模型和考虑非周期性消息的总线网络DSPN模型,有效模拟了周期性消息和非周期性消息在舰船电子综合化系统总线网络传输的动态行为。以Time NET4.2软件为仿真平台,分别实现了周期性消息的总线网络DSPN模型和考虑非周期性消息的总线网络DSPN模型,研究分析周期性消息和非周期性消息对舰船电子综合化系统总线网络性能的影响。该成果可以为设计满足特定性能要求的舰船电子综合化电子系统总线网络提供理论依据。展开更多
文摘在舰船电子综合化系统的设计过程中,总线性能指标与整个系统的总体性能指标有着密切的关系。以有色Petri网CPN(Colored Petri Net)为理论工具,构建基于CPN的舰船电子综合化系统总线模型,给出了相应的控制规程。通过仿真实验得到总线性能指标的动态变化曲线,与理论计算值比较分析,验证了所建模型的正确性和有效性,所建模型可以为舰船电子综合化系统的设计与优化提供理论依据。
文摘针对舰船电子综合化系统总线故障诊断模糊性、不确定性的日益增强,且难以实现快速故障诊断的难题,提出一种基于自适应模糊Petri网(Adaptive Fuzzy Petri Net,AFPN)的舰船电子综合化系统总线故障诊断方法;在加权模糊Petri网(Weighted Fuzzy Petri Net,WFPN)的基础上,引入神经网络技术,给出了AFPN的形式化定义及学习算法;实例分析验证了所提方法的有效性,研究表明:AFPN模型具有很强的自适应能力和推理能力,克服了传统单纯依靠人工经验故障诊断的不确定性和偶然性,可以实现舰船电子综合化系统总线快速精确的故障诊断。
文摘周期性消息和非周期性消息对舰船电子综合化系统总线网络性能的影响是舰船电子综合化电子系统总线网络设计过程的难点之一。针对该问题,提出采用以确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)建立周期性消息的总线网络DSPN模型和考虑非周期性消息的总线网络DSPN模型,有效模拟了周期性消息和非周期性消息在舰船电子综合化系统总线网络传输的动态行为。以Time NET4.2软件为仿真平台,分别实现了周期性消息的总线网络DSPN模型和考虑非周期性消息的总线网络DSPN模型,研究分析周期性消息和非周期性消息对舰船电子综合化系统总线网络性能的影响。该成果可以为设计满足特定性能要求的舰船电子综合化电子系统总线网络提供理论依据。
文摘综合化航空电子系统(Integrated Modular Avionics, IMA)是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何对这类复杂软件进行建模并自动生成代码成为一个重要挑战。文中提出了一种基于AADL(Architecture Analysis and Design Language)的综合化航空电子系统代码生成方法。首先,提出HMC4ARINC653(Heterogeneous Model Container for ARINC653)属性集扩展,使其具备描述IMA软件架构、异构功能行为和非功能属性的能力;其次,提出IMA模型到C代码及ARINC653系统配置文件的映射规则,并遵守MISRA C安全编码规范,生成的代码能够在ARINC653操作系统上部署并仿真执行;最后,设计并实现了相应的原型工具,以ARINC653操作系统和工业界实际案例,验证了所提方法和工具的有效性。
