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

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

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

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

How we will go to Mars

This article studies the efficiency of ejecting waste generated by the life support system (LSS) of a manned spacecraft to reduce initial mass on low earth orbit. The spacecraft is used for a long-duration interplanetary mission and is equipped with either a chemical or a nuclear-thermal propulsion system. For this study we simulate an optimal control problem for a given spacecraft maneuver. An impulsive approximation of the optimal interplanetary spacecraft trajectory is assumed, which allows us to reduce the general optimal control problem to hierarchic structure of 'outer' and 'inner' subproblems. This structure is analyzed using the Pontryagin's Maximum principle. Numerical results, illustrating the efficiency of waste ejection are shown for typical Earth-Mars transfer trajectories. This results confirm in theory that using a waste ejection system makes an early manned Mars mission possible without having to design and build new, advanced biological LSS.     

The development of a Russian communication satellite of small class, operating in the geostationary and high-elliptical orbits

In 1994–1995 Lavochkin Association (Russia) together with the other enterprises in accordance with technical requirements of the Russian Space agency, developed a new Russian communication satellite of a small class that will operate in both the geostationary (GSO) and high-elliptical (HEO) orbits. This satellite may be injected into operational orbits using a SOYUZ-2 launch vehicle (LV) and a FREGAT upper stage (US) from Plesetsk and Baykonur space launch sites (SLS).The main reason for creating such a satellite was to decrease the cost of the support and development of the Russian communication geostationary satellites group.Russian satellites Horizont, Express, Ekran and Gals, which operate in GSO, are the basis of the space segment for communications, radio and TV broadcasting. All of these satellites are injected into GSO by the PROTON LV. PROTON is a launch vehicle of a heavy class. The use of a middle class LV instead of a heavy class will allow to reduce considerably the launch cost. The change of a heavy class LV to a LV of middle class determined one economic reason for this project. Besides, the opportunity to launch S/C into GSO from Russian Plesetsk SLS increases the independence of Russia in the domain of space communications, despite the presence of the contract with Kazachstan about the rent of Baykonur SLS. Finally, use of small satellites with a rather small number of transponders is more effective than the use of big satellites. It will allow also to increase a satellite group (by the launch of additional satellites) precisely in accordance to the development of the ground segment.     

复合材料壳体与喷管的卡环连接结构研究

较详细地对复合材料壳体与喷管卡环连接结构进行了有限元应力,应变分析,对卡环,接头及倒锥等多体接触问题进行研究;对“Ｉ”型及“Ｌ”型卡环结构分别进行了计算和比较,并给出计算结果及结果分析。     

The development of a Russian communication satellite of small class, operating in the geostationary and high-elliptical orbits

In 1994-1995 Lavochkin Association (Russia) together with the other enterprises in accordance with technical requirements of the Russian Space agency, developed a new Russian communication satellite of a small class that will operate in both the geostationary (GSO) and high-elliptical (HEO) orbits. This satellite may be injected into operational orbits using a SOYUZ-2 launch vehicle (LV) and a FREGAT upper stage (US) from Plesetsk and Baykonur space launch sites (SLS).The main reason for creating such a satellite was to decrease the cost of the support and development of the Russian communication geostationary satellites group.Russian satellites Horizont, Express, Ekran and Gals, which operate in GSO, are the basis of the space segment for communications, radio and TV broadcasting. All of these satellites are injected into GSO by the PROTON LV. PROTON is a launch vehicle of a heavy class. The use of a middle class LV instead of a heavy class will allow to reduce considerably the launch cost. The change of a heavy class LV to a LV of middle class determined one economic reason for this project. Besides, the opportunity to launch S/C into GSO from Russian Plesetsk SLS increases the independence of Russia in the domain of space communications, despite the presence of the contract with Kazachstan about the rent of Baykonur SLS. Finally, use of small satellites with a rather small number of transponders is more effective than the use of big satellites. It will allow also to increase a satellite group (by the launch of additional satellites) precisely in accordance to the development of the ground segment.     

劳（Lao）喷管扩张段优化设计的数值方法研究

本文建立了火箭发动机喷管扩张段优化设计（Lao喷管）的型面曲线近似作图法的数学模型，将作图法转化为等价的优化问题，并给出了优化问题解的迭代方法，最后采用泛函网络的方法对离散的数值解进行了曲线拟合，以便于数控加工的编程。     

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

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

智能天线结构模糊自适应变形控制实验研究

基于dSPACE半物理仿真系统和所研制的压电作动器,设计并构建了智能天线结构实验平台,进行了结构变形控制实验研究。实验中采用常规PID作为基本控制方法,并在此基础上设计了一种模糊自适应PID控制器,将两种方法对应的不同控制效果进行了对比。结果表明:在所给的实验条件下,基于压电材料可实现对智能天线结构变形的控制,作动器控制变形量最大可达166μm;两种控制方法均可对结构变形进行控制,模糊自适应方法的绝对位置控制精度达到±0.5μm;应用模糊自适应PID控制方法对结构进行变形控制,较之常规PID控制方法能够降低系统响应的超调量,缩短稳定时间,提高控制精度,得到更好的控制过程。     

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

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