基于时间自动机的操作系统中断管理建模与验证

时序正确性问题一直以来都是航天嵌入式软件的热点、难点问题.运用时间自动机理论,对某星载操作系统的中断管理进行了建模,同时对与操作系统行为存在交互的环境进行了建模,以描述完整的中断管理过程.利用模型检测工具箱Uppaal验证了中断管理模块的状态可达性、安全性、活性等方面的性质,证明了其服务行为的正确性.     

中星6B卫星故障致电视节目中断

2009年2月9号10时59分56秒，中星6B卫星发生故障，导致在该卫星上传输的中央电视台、中国教育电视台和23个省的卫视等150套电视节目全部中断。卫星故障时间共47分钟，从11时47分03秒至13时11分17秒，中断的150套电视节目陆续全部恢复播出。     

中断养护对混凝土的影响

如果在规定的养护期限内混凝土干燥了，这将会发生什么问题？由于中断养护使得混凝土的性能受到损失，重新养护能否恢复其性能？如果能恢复的话，那么混凝土的性能可恢复到什么程度？本文仅就国外科学家对上述问题的研究成果，作一简单的介绍。     

STA5型用户板软件的设计

STA5型用户板用于数字程控交换机的用户接口 ,也可做为各类接入网系统的远端二线模拟接口。本文对该用户板软件设计难点、特点 ,以及软件的组成部分做以阐述。     

飞机电源不中断供电及其关键技术

飞机电子设备对电源的电压精度、稳定度、中断供电时间都有严格的要求,短时间的供电中断都可能使电子设备无法正常工作,从而影响相关联的其它飞机系统,危及飞行安全,因此不中断供电技术通过多年的研究已经取得了一定的进展。文中提出利用快速检测、固态器件、超级电容器和高压直流供电等技术有利于解决不中断供电中存在的技术难题。     

某机载计算机高速串口驱动程序故障分析

某机载计算机主要完成通信数据处理功能,通信参数初始化文件和数据记录文件存储电子盘中,文件通过高速串口完成上载下载,在完成通信参数初始化文件编辑后上载到目标机中,在上载过程中频繁出现机器重启,为故障分析建立了模拟测试环境,通过分析故障现象以及驱动程序代码,查找到故障原因,并给出了解决故障的方法,在测试环境下进行了验证.     

指挥飞机中断起飞应注意的几个问题

为了帮助飞行指挥人员（飞行管制人员）和飞行人员对飞机是否中断起飞作出正确的判断，对飞机中断起飞的几种情况进行了论述，并分析了中断起飞后飞机冲出跑道的原因。最后提出要提高他们对飞机中断起飞的认识，增强处置的心理品质并加强对中断起飞特殊情况处置的训练，提高处置质量才能有效的降低中断起飞事故的发生概率。     

全球疫情下的中国内地航空网络对外连通性

新冠肺炎疫情给世界航空网络的连通性造成重大影响，网络的通达程度明显降低。为了研究中国内地的航空网络对外连通性在疫情影响下的变化，提出对外连通效率这一评价指标，并根据国内外疫情爆发不同阶段的特点采用不同的链路删除规则进行分析。研究结果表明：在疫情爆发前期，因许多国家对中国内地旅客采取入境限制措施，中国内地的航空网络对外连通效率与疫情前相比下降率最大达到39.8%，同等情形下，禁止入境措施对中国内地的对外连通性影响比停飞直航大将近一个数量级，而这两种限制措施造成的影响在不同国家间的横向差异性也巨大。此外，一些与中国内地不存在直航的国家如果采取限制入境措施，也会对中国内地的对外连通性产生很大影响。在疫情爆发中后期，全球的航线连接缩减并未对中国内地的航空对外连通性产生明显影响，中国国际航线间的连通替代关系大大提升了航空网络在此类极端情形下的鲁棒性。     

世界最先进的太阳观测卫星升空

太阳对地球气候和空间天气影响十分巨大,太阳耀斑爆发时可将宇宙粒子喷射抵达地球而中断卫星通信,甚至导致地面供电中断。最新的研究也表明,地球气候为宇宙星体相互作用所致,而太阳对其影响首当其冲,所以监控和研究太阳的活动性十分重要。     

基于坐标关联法的榫连接结构优化设计

为解决结构优化设计过程中由于几何尺寸干涉而导致的优化过程中断问题,提出并建立一种适于优化设计的结构建模方法——坐标关联法.将该方法应用于航空发动机榫连接结构的优化设计,整个优化过程顺畅,连续完成几何建模790次,未出现由于几何尺寸改变而发生的结构模型无法生成的问题.优化设计结果表明:优化前后的榫连接结构形状虽然变化不大,但最大应力点——榫槽喉部最大应力降幅达19.1%,应力水平降低明显,且结构造型符合工程要求.