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

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

基于服务网格工作流技术的联合作战实验平台

为实现全军作战实验资源共享和跨军种的协同实验,提出了一种基于服务网格和网格工作流技术的联合作战实验平台构建方法.一方面利用服务网格技术实现分布、动态、异构实验资源的有效集成和共享,加强实验平台的通用性、灵活性和重用性;另一方面,在平台建设中引入面向服务网格的工作流技术,使得能够在动态变化的环境中,根据实验需求优化实验作业逻辑和执行过程,选择、配置和调度相应的实验资源完成指定的任务,实现跨军种的资源共享和协同实验.     

业务流程建模中流程校验的研究与实现

随着计算机网络技术的迅速发展,企业的信息化程度不断提高,以自动化流程为核心理念的工作流管理系统应用越来越普及,对工作流管理系统的可靠性和正确性要求也越来越高.提出了一种工作流建模时的验证方法:在工作流管理系统的工作流建模环境中加入流程验证模块,对建模过程中可能产生的错误进行验证,进而建立简洁实用的流程;通过分析流程中的异常和失败的类型,增强系统的纠错能力,减少引擎处理的压力;对有着特殊应用的建模过程,能够方便地添加自定义的验证条件,为流程的正确运行提供有效的保障;向基于规则化的工作流系统提供建模完整性的方案,获得系统工作流的稳健性.     

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

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

基于面向对象思想的作战单位形式化描述方法北大核心

为了使各军事仿真系统一致地理解作战单位的含义和能力,对作战单位的形式化描述方法进行了深入的研究,提出了一种基于面向对象思想的作战单位形式化描述方法。首先,分析作战单位的属性和构成,对其属性进行抽象和封装,得到作战单位类的静态属性,进而形成作战单位的描述规范;然后,为了使其可以在不同分辨率的系统平台上应用,在描述规范的基础上,采用聚合方法对作战单位之间的动态关系进行描述,得到作战单位类的动态方法,并给出了适用于该描述规范的作战单位聚合方法;最后在一体化仿真系统中应用了所提出的作战单位描述方法,证明了该描述方法的可用性和有效性。     

运用ECO开发基于UML的工作流系统

运用UML进行建模并运用MDA方法生成系统代码已成为当前工作流系统设计开发的一大发展趋势。经过多年发展的ECO技术为.Net环境下运用MDA方法开发基于UML的稳定高效的软件系统提供了很好支持,而ECOⅢ则通过支持UML动态建模,使得ECO具备了开发基于UML工作流系统的能力。通过示例介绍了运用ECO进行工作流开发的一般流程,着重展现运用ECO开发工作流系统的可行性和高效性。     

超算环境科学工作流应用的容错

超算环境中科学工作流技术广泛应用于科学研究和工程仿真领域。复杂多物理过程数值模拟、多阶段数据处理等应用往往需要使用多种应用软件相互协作,构建业务流程自动执行来提升工作效率。然而在超算环境中执行科学工作流应用面临着资源失效、任务配置错误等异常情况,造成工作流执行中断,严重影响完成效率,故容错功能对超算工作流应用的稳定持续运行有重要意义。介绍了科学工作流的容错设计分类,并对典型工作流系统的容错设计进行分析评述;提出了基于决策树的事件-条件-动作容错模型,设计了非侵入式可扩展的容错架构,并针对自主研发的部署在超算环境下的科学工作流应用平台HSWAP,实现了运行时可配置的容错策略。在实际的工程仿真任务中,基于所提出模型和架构实现的容错机制为提高工作流执行效率发挥了重要作用。     

伴随维修组维修模型聚合方法

面向装备维修保障系统的多分辨率建模问题,提出了一种装备维修模型的聚合方法,为装备维修保障系统模型的聚合研究提供了一种新的思路。该方法通过聚合故障输入和推理维修状态实现维修模型的聚合。最后通过基于MATLAB的仿真实验验证了该方法的可行性。通过实例验证可以看出,该方法缩短了仿真时间,减少了复杂系统底层建模的工作量。     

基于作战活动分解的装备体系数量需求分析方法

针对当前装备体系数量需求分析问题,以装备体系的作战任务为牵引,采用自顶向下作战活动分解和自底向上装备数量聚合的方法,提出了一种装备体系数量需求分析方法;构建了装备体系数量需求分析框架,提出了作战活动分解与表示方法,设计了原子级作战活动装备数量需求分析算法和作战任务装备数量需求聚合分析算法;并以陆航空中火力突击分队打击地面装甲分队为例,验证了该方法的科学性和可用性。     

基于工作流管理的资源调度模型

主要讨论了面向资源管理的过程调度模型.在静态模型中,可以通过各种调度策略,资源柔性和仿真算法对资源调度进行不断完善,建立了资源-任务分配模型;在动态模型中,采用事件消息形式描述异常事件,根据工作流异常管理器中的规则库和历史数据库作出自适应处理;最后,设计了一种基于工作流管理的过程调度决策系统方案.     

Web服务技术在装备管理信息系统中的应用

在研究W eb服务技术的基础上,利用.NET开发平台设计了装备管理系统中的器材库存管理系统,证明了W eb服务技术的可行性和有效性。     

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

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

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

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

基于本体的上下文建模与应用研究

为了在开放、动态的环境中建立上下文感知系统,首先需要定义一个适合于知识共享的上下文描述,即上下文建模．提出了一种基于本体的通用上下文模型,由顶层上下文本体和6种特定本体构成．结合2008年汶川地震救援应用本体,描述了应用本体与通用上下文模型之间的关系．最后结合Web服务技术,提出了上下文感知的Web服务发现方法,对上下文感知计算的应用作了初步探索．     

Web GIS／“北斗”技术在应急器材保障系统中的应用研究

通过分析万维网地理信息技术、"北斗"卫星定位技术和网络技术的综合应用,提出了应用Web GIS和"北斗"卫星定位技术的应急器材保障系统的基本思路和方法,探讨了实现应急器材保障系统的技术途径.     

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

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

基于网络存储技术的武警有线综合业务网存储系统研究

为解决武警有线综合业务网海量信息的存储与管理问题,本文在论述了目前比较流行的网络存储技术的基础上,结合武警有线综合业务网的特点,提出了适应武警有线综合业务网存储需要的网络存储技术方案。     

机动条件下的公共计算平台研究

针对未来战术机动系统的作战要求,利用面向服务技术体制(SOA),结合段集成机制,提出了构建机动系统的轻量级公共计算平台。平台从层次上划分为系统服务层、核心服务层、基础服务层和公共应用服务四个层次,每个层次通过编程接口向上层提供服务,以支持机动系统的动态演化、灵活配置、动态部署与系统间的互操作和信息共享。     

基于PG图的空间信息服务链建模方法

空间数据的异构、分布与海量的固有特点导致了空间信息应用的分布与难于集成的现状,成为制约空间数据大规模应用的主要因素。根据服务链的思想,提出了基于PG(优先图)构造服务链图进行空间数据应用集成建模的方法,并定义了一组变换实现对模型的逐步精化和向现实模型转化。该方法在面向资源环境的空间信息应用服务中进行了初步应用。     

基于Web技术的通用导弹装备保障信息管理研究

分析了通用导弹装备保障管理工作的实际需求 ,研究了网络数据库系统的体系结构及Web数据库的有关技术 ,基于B/S (Browser/Server)结构 ,采用Java动态网页技术 (JSP)设计了Web服务平台 ,实现了管理、发布动态Web数据库信息的功能。