基于网格计算市场模型的资源与作业描述语言的研究

网格计算市场模型是把经济学的概念应用到网格的资源管理和作业调度中的模型。本文分析了网格计算市场模型中资源和作业描述语言的需求,简要介绍了资源和作业描述语言Classified Advertisements(Classad),指出它在网格计算市场模型中描述资源和作业的不足之处,对它做了相应的改进和扩充．以实现在经济模型下对资源和作业更加灵活、细枉度的描述。     

基于分段控制的DRM二次分发研究

鉴于当前权利描述语言不能有效地实现数字内容的分段权利描述和动态分段授权,提出一种基于分段控制模型。在描述了分段数字内容加密封装后,对ODRL模型进行扩展,实现了数字内容的分段权利描述和动态分段授权,利用扩展后的ODRL模型深入探讨和分析了分段控制下的DRM二次分发。通过相关分析表明,扩展后的模型安全可靠,易于实现。     

适用于动态软件体系结构的扩展的Z描述语言

动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。     

基于Petri网的OWL-S流程模型的验证与分析

广泛研究使用的OWL-S Web服务交互规范作为一种半形式化的描述语言,在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言,尤其适合并发系统的描述。因此,使用Petri网对OWL-S流程模型进行建模,通过将工作流信息转化为Petri网描述,从而对OWL-S流程模型进行安全性(safeness)和活性(liveness)检验,是一个非常有意义的尝试。此外,对Petri网的分析与优化,能够反作用于OWL-S流程模型,消除原有模型的冗余并提高流程模型的合理性。     

基于Petri网的OWL-S流程模型的验证与分析

广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言,在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言,尤其适合并发系统的描述。因此,使用Petri网对OWL-S流程模型进行建模,通过将工作流信息转化为Petri网描述,从而对OWL-S流程模型进行安全性（safeness）活性（hveness）检验,是一个非常有意义的尝试。此外,对Petri网的分析与优化,能够反作用于OWL-S流程模型,消除原有模型的冗余并提高流程模型的合理性。     

基于语义的可视化信息描述工具SUDTI的设计与实现*

在资源广域分布的环境中,对各种异构信息进行一体化描述是进行有效信息集成和提供高效信息服务的基础。提出了一种基于概念模型和元数据的一体化信息描述模型,并设计实现了基于该模型的可视化描述工具SUDTI。SUDTI以上述描述模型为基础,以XML语言作为描述载体存储描述结果,以扩展的UML“类图”的图示化符号作为可视化的描述语言,可以满足各种信息系统对异构信息描述和集成的需要。     

基于XYZ/ADL的电梯控制系统体系结构的描述与求精

研究软件体系结构的首要问题是如何描述体系结构模型;运用XYZ/ADL描述软件体系结构模型,可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范,便于体系结构的逐步求精及相关性质分析;以电梯控制系统为例,运用XYZ/ADL形式化地描述了系统体系结构的风格、静态模型和动态模型,并对体系结构模型的主要组件进行了逐步求精,使系统的体系结构从最初的总体功能规范平滑地过渡到了最终的可执行程序;研究表明:形式化描述语言XYZ/ADL在实时控制系统的开发中有着重要的实践意义。     

自适应型构架描述语言xSADL的研究

该文通过对多个构架描述语言的研究,针对它们在支持软件构架动态演化方面的不足,提出了一个基于XMLSchema的自适应型构架描述语言xSADL。它通过状态集增强构架静态结构的描述能力,通过行为描述集和约束集对构架的动态行为进行扩充,采用自适应控制器来使构架具有自适应能力。     

基于脚本语言的雷达故障诊断通用平台设计

构建了一种新型的雷达故障诊断通用测试平台,它基于通用仪表及脚本描述语言.利用通用的XML模型描述语言和数据文件描述雷达各模块的静、动态模型及结构框图.利用脚本描述语言编制雷达故障诊断策略,使平台能适应不同雷达故障诊断需求,用BNF给出了主要描述语句的文法.在系统中,描述语言的使用使得系统能很容易地针对不同的雷达故障现象编制诊断策略.说明了平台的架构,解释了脚本语言引擎与其它构件间的关系,并举例说明了脚本语言使用方法.     

面向P2P的动态资源模型

为了有效地描述移动计算环境下P2P的动态资源情形，提出了一种面向P2P的动态资源模型——PODRM模型。该模型首先根据P2P模式下的资源特性构造出P2P的网络资源空间，并抽取角色约束及操作约束，从而实现对P2P资源的静态描述。然后，对CPN进行了资源语义扩充，采用扩充了的CPN——E—CPN来刻画资源的动态特性。进而在此基础上构造TPODRM模型。最后给出了该模型的仿真验证。结果表明，该模型能够合理地描述了移动计算环境下P2P的动态资源情形，为动态资源的有效使用及受限资源问题的解决提供了一种有力的理论依据。     

基于议价机制的网格资源交易算法

