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

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

关于3N+1猜想三种简捷证明方法的研究

论述证明3N+1猜想的三种简捷方法：迭代损益法、同胚法和数学归纳法成功证明命题成立。     

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

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

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

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

美国用导弹击毁失控卫星

□□北京时间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次发射任务.     

直扩系统最佳接收条件下的处理增益研究

目前在计算直扩系统的扩频处理增益时一般都是采用求扩频前后带宽之比的公式,这个公式求出的只是一个近似值,而且近似程度不高。针对这一问题,文章分析了直扩系统的最佳接收机,提出了直扩系统的无信息码元间串扰的条件,并在此基础上推导出在白噪声及窄带干扰下的扩频处理增益的一个较精确的公式,得出了窄带干扰下的扩频处理增益的最大值及达到最大值的条件。     

航班延误的原因分析及对策探讨

【引言】2010年,由于极端天气的影响,航班的正常率较往年有所下降,特别是出现航班大面积延误或取消时,旅客与民航的纠纷就越来越多,矛盾越来越严重,有时甚至激化为冲突。局方曾就航班延误向大众做了详细解释,但是"六问六答"仍不能令消费者释然。本文拟对航班延误进行分析,并提出应对建议。     

签派如何创造效益

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

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

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