基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

海洋一号A卫星技术性能与业务运行模式

一、概述2002年5月15日,我国成功地将自行研制的海洋一号A(HY-1A)卫星送入太阳同步轨道。自2002年5月29日开始HY-1A卫星正式下传海洋水色扫描仪与CCD成像仪所探测的数据,国家卫星海洋应用中心的北京、三亚地面站成功地接收到了第一轨HY-1A卫星遥感图像。国家海洋局与中国航天科技集团公司组织进行了在轨测试,对卫星与地面应用系统的各项功能进行了检验与验证,各项试验取得了圆满成功。该卫星境内外水色探测能力与灾害监测能力得到充分证实,已于2002年9月18日交付后投入业务化使用。在卫星与地面系统运行的一年多时间内,已获得我国渤海…     

美国的商业遥感计划

□□1986年法国发射了第1颗斯波特-1(SPOT-1)卫星,这给美国遥感界带来了一些小的震动。几年后,“斯波特”卫星图像的销售额超过了“陆地卫星”。1988年印度发射了第1颗印度遥感卫星(IRS-1A),这时人们似乎面对这样一种事实:即遥感技术在不断增值,商业遥感市场在不可避免的产生。     

用广度优先搜索求割点和块的算法研究

本文在作者以前研究的基础上,进一步提出子树径和独立子树径的概念,深刻分析了在广度优先搜索下简单连通无向图的结构特征,并给出判断割点和块的准则,为设计用广度优先搜索寻找割点和块的有效算法提供了理论依据。     

雷达数字信息识别系统的理论研究

对雷达数字信息进行识别,识别率高达98.7%.对于摄取的图像通过选取阈值进行二值化,在第一次分割中从背景中提取数字图像信息,第二次分割采用统计投影直方图方法,把单个数字字符图像分割开,将图像大小规范化,提取轮廓,采用方向线素特征提取,通过欧式距离分类器方法进行识别.引入信度函数,对识别结果进行分析,提高了字符识别率.     

利用多齿分度盘测量角度块

角度块是一种精密的单值角度计量器具，在角度量值传递和生产中应用十分广泛，角度块的检定也是许多计量机构承担的工作。目前专门用于角度块检定的仪器一般在50～100万元左右，对很多单位来说，这是一笔不小的费用。利用多齿分度盘，加上自准直仪组成测角装置进行角度块检定，即经济又实用。     

扫描隧道显微镜对粘胶基碳纤维表面微观结构的研究

用扫描隧道显微镜（STM）对粘胶基碳纤维（RCF）表面的微观结构进行了研究，首次获得了原子级的RCF图像，对其原子间距作了精确地量化，并且尝试着将所得到的图像与高定向降解石墨（HOPG）相比较，以期对RCF的微观结构有更深入的了解，在原子级尺度上，发现了原子排列并不规则的石墨状结构，二维视图量化结果表明：相邻原子间距为0．142nm，最近六圆环中心的距离是0．253nm。     

自吸气脉冲爆震发动机超声速进气道气动性能的数值研究

采用有限体积法计算了某轴对称超声速进气道,在不同幅度和频率的出口扰动压强下的进气道内结尾正激波的运动情况,得出了进气道内结尾正激波运动特性和扰动压强的频率和幅度的关系。在计算中,本文采用了多块结构化网格,控制体积的界面无粘通量采用三阶迎风格式插值获得,同时采用了minmod通量限制器,以确保在激波处的解的物理特性;扩散通量采用二阶中心差分格式插值获得。定常计算采用当地时间步法,非定常计算采用双时间步法。离散的代数方程采用交替方向迭代法求解。     

不完整投影数据情况下的图像重建

给出了代数重建收敛准则和图像重建算法,重构出7幅图像,并对代数重建算法存在的问题进行了讨论和改进.     

微型飞行器的发展与展望——访西北工业大学长江学者宋笔锋教授

研制翼展小于0.15m的飞行器并不难,重要的是这种飞行器能完成特定的任务,如能够摄像,并将所拍摄的图像送回基地;还要具备一定的飞行性能,比如要能飞行几千米,要能躲避障碍物等。那么,究竟需要解决哪些问题?现在研究进展情况如何?微型飞机的前景会怎样?带着以上问题,记者专访了西北工业大学长江学者宋笔锋教授。