Grid architecture model of network centric warfare

1.INTRODUCTIONOGSA[1,2,4,5,7]integrates key grid technologies withWebservices mechanisms to create a distributed sys-temframework based around the grid service.OGSAdefines mechanisms for creating,managing,and ex-changing information among entities called grid ser-vices.Succinctly,a grid service is a Web service thatconforms to a set of conventions(interfaces and be-haviors)that define howa client interacts with a gridservice.As the embodi ment of the information warfare,NCW[2,3,6]is a…     

网格环境下复杂过程系统优化计算服务及任务调度策略

针对目前优化计算服务缺乏对一般用户的优化计算支持和灵活的资源共享方式,提出利用网格环境、支持网络计算资源以并行的、协同的方式提供面向服务的优化功能的计算服务系统,并设计了对系统性能具有重要影响的动态任务调度算法,从而使系统能够适应复杂过程系统优化计算以及网格环境的典型特征.相应地,系统采用多任务队列的任务管理方式和计算节点组的资源管理方式,为该调度策略提供实现基础.测试结果体现了基于该调度算法的优化计算服务系统的良好性能,并为设计在该系统下高效运行的并行算法提供了参考依据.     

语义Web服务自动组合的有色网验证模型

Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果.针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架.其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性.另外,该框架采用智能Agent技术,可有效实现组合过程的自动化.     

基于Web Services的服务合成技术研究综述

从分布式发展的角度分析了基于Web服务的新一代分布式计算范式特征以及生命周期模型,指出了Web服务合成的概念、特点和目标。对服务合成的方式与分类以及Web服务合成逻辑与结构类型进行了分析,同时将常用的Web服务合成方式划分为4种策略,即:基于系统架构(framework)的静态合成策略;基于工作流(workflow)的动态合成策略;基于语义网络(semantic web)的自动服务匹配与合成策略以及基于软件体系结构生命周期的综合式服务合成策略。在此基础上,对目前Web服务合成技术的主要研究领域与发展趋势以及服务合成过程中存在的主要问题与挑战进行了分析与综述。     

基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.     

论高校后勤服务市场竞争机制的系统设计

高校后勤改革迫切需要以系统论观点为指导,对后勤服务市场竞争机制进行系统设计,坚持系统的开放性、协调性和竞争性原则,合理配置后勤资源,优化组合后勤市场服务主体,系统构建后勤服务市场的竞争机制。     

Variability modeling to develop flexible service-oriented applications

To cope with requirement changes flexibly and rapidly, the existing component-based paradigm is being evolved into a service-oriented computing paradigm. The main characteristic of the service-oriented computing paradigm is that service-oriented applications are developed as loosely coupled services that reflect business concerns. This paradigm also promotes business agility, facilitating quick reactions to business changes. Therefore, to enhance and support the benefits of the service-oriented computing paradigm, we must consider How to improve flexibility and reusability during the development of service-oriented applications. We propose the variability modeling approach to specify and control the common and distinguishing characteristics of service-oriented applications. That is, the key concepts of product-line technology can be used to make service-oriented applications more flexible and reusable. This paper describes variability modeling at two levels; the composition level and the specification level. At the composition level, we describe the variability of composition and the flow of domain services that fulfill business processes. At the specification level, we present a domain service that is an abstract service with variability. The use of our systematic variability modeling approach can greatly increase the flexibility, applicability, and reusability of service-oriented applications.     

一种基于协调知识水平的协调问题描述方法

从协调的本质出发,提出基于协调知识水平的协调理论研究框架,用活动、资源、相互依赖和协调机制等刻画协调知识水平.在此基础上,按照分析活动→判断资源→分清依赖的顺序对协调问题进行抽象,进而通过三元组(A,D,R)对其进行形式化的描述,将协调问题的求解过程简化为对三种基本相互依赖的处理过程,为利用计算机处理协调问题打下了基础.     

基于分层结构的C4ISR服务部署分布式演化方法

针对指挥信息系统(command, control, communications, computers, intelligence, surveillance and reconnaissance, C4ISR)服务部署分散、作战平台计算/存储资源有限、演化实时性要求高的特点, 基于分层结构设计了系统状态分布式监控与演化总体架构, 并在该架构下提出了一种服务部署方案层级动态调整方法。通过定义信息流转长度与方案调整代价设计了服务部署调整方案的数学优化模型, 针对部署方案中同时包含服务部署位置和信息流转路径的特点, 将成对交换思想、最短路径规划与m-best策略相结合提出了一种贪心求解算法, 以实现调整方案的快速生成。实验证明, 该方法能够在保证系统信息流转效能的同时有效控制系统的演化范围, 适用于执行任务过程中服务部署方案的敏捷调整。     

基于MAS 协调的资源分配决策

突破传统优化方法在动态环境下的局限,用MAS方法研究资源协调问题.在基于BDI的协调推理的基础上,以效用表示个体对资源使用的利益的主观判断,建立基于效用的BDI资源协调推理模型,阐述Agent关于效用的计算、推理和交互过程,并且给出了评估实验结果.本文工作对管理决策及决策支持系统的研究和应用具有参考价值.     

基于QoS满意度增强的多资源协同预留策略

针对动态网格资源服务的不确定性问题,提出一种可量化分析资源服务QoS(quality of service)的多资源协同预留策略.该策略基于对运行在资源上的网格任务QoS指标分析,得出QoS满意度量化、归一化方法,建立资源服务QoS与预留容量之间的函数关系,并以市场经济环境为背景,分析任务费用约束下资源价格与预留容量之间的关系,求解得出可均衡负载的多资源节点协同预留方案.理论分析给出了策略的有效性证明和算法,仿真实验采用真实网格系统中的任务负载信息作为实验负载,在较大规模的模拟网格系统中检验了所提出的预留策略的性能表现.实验结果显示,该策略在接纳任务数、资源利用率和任务违约率方面的性能表现显著优于传统的预留策略.     