资源管理是网格技术研究的核心任务之一。针对网格资源异构性、动态性、自治性等特点提出了基于议价机制的网格资源交易算法。分析了网格资源管理的市场模型,指出市场模型中各角色的特点,提出了网格资源管理的议价模型。针对这种模型,提出了基于议价时限和价格变化率的网格资源交易算法,并根据平衡策略给出了该算法的描述。     

基于议价机制的网格资源交易算法

资源管理是网格技术研究的核心任务之一。针对网格资源异构性、动态性、自治性等特点提出了基于议价机制的网格资源交易算法。分析了网格资源管理的市场模型，指出市场模型中各角色的特点，提出了网格资源管理的议价模型。针对这种模型，提出了基于议价时限和价格变化率的网格资源交易算法，并根据平衡策略给出了该算法的描述。     

两层市场环境中信任感知的资源交易机制

在以往建立信任团体时,假设一个节点只拥有一种类型的资源,但在实际的网格市场中,一个节点可以拥有多种资源.资源提供者有效地分配这些资源以获得收益,资源使用者为完成特定任务需要从多个节点获得多种资源.为解决此情况下信任框架的建立问题,本文将信任机制融入两层市场(资源市场和服务市场)的资源交易模型中,在改进信任团体建立方法的同时,提出了基于两层市场的资源交易机制.     

Modeling and analysis of the effects of QoS and reliability on pricing, profitability, and risk management in multiperiod grid-computing networks

In this paper we develop a network equilibrium model for optimal pricing and resource allocation in Computational Grid Network. We consider a general network economy model with Grid Resource Providers, Grid Resource Brokers and Grid Users. The proposed framework allows for the modeling and theoretical analysis of Computational Grid Markets that considers a non-cooperative behavior of decision-makers in the same tier of the grid computing network (such as, for example, Grid Resource Providers) as well as cooperative behavior between tiers (between Resource Providers and Grid Brokers). We introduce risk management into the decision making process by analyzing the decision-marker's reliability and quality of service (QoS) requirement. We analyze resource allocation patterns as well as equilibrium price based on demand, supply, and cost structure of the grid computing market network. We specifically answer the following questions with several numerical examples: How do system reliability levels affect the QoS levels of the service providers and brokers under competition? How do system reliability levels affect the profits of resource providers and brokers in a competitive market? How do system reliability levels influence the pricing of the services in a competitive environment? How do users' service request types, QoS requirements, and timing concerns affect users' behaviors, costs and risks in equilibrium? How does the market mechanism allocate resources to satisfy the demands of users? We find that for users who request same services certain timing flexibility can not only reduce the costs but also lower the risks. The results indicated that the value of QoS can be efficiently priced based on the heterogeneous service demands.     

考虑本地作业流时的网格资源调度算法

研究了网格资源上有和没有本地作业流两种情况下两种网格资源调度算法的性能优劣对比情况。建立了一个资源的本地随机作业流模型,提出了最快处理器可用资源优先(HRARF)和最适合作业并行度可用资源优先(MSNARF)两种网格资源调度算法,并对所提出的两种算法在资源有和没有本地作业流两种情况下调度网格作业的完工时间进行仿真。仿真结果显示,在资源负载较重时,在有和没有本地作业流两种情况下,HRARF和MSNARF两种算法的性能优劣对比正好相反。在网格中,两种算法在资源共享时和资源独占时的性能优劣对比可能不同。     

Resource Discovery in a dynamical grid based on Re-routing Tables

This paper studies the Resource Discovery problem in a dynamical grid based on a grid-router model. This model suggests that the grid can be seen as an environment comprised by routers and resources, where each router is in charge of its local resources. We address the Grid Resource Discovery problem as a problem of discovering the appropriate resource for a specific request within that environment. Attempting to solve the Grid Resource Discovery problem, several mechanisms have been proposed in the past. One of those mechanisms is the Routing Tables mechanism, which can guarantee finding the appropriate resource for a specific request within a static grid environment, where resources are permanently online, connected in the grid. This paper investigates the effectiveness of a Routing Tables mechanism, called Re-routing Tables which can guarantee finding the appropriate resource in a dynamical grid environment, where resources could disconnect from the grid, and therefore get in an offline state. Due to an offline resource situation, the resource request must be re-routed in order to be satisfied.     

基于多属性查询的P2P网格资源发现机制

资源发现是网格环境中的关键问题,目前许多的资源发现机制并不能有效地提供资源的分类。为此,在P2P网格基础上提出一种基于多属性查询的分布式资源树的资源发现机制。该分布式资源树通过资源的主属性进行资源的组织和分类,能动态灵活地实现P2P网格中各节点的负载动态平衡。     

基于知识的P2P网格资源发现研究*

针对当前网格资源管理系统扩展性差的问题,提出了具有分布式本体知识库的网格资源管理模型.新模型由分布的多个自治管理域组成;自治域之间通过DHT覆盖网连接.网格资源信息以本体知识库的形式管理:本地知识库管理域内网格知识;全局知识库则提供分布本体的语义映射以及知识的索引和定位.资源发现转换为本体知识库的实例检索推理,并且支持跨管理域的资源集发现.新模型极大地提高了网格资源管理系统的可扩展性.