基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

青海玉树地震遥感监测应用研究

青海省玉树藏族自治州玉树县发生里氏7.1级地震后,作为我国减灾救灾决策支持单位,民政部卫星减灾应用中心(民政部国家减灾中心)根据国家减灾委、民政部救灾应急响应启动情况和部救灾总指挥部的统一部署,立即启动<应对突发性自然灾害空间技术响应工作规程>,实行24h业务值班制度,以高分辨率卫星和航空遥感数据为主,开展灾害监测与评...     

航天器相对运动的运动学模型研究

采用运动学方法研究航天器的相对运动.通过对无摄精确相对运动模型的简化,推导了以纬度幅角和平近点角为变量的无摄相对运动方程,并以此模型为基础建立了J2摄动下的相对运动模型,进行了相对轨道的仿真以及模型分析.仿真结果表明,运动学方法能给出较精确的相对运动方程,并且考虑摄动时,采用运动学描述比较简单.     

混合遗传算法在航天器最优交会中的应用

推导了航天器双冲量交会时的优化模型,以此为基础构造了最优交会的燃料-时间混合优化指标,并针对基本遗传算法局部搜索能力不强的问题,提出一种将最速下降法与遗传算法相结合的混合遗传算法,其中下降搜索的优化方向利用每一代中最劣个体所包含的优化信息获得。数值计算表明,该混合算法可加速算法的收敛,具有良好的优化性能和函数适应能力。最后,对共面圆轨道双冲量交会情况进行了仿真计算,仿真结果表明混合遗传算法的设计是成功的。     

基于工作流的生产过程监控系统设计与实现

针对制造业车间生产过程监控中信息采集不全面、反馈滞后、信息共享程度低等问题,引入工作流技术对生产过程进行建模和业务驱动,实现业务过程自动流转和信息自动采集、反馈.使用刷卡登陆触摸屏的方式增强终端应用的便捷性,应用甘特图等多种方式直观、形象地展现监控结果.基于普元EOS中间件平台开发出了生产过程监控系统,并在实际生产中进行了应用.     

MIDAS IV系统超声波风传感器故障排除一例

重庆空管站在2001年购置芬兰VAISALA公司的MIDASIV自动观测系统时，选用了先进的超声波风传感器WAS425。该传感器利用超声波在媒质中传播速率与媒质本身运动速率之间的关系，可以精确地测量出超声波在大气中传播时大气本身运动的方向和速率。由于没有机械旋转的阻尼和响应时间的影响，超声波风传感器的各项性能指标都优于传统的WA系列风向风速仪，得到的风向、风速值也更准确。在风传感器WAS425内部有一个微处理控制板，用于控制超声波信号的发射和接收，同时该板还要对得到的超声波信息进行处理，得到风向和风速值并以RS-232协议方式向外发送。串行数字发送器WT501负责将WAS425送来的风向和风速数据通过内置的调制解调器DMX501进行调制，并将调制信号以300bps的速率送到MIDASIV系统的中央数据单元（CDU）。在wAs425和WT501之间有一个跳线架，它的作用是为维护人员提供一个数据维护测量端口。     

2008年通用航空发展报告

自1952年至今,中国通用航空已走过了56年的发展历程,期间有过荣耀,有过挫折,可谓历经坎坷。随着我国国民经济和社会的持续、快速发展,通用航空正面临着前所未有的需求和发展机遇。在5．12特大地震灾害发生后,在举国上下众志成城倾力救灾中,国人目睹了通用航空的英姿,再次掀起了重视通用航空、发展通用航空的浪潮。“好风凭力借,送我上青云”,通用航空必将踏着坚定的步伐,稳步发展壮大自己,再现历史的辉煌。     

美俄天基反卫星武器的发展

文章分析介绍了苏联(俄罗斯)反卫星系统的发展历程和美国反卫星技术的发展现状,并对反卫星武器的发展趋势进行了初步探讨。     

一种双基站低轨道区域覆盖δ星座设计

在双基站理论研究基础上 ,进行了定倾角区域性覆盖双基站δ星座设计 ,采用倾角为 41°的回归轨道 ,用点覆盖数值仿真的方法设计了对地面站与空间站的一重覆盖与二重覆盖下的星座构型。且星座中各星之间 ,各星与空间站之间均可建立星际链路 ,保证数据在空间站、地面站及星座之间连续传递     

密封汽流激振下转子动力特性的时域分析

针对汽轮机转子偏心导致的汽流激振问题和静偏心模型在转子动力特性研究中的缺陷,采用动网格技术模拟转子真实的三维涡动,在时域上对转子的动力特性进行研究。结果表明:转子涡动时,汽流激振力及其动力系数在时域上随位移呈三角函数变化,且径向力的方向随转子中心位置的变化发生改变。偏心率、涡动速度、自转速度和压比均影响转子动力特性。额定工况下,偏心率每增加10%,径向力与切向力平均增加约25~35 N。随着涡动速度的增大,切向力朝负方向增加,而直接阻尼和交叉阻尼减小。随着压比的增加,径向力增大而切向力减小。在一定范围内,较大的自转速度会使最大激振力的绝对值减小。