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

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

基于RBF神经网络和M距离的卫星故障诊断

在常规基于解析冗余故障诊断技术的基础上,采用具有最佳模拟特性的RBF神经网络对系统进行建模,分析了M距离应用于卫星姿态控制系统故障检测与定位的可行性,应用基于M距离的方法设计故障检测观测器,通过对残差的评估实现故障诊断。仿真结果显示,该方法计算过程简单、实时性好。     

空间光学系统中内部构件热辐射引起的谱段杂散辐射

对空间光学系统中由于内部构件热辐射而引起谱段杂散辐射,建立了谱段辐射物理模型和采用蒙特卡罗方法计算的有关概率模型及计算方法。编制了较通用的分析软件,并针对某一空间光学系统进行了计算,通过分析计算结果得到一些有益的结论。     

某军用重型越野车检验验收工作探讨

军用重型越野车是一类特殊的产品。说它特殊，主要是因为两个原因，一是这类产品是运输载体，没有这样的载体，武器装备的战斗性能不可能得到充分发挥；二是这类产品反复使用，安全性、维修性、保障性的要求很高。基于上述两点，介绍了某军用重型越野车整车检验验收内容及方法，分析了检验验收工作中存在的问题，提出改进检验验收工作的建议和意见．以供参者。     

方同轴线的特性分析

利用保角变换，分析并计算了方同轴线的特性阻抗和传输损耗。研究的结果表明，方同轴线的特性阻抗和传输损耗与内外导体尺寸以及间距的关系较大，内导体相对较大且间距越小，特性阻抗就越小。该结果为合理选择方同轴线的尺寸结构提供了参考。     

纤维缠绕复合材料层间质量声-超声无损评价

叙述了用声－超声进行复合材料危害性缺陷无损评价的研究，认为，声－超声信号在试样厚度上产生纵不皮共振，使得频谱能量集中在某些频率点附近，而声波又以切波的形式由发射换能器传向接收换能器，可用声－超声谱峰的位置来无损评价纤维缠绕增强型复合材料的层间结合质量。实验结果表明这一参量对纤维增强型合材料中的分层或紧贴型分层比较灵敏。     

衬层—推进剂界面脱粘的超声谐振检验技术综述

利用一维四分之一波长谐振原理改进的扫描频率超声探伤(SFUI)方法成功地对固体发动机衬层和推进剂之间界面脱粘进行了检验,并已用于对H—Ⅰ火箭上面级及对模拟的H—Ⅱ火箭助推级的生产过程和实验现场检验。     

PCM/DQPSK遥测信号解调时位同步的软件实现研究

根据 PCM/ DQPSK信号的特点 ,提出一种新的实现位同步的算法。通过使用最小均方估计算法 (LMS) ,计算滑动窗内数据估计误差绝对值累加和的方法 ,搜索相位跳变点 ,实现位同步。同时给出一种简捷修正相位跳变点的方法 ,在每次解调前修正相位跳变点的位置 ,保证解调结果的正确性。     

基于卡尔曼滤波的目标机动判别研究

在对目标方位序列进行卡尔曼滤波的基础上,利用滤波残差的分布特性,对其进行假设检验,可以据此判断方位序列是否发生显著变化,由此判断目标是否机动.为了说明这种方法的有效性,文中给出了一个实例.     

建立航空发动机状态空间模型的修正方法

以阶跃输入响应进行模型的检验，提出了状态空间模型的修正方法：基于动态响应较好的状态空间模型，进行其矩阵B，D，F，G的修正，获得基于稳态修正的模型，解决了航空发动机状态空间模型检验与修正的问题。仿真表明，使用该方法修正的状态空间模型具有与原非线性数学模型完全一致的稳态响应和基本一致的动态过程响应。这种方法为航空发动机多变量数字电子控制器的设计奠定了强有力的基础。