共查询到11条相似文献,搜索用时 62 毫秒
1.
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri 网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。 相似文献
2.
复杂系统的核心功能主要由软件实现,软件对复杂系统的可信性和质量有至关重要的影响.目前复杂系统软件的研制和管理主要采用基于一般系统工程的方法,未考虑复杂系统所具有的开放性、涌现性、自组织性等特征,存在一定局限性.为保证复杂系统软件的可信性和质量,基于复杂系统的主要特征,引入系统科学的方法及理论对现有方法进行扩展,并结合敏... 相似文献
3.
考虑不修、最小维修、换件维修和多中间维修水平,提出了一种基于粒子群优化(PSO)算法和多员维修的复杂系统选择性维修模型,将组件维修前状态、组件有效役龄和维修费用等因素引入不完全维修模型,更符合工程实际。提出了一种基于多员维修的系统组件维修分配算法,解决了如何将多维修任务分配给多维修人员,使得系统维修时间最小的问题,并将所提算法引入到PSO算法中,求解考虑多维修人员和不完全维修条件的复杂系统选择性维修模型。案例表明:所提模型和求解算法有效,能够为复杂系统提供切实有效的维修决策方案。 相似文献
4.
混合式惯导系统作为一种新型惯导系统,具有三轴全姿态物理平台、捷联姿态算法和系统装机自标定等特点。针对以上特点,为提高其导航定位精度,在混合式惯导系统框架角约束方程的基础上,利用姿态四元数代替欧拉角描述混合式惯导系统中三轴物理平台的转动,建立了一种混合式惯导系统姿态四元数连续自标定模型对其进行误差系数标定。针对该模型的特点,对传统的无迹卡尔曼滤波(UKF)算法进行改进,提出了一种基于奇异值分解的四元数无迹卡尔曼滤波(SVD-QUKF)算法进行模型误差系数辨识。仿真和试验结果表明,基于SVD-QUKF算法,四元数连续自标定模型能够以低于1%的相对误差标定出混合式惯导系统所有的误差系数,在标定精度和计算速度上相比基于传统UKF算法的框架角自标定模型都具有一定优势。 相似文献
提出利用全球导航卫星系统反射信号的干涉方法(GNSS-IR)进行测高。深入分析全球导航卫星系统反射信号的多径信号模型(GNSS-MR),在此基础上提出单天线测高模型,旨在获取多径信号信噪比(SNR)频率信息,从而反演出高度信息。Lomb-Scargle(LS)谱分析方法是单天线测高模型中常用的频率提取方法;提出了基于解析模型拟合的方法对多径信号信噪比数据提取频率,同样可以准确获取频率信息,从而反演出天线到地面的高度。在此基础上,讨论了单天线测高的最大测量高度和接收机需要满足的最小输出率。由实验数据分析得出:传统LS谱分析方法和拟合法在反演效果最优时,即LS谱分析方法在高度角上限为17°时,均方根误差为0.028 75 m;拟合法在高度角上限为21°时,均方根误差为0.024 85 m。通过比较不同高度角上限的均方根误差,可以获得最优化的高度反演条件,同时也表明了拟合法的可行性。 相似文献