一种基于UML序列图的状态图合成方法

逆向工程作为辅助程序理解的重要手段,逐渐成为软件工程领域的研究热点。基于面向对象软件的动态本质,研究动态模型的抽象和转换方法对理解该类软件特征具有重要意义。在分析UML序列图和状态图模型的基础上,借鉴BK算法核心思想,给出了一种从UML序列图合成状态图的方法。最后,通过系统的实验研究,验证了该方法的有效性。     

基于速度障碍法的多UAV可飞行航迹优化生成

研究无人飞行器(unmanned aerial vehicle, UAV)在线可飞行航迹的自主规划对UAV适应非结构化环境、提高机动作战能力具有重要的现实意义。提出了一种基于Pythagorean-Hodograph (PH)曲线的UAV在线航迹生成算法,可以根据UAV当前的飞行状态、目标点信息及传感器探测信息实时规划出曲率连续的可避碰飞行航迹。考虑系统动态性能约束,采用分布估计算法对航迹参数进行优化选取,提出基于区间选优的全局精英个体概率选择机制,提高了航迹生成的速度及精度。根据速度障碍法原理,结合PH曲线的特点,给出了高动态环境下多UAV的实时动态避碰规划算法,该算法能使轨迹快速趋近于目标。对一组UAV的航迹规划在不同环境下进行了仿真实验,仿真结果证明了算法的有效性和实用性。     

一种基于用户聚类的协同过滤推荐算法

为解决传统协同过滤算法在生成推荐时的速度瓶颈问题,提出了一种基于用户聚类的协同过滤推荐算法。该算法将推荐过程分成了离线和在线两个部分。离线时,算法对基本用户数据进行预处理,并对基本用户聚类;在线时,算法利用已有的用户聚类寻找目标用户最近邻居,并产生推荐。实验表明,基于用户聚类的协同过滤推荐算法不仅加快了推荐生成速度,而且提高了推荐质量。     

一种基于生成树的多服务器动态区域调整算法

在基于多服务器结构的分布式虚拟环境中,各服务器之间的负载平衡是系统有效运行的关键问题,围绕该问题开展了工作并主要针对动态区域调整算法中存在的问题进行了改进.首先分析了现有动态区域调整算法在迁移目标服务器选取和待迁移区域选择中的不足,给出了一种基于生成树的动态区域调整算法.算法通过建立生成树选择路径组合的方式,改进了服务器集选取的策略,并在此基础上对集合内的服务器进行基于Cell的待迁移区域选择方法,从而在产生较小开销的同时,提高了负载平衡效果.通过实验对比分析,验证了算法的有效性.     

基于动态规划和置信度检验的小目标检测

在目标检测、识别与跟踪系统中,弱小目标的检测是需要解决的关键技术之一。提出了一种基于动态规划与轨迹置信度检验的弱小目标检测方法。该方法利用动态规划方法积累目标能量,然后进行门限判决和对候选目标轨迹进行置信度检验,从而剔除假目标,给出目标信息。该算法针对白噪声背景条件下的图像目标检测,解决了低信噪比条件下运动点目标的检测问题,算法结构简洁,易于进行软硬件分割。最后给出其实验结果。     

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法. 首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证. 该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型. 同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证.该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型.同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

基于电阻阵的红外图像实时生成和显示系统

对基于MOS电阻阵列红外图像转换器的红外图像实时生成和显示系统的实现进行了重点论述。根据红外图像仿真原理对典型目标建模,并利用openGL和开发的图像转换等软件,完成目标动态图像数据序列的计算机生成;论述了基于128×128电阻阵列的红外图像数据处理与驱动控制技术,实现了目标动态红外亮度图像向目标动态灰度图像的转换,并利用驱动控制系统以200Hz的帧频速度驱动MOS电阻阵实时生成目标动态红外图像。该系统已在红外成像目标仿真中得到应用。     

用NLP技术实现军用文书自动生成系统设计

