机动目标一维距离像RAT法线性化补偿

研究了机动目标宽带线性调频脉冲回波全去斜率信号模型,根据速度和加速度的调频频谱展宽特点,提出了机动目标宽带一维距离像线性化调频回波模型,给出了Radon模糊图转换(RAT)法线性参数估计与运动补偿方法,并进一步分析了测速和测距误差.仿真实验验证了RAT法一维距离像线性化参数估计与补偿,表明该方法很好地解决了运动参数未知情况下机动目标的一维距离像频谱展宽问题.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于改进积累方式的Hough变换和最小方差航迹起始方法

主要研究杂波密集环境下多目标航迹起始问题,提出一种改进Hough变换和最小方差准则相结合的航迹起始方法.首先针对航迹起始中量测信息的时间特性,提出一种改进的积累单元积累方式,该方法较以前的二值积累方式能更有效地去除杂波,尤其能够去除构成虚假航迹的杂波.然后,再采用最小方差准则对Hough变换之后的航迹进行分析,得出正确的航迹.仿真结果表明,提出的航迹起始方法效果好、所用时间短,尤其适合杂波密集环境下的快速航迹起始.     

浅析国家审计免疫系统论

“国家审计免疫系统论”是新时期从战略的高度对审计本质所作出的精辟、简洁、鲜明的表述,体现了时代精神,揭示了中国审计的根本性质就是保护与防御。这一理论具有创新精神,它把审计上升到了国家安全的高度,其目的是为国家“强身健体”。正确认识“审计免疫系统论”的内涵、本质、功能,对于指导我国审计理论和审计工作发展具有重要的理论意义和实践意义。     

有向无环图决策支持向量机和经验模式分解在轴承故障诊断中的应用

当旋转机械发生故障时,其振动信号常常表现出较为复杂的调制形式,经验模式分解能根据信号的真实物理意义完成自适应分解。支持向量机由于其出色的学习性能和良好的推广能力,使其在包括故障诊断在内的众多领域得到较为广泛的应用。利用经验模式分解结果提取频带能量特征向量,采用有向无环图决策支持向量机实现对轴承状态的判别,并基于留一法优化支持向量机的模型参数。最终的应用结果表明,基于EMD和有向无环图决策支持向量机方法可以有效实现对轴承的状态判别。     

复杂系统使用保障测试性设计方法初探--故障设备影响分析及其应用

分析了复杂系统使用保障测试性设计方法的技术背景,系统战备状态的含义、重要性和描述方法;重点探讨了系统设备级(初始约定层次)故障设备对系统分系统战备状态影响进行分析的有效方法。并以某防空导弹武器系统为例,介绍如何利用功能分析法具体解决复杂系统使用保障测试的可测性、可控制性和可观察性等工程化设计问题。推荐一组实用的系统/分系统战备状态(正常/降级/故障)判定逻辑运算数学模型和基层级综合保障(使用保障+维修保障)计划流程图。     

“迷狂式”构思状态及成因管窥

具有强烈的思想感情和丰富的想象,是中西方诗歌的共同特点。但由于中西方历史和文化背景等方面的不同,中西方诗歌在许多方面存在差异,中西方诗人构思时的情绪状态也有差异。中国有“虚静说”,西方有“迷狂说”。西方诗人的“迷狂式”构思状态亦有其产生的原因。     

管道导波无损检测回波信号处理方法研究

简述了导波在管道中传播的频散特性,给出了管道导波无损检测实验信号特征.对管道导波检测的回波信号首先进行Hilbert变换,然后对变换后的信号分别进行加窗函数滤波和小波变换,处理后的缺陷信号明显易于辨别.经过分析比较,结果表明了这两种组合方法用于管道导波无损检测信号处理的效果基本一样,在实际检测应用中,选取其中任一组合方法都是可行的.     

石英角速率传感器数字相关检测技术研究

为提高石英角速率传感器(QRS)的测量性能,提出了基于数字相关检测技术的QRS信号解调方案。该方案需将一组互相正交的参考信号作为两个相关器的输入,能够同时分离出QRS敏感信号相对于参考信号的同相分量和正交分量。通过角速度提取算法可由以上分量进一步得到输入角速度。分析了实现参考通道功能的两种方法:锁相环(PLL)和Hilbert变换,通过对这两种方法的对比得知,PLL更适合作为QRS相关检测的参考通道。     

基于敏感性分析和准稳态假设简化详细反应机理

发展了一套基于敏感性分析和准稳态假设来简化复杂化学动力学机理系统的方法。采用等压均相反应器燃烧模型和详细化学动力学机理计算特定工况下的自燃过程。通过对详细机理计算结果的敏感性分析后删除其中的冗余组分和冗余反应,简化得到基干反应模型。再找出基干机理中反应速率较快,浓度较低的组分假定为稳态组分,使用准稳态假设方法简化得到总包反应模型。最后以甲烷燃烧的GriMech1.2详细机理为例分析得到了简化机理并计算了着火延迟时间,与详细机理所得的结果进行比较验证,得到了较好的结果。