测试用例自动生成的链方法研究与实现

介绍了一种测试用例自动生成的链方法,这是一种较新的测试技术,结合插装技术及目际跟踪方法,能有效生成测试用例,从而提高了测试效率.     

一种新的对潜应召搜索法及其效能分析

论述了一种新的对潜应召搜索法 ,并对其效能进行了分析 ,同时就平均发现概率、搜索时间、转向次数三个指标与海军现在使用的扩展方阵搜索法进行了仿真比较     

“超级山猫”直升机

威斯特兰公司制造的“超级山猫”式直升机是一种杰出的对地面攻击作战平台和性能优良的火箭发射器,它可以发射出许多种激光制导和有线制导的导弹,其中包括全自动的预警系统加上精巧的目标搜索系统,使这种直升机可以在首次攻击时占据很大的优势。     

程序进化器

研究用模拟进化方法进行程序设计的途径。构造了以形式文法为遗传表示的程序进化器,提出了这个进化器使用的有关算法。本文用程序进化器解决了人工蚁问题。     

带数据传输的光学卫星成像调度系统关键技术研究

针对光学小卫星成像调度系统设计需求,考虑侧视、存储容量、能量和数据传输等复杂约束,面向小规模问题应用,设计了问题求解流程.建立了顶点和边都带权的成像约束图模型,并提出了基于标记更新最短路算法的复杂约束成像卫星调度算法解决成像方案生成过程;对数传方案生成过程,给出背包模型并采用带回看策略的贪婪启发式方法进行问题求解.实验结果表明,该方法是可行和适用的.     

舰载直升机编队反潜封锁搜索

舰载直升机相对于常规潜艇而言,具有较大的速度优势,据此,提出了一种近似逆螺旋曲线的搜索样式,并把它定义为封锁搜索.以单机封锁搜索为例,介绍了封锁搜索的过程、特点,推导出搜索条件、搜索路线、搜索转移时机的公式,把封锁搜索与随机搜索进行了比较,最后讨论了直升机编队实施封锁搜索的可行性.封锁搜索的模式丰富了应召搜索的理论.     

面向多平台多目标协同跟踪的指派问题

针对多平台多目标协同跟踪中要求多个无人地面平台尽可能均匀地协同跟踪多个目标的特点,提出了改进的离散粒子群优化算法。首先采用连续型粒子群优化算法中的速度和位置迭代公式,然后对粒子位置进行离散编码,使粒子编码对应于可行的指派方案;其次,在优化算法中引入局部搜索,提高算法寻优性能。最后将所提算法应用于多平台多目标协同跟踪中的指派问题,并与未加入局部搜索的粒子群优化算法比较,仿真结果表明,加入局部搜索后的离散粒子群优化算法具有较好的寻优性能。     

舰艇CGF搜潜过程马氏决策规划模型

舰艇搜索潜艇的过程可以近似地看作一种马尔可夫过程.研究了潜艇训练仿真系统中舰艇CGF(计算机生成兵力)搜索潜艇过程中的状态转移过程和随机搜索发现目标的概率模型,将舰艇CGF搜索潜艇的过程分为若干独立的阶段,建立了搜潜过程马氏决策规划模型,提出了在各种不同初始搜索状态下的舰艇搜索策略.仿真结果给出了舰艇CGF的最优搜索策略集合和发现概率,验证了马氏决策规划模型的有效性.     

基于DM642的X264移植及优化

X264算法需要经过移植和优化才能满足实时处理的要求。文中首先分析了如何向DM642平台上移植X264代码,通过存储器优化、线性汇编改写等一系列优化措施实现了摄像头实时采集视频、编码及显示。最后完成了采集、回放独立编码运行于后台的Ping-Pong机制。实验表明,对CIF格式视频编码性能由优化前不足0.5帧/s达到20帧/s以上,此时PSNR下降不足3 dB。     

UWB通信系统中比特反转快速捕获算法的改进

针对密集多径情况下超宽带信号的捕获,采用分块与比特反转搜索相结合并加以改进,得到了改进的比特反转搜索算法,仿真结果表明其性能较比特反转搜索算法有较大改善,尤其在搜索间隔较小时性能更好.