军用文书自动生成是C4ISR系统中的关键技术之一 ,是提高指挥效能必不可少的重要环节。通过系统分析 ,阐明了C4ISR系统中军用文书生成系统的一个重要发展方向是基于自然语言处理的文书自动生成 ,并根据军用文书生成过程中的信息流向 ,提出了该系统三模块的结构模型 :信息理解模块、文书信息库模块、文书生成模块 ,进而描述了这三个模块的整体运作流程。该模型对其他领域中基于自然语言理解的文本生成系统也有参考价值。     

基于Bagging-SVM动态集成的多极化HRRP识别

针对多极化高分辨率一维距离像（high range resolution profile, HRRP）在目标识别过程中存在计算量和数据量大、识别算法复杂的问题,提出一种基于Bagging-SVM动态集成的目标识别方法。该方法首先提取多极化HRRP平移不变特征向量,然后运用Bagging方法结合基于动态互信息的特征选择方法生成基分类器,最后引入基分类器差异度进行选择性集成。实验验证该方法在缩减数据规模和计算量的同时,能有效利用多极化特征信息,得到较高的分类正确率,并且松弛了HRRP目标的姿态敏感性。     

分布式虚拟环境中的综合地面环境研究

详细阐述了分布式虚拟环境中综合地面环境研究的各个方面。首先介绍了采用多种地理数据生成综合地面环境数据库的过程 ;然后提出了一种大规模三维地形环境管理方法和一种通用的实时调度算法 ;最后给出了一种支持动态地形环境一致性的动态地形环境体系结构     

基于混合动态贝叶斯网络的无人机路径重规划

针对无人机航迹规划的实时重规划能力,研究了局部路径构图的基本原则并提出了一种突发威胁体下无人机局部路径重规划的算法。首先根据不同威胁体的分布情况构造无人机的可飞航路集,用“改进型Voronoi图”表示出来,采用Dijkstra算法求解初始粗略最短路径。在无人机飞行过程中,通过基于混合动态贝叶斯网络的切换线性动态系统模型感知环境,应用Viterbi应用解码算法确定突发威胁体的实时位置及威胁等级,后依据局部路径重规划原则进行寻优,最后应用三次平滑及序列二次规划方法获得实际可飞路径。用Matlab仿真验证,证明了算法有效性。     

基于遗传算法的泊位连续化动态调度研究

针对泊位调度问题,将岸线连续化,建立了泊位的动态调度模型。考虑到岸边起重机的分配对泊位调度中船舶的集装箱装卸作业时间的影响,根据规则建立了分配岸边起重机和确定船舶集装箱装卸作业时间的算法。基于泊位连续化动态调度模型建立了分段的染色体编码,分别反映船舶靠泊服务顺序和靠泊位置信息。基于实例,通过仿真计算,与泊位离散化动态调度进行了比较和分析。     

基于UML实时扩展的嵌入式软件测试用例生成技术

