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

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

基于微电铸工艺的摩擦接触式微型惯性开关

针对微型惯性开关闭合时间短、接触弹跳问题,设计了增强接触效果的摩擦接触式微型惯性开关.基于MEMS惯性开关工作原理,建立了开关物理模型,研究了不同类型惯性开关的闭合性能,提出了增强接触的摩擦接触方法,设计了摩擦接触式微型惯性开关的结构.为了对比接触性能,基于UV–LIGA叠层光刻和精密微电铸工艺,研制了3种不同类型的惯...     

深圳机场航班跑道占用时间统计分析研究

航班跑道占用时间统计分析是管制员提升效率的重要指标。以深圳机场为对象,基于场面监视雷达信号及ADS-B数据,解析场面监视信号,匹配进、离港航班的信息,绘制深圳机场地图和电子围栏,以及统计进港和离港航班的跑道占用时间等,分析机场航班起飞和降落时进入和离开跑道的时刻数据,实现机场跑道占用时间统计分析功能,为后续的机场运营大数据分析奠定基础。     

融合危害时间模型的导航信号中断分析方法

针对导航卫星在研制中识别与控制中断风险的工程需求,分析了导航信号中断的复杂性,针对现有中断分析方法的不足,提出了全层级、多维度且融合了危害时间模型的中断分析方法,并给出中断分析流程。通过相关性分析快速定位导致卫星信号中断的底层单元清单,解决了中断关键环节识别全面性的问题;针对传统技术未考虑中断相关性及中断传播不确定性的问题,提出了综合考察中断风险评估三要素并引入中断传播概率的危害时间模型进行定量评估的方法,实现对中断关键环节的准确识别。该方法适用于星座和卫星的各类中断关键环节识别,已应用于北斗导航卫星系统。     

美国用导弹击毁失控卫星

□□北京时间2008年2月21日10:26,装备有“宙斯盾”反导防御系统的美国伊利湖号巡洋舰发射的一枚标准-3导弹,击中了一颗飞行在太平洋上空208km、速度超过27400km/h的美国失控侦察卫星。美国国防部官员发表声明称,陆地、空中和海上监测网络,以及位于太空的感应装置证实,卫星燃料     

美国航天飞机第122次飞行

□□美国东部时间2008年3月11日02:28,美国奋进号航天飞机从佛罗里达州肯尼迪航天中心顺利升空,执行STS-123飞行任务.完成任务后,它在3月26日安全返回地球.这是航天飞机122次飞行中第30次夜间发射,也是自2003年哥伦比亚号失事后第2次夜间发射(第1次是在2006年),还是2008年计划实施的美国航天飞机6次"国际空间站"建造飞行任务中的第2次.截至2010年年底,航天飞机还要执行12次发射任务.     

滚动轴承平均故障前时间计算方法研究

滚动轴承的平均故障前时间(MTTF)和平均失效率是旋转类机械设备可靠性预计和分析的重要基础数据,传统源于统计样本信息的滚动轴承MTTF和失效率数据可信度不高,难以约束滚动轴承的可靠性定量设计。为得到可信度更高的滚动轴承MTTF,利用滚动轴承疲劳寿命计算方法,基于滚动轴承寿命与可靠度的关系研究,推导了威布尔分布的MTTF和平均失效率计算公式,提出一种滚动轴承MTTF和平均失效率的计算方法和流程,给出了滚动轴承MTTF和平均失效率的计算示例。解决了利用设计参数(工作寿命、可靠度、动载荷等)计算滚动轴承MTTF和平均失效率的问题,可为滚动轴承及其配套产品的可靠性预计和分析提供数据和方法支持。     

基于一致性预处理技术的作业车间调度算法研究

为降低CSP调度算法的计算复杂度和减少搜索过程中回溯发生概率,采用一致性预处理技术来预先修剪和过滤搜索空间。仿真实验证明:两种方法的综合运用可以显著提高CSP调度算法的搜索效率,从而为CSP调度算法求解大规模作业车间调度问题提供可能。     

基于旅客时间价值的空铁联运票价指数设计研究

空铁联运是民航与铁路的互补式合作模式,具有较强的优化弹性。统计指数可以快速反映市场的变动方向和变动幅度。文章从价格指数的构建体系出发,构建了空铁联运票价指数的设计模型;进而对影响旅客出行效用的空铁联运接驳时间进行分析,基于旅客时间价值的分析修正空铁联运票价,并对空铁联运票价指数进行优化。在大数据时代,构建合理的空铁联运票价指数可以促进民航与铁路的合作关系,使两个运输系统联手为旅客提供更个性化、更优质的出行服务。     

民航飞行学员航线运输驾驶员执照理论考试结点设置方案浅析

航线运输驾驶员（飞机）整体课程训练学员申请航线运输驾驶员执照理论考试,需持有私用驾驶员以上执照类别。为了能更好地处理理论考试和飞行训练的关系,最大化节约时间和成本,提高考试和训练效率,有效规避训练后期停飞风险,民用航空器驾驶员学校科学合理地组织学生报考,设置时间结点,适时进行干预是非常有必要的。本文列举了目前各航校常见的考试结点设置和组织方案,并以中国民航大学为例,对这些方案的优劣进行了浅析,为今后各航校结合自身实际探索最优方案提供参考。