嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

航天器用4211环氧树脂体系湿热老化试验与贮存寿命评估

针对航天器用4211环氧树脂体系材料在地面贮存过程中无成熟寿命评估方法可借鉴以及受时间限制无法采用自然老化法获得贮存寿命的问题,采用加速老化试验的方法研究了其湿热老化性能,建立了湿热老化寿命模型,并利用该模型对4211环氧树脂体系的贮存寿命进行了预测。结果表明：温湿度对4211环氧树脂体系材料的力学性能影响较大,拉伸试样表面形貌及断口形貌在老化试验前后未发生明显变化;材料在加速湿热老化试验过程中没有生成新的官能团;以拉伸强度指标推算出4211环氧树脂体系在温度为20℃、相对湿度为60%条件下的贮存寿命为6.1年。     

高加速应力筛选

介绍了高加速应力筛选的目的、内涵及其与传统环境应力筛选的区别,详细介绍了HASS的应力类型、范围、应力剖面结构和设计方法,提供了国外常用HASS剖面的实例.     

星星诉说的秘密——介绍2011年诺贝尔物理学奖

“有人说世界将终结于熊熊烈火,有人说它将终结于凛凛寒冰……”宇宙加速膨胀的发现让这些诺贝尔奖得主自己也大吃一惊。他们观测到的现象,就像把一颗球抛到空中,结果发现球不但没掉回地面,甚至还以越来越快的速度消失在空中,仿佛重力不足以扭转球的抛掷轨道。而整个宇宙目前的状态正是如此。     

和航天员一起观赏地球家园

卫星在几百千米的太空可以拍摄到清晰的地面图片,而国际空间站里的航天员在休闲时间最喜欢做的事情之一就是用大炮拍摄地球家园的壮丽景色。现在,就让我们跟随航天员的镜头从太空来尽情观赏我们多姿多彩的家园美景。     

航天器污染检测新技术的研究

根据飞行时间二次离子质谱学的新进展,用当代最先进的仪器首次对三种典型的我国地面空间环境模拟污染样品进行了探索性实验研究。结果表明：由于极高的检测灵敏度,具备分析微量航天污染物成分的能力;由于很高的质量分辨本领,具备检测航天污染物包含的所有元素、同位素和各种化合物的指纹鉴别能力;成像分析可获得航天污染物各成分面分布及一定的分层信息,从而可望揭示出各类污染物的形成过程。与国内外现有的各类检测手段相比,飞行时间二次离子质谱是航天污染物检测强有力的一种新手段。讨论了需要进一步研究解决的主要问题,如果能开发出可避免二次污染并分阶段取样、保存样品的装置与之配合,该技术有望在迅速崛起的航天污染系统工程中发展成为一种独具特色的航天污染检测新技术。     

基于有寿件调控的战机海域巡航装备保障规划

从战机海上方向高强度巡航问题出发,有寿件物资调控直接影响着战机的完好率,制约着战巡任务有效执行。通过构建数学规划模型,优化制定了战机出动保障方案、有寿控件梯次合理配置,并重点介绍了关联因素约束的方法过程、目标函数优化的具体思想,通过遗传算法求解非线性规划。在模型中建立了可实施靶向性求解方案的0-1开关函数,记录了战机出航、巡逻信息的精确时间和任务架次,实现机场内部保障的最佳均衡状态,确保战机巡逻的高效巡航运用。     

签派如何创造效益

随着全球经济一体化进程的突飞猛进,国际航空业正以每年5%-6%的增幅发展,"降低运营成本,提高经济效益"已日益被各国航空企业所关注。作为航空公司运行的枢纽,签派室肩负着航班安全正点的艰巨任务,但是外界很多人认为这个部门只是保障了安全,并没有为航空公司创造效益,其实不然,签派在保障航班正点的同时正在从各方面创造效益。本文就从几个方面阐述签派是如何向成本要利润的。     

OPEN MIND凭借hyperMILL~实现自动化编程

2011年9月19~24日OPEN MIND Technologies AG将采用自动化编程——更优工序为自己的口号,参展欧洲机床展览会,将带来其CAM解决方案hyperMILL~ 2011的全新功能,演示如何在更短的编程时间内实现更高的性能。     

合作与竞争——OEM、航空公司与MRO企业之间新的战略合作关系

高可靠性的发动机打破原有的合作关系 尖端技术的应用使得发动机的可靠性越来越高，在翼时间越来越长。国际航空理事会负责技术服务和维修条例的副总裁乔纳森-伯杰表示：“如今，发动机的在翼服务时间为5～7年，而普惠公司早期的JT8D和类似发动机的在翼时间平均仅为12～18个月。”