图像序列中机动目标三维运动和结构的计算

综合视觉运动分析中的2类处理方法,选取图像中的角点作为特征点,在理论上证明了图像序列的光流场可以近似地用角点的位移场代替。利用已有文献中的建模思想,详细推导出递归计算机动目标三维运动和结构的非线性计算模型,采用广义卡尔曼滤波(EKF)递归地计算图像序列中机动目标的三维运动和结构。合成图像序列和真实图像序列实验结果表明该算法能取得较好的效果。     

Linear Complexity of New Generalized Cyclotomic Sequences of Length 2pq

The linear complexity and minimal polynomial of new generalized cyclotomic sequences of order two are investigated.A new generalized cyclotomic sequence Sof length 2pqis defined with an imbalance p+1.The results show that this sequence has high linear complexity.     

具有较大零相关窗补序列集的构造

为了降低甚至消除近似同步码分多址(Approximately-synchronized code-division multiple-access,AS-CDMA)系统的多径干扰和多址干扰(Multiple access interference,MAI),满足系统不断增大的用户容量需要,提出了零相关窗补序列集和零相关窗补序列集的构造方法。零相关窗补序列集比传统补序列集具有更多的序列数目,应用到通信系统中可以支持更多的通信用户。本文基于完美序列和行正交矩阵,构造了两类具有较大零相关窗补序列集:第一类是运用完美序列的自相关性质和行正交矩阵的正交性构造了一类最优的零相关窗补序列集;第二类以同样的方式,构造了一类几乎最优的零相关窗补序列集。     

部分破坏拆卸模式下拆卸规划

为了对产品进行拆卸规划,基于装配有向图提出一种部分破坏性模式下的拆卸规划方法。通过装配有向图表达产品零部件间的装配关系,并在此基础上构建装配关系矩阵、装配连接矩阵和可达矩阵。由矩阵遍历和运算获得产品装配结构、装配深度等信息,并根据这些信息确定被破坏对象,最终完成部分破坏性拆卸模式下拆卸规划过程。将上述理论应用于摩擦驱动装置拆卸规划中,其结果验证了理论分析的有效性和正确性。     

基于脉冲样本图和Vague集的雷达辐射源识别

针对现有雷达信号特征描述方式很难有效地对复杂雷达辐射源进行描述和识别,提出一种基于脉冲样本图和Vague集的雷达辐射源识别新方法。该方法把雷达辐射源识别问题转换为Vague集的多属性决策问题,不仅能很好地解决雷达信号识别中的模糊问题,而且无需传统方法的特征提取过程,简化了处理环节。另外,基于脉冲样本图的雷达辐射源识别是利用有序的多个脉冲同时匹配识别,因此更可靠。计算机仿真表明该方法是有效可行的,为复杂雷达辐射源识别提供了一种新思路。     

基于Simulink的直接序列扩频通信系统的仿真

卫星通信系统测试扩频信号源需具备自检功能。文章利用MATLAB的可视化工具箱Simulink建立了直扩通信系统的仿真模型,为扩频信号源自检程序设计提供参考。采用滑动相关捕获算法、单△值非相干延迟锁定伪码跟踪环,实现了伪码同步。仿真结果表明,该系统可无误码地恢复发端原始信息。     

遥测伪周期时间序列子序列异常检测算法

针对现有异常检测算法用于伪周期时间序列异常序列检测时易造成误差累积,导致序列周期与特征值上显著差异的不足,文章以卫星遥测伪周期时序数据为对象,综合两种常规分段方法的优势,提出了最大周期窗宽内基于极值的模式子序列分段算法。在此基础上,给出了一种基于均序列动态生成模型的子序列异常检测方法（AnomalySubsequenceDetectionmethodbasedonOptimizedSequenceModel,ASD_OSM）,并采用2次四分位距准则（DoubleQuantilerangescriterion,2Q准则）设置距离检测门限阈值,将超出阈值的序列判定为异常序列。某航天器传感器遥测子序列异常检测试验结果表明,提出的检测方法能够有效减少漏判,提高卫星遥测伪周期数据异常序列检测的准确性。     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

基于黑盒测试环境的交会对接软件时序分析技术及应用

航天器空间交会对接难度大,GNC软件对任务的完成起到重要作用.由于交会对接控制软件功能复杂,时序要求严格,这对软件测试提出了很高的要求.基于黑盒测试环境,利用FPGA设计方法和时序分析技术,实现了对交会对接软件重要数据运行时序的捕获和对上下行信号相位关系的跟踪,完善了故障触发和上行注入手段.该测试环境在交会对接软件研制过程中起到重要作用.     

DS/FH混合扩频快速捕获技术的研究

在DSFFH混合扩频通信系统中,快速捕获是一个非常关键的技术。通过采用快速扫描和等待式相结合的方法用来实现跳频信号的快速捕获,利用神经网络技术实现直扩信号的快速捕获,通过这2种方式,就可实现DSFFH混合扩频的快速捕获。