一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

子波变换在实验流体力学中的应用

介绍了子波分析的历史、基本知识以及在实验流体力学方面的应用。讨论了子波变换在客观辨识湍流边界层相干结构方面的应用。作者用子波变换的方法提出了确定湍流边界层相干结构挥发时间尺度的能量最大准则，提取了相干结构对应的速度信号波形。用于波变换研究了湍流边界层脉动速度信号的局部奇异性行为，发现相干结构发生处脉动速度信号的局部奇异性指数为负值。     

一种在线神经网络在补偿飞机模型不确定性误差中的应用

讨论了一种基于神经网络动态逆的直接自适应控制方法，并应用于超机动飞机的飞行控制中。基本控制律采用非线性动态逆方法进行设计，对由于模型不准确导致的逆误差采用单隐层神经网络进行在线补偿。仿真结果表明，神经网络通过补偿由于模型不准确引起的逆误差，弥补了非线性动态逆要求精确数学模型的缺点，提高了整个控制系统的鲁棒性，而且可以大大简化动态逆控制律的设计。     

星光折射航天器自主定轨方案比较

当星光透射大气发生折射时 ,用星光折射角精确地反映星光在大气中离地球表面的高度 ,并建立高度、航天器与地球的几何关系。通过对折射角进行观测 ,间接测得地平 ,从而改善了用地平仪直接测地平所造成的航天器自主导航精度低的不足。本文提出了几种利用星光折射的航天器自主定轨方案 ,并作了细致的仿真实验 ,对直接和间接两种测量地平方法以及几种星光折射自主定轨方案进行了分析比较。     

用弹性环加强的孔口应力分析的链杆法

关于用弹性环加强的孔口应力分析问题,本文给出了一个新的分析方法——链杆法。即假定环和板之间在孔口用链杆来联系,然后用力法求出链杆的约束力,进而可确定板的应力和环的内力。将本文结果和萨文的结果作了比较,两者基本一致,说明了链杆法的有效性。它的优点是直观、方便,计算较简单,适用面较广。     

利用地磁场测量的小卫星自主导航设计

地磁场矢量是卫星所在位置的函数 ,通过对地磁场的测量 ,即可实现对近地小卫星的自主导航。本文采用卡尔曼滤波技术设计了小卫星基于地磁场测量的导航方法 ,在采用地磁场模型时选取磁偶极子模型 ,以此使设计算法的计算量大大减少。最后利用数字仿真验证了系统性能。     

大型复合材料结构优化设计方法研究

建立了适合于大型复合材料结构的优化设计方法，该方法在复合材料结构有限元分析的基础上对复合材料结构进行优化设计。在建立有限元模型时应用了区域划分技术，然后对结构分两级进行优化：第一级是对结构的铺层角度进行优化。第二级对结构的铺层厚度进行优化。最后，以工字梁结构为例，进行了算法验证。     

Production of neutrons from interactions of GCR-like particles

In order to help assess the risk to astronauts due to the long-term exposure to the natural radiation environment in space, an understanding of how the primary radiation field is changed when passing through shielding and tissue materials must be obtained. One important aspect of the change in the primary radiation field after passing through shielding materials is the production of secondary particles from the breakup of the primary. Neutrons are an important component of the secondary particle field due to their relatively high biological weighting factors, and due to their relative abundance, especially behind thick shielding scenarios. Because of the complexity of the problem, the estimation of the risk from exposure to the secondary neutron field must be handled using calculational techniques. However, those calculations will need an extensive set of neutron cross section and thicktarget neutron yield data in order to make an accurate assessment of the risk. In this paper we briefly survey the existing neutron-production data sets that are applicable to the space radiation transport problem, and we point out how neutron production from protons is different than neutron production from heavy ions. We also make comparisons of one the heavy-ion data sets with Boltzmann-Uehling-Uhlenbeck (BUU) calculations.     

按降低轨迹灵敏度综合最优设计飞行控制系统

本文提出了一个按降低轨迹灵敏度综合最优设计飞行控制系统的方法。它能使系统具有满意的动态品质,同时对系统参数的变化及非线性产生的影响具有较强的鲁棒性。该设计方法具有通用性和程序化,系统实现简单。     

航天光学采样成像系统MTF的优化设计与MTFC

简要介绍了成像链、成像系统和遥感系统的概念；对像质和像质差异的表征和度量、成像系统性能的表征等予以说明；重点探讨航天光学采样成像系统MTF的优化设计与MTFC问题，并给出讨论结果。