【摘 要】
：
航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段,也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分,传统
【机 构】
：
西北工业大学自动化学院,飞行自动控制研究所
【基金项目】
：
航空基金资助项目(20060718001)
论文部分内容阅读
航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段,也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分,传统上,对该系统的可调度性分析是在系统设计完成后,在实现与验证阶段进行的,这使得系统无法进行的准确地软硬件需求分析。采用先进的建模方法AADL对其进行建模,为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能,使得在系统需求分析阶段就可以准确确定系统的软硬件需求,并能大大降低系统的更改验证成本。首先论述了建模语言AADL的基本构成以及与航空电子应用接口规范ARINC653的对应关系;然后描述了飞行管理系统的功能构成,并建立了飞行管理系统的AADL模型;最后详细论述了系统调度理论,AADL工具,飞管系统AADL模型的仿真分析。通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据。
其他文献
扬州市举办的第19届江苏省运动会上,气排球首次作为江苏省运动会全民健身比赛项目,使普通群众参与赛事成为赛场主角。借此契机为推动气排球运动在高校体育课程的广泛开设,以
目的:探索DR和CT诊断早期成人股骨头缺血坏死的准确性和敏感性差别,以及多种征象DR和CT显示率的差别。方法:回顾性分析91例157个股骨头经MRI、病理或随访证实的早期成人FHN患
近年来伴随着经济的快速发展,我国私家车数量与日俱增,公共停车场供不应求的问题越来越明显,人们对城市基础设施建设有了更高要求。尽管面对这种情况政府部门相继出台了限号出行、限购等措施来对其进行缓解,但这种治标不治本的政策难以从根本上解决问题,同时由于政府部门财政资金比较紧张和公共部门建设效率较低,当前公共停车场的建设缺少资金的投入,公共停车场项目建设的落后必将给城市交通拥堵造成更为严重的问题,甚至可能
近年来,地下水作为重要的水资源遭受污染日益严重,检出多达44种有机污染物,其中非水相液体有机物(NAPLs),在高浓度污染区域以自由相、溶解相及残余相形式存在,自由相有机污染物会持续迁移扩散,成为地下水长期污染源。疏水改性SiO_2气凝胶因低密度,高孔隙率,高表面积等特性,吸附效果优异,尤其是作为一种“吸油海绵”常被用于溢油清理,所以针对其对NAPL相有机物优异的吸附效果,可将其作为吸附材料对高浓
天体的光变是研究天体辐射机制和内部结构变化的一个常用手段，尤其是，光变曲线中的周期性信号直接反映了中央能源的有规律性的动力学过程。在实际观测中，由于种种原因，流量密度监
采用合理的作物养分管理措施对粮食安全保障、土壤与农业可持续发展和生态环境保护至关重要。正确的养分管理策略应是针对某一特定气候-土壤-作物条件选择特定的肥料品种、用
家庭用废水主要由洗涤废水组成,如果对洗涤废水中的有害成分加以清除并循环利用,能产生很好的经济效益和环保作用.含磷洗衣粉、洗涤剂比不舍磷洗涤剂具有更好的清洁作用,但是
<正>先秦诸辩中,孟子的论辩最具艺术特色。孟子的论辩,不像孔子般长驱直入,也不像庄子善于托物寓理,而是在战略上,能够充分考虑到论辩另一方的地位、权势,进而抓住其相应的心
目的:DS可发生神经退行性病变,有研究证实,在DS患者脑内可检出SP和NFTs,其与AD的特征性病理改变一致。课题组前期研究发现DS患者血浆VA及RARα表达均明显降低,而Aβ水平明显升高,且参与Aβ代谢的ADAM10水平显著降低并且与RARα表达水平呈正相关,此外,在MVAD的AD鼠脑中发现SP明显增多。已有研究发现VA可通过RARα调控PI3K/Akt信号通路,从而影响相关分子的表达,这可能与
随着互联网技术的快速发展,人们的日常生活也越来越有质量、有效率,但同时也出现了很多不足。系统漏洞、病毒、黑客严重威胁着网络安全,计算机信息管理技术在维护网络安全中