卫星交会的自主导航技术

论述卫星交会自主导航的飞行任务背景和概念 ,综述国内外学者正在进行探索研究的思路 ,以期引起国内学者的的注意、探讨和深入研究。     

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

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

开放式飞行任务规划方法

本文给出了一种基于分布式黑板结构的开放式飞行任务规划方法，简要叙述了飞行器飞行任务规划的概念和其独特要求，并对飞行任务规划的数据预处理、知识表达、规划方法作了深入的探讨。最后介绍了分布式黑板的结构和运行方式。     

液体远地点发动机工作期间卫星姿态的自适应控制

本文将全系数自适应控制方法用于带有液体晃动和挠性太阳帆板的三轴稳定地球同步轨道卫星在远地点发动机工作期间的姿态自适应控制。仿真结果表明,用全系数自适应控制方法设计的控制器,其动态性能好,对参数变化的适应性强,抗干扰能力强,鲁棒性好,性能指标完全满足设计要求。     

一种求解涡轮平面叶栅的跨音松驰法

一、引　　言跨音松驰法是七十年代初发展的一种新方法。文献 [1 ]是一篇关于跨音松驰法的奠基性文章 ,文章提出了求解小扰动势方程的混合差分格式。文献 [2 ]发展了求解全位势方程的旋转混合差分格式。近年来 ,求解跨音全位势方程的方法有了更全面的发展 [4、5]。作者于 80年发展了一种求解大弯度二维叶栅的跨音松驰法[3] 。本文将该法推广到求解涡轮平面叶栅跨音带激波流场 ,直接求解全位势方程 ,进一步提高边界区差分格式的精度 ,并注意初场的给法。本法具有节约机时和内存的优点。数值算例表明 ,对于头部不大的涡轮平面叶栅 ,应用本方法…     

DA4169合金高温疲劳裂纹扩展速率

实验研究了直接时效ＤＡ４１６９合金５５０℃、６５０℃下的疲劳裂纹扩展行为，并进行了带上峰值保持时间的试验。结果表明：连续循环的ｄａ／ｄＮ值基本上与普通４１６９的相当，但在６５０℃下略优；６５０℃带上峰值保时１５ｓ的ｄａ／ｄＮ值比连续循环的大大加速。     

细长体分离起始点的实验研究

本文实验研究了细长体模型在中等迎角下的初始分离问题。观察了不同头部形状的细长体在不同迎角下的分离流态。考察并分析了分离起始点的性质。观察到开式分离的存在,实验结果分析认为开式分离可以起始于正常点。此外,在钝头和尖头模型上都出现了螺旋点形式的头部涡。它们或是闭式分离的起始点,或是奇点型开式分离的起始点。     

Detection of small objects in clutter using a GA-RBF neural network

Detection of small objects in a radar or satellite image is an important problem with many applications. Due to a recent discovery that sea clutter, the electromagnetic wave backscatter from a sea surface, is chaotic rather than purely random, computational intelligence techniques such as neural networks have been applied to reconstruct the chaotic dynamic of sea clutter. The reconstructed sea clutter dynamical system which usually takes the form of a nonlinear predictor does not only provide a model of the sea scattering phenomenon, but it can also be used to detect the existence of small targets such as fishing boats and small fragments of icebergs by observing abrupt changes in the prediction error. We applied a genetic algorithm (GA) to obtain an optimal reconstruction of sea clutter dynamic based on a radial basis function (RBF) neural network. This GA-RBF uses a hybrid approach that employes a GA to search for the optimum values of the following RBF parameters: centers, variance, and number of hidden nodes, and uses the least square method to determine the weights. It is shown here that if the functional form of an unknown nonlinear dynamical system can be represented exactly using an RBF net (i.e., no approximation error), this GA-RBF approach can reconstruct the exact dynamic from its time series measurements. In addition to the improved accuracy in modeling sea clutter dynamic, the GA-RBF is also shown to enhance the detectability of small objects embedded in the sea. Using real-life radar data that are collected in the east coast of Canada by two different radar systems: a ground-based radar and a satellite equipped with synthetic aperture radar (SAR), we show that the GA-RBF network is a reliable detector for small surface targets in various sea conditions and is practical for real-life search and rescue, navigation, and surveillance applications     

变速恒频电源系统的数字仿真研究

建立了脉宽调制型交直交变速恒频电源系统的数学模型，研制了仿真软件，并给出了仿真实例。研究表明，本文的方法和软件可以进行变速恒频电源系统部件级和系统级的仿真分析，为设计和分析该系统提供了有力的工具。文中的方法和软件也可以用于分析恒速恒频和高压直流电源系统，为开发一套完整的飞机电源系统仿真软件奠定了基础。     

点焊质量模糊控制系统研究

简要介绍了电阻点焊单片机微机模糊控制原理，确定了点焊模糊控制算法，分析了点焊模糊控制系统的硬件结构和软件设计。实验结果表明，该控制系统能够有效实现点焊质量的模糊控制，具有较强的自适应特性，可用于电阻焊智能制造。