基于PETRI网的导弹控制系统故障诊断梯形图求解法

故障诊断是保证航空航天等大型复杂系统可靠性的重要措施，故障树为此提供了一种有效的方法，但故障树是一种系统静态行为的描述方法，如何描述系统状态的动态变迁过程成为人们追求的目标，本文在论述逻辑关系的PETRI网表示的基础上，提出了系统状态动态变迁过程的PETRI网模型梯形图求解算法，进而提出了基于PERTI网的故障诊断的梯形图求解方法，并用一实例说明了这一过程。     

光学中心偏测量仪软件研制

文章介绍了北京空间机电研究所自行研制的光学中心偏测量仪的软件设计思路、工作原理 ,并对一些关键技术进行了讨论。     

紧凑热交换器优化设计

对各种传热表面的板翅式紧凑热交换器进行了优化设计计算，建立了通用优化程序系统。此程序既适用于一般地面热交换器，也适用于飞机空调中的热交换器。与传统的设计计算相比较，优化设计的效果很好。热交换优化后，肋片的形状变得更加合理，芯体传热表面更加紧。通过各种肋片的计算得出，条状肋片为板翅式肋片中的最佳者。     

数字地形数据的二维三次卷积插值

由于数字地形数据库是以网格的形式给出网格点上的地形高度信息，在低空突防轨迹优化过程中，往往需要非网格蹼地形的高度信息和地形曲面的导数，这些都是离散的地形数据库所无法提供的。对二维的地形数据进行插值是解决问题的有效手段。本文提出一种二维离散数据的插值方法－－二维三次卷积插值。该插值函数是地形曲面的三次逼近，具有连续的三阶导数，可以非常好地满足低空突防轨迹优化的需要。仿真结果表明，它具有比双线性插值和     

发动机数控系统含实物电子仿真

发动机数控系统含实物电子仿真是用真实的数字控制器与发动机实时数学模型构成闭环仿真系统，控制器接口所需要的各种传感器信号及机械液压供油装置和喷口控制装置由电子模模拟，从而为数字控制器提供基本运行环境。本文研究了发动机数控系控制规律和控制逻辑，，检测了数字控制器软件硬件的工作性能，表明含实物电子仿真试验具有试验成本低，风险小等特点，是发动机数字控制器研制过程中一个重要环节。     

中值滤波的快速算法

提出了一种中滤波的快速算法，充分地利用相邻两次中值滤波窗口内数据的相关性。在运算过程中，通过对有序序列快速的对半查代和内插操作重构有序序列，从而得到各中值。本算法很大地提高了运算效率，计算机模拟表明该方法是有效的。     

定数截尾试验下双参数指数寿命分布尺度参数的EB估计

本文讨论了在无替换定效截尾试验方案下,当产品寿命为双参数指数分布时,尺度参数(失效率)久的经验Bayes(简记EB)估计问题及其收敛速度。设在给定λ,μ下,产品寿命T服从双参数指数分布,其概率密度为 受试产品有n个,试验中前r个产品依次出现的失效时间为t_(1)≤t_(2)≤……≤t_(r)。令 则(x,y)为(μ,λ)的充分统计量。记(x,y)的联合边缘密度为f(x,y),若取二次损失函数,则λ的Bayes点估计为 利用密度函数及其偏导数的核估计,构造出λ的EB估计为 φ_(1n)(x,y)与φ_(1m)(x,y)的Bayes风险分别为 在一定的正则性条件下,我们证明了 这表明,λ的EB估计的收敛速度q可任意接近于1/2。     

自由浮动空间机械臂的最优控制

自由浮动空间机械臂所满足的动量矩守恒方程是一个非完整约束条件。首先把铰关节角速度作为输入，建立起系统的状态方程。然后把输入表示成待定系数的Ｆｏｕｒｉｅｒ 基组合，从而将最优控制转化为对代数问题的求解。最后用非线性最小二乘法迭代求出同时使载体和铰关节达到预定位形，而且使输入能量最小的最优控制。仿真算例说明，本文的方法是有效的。     

一种新的空时码构造方法

空时编码调制是一种充分利用分集特性克服信道衰落的一种编码调制方式。文中提出一种构建空时码的新方法 ,可以通过计算机搜索获得最优空时码 ,并给出一种基于最优距离卷积码的构造方法。采用文中所提出的空时码 ,可以获得空间、时间分集增益并取得最大码增益。仿真结果表明 ,其性能比以往文献中提到的空时码有明显提高。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。