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

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

针对多个地球静止轨道目标的巡游轨道设计

运行在螺旋巡游轨道上的航天器无需施加控制力就可以长期巡游在指定轨道附近,利用该特点,克服地基目标监视系统的不足,可提高空间目标监视能力.在现有的设计基础之上,改进对地球静止轨道多个目标螺旋巡游轨道的初始轨道设计;通过施加控制提出两种可以对地球静止轨道上多个目标进行绕飞观测的螺旋巡游轨道设计;通过仿真验证,对比二者各自的优势.     

基于标定场的激光雷达两步标定方法

针对激光雷达大测量范围高精度测角测距问题,提出一种基于标定场的激光雷达两步标定方法.该方法在分析激光雷达测角误差和测距误差的基础上,提出激光雷达误差修正模型.该模型将距离修正从标定模型中分离,首先利用靶标场完成全视场的角度标定,并确定其外部参数,再利用基线场实现距离标定.以降低距离标定参数与角度标定参数之间的耦合性,保证激光雷达角度和距离标定的精度和准确度.实验结果表明方法合理有效,能够实现激光雷达的高精度标定.     

人造地球卫星为何能按预定轨道运行

1无人驾驶的秘密
　　要想使人造地球卫星在预定的轨道运行,首先要用运载火箭把人造地球卫星尽可能精确地送入预定的轨道,使它有较高的速度,然后靠惯性飞行。其关键是要掌握好卫星和火箭分离并开始进入轨道那一瞬时的速度和方向。
　　由于人造地球卫星是一种无人航天器,所以无法像载人飞船那样由航天员操纵来控制其飞行轨道,它主要靠跟踪遥控或自动控制的方式来使卫星按预定的轨道运行。     

基于PSF相关的星点定位算法

为提高非高斯分布星点定位的精度,提出了一种新的PSFC (point spread function correlation)星点定位算法,具有很好的抗噪性能和精度水平,易于工程实现.该算法利用互相关中的定义,通过确定系统所测定的PSF与星像灰度值之间的最大相似度来定位星点位置,PSF的测定是在作互相关计算之前全视场范围内可按照整像素和亚像素两种方式完成的.仿真实验结果表明：在带有噪声的星像图条件下,本文PSF相关法的定位精度最高可达到0.034像素,比质心法的精度提高1个数量级,比曲面拟合法的精度提高约20%.     

第32届机构间空间碎片协调委员会会议在京召开

2014年5月12-15日,第32届机构间空间碎片协调委员会（IADC）会议在北京召开,中国国家航天局、意大利航天局、法国国家空间研究中心、加拿大航天局、德国航空航天中心、欧洲航天局、印度空间研究组织、日本宇宙航空研究开发机构、美国航空航天局、俄罗斯联邦航天局、英国国家航天局等11个正式成员机构,亚太空间合作组织以及作为IADC观察员的韩国航天局参加了此次会议,外交部、中科院等国内有关部门代表也应邀出席了此次会议。参加会议的国内外代表共150多人。     

钢纤维高强混凝土施工技术要求

本文系根据某工程设计要求、当地材料供应情况和施工现场条件等因素提出的钢纤维高强混凝土施工技术要求，可供其它类似工程参考。     

中国科协举办“面向21世纪的科技进步与经济社会发展” 学术年会在杭州召开

近 40 0 0名全国科技工作者和科学家于 1 999年 1 0月 1 7～ 2 2日聚会杭州 ,参加由中国科协举办的大规模、综合性、全方位首届学术年会。本次题为“面向 2 1世纪的科技进步与经济社会发展”的年会 ,集中展示我国广大科技工作者的学术成果 ,展望 2 1世纪科学技术、社会经济发展 ,促进学科发展 ,促进人才成长 ,促进科技进步 ,促进科技与社会、经济的协调发展。是中国科协迄今为止举办的规模最大、层次最高的学术会议。全国人大常委会副委员长、中国科协主席周光召作了题为“历史的启示和重大科学发现的条件”的大会主题学术报告。会议邀请了 …