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

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

提高航天传输型CCD相机地面像元分辨率方法研究

文章首先对空间传输型遥感相机提高像元分辨率的几种常规和非常规方法做了简介,在分析这些方法的优缺点以及以采样定理为依据分析我国现有CCD相机光学截止频率和CCD采样频率存在的矛盾的基础上探讨了高模式采样技术和超模式采样技术,经过比较这两种采样模式,认为超模式采样技术更具有工程可行性和优越性。然后对超模式采样计算机图像仿真结果进行了分析。     

激波在狭缝中绕射过程研究

针对固体火箭发动机药柱存在裂纹的情况，对运动激波在狭缝中绕射传播的非定常流场进行了计算，得到了清晰的流场变化图谱，从流场图中可分辨出激波在狭缝中的传播过程。对不同深宽比的狭缝进行研究，发现流场结构存在明显差别，在深宽比较小时狭缝内压力波振荡较小，当深宽比超过一定值时狭缝内的压力波产生剧烈振荡。研究结果表明，该方法可很好地描述激波在狭缝中的传播过程。     

基于RBF网络的惯导系统初始对准

建立了惯导系统（ＩＮＳ）初始对准的线性和非线性误差模型。分析了径向基函数（ＲＢＦ）网络的结构和工作原理。研究了ＲＢＦ网代替初始对准中的卡尔曼滤波器的实现方法。通过仿真表明，用神经网络进行初始对准，既可获得与卡尔曼滤波相同的对准精度，又提高了系统的实时性。     

VentureStar… reaping the benefits of the X-33 program

Major X-33 flight hardware has been delivered, and assembly of the vehicle is well underway in anticipation of its flight test program commencing in the summer of 1999. Attention has now turned to the operational VentureStar^TM, the first single-stage-to-orbit (SSTO) reusable launch vehicle. Activities are grouped under two broad categories: (1) vehicle development and (2) market/business planning, each of which is discussed. The mission concept is presented for direct payload delivery to the International Space Station and to low Earth orbit, as well as payload delivery with an upper stage to Geosynchronous Transfer Orbit (GTO) and other high energy orbits. System requirements include flight segment and ground segment. Vehicle system sizing and design status is provided including the application of X-33 traceability and lessons learned. Technology applications to the VentureStar^TM are described including the structure, propellant tanks, thermal protection system, aerodynamics, subsystems, payload bay and propulsion. Developing a market driven low cost launch services system for the 21st Century requires traditional and non-traditional ways of being able to forecast the evolution of the potential market. The challenge is balancing both the technical and financial assumptions of the market. This involves the need to provide a capability to meet market segments that in some cases are very speculative, while at the same time providing the financial community with a credible revenue stream. Furthermore, the market derived requirements need to be assessed so as not to impose unnecessary requirements on the vehicle design that add unreasonable cost to the development of the system, yet provides the right capabilities for new markets that could be triggered by dramatically lower space transportation prices.     

多普勒雷达导引头信号处理技术

概述防空导弹多普勒雷达导引头信号的基本形式、主要特点、检测原理及其滤波系统；介绍了多普勒雷达导引头信号处理的一些常用技术。     

通用仪器CAT可视软件开发平台

通用仪器CAT可视软件开发平台(以下简称"CAT"平台),是在深入研究各个校准实验室日常计量检测工作普遍规律的基础上,设计出的一套辅助实验室软件开发与应用的通用工具,可以完成检测软件开发与应用、证书编辑与生成、实验室信息管理等工作,全面提高校准实验室检定测试的技术与管理水平.     

离散事件动态系统的GSMP模型及扰动分析

对离散事件动态系统（ＤＥＤＳ）的仿真过程建立了包含中断事件集和驱动事件集的广义半马尔可夫过程（ＧＳＭＰ）模型，对参数的无穷小扰动所引起的系统状态转移时刻进行了扰动分析，最后，讨论了扰动分析所需要的可变换条件和样本性能函数的关系，并提出值得进一步研究的问题。     

实时曲面纹理及其光照效果的生成

依据两步映射法和体纹理的思想，将曲面纹理的映射过程分为非实时映射和实时查询两个部分，提出一种能实时显示曲面纹理的方法及相应的抗混叠措施，最后，结合一种快速浓淡算法，为曲面纹理叠加光照效果，生成了很逼真的图象。     

基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。