基于扩展计算网的分层动态网格工作流研究

针对实现资源共享和协同工作的网格技术应用与发展现状,提出分层网格工作流体系结构:在设计层利用网格工作流逻辑和网格工作流语义对网格工作流建模;在运行层,利用网格工作流调度引擎和网格工作流实施引擎完成任务的调度及实施;在资源层实现和具体底层网格资源的交互。为支持上述结构,引入Petri网中的库所同步器对网格工作流逻辑建模;定义了扩展计算网模型ECN,以描述网格工作流语义。可变同步器、计算网及网格工作流实施引擎的结合,从设计时及运行时两个角度提供了对动态网格工作流的支持。最后以实例说明了分层网格工作流支撑环境建模的具体应用。     

基于网格的军事模型服务体系结构

军事模型是实现作战模拟的核心基础,它不但具有描述的静态性,而且还具有计算的动态性。采用面向服务的方式建立的军事模型服务可以有效地实现军事模型计算过程和结果的共享。应用网格技术建立的军事模型服务,其结构在逻辑上区分为服务基础设施层、服务接口描述层、服务存储与管理层和服务应用层。通过一个军事模型实例,说明了建立服务的实际方法。     

基于ASP模式的应用服务供应链协调分析

针对新型电子商务背景下的应用服务提供商(ASP)模式, 从应用服务供应链的视角研究了网络服务提供商(NSP)与ASP之间的协调问题. 在应用服务的市场需求不确定环境下, 考虑了ASP服务能力建设过量或不足的风险. 首先分析了由NSP和ASP组成的应用服务供应链分别在集中式和分散式供应链下的决策与绩效, 然后为了使应用服务供应链达到协调并实现最优绩效, 提出了将ASP服务能力建设过量或不足的风险以风险共担的方式加入收入共享契约的协调方法. 研究结果表明: 该方法能有效协调应用服务供应链并使其达到最优绩效, 同时也能改进NSP与ASP的收益. 此外, 由于该方法考虑了ASP服务能力建设过量或不足的问题, 所以该方法具有一定的应对市场需求不确定性的能力.     

基于向量马尔科夫链的配送服务可靠性预测

从配送服务的作业流程出发,给出了配送服务可靠性的定义;分析了配送服务可靠性的主要影响因素;运用马尔科夫过程的有关理论,提出了一种基于向量马尔科夫链的配送服务可靠性预测方法,预测了短期内配送服务及其各作业流程的可靠性,得出了平稳状态下的配送服务及其各业务流程的可靠性;并应用算例对该方法进行了验证.为配送中心评价和提高自身服务的可靠性水平提供了理论依据.     

基于分布式深度学习的边缘服务放置策略

针对移动边缘计算网络中不合理的服务放置和资源分配所导致的服务质量下降问题, 提出了一种基于分布式深度学习的边缘服务放置策略。首先, 以最小化所有用户服务请求时延与加权服务放置成本总和为优化目标, 将优化问题建模为混合整数非线性规划问题。其次, 在给定服务放置策略情况下, 利用凸优化理论求解出边云最优的计算资源分配方案。最后, 利用分布式深度学习解决了服务放置问题。理论证明及仿真结果表明, 所提策略能够有效降低用户服务请求时延和应用服务提供商的服务放置成本, 并且逐渐逼近全局最优的服务放置策略。     

基于角色的主体服务动态协调机制研究

面向服务体系结构（Service—Oriented Architecture，SOA）下的协同应用越来越趋向高度异构、动态和不断重新配置的情形，要求参与主体能够动态调整它们的服务，以适应协作环境和系统需求的变化。利用角色思想将主体的业务服务以一种粗粒度方式进行组合，提出一种快速、方便的角色近似匹配方法，重点研究了通过转换主体的扮演角色未实现服务动态调整的机制，并给出一个应用实例，仿真实验和定性分析表明基于角色方法大幅度提升了服务的质量和复用度，改善了主体对环境的适应能力，提高了协同活动的执行效率。     

基于能力的C~4ISR通信领域上下文本体建模方法

上下文信息建模及推理是业务智能化的关键.针对C~4ISR通信领域的智能化,研究了军事通信领域上下文本体建模及推理问题.在基于C~4ISR能力需求分析的基础上提出了一种通信领域上下文本体构建方法.该方法首先给出C~4ISR通信领域元本体的概念、关联、规则等,然后通过对完成使命任务相关的活动分析来驱动C~4ISR通信领域上下文本体的建模,并利用本体自动推理工具完成了上下文推理,最后以一个案例说明该方法的可行性.     

军事信息系统服务资源分配并行优化方法

针对如何提高面向服务军事信息系统中任务工作流执行的时效性和成功概率, 提出了服务资源分配的并行优化方法. 首先给出了服务资源分配的系统框架, 在分析服务并行执行数目、 任务成功率、任务完成时间及服务执行代价之间关系的基础上, 建立了服务并行优化的目标规划数学模型, 并提出了一种求解该模型的改进粒子群算法(DPSO). 该算法通过引入粒子细微扰动、优化粒子飞行边界及粒子优胜劣汰等扩大搜索范围,提高获得最优解的概率. 实验结果表明服务分配的并行优化及其DPSO 求解算法是提高任务工作流执行成功率和时效性的有效方法.