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

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

基于时间序列的音频采集通道故障检测研究

音频数据采集系统是航空电子系统的重要组成部分,其采集通道故障与否关系到舱音采集功能能否有效工作。针对传统对音频采集通道的故障检测方法存在检测效率不高、开发和维护成本较高等问题。提出了一种音频采集通道的故障自动检测方法,基于音频数据的弧度时间序列,利用参考音频信号与音频采集通道输出的数字音频信号的相似度对比结果,判断音频采集电路能否保持音频的一致性,进而判断音频采集通道是否存在故障。方法不仅检测成本低、精度高,并且实现了音频采集通道的快速、自动化的故障检测,同时针对不同领域的音频采集系统具有一定通用性。     

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

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

基于元胞自动机的5B70铝合金载人密封舱室加强筋组织演化研究

针对5B70铝合金密封舱体加强筋的微观组织演变问题,基于元胞自动机理论,引入拓扑算法,建立晶粒形核、长大和再结晶模型,研究了单道次微铸锻工序中加强筋的微观组织演变过程,分析了应变量对动态再结晶与静态再结晶晶粒尺寸及体积分数的影响.结果表明:最佳微锻应变量为0.3;在微锻过程中由于塑性变形温度过低,动态再结晶体积分数最大...     

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

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

Laves相Nb-Cr合金的真空烧结

研究了真空烧结参数及机械合金化对Laves相Nb-Cr合金致密度的影响,结果表明球磨后粉末烧结试样的致密度增加率是未球磨粉末烧结试样的3~5倍;当烧结温度增加、烧结时间延长,Laves相NbCr2的合成更为充分,试样致密度增加。     

中国航天科技集团公司主管科技期刊简介

《宇航计测技术》 :1981年创刊 ,由中国航天科技集团公司一院 10 2所与中国航天科工集团公司二院 2 0 3所联合主办。该刊主要报道长度、热学、力学、无线电、时间频率、电磁、化学和光学计量标准的设计、研制和计量测试技术、仪器仪表的检定维修技术、误差分析及数据处理技术等。另外 ,本刊还有石英晶体器件的设计和研制、电子技术应用、自动化测量、计量基础、计量服务、国内外计量信息等栏目。本刊的宗旨是报道计量测试专业的科研成果与进展 ,以达到传递信息 ,促进学术交流 ,推广科研成果的目的。读者对象主要是广大科研单位和厂矿企业从…     

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

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

基于北斗三号的多区域实时动态授时服务系统

面向新一代移动通信和物联网等领域对高精度、低成本授时的需求,针对典型的实时动态授时服务只能单区域覆盖的问题,提出了一种基于北斗的多区域实时动态精密授时服务系统.该系统由标准时间、时间基准站、高精度时间频率实时传递链路、数据中心和时间用户等部分组成,可实现标准时间实时动态授时服务的全国多区域覆盖.依托中国科学院国家授时中...     

美国用导弹击毁失控卫星

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