趋势分析法在卫星在轨管理中的应用

深入研究趋势分析方法在卫星在轨管理中的应用,可以弥补长期以来运用参数门限方法发现异常的缺点,帮助在轨管理人员了解卫星重点部件的性能变化,及时发现相关部件的在轨异常,提高其专业分析能力。文章以范例的形式,利用趋势分析方法针对卫星重点部件的遥测参数进行了分析,并得到星上是否异常的结论。     

2005日本国际博览会

2005年日本国际博览会于3月25日至9月25日(为期185天)在日本名古屋东部丘陵(长久手町、丰田市和濑户市)举办。展馆面积约为173公顷,有121个国家、地区以及4个国际组织参展。本次世博会预计入场人数为1500万人,截至6月底,总入场人数已超过1000万人。本届世博会的主题是"自然的睿智"。强调保护环境,构筑循环型社会,实现天人合一的理念。这次世博会最大的特点就是突出“绿色”,绿色代表着生命与自然,世博会的会徽和吉祥物颇具创意,会徽是绿色太阳的图形,吉祥物是两棵树的卡通形象,分别叫“森林爷爷”和“森林小子”,整个世博会现场被绿色浸染,…     

TDICCD成像的速度同步分析和实验

模拟星载遥感器的成像条件对靶标进行动态成像 ,分析TDICCD相机的实验室动态成像性能 ,并通过改变运动像的速度 ,研究TDICCD与运动像不同步对成像质量的影响 ,考察相机在推扫成像过程中 ,因推扫速度失配而产生的像移现象对相机成像质量的影响 ,验证相机像移影响计算公式的推导结果。     

PROM HS—6664RH与27C64兼容性探讨

ＰＲＯＭＨＳ┐６６６４ＲＨ与２７Ｃ６４兼容性探讨杨桦王守强吴鑫涛胡英何键（北京控制工程研究所,北京１０００８０）（１）前言ＨＳ－６６６４ＲＨ（即ＲａｄｉａｔｉｏｎＨａｒｄｅｎｅｄ８Ｋ×８ＣＭＯＳＰＲＯＭ）是Ｈａｒｒｉｓ公司生产的抗辐射加固芯片,自１９...     

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.     

CCD的调制传递函数(MTF)分析

调制传递函数 (MTF)是评价成像系统性能的重要参数 ,文章通过讨论CCD对正弦输入信号的响应 ,对CCD的调制传递函数进行了理论分析 ,并对影响传递函数测试的因素进行了说明     

CBERS-1卫星CCD相机的光学拼接、配准和定焦

文章介绍了CBERS -1卫星的CCD相机的光学拼接、配准和定焦技术 ,它们是获得高清晰度图像的关键技术。     

CCD共焦的误差分析

在CCD相机的研制工作中,需要将多个CCD安置于CCD相机的焦面位置处,并使各CCD像元之间相对于相机焦面的共焦偏差满足相机设计要求。为了达到这一目的,需要对多个CCD进行焦面测量。文章对各种误差因素在测量过程中的影响进行了分析。     

建立航天遥感器战略储备的初步构想

结合中国国情及研制航天遥感器的现状 ,阐述了对航天遥感器实行战略储备的初步构想 ;并根据航天遥感器在实际应用中的技术特点 ,对实施遥感器战略储备的必要性、可行性和重要意义进行了分析。     

星相机高精度校时计时方法

设计一种星相机高精度校时计时方法,星相机通过调节自身设备时钟使其与卫星时标严格对准,并精确记录对准误差,以实现与卫星同步信号的时间同步精度优于1μs,解决传统只记时不校时的时间同步方法存在较大系统误差的问题。通过时间同步误差分析和测量对校时计时方法进行验证,结果表明:时间同步误差最大值为880ns,可保证2台星相机与卫星平台之间的高精度时间同步,对提高测绘定位精度具有应用价值。