基于本体的BML命令语义标注方法

作战管理语言（Battle Management Language,BML）是一种无歧义的语言规范,用于解决指控和仿真系统间的互操作问题。针对BML命令缺乏语义信息,难以被计算机理解和自动处理的问题,分析了BML的五视图体系结构,引入了BNF形式化语法,并在此基础上提出了一种语义标注方法,对命令中的对象、时间和地理位置等要素进行标注,然后整合各要素来表达整条命令的语义,系统通过解析标注文档可以实现对命令的无歧义理解,最后给出实例予以说明。论文为表达BML命令的语义提出了一种借鉴思路。     

基于云计算技术的信息安全试验系统设计与实现

在云计算领域,信息安全显得尤为重要,是一个长期的研究课题。文章利用云计算开源平台,设计一套信息安全试验系统,利用该系统,将重要信息置于云端,客户端通过虚拟机实现远程调用,可以大大提高运行的安全性和健壮性,同时也能大大提升工作效率。     

一种应用层组播可靠性技术

组播是一种高效的多点通信方式,IP组播效率高,但需专门的组播路由器,代价大,至今未能大规模部署.应用层组播数据的复制转发功能由终端主机完成,不涉及现有网络基础设施的更新,在Internet上容易实现,但终端主机的稳定性和安全性不如组播路由器,容易导致单点失效,且数据恢复困难.为解决应用层组播存在的可靠性问题,提出了一种树环结构的应用层组播方案,通过环结构来增加数据传输的可靠性,并采用主动随机转发技术来解决树环结构的多点失效问题.该方案既有效解决了应用层组播可靠传输问题,又降低了恢复时延和系统开销.     

蚁群优化算法在求解随机组合优化问题中的应用综述*

不确定条件下的优化问题更贴近真实世界环境,因而日益受到广泛关注。综述了蚁群优化在求解一组不确定条件下的组合优化问题,即随机组合优化问题方面的应用。首先介绍了不确定条件下组合优化问题的概念分类模型,给出了随机组合优化问题的一般定义;然后指出了其与求解传统确定性组合优化问题的不同之处,即目标函数的计算存在不确定性,并详细论述了目前解决方法的进展;最后分析了该领域值得重点关注的几个研究方向,并对其未来发展进行了展望。     

可信计算的迅速发展及启示

首先阐述了当前可信计算技术迅速发展的原因,叙述了国内外可信计算的发展历史和现状;其次,根据其不同的特．最划分了可信计算理论和在技术国内外的发展阶段,并关注了产生这种发展历程差异的原因;最后,指出了目前我国信息产业面临的困境,并根据目前面临的形势和国内信息技术发展态势提出了解决思路。     

AJAX搜索引擎研究

互联网发展迅速,搜索引擎在网络应用中开始显现主导地位。下一代网络技术的代表是AJAX技术．由于AJAX技术开发的页面具有许多新属性,传统的搜索引擎不能够查找到AJAX技术开发的页面,该文分析了AJAX搜索引擎的概念,从搜索引擎的原理和AJAX技术分析出发,并与采用了AJAX技术的传统搜索引擎作对比,研究AJAX搜索引擎的特点。     

一种基于云模型的数字图像水印技术

提出了基于云模型的数字图像水印技术。利用云模型的模糊性和随机性,给定参数使用正向云发生器产生的云滴作为水印信息,将云水印嵌入到数字图像中。在提取水印时,除了可以将还原出的云模型三个参数与原始参数进行比较外,还可以直接对云图进行对比判断。即使部分云滴改变,对云模型影响也不大,基于云模型的水印具有较好的鲁棒性。     

子网拓扑融合技术研究

针对大规模异构网络的拓扑管理,在对经拓扑发现搜集而来的拓扑信息进行处理,提出了子网拓扑融合概念,阐述了子网拓扑融合在拓扑管理中的地位和作用,分析了子网拓扑融合的需求,研究并建立了基于集合论的子网拓扑融合模型,设计了一种基于XML的子网拓扑融合算法,并通过两个子网拓扑数据检验了该算法的正确性.     

面向方面技术在Web服务安全组合中的应用研究

Web服务作为一种通过网络集成分布式异构应用的技术,它提供了一种松散耦合的软件开发模式,实现了粗粒度的软件重用。随着Web服务技术的深入应用,Web服务组合的概念应运而生,它通过将功能相对单一的多个Web服务按照一定粒度进行组合,可提供更为强大的服务功能。由于来自异构环境的不同Web服务实体间安全需求、安全能力、可信任程度间的差异,使得对Web服务组合安全性的研究成为了关注的重点。简述了Web服务组合的主要实现方式,指出了Web服务组合实现中面临的主要安全问题,重点分析了目前面向方面技术在Web服务安全组合实现中的应用,讨论了其实现上的不足及未来的研究动向。     

作战智能体分队攻击目标分配模型研究

为解决智能体分队的目标攻击选择问题,文中对作战模型中的多武器目标分配（WTA）问题进行了研究,介绍了WTA问题的基本概念、基本模型、数学性质以及WTA问题研究的基本内容。在模型研究方面,对动态武器目标分配问题建立了迭代规划模型,该模型的优点在于克服了静态WTA模型中部分武器因为时间因素的限制,在作战中不能参与分配的缺点。在算法研究方面,以匈牙利算法对指派问题求解为基础,对动态迭代规划模型进行了求解。最后,通过案例的分析,验证了模型和算法在求解WTA问题的有效性。