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

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

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

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

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

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

基于双目视觉的返回舱着陆横向速度测量

通过分析返回舱在着陆时所具有的水平速度也可能对着陆安全构成威胁的事实，论述了为返回舱增加横向缓冲装置的必要性，由此提出亟需解决的问题——在返回舱着陆下降过程中测量其水平运动速度。提出了全新概念的以视觉图像为唯一信息来源的返回舱水平速度测量方法，仅以双目摄像机系统作为传感器，避免了对返回舱原有传感器系统的改造。通过对着陆区域地面图像的采集和在线处理，利用双目交会测量原理得到返回舱当前的大地坐标和姿态。仿真实验证明，方法简单易行，测量结果可靠。     

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.     

基于XML的产品主模型技术研究

多学科设计优化方法是近年来发展的一种设计复杂系统的新方法。它充分考虑各个学科之间的相互影响和耦合作用,以获得系统的整体最优解。产品主模型技术是多学科设计优化的关键技术之一,能较好地解决应用模型之间的数据交换和通信。文章介绍了产品主模型的概念及其特点,对产品主模型技术及其实施过程进行了深入研究。回顾了可扩展标记语言的产生和发展历史,并对其特性进行了较详细介绍;研究了基于可扩展标记语言技术实现系统集成的技术路线;最后,提出了基于可扩展标记语言技术和产品主模型技术的卫星总体方案多学科设计优化集成框架。     

距离一速度同步拖引干扰的数字实现方法

距离-速度同步拖引干扰是对抗PD雷达的有效方法.讨论基于正交双通道DRFM的距离-速度同步拖引干扰的数字实现方法,设计了一种干扰控制器的FPGA实现方案,并给出两个核心模块(延时模块、移频模块)的具体设计.最后给出了仿真分析结果.     

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

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

自适应天线互耦影响研究

用等效网络法推导了考虑互耦影响时阵列的输出信号解析式和信噪比,仿真了不同阵元间距时,自适应直线阵的方向图和输出信噪比,得到了一些有用的结论。     

基于偏差信息的星载计算机系统负载平衡算法的研究

相邻结点负载平衡算法具有计算简单、额外开销小的优点。但由于采用局部的观点平衡负载，限制了结点信息得到的范围，使得系统在某种情况下达不到全局平衡，本文提出了基于偏差信息的星载计算机系统负载平衡算法，它改变了结点传递的实际负载信息，使修改后的负载信息能体现出结点及其周边结点的负载形势，以此弥补了相邻结点负载平衡算法的不足，并将其应用在星载计算机系统上，首先，介绍了相邻结点负载平衡算法及其存在的不足；其次，描述了基于偏差信息的星载计算机系统负载平衡算法，最后，通过仿真实验，给出了这种算法同其它几种负载平衡算法的比较，并证明了它的正确性与可行性。