基于指控交互信息用户语境的语义Web服务发现和组合

在军事指挥控制模拟训练系统和训练装备研究领域,指控系统与仿真系统的开发是相对的,遵循不同的标准和协议,在结构和功能上存在很大的差异。通过建立指控交互信息的语义Web服务概念参考模型,提出指控系统与仿真系统互操作性面临的技术需求,研究基于指控交互信息用户语境的语义Web服务发现和服务组合,提出了基于静态与动态用户语境匹配的语义Web服务发现架构和服务匹配算法,以及基于用户语境的语义Web服务组合算法。     

语义Web服务匹配方法分析

语义Web服务是实现数据和应用集成的一种有效机制。随着Web服务规模的快速增长,自动、准确地获取Web服务成为目前研究的热点问题。服务发现的关键问题是如何提高匹配算法的准确性和高效性。首先归纳了语义Web服务匹配的相关概念,然后总结了语义Web服务匹配算法的研究内容和目标,分析比较了语义Web服务匹配中基于相似度匹配、逻辑匹配和混合匹配三类主流算法的设计侧重点及性能,最后总结了全文并给出了下一步研究方向。     

基于依赖矩阵的Web服务组合故障诊断

为了保证指挥信息系统在动态环境下能够提供持续可靠的组合服务,提出一种利用依赖矩阵对Web服务组合故障原因进行诊断的模型,对依赖矩阵的建立进行了详细说明。然后,基于构造的依赖矩阵,提出改进的贪心算法对失效情况进行探测,并设计了基于二分查找的故障定位算法。实验模拟表明,提出的模型能够利用少量探测就能监测整个服务组合流程的运行情况,并定位找到错误源。     

可组合仿真模型的语义形式描述及组合判定方法

如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一.建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质.形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析.     

基于本体的仿真服务定制与组合

为实现快速构建仿真系统,提出了面向服务的仿真开发模式,基于本体和Web服务进行仿真服务的定制与组合。给出了本体、仿真服务等基本概念,详细定义领域本体、需求本体和服务本体;提出了仿真服务定制模型及系统框架;分析了需求目标与仿真服务之间存在的逻辑关系,并确定了服务定制的一般过程。基于网格工具集初步实现了仿真服务定制和组合系统,验证了上述方法的可行性。     

基于Web Service网络管理体系结构研究

传统层次型网络管理体系结构中网络管理系统之间交互困难。基于Web Service体系结构的思想,将网络管理系统提供的管理功能抽象成管理服务,提出了具有面向服务、动态协作等特点的基于Web Service的网络管理体系结构,并详细讨论了该体系结构涉及的网络管理资源和服务的描述方法以及服务组合技术。     

面向服务的作战仿真模型组合建模方法

为简化模型组合的实现方式,满足多样化作战仿真对模型服务组合的需求,针对作战仿真模型组合规则复杂、基本服务类型相对单一等特点,提出一种基于事件的服务组合BEWSC（Based-Events Web Services Composition）方法。首先定义一种基于MERA(mission-event-restriction-action)规则化语言,在此基础上,采用过程构造子,按照模块化方法对模型服务的组合方案进行描述,并分别从服务的发布者、服务的请求者和推理过程这三个角度对组合服务的执行流程进行具体分析,解决了服务组合表示困难、描述能力不足、模型匹配差异性大和模型组合有效性低等方面问题。     

基于OPN的军事信息服务组合模型构建方法

介绍了军事信息服务的基本含义,给出了基于对象Petri网的军事信息服务组合模型的形式化描述方法,构建了军事信息服务组合模型的基本结构,并针对一个具体的防空反导作应用案例,使用国防科大对象Petri网建模仿真环境工具开发了相应的军事信息服务组合模型,并对组合服务进行了简要分析。实践表明,该方法能满足军事信息服务组合模型构建的需要,并具有良好的服务建模与仿真分析能力。     

一种完全分布式的空间服务及组合模型

