简介：运动平台相控阵卫星跟踪系统是一种高速运动目标实时跟踪系统,测角算法为系统的关键技术之一。结合相控阵卫星跟踪系统方案,重点研究了适用于相控阵卫星跟踪系统的测角算法,在单脉冲测角理论的基础上进行研究和改进,提出了一种基于子阵划分的互相关角度测量方法。该方法能有效地提高输出信号信噪比,并具有运算量小、测角精度高、适宜工程实现等特点,较好地解决了卫星跟踪系统中角度测量的工程需求问题。数值仿真分析了影响测角精度的若干因素,验证了算法的有效性。最后给出了保障测角精度的措施。

简介：基于相关滤波的视频目标跟踪算法近年来在不同的标准数据集和目标跟踪竞赛上均取得显著成果.较全面总结了相关滤波视频目标跟踪算法的发展过程和改进算法,分别从样本构建、优化设计和更新方法等方面整理分析了上述算法.同时,桄理和分析了上述算法存在的难点问题,并展望了其进一步的发展.

简介：针对海面密集目标跟踪时数据关联难度大且跟踪精度不高的问题,提出了一种基于船载自动识别系统（AIS）信息的雷达航迹融合方法。首先,根据AIS测量值和雷达的测量噪声等级确定融合系数,保证融合数据的合理性;然后,使用融合后的航迹对雷达测量值作双波门的数据关联处理,优化数据关联方法,提高源于目标测量值的置信度,降低虚警和杂波的影响,进一步提高航迹的稳健性和跟踪精度;最后通过仿真和实测数据证明了所提方法的有效性和优越性。

简介：为了解决电信核心网设备健康检查项目中的工期确定问题,首先对该类检查项目进行工作任务分解并结合检查过程分析各项任务之间的逻辑关系,然后应用能够描述局部不确定和全局不确定的BBA函数提取各个专家对项目工作任务工期的推断信息,在此基础上基于证据理论中的Dempster合成规则对所有专家给出的推断信息进行融合,并应用Pignistic概率实现融合结果向概率的转换,最后利用网络计划技术中的关键路径方法确定电信核心网设备健康检查项目的工期。案例模拟分析演示了本文方法的具体操作过程,说明本文方法具有应用可行性。

简介：为了减少复杂设计中可能的亚稳态风险，不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理，却无法检查处理得是否合理，而静态Formal验证技术采用数学穷举的方法，利用断言对设计中的同步器进行快速验证，确保数据的可靠传输，有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查，并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性，可极大地提高复杂设计的验证效率和鲁棒性。