论岛屿应急救援体系的构建

为全面提高海南省岛屿应急救援能力,有效防范和应对灾害事故和突发事件,保护人民生命财产安全,提出建立岛屿应急救援体系的思路,构建岛屿应急救援专业队伍和多种形式消防队伍有效联动的综合性应急救援力量体系。     

一种灵巧的多假目标干扰技术研究

相干假目标的产生是欺骗干扰的关键技术,针对现代雷达技术对干扰技术提出的更高要求,首先介绍了间歇转发干扰技术,然后从信号频谱分析入手,提出了利用频谱调制的办法产生大量相干假目标,并给出了结构框图及干扰信号形式.在此基础上,把间歇采样与频谱调制组合使用产生了一种新的干扰技术.通过仿真试验,并与间歇采样转发干扰技术比较,验证了新技术的可行性和优越性.     

YHFT-DX高性能DSP中Cache失效流水设计

YHFT-DX是国防科技大学自主研制的一款高性能DSP.以提升YHFI-DX的 Cache 性能为目标,研究了降低 Cache 失效延迟的优化策略,设计并实现了一种针对高频高性能DSP的一级数据Cache优化策略--失效流水.与传统优化策略相比,该策略将连续访问Cache的失效请求并进行流水化处理,使多个Cache失效延迟重叠,从而达到降低平均Cache失效代价的目的.将该策略应用到YHFT-DX芯片的一级数据Cache控制器的设计与优化中,使访问Cache失效引起的流水线停顿从8拍降为2拍,显著提升了系统性能.     

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

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

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

基于MADM的雷达辐射源威胁等级评定

雷达被喻为战场的千里眼,在现代战争中扮演着重要角色.随着军队信息化程度的不断提高,目标威胁程度判断也成为亟待解决的瓶颈问题.如何快速、高效和准确地判断出众多雷达的威胁程度,对于电子对抗行动乃至整个作战行动具有十分重要的意义.研究了对敌防空压制行动中,基于多属性决策(Multiple Attribute Decision Making,MADM)的雷达辐射源威胁等级评定方法,建立了数学模型,最后的实例说明了模型的实用性.     

坦克火控系统自动跟踪功能关键技术

结合现代军事发展,分析了现代坦克火控系统发展自动跟踪技术的必要性;根据我军现装备的坦克火控系统所具有的自动跟踪功能,分析了自动跟踪的相关技术,电视跟踪技术的原理,图像匹配法的涵义;系统介绍了电视跟踪中图像匹配法识别和跟踪目标,介绍了目标自动跟踪系统对目标识别和判定的一种具体方法.     

防空导弹杀伤概率评估方法研究

根据防空导弹主要打击对象的共同特点假定一个目标 ,通过分析战斗部爆炸后产生的有效破片、破片覆盖面、破片总数和平均面密度 ,应用simulink绘出了防空导弹杀伤概率仿真曲线。     

虚拟再制造研究的体系框架

再制造工程是人类社会可持续发展战略的重要保证,虚拟再制造是提高再制造工程效益的重要内容。为了进一步开展广泛而深入地研究,首先需要明确其主要基础理论及重要研究内容。现根据虚拟再制造的显著特点,参考虚拟制造的研究内容,探讨建立了虚拟再制造研究的体系框架。     

分布式多目标跟踪中的数据融合问题——一种新的相容性准则及融合过程分析

用一个新观点讨论了利用分布式传感器网络进行多目标跟踪中出现的信息融合问题。对航迹相容性和假设相容性的判别问题 ,从一个新的观点 ,即“无矛盾原则”出发 ,给出了完整的与前人不同的航迹和假设相容性的判别条件。同时对航迹的融合过程和假设的融合过程做了详细的分析 ,证实两个假设相融合得到多个全局假设是合情合理的