针对服务组合中控制流和数据流的不同协调机制,可将组合模型分为4种类型,分别是控制流集中式且数据流集中式、控制流集中式且数据流分布式、控制流分布式且数据流集中式、控制流分布式且数据流分布式.空间服务组合流程需处理较大规模的数据流,采用控制流分布式和数据流分布式的协调机制能有效降低组合过程中系统整体通信规模并减少空间服务组合响应时间.通过对各种不同组合类型建模的定量分析对上述观点进行了正确性论证.模拟实验证明,定量分析结果可信.     

基于可组合服务的陆军作战仿真模型集成

陆军仿真模型体系的复杂性决定了其建模与集成的复杂度,本文基于模型组件化技术,设计了模型组件库、对象库,通过逻辑组合实现了基本库和作战单元库,并以可组合的模型服务实现不同分辨率、异构模型的聚合集成目标,使得陆军作战仿真模型具备模块化、可复用、可扩展和可控制的应用特点和战技术性能。     

基于工作流的GIS服务动态聚合方法、技术体系和参考模型研究

基于GIS服务的特点和动态服务聚合的应用实际,提出了一种基于工作流的GIS服务动态聚合实现方法,该方法通过引入服务群的概念,有效适应了GIS服务的动态变化性;提出了基于工作流的GIS服务聚合技术体系,界定了GIS服务聚合的研究内容和层次关系,为GIS服务动态聚合关键技术的研究提供了总体框架和顶层指导;参考工作流的研究成果,提出了动态服务聚合参考模型DSCRM,为开发聚合服务支撵平台以及在此基础上构造特定的服务聚合应用提供了可参考的计算模型.给出了一个GIS服务聚合应用实例来说明工作的可行性和有效性.     

基于Web Service的网上超市的设计

近年来形成的Internet技术———WebService技术已被称为下一代电子商务的核心。首先讨论WebSer vice及关键技术,然后阐述了WebService技术的网上超市应用框架及实现。     

基于HLA分布式仿真的Web服务化

HLA虽然能够简化各类仿真系统的互操作和重用,但是接口规范与编程语言的绑定、缺乏与商业技术的融合等阻碍了它在商业领域的广泛应用,Web服务具有平台和厂商独立等良好特性,实现基于HLA分布式仿真的Web服务化能够将Web服务的优势附加给HLA.该文在分析了HLA不足和web服务优势的基础上,提出了HLA Web服务化,对比了互操作在两个上下文中的差异,分析了实现HLA Web服务化的三个层次;之后,概述了相关研究,重点讨论了实现Web使能RTI的关键技术问题及其解决方案;最后,设计了原型系统,测试结果显示原型系统能够初步实现RTI的Web服务化.     

基于可组合服务的陆军作战仿真模型集成＊

陆军仿真模型体系的复杂性决定了其建模与集成的复杂度,基于模型组件化技术,设计了模型组件库、对象库,通过逻辑组合实现了基本库和作战单元库,并以可组合的模型服务实现不同分辨率、异构模型的聚合集成目标,使得陆军作战仿真模型具备模块化、可复用、可扩展和可控制等应用特点和技战术性能。     

基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。     

空间信息栅格体系与服务聚合技术

空间信息应用中存在的数据海量、分布异构、处理复杂、计算密集等问题制约了空间数据和信息的广泛共享和应用。空间信息栅格(SIG)以Grid和WebServices技术为核心,共享并汇集地理上分布的海量空间信息资源,实现动态整合与集成。在构建开放性SIG七层应用体系的基础上,重点研究SIG服务聚合技术,基于Petri网和图论提出了一种新的服务聚合流程模型(服务/资源网),同时构建了可扩展的服务动态选择模型(SISM),实现服务聚合过程中的动态服务选择。结合国家地质调查业务应用,通过地下水资源评价应用实例对SIG的实用性和有效性进行了验证。     

基于Web服务的OPNET功能封装模型

为了实现对OPNET软件强大功能的跨平台调用,提出了一种基于Web服务的OPNET功能封装模型.该模型以数据库为中介实现了OPNET程序与外部系统的交互,通过批处理文件调用了OPNET程序,进而将OPNET程序封装为OPNET Service的服务并发布到服务注册中心,外部应用程序可以通过查找注册中心查找实现对OPNE...