安全关键系统的栈空间分析研究

由于存储空间异常引起的系统故障,系统开发或维护人员很难从失效特征直接判断到根原因。另外,存储空间异常通常会引起整个系统崩溃,对于安全关键系统,如航空电子系统,系统的失效往往会引起坠机或人员伤亡,因此,对安全关键系统的空间分析显得尤为重要。由于系统栈空间的分析涉及系统动态运行状态,在程序的任意点都有可能被中断服务程序或实时操作系统的其它任务中断。此外系统的栈分析需要基于目标码等特性,再次增加了对于系统栈空间分析的难度。本文从栈空间分析的必要性出发,提出一种综合中断抢占图的栈分析理论和方法,并就安全关键系统如何保证栈空间使用的确定性进行论述。最后,就安全关键软件系统FCOS的栈空间分析过程进行详细的阐述。     

飞行管理系统AADL建模与分析

航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段,也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分,传统上,对该系统的可调度性分析是在系统设计完成后,在实现与验证阶段进行的,这使得系统无法进行的准确地软硬件需求分析。采用先进的建模方法AADL对其进行建模,为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能,使得在系统需求分析阶段就可以准确确定系统的软硬件需求,并能大大降低系统的更改验证成本。首先论述了建模语言AADL的基本构成以及与航空电子应用接口规范ARING653的对应关系;然后描述了飞行管理系统的功能构成,并建立了飞行管理系统的AADL模型;最后详细论述了系统调度理论,AADL工具,飞管系统AADL模型的仿真分析。通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据。     

飞行管理系统AADL建模与分析

航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段,也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分,传统上,对该系统的可调度性分析是在系统设计完成后,在实现与验证阶段进行的,这使得系统无法进行的准确地软硬件需求分析。采用先进的建模方法AADL对其进行建模,为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能,使得在系统需求分析阶段就可以准确确定系统的软硬件需求,并能大大降低系统的更改验证成本。首先论述了建模语言AADL的基本构成以及与航空电子应用接口规范ARING653的对应关系;然后描述了飞行管理系统的功能构成,并建立了飞行管理系统的AADL模型;最后详细论述了系统调度理论,AADL工具,飞管系统AADL模型的仿真分析。通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据。     

VxWorks环境下串口驱动程序设计

本文针对Wind River公司的实时操作系统VxWorks，分析了其系统结构及内核启动过程，并详细论述了VxWorks环境下驱动程序设计原理及步骤，同时以Intel 8250芯片串口驱动为例进行了实例分析。     

VxWorks在飞行器管理系统中的应用研究

提出了一种操作系统分级调度模型,该模型能够将多个传统子系统综合到一个应用平台中,并能保证各子系统在时间上相互独立.结合实时操作系统VxWorks,论述了该模型的最佳实践方法辅助时钟法,并对VxWorks的启动、存储管理,中断与异常管理等进行了详细论述.采用该模型在飞行器管理系统中将飞行控制系统、导航系统、数传模块以及任...     

基于负载平衡配置的新型双螺杆压缩机的设计

传统的双螺杆压缩机是按一端吸气另一端排气方式布置,压缩机工作时工作介质沿双螺杆轴向被压缩而增压,双螺杆轴向是单向受力,轴支撑一端受压另一端受拉,其结构布置与设计遵循机械设计的一般方法,其结构尺寸与使用寿命等技术特征同样遵循动力机械的一般规律。介绍一种全新的双吸平衡式双螺杆压缩机的工作原理和结构特点。通过受力分析可知:该双吸平衡式双螺杆压缩机轴向受力平衡,核心部件受力状况得到改善,结构尺寸减小,工作噪声降低,达到节约原材料、降低制造成本、提高使用寿命、增加无故障运行时间的目的。     

一种多处理器仿真系统的构建与评估

以建立单处理器模型为基础,通过自定义静态交换网络构建了一个多处理器仿真系统。并采用并行矩阵乘算法对该多处理器系统进行了评估,比较了单处理器、两处理器以及四处理器系统的性能。     

填海造岛超大直径薄壁钢圆筒制作技术

超大型钢圆筒结构植入海底建造人工造岛围堰,具有开挖少、稳定好、工期快、环保优等优点,是未来人工造岛趋势之一。通过对超大直径(30 m)薄壁钢圆筒结构制作方案的分析比较以及难点分析,详细介绍钢圆筒的制造总体工艺路线设计,形成车间分片单元和外场拼装合龙的工种合理化、工序模块化、作业流水化生产,同时设计工装胎架、布置吊点吊具,有效控制变形,保证了产品质量。     

乳清蛋白乳液界面性质及其物理稳定性和氧化稳定性的研究

以乳清蛋白与玉米油为原料,采用高压均质技术制备水包油型(O/W)乳液。探究乳清蛋白浓度(0.45%~3.60%)、离子强度(250 mmol/L Na Cl)对乳清蛋白乳液界面特性及其物理稳定性和氧化稳定性的影响。结果表明:随着乳清蛋白浓度的增加,乳液的粒径、乳析指数、过氧化值(POV)和丙二醛生成物(TBARS)都呈现降低的趋势,而乳液的界面蛋白浓度、电位随着蛋白浓度的增加而增加。乳液中加入250 mmol/L Na Cl能够增加乳液的粒径、乳析指数、界面蛋白含量、电位值、POV和TBARS值。上述结果表明乳液界面蛋白浓度增多,乳液的物理稳定性和氧化稳定性得到增强,而乳液中加入Na Cl后能够减弱乳液的物理稳定性和氧化稳定性。     

La2O3的添加对P2O5-Al2O3-SiO2系微晶玻璃性能的影响

以ZrO2为晶核剂,根据DSC图谱制定合理的热处理制度,制备了磷扩散源P2O5-Al2O3-SiO2系微晶玻璃。采用XRD分析观察了P2O5-Al2O3-SiO2系微晶玻璃的析晶状况,热膨胀仪测试了该微晶玻璃的膨胀系数,分析La2O3的含量对P2O5-Al2O3-SiO2系微晶玻璃在高温下释放P2O5速率的影响。结果表明:随着La2O3含量增加,P2O5-Al2O3-SiO2系微晶玻璃中晶体含量增加,主晶相未发生改变,都为磷酸锆晶体;同时,该微晶玻璃的热膨胀系数相对降低,P2O5的释放速率也随之增加。