将统一建模语言(unified modeling language, UML)和对象约束语言(object constraint language, OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,结合航空电子系统嵌入式软件测试用例生成过程,详细阐述了被测系统的静态和动态建模,提出了扩展的测试序列定义及其生成方法,最终将所生成测试用例采用扩展标记语言(extensible markup language, XML)格式存储。工程应用验证表明,上述方法可充分发挥UML作为工业标准的工具资源优势,提高嵌入式软件测试用例生成的准确性、有效性和自动化程度。     

一种基于三维小波的视频水印空时算法

针对数字视频的版权保护,以及基于数字视频的信息隐藏,提出了一种基于三维小波的视频水印空时算法。它利用了视频场景镜头分割技术和三维小波变换的空时多分辨水印嵌入策略,以及根据最大似然准则的水印检测算法。针对视频的版权保护,作为版权标志的水印图像先用两个序列扩频预处理成一个图像序列,扩频后的水印图像序列自适应地嵌入到视频镜头的三维小波系数上。该基于三维小波域的水印策略充分利用了视频序列良好的空时多分辨特点,水印算法可靠。针对视频水印的几种特殊攻击,仿真实验证明了该算法具有很强的鲁棒性。     

基于动态贝叶斯网络的无人机路径规划研究

针对威胁可变及威胁体不尽相同的无人机路径规划问题,提出了一种局部路径重规划的算法。该算法首先构造出战场具有n类威胁体的初始路径图———“改进型Voronoi图”,后应用Dijkstra算法搜索威胁分布图,求解粗略最短路径。在无人战斗机飞行过程中,威胁体威胁等级不断变化,无人战斗机通过多传感器数据融合知识构建动态贝叶斯网络图,感知环境,获取信息,应用Viterbi解码算法获得实时威胁等级,进行局部改进型Voronoi图的重构,以完成局部路径重规划,提高了无人战斗机在实战环境下生存概率。给出了应用该方法的具体步骤,通过仿真实验证明该算法的有效性。     

基于多涡卷Jerk-Chua混沌和自编码的扩频码构造方法

为了提高扩频通信系统信息传输的可靠性和安全性,提出一种基于复合多涡卷Jerk-Chua混沌与自编码相融合的扩频码构造算法。首先引用二维Henon变换和离散标准映射的构造思想产生一种新的非线性融合函数,其次通过该融合函数将复合多涡卷Jerk-Chua混沌产生的随机序列与自回归自编码随机序列相融合产生高质量复合随机序列作为新的扩频码。最后通过Matlab仿真测试表明,该算法相比现有方法得到的随机序列复杂度更高、随机性和相关性更好,应用于扩频通信系统中的误码率得到了一定改善,能够满足高安全性和高动态变化环境要求的通信系统信息安全保密的传输。     

基于区域划分的反舰导弹航路规划算法

针对反舰导弹(anti-ship missile, ASM)传统航路规划中难以兼顾巡航安全和快速抵近目标的问题,提出了基于区域划分的航路规划算法。首先,依据目标点和战术区中心点相对位置关系分别建立“远离威胁战术区”和“抵近目标战术区”模型。然后,在威胁战术区采用Dijkstra算法计算Voronoi图的最短航程并进行自适应折线化处理;在目标战术区采用二叉树算法快速规划最短航程\最少转向点航路。仿真结果表明,所提方法相比Voronoi图的路径参数更加优化,相比二叉树算法更加安全,同时生成的航路规划网能够为多枚导弹协同攻击提供全局性航路参考。     

基于混合生存分析的动态信用评分方法

当今国内外经济形势复杂多变,不确定因素增多,金融市场中信用风险的动态性显著增强,动态信用风险评价成为金融机构迫切需要解决的问题.为此,本文提出了一种基于混合生存分析的动态信用评分方法.该方法由三部分组成:首先,构建基于混合生存分析的动态信用评分模型,包括违约状态判别模型和违约时间估计模型,用于预测评价对象"是否违约"以及"何时违约";其次,利用面板数据构建多重生存状态向量,用于表征信用特征和生存时间的动态关联;最后,基于生成的多重生存状态向量,利用期望最大算法迭代估计模型参数.实验研究表明该方法的预测效果显著优于基于单分类、基于集成学习以及基于生存分析的信用评分方法.     

结合粗集理论的动态属性约简研究

针对动态建立数据库的需要和粗集约简存在的问题 ,在粗集理论的基础上提出了一种动态约简算法 .在数据库变化时 ,该算法不象静态粗集约简方法需重新寻找属性约简 ,而是利用新增的对象对原有的约简关系进行修正 ,大大节省了计算量 ,提高了搜索效率 ;同时在算法中还引入了信息熵准则以克服粗集约简准则对数据噪声的敏感性和不能表达属性间概率因果关系的缺点 .通过一个病因诊断问题的实例表明 ,该算法利用较小的信息表就找到了与静态粗集约简一致的属性约简集 ,并按照因果关系的大小 (不确定性大小 )对结果集合作了排序 ,同时计算量分析表明该算法比静态粗集约简极大地节省了计算量 ,提高了搜索效率 .