参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

通信侦察中基于神经网络的伪码序列估计

针对直接序列扩频通信信号伪噪声(PN)码的干扰侦察问题,在已知信号伪码参数的前提下对直扩信号进行特征分析,用基于变步长的PCA神经网络方法来实现伪码序列的盲估计。该方法利用基于Hebb学习规则的无监督多主分量神经网络,结合自适应变步长学习算法,在估计在线特征值的基础上来控制步长的变化,以使神经网络最终达到较好的稳态收敛。理论分析和仿真结果表明,本方法能在较低信噪比的情况下对较长伪码进行准确的估计。     

理论创新的科学指南——学习江泽民关于理论创新思想的体会

十三届四中全会以来,以江泽民同志为核心的第三代中央领导集体,带领全党在全面推进中国特色社会主义伟大事业的历史进程中,坚持理论创新,对全国亿万人民群众建设中国特色社会主义的伟大实践不断作出新的理论概括,特别是提出“三个代表”的重要思想,进一步丰富和发展了马列主义、毛泽东思想和邓小平理论。     

射击精度的序贯检验评定方法

在分析传统T检验法不足的基础上,提出采用序贯比值检验方法评定射击精度,能有效减少试验次数,缩短试验时间.并对序贯比值检验中两个常值的取值问题进行了深入的研究,最后给出了确定常值的具体方法并进行了方案设计举例,供有关人员参考.     

软件装备检验技术研究

本文就软件装备检验技术的定义、组成、过程和对象提出了一些看法,针对软件测试的目的和原则提出了建议。     

MSPWVD-HOUGH变换的多目标分辨和雷达回波参数估计

传统的时频分析方法,如Winger Ville Distribution,smoothed pseudo Wigner-Ville distribution等在多目标分辨的时候,无法同时在时频分辨率和抑制交叉项两方面同时达到较好的效果,所提出的MSPWVD解决了这一问题,MSPWVDHOUGH还可在低信噪比的情况下检测出多目标,并估算其参数,可利用来进行雷达成像的运动补偿.     

揭开经得起实践检验的奥秘——解读广东省湛江军分区党委提高科学决策水平的几个关键词

党委班子实现科学决策的抓手在哪里?广东省湛江军分区党委"一班人"把学习实践科学发展观与党委班子决策实践相结合,提高科学决策水平,决策效能经受住了实践检验。     

基于纯方位量测的三维运动目标可观测性研究

通过建立纯方位量测系统的状态方程和测量方程,利用伪线性化方法,将非线性测量方程转换成线性形式,再利用奇异矩阵的性质,获得一种基于可观测性定义和特征值分解法相结合的定量确定纯方位量测系统可观测性的方法,得出可观测的充要条件.此项成果对于分析运动目标跟踪的机动策略具有重要意义,可推广到对多种运动目标的三维被动跟踪研究中.     

Hilbert空间中Lipschitz拟伪压缩映像公共不动点的杂交投影算法

给出了Hilbert空间中Lipschitz拟伪压缩映像族公共不动点的一个投影算法,并利用所给出的算法证明了一个强收敛定理,扩展了参考文献[1]的结果。     

步进加速退化试验及其在电子产品可靠性评估中的应用

为快速评估具有高可靠、长寿命特点的电子产品的可靠性,提出了使用步进加速退化试验技术的方法。文中首先给出了步进加速退化的试验方法及基本假设,然后给出了步进退化数据向恒加退化数据的折算方法,在此基础上提出了基于伪失效寿命的步进加速退化可靠性评估算法,最后利用试验数据对该方法进行了验证。该方法与恒加退化试验相比,在保持样本量不变的基础上,可以极大地缩短试验时间,因此,具有更高的效费比。