一种基于Petri网模型的系统动态安全性分析方法

针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性.     

一种基于粒子滤波的水下地形匹配算法研究

引入了剩余重采样的概念,通过权值分类和剩余权值重采样两个步骤完成粒子的复制,提高了运算速度.使用三次样条插值的方法对深度数据进行插值,构建了湖泊水下数字高程模型.通过仿真证明了该算法的可行性,并分析了匹配误差与水下地形的关系.     

精密磨床主轴回转误差补偿技术的研究

本文在分析精密磨床主轴回转误差运动特点的基础上,提出了基于时序建模理论的随机运动误差补偿方案,并介绍了采用信号处理器TMS32010实现高速补偿控制的方法及初步实验结果。     

具有良好相关特性的码序列

扩频序列是扩频通信中最重要的部分。本文讨论了三类新型的代数型非线性扩频序列的生成方法,序列特性以及它们在扩频通信中的应用。     

GPS定位误差分析及建模

采用时间序列分析方法,根据大量的实测数据分析了ＧＰＳ定位误差的统计特征,建立了ＧＰＳ定位误差模型。     

物体表面的VX和HS的采样方法研究

叙述了物体表面的ＶＸ和ＨＳ（芥子气）的采样方法。对铲漆法、浸泡法、活性硅胶纸片吸附法和棉花球擦试法之间的相关性进行了探讨。其中,活性硅胶纸片吸附法是一种新的采样方法。     

超短波数据调制解调器的研究与实现

超短波数据通信在国内日趋发展,迫切需要专门用于超短波的数据调制解调器。本文将有线、短波数据通信的理论和方法有机地结合在一起,研究和设计了多速率的超短波数据modem 的方案,对系统的性能和关键技术作了分析,并给出了计算机模拟结果。     

Bent函数序列及其在扩频通信中的应用

Bent 函数序列有良好的相关特性,在扩频通信中有着广阔的应用前景。本文首先介绍了 Bent 函数序列及其在码分多址(CDMA)和跳频多址(FHMA)中的应用,然后推导了Bent 函数序列的产生电路,并举例说明了它们的产生和实现。     

GF(q)上多元多项式与钟控序列

本文讨论了有限域GF(q)(q=p~α,p≥2为素数,α≥1为正整数)上多元多项式与钟控序列的周期和线性复杂度的关系。当前馈函数g(x_1,x_2,…,x_n)∈GF(q)[x_1,x_2,…x_n]为一次多项式时,我们给出了钟控序列到达最大周期与线性复杂度的充要条件。