分布式系统中服务可生存性的定量分析

随着关键性基础设施对分布式计算系统依赖程度的增高，人们对分布式系统的可生存性要求也日益增高，基于配置的概念，将分布式系统视作层次化的结构，在该层次化的结构中，定义了系统与配置。服务的关系，给出了比较服务可生存性大小的充分条件，描述了系统状态并定义了系统服务间的依赖关系。然后，借助于传统容错方法中与或树概念，将服务用与或结构表示，从而给出了一种服务可生存性的定量表达方法。     

多速率业务的一种无线接入控制方案

结合多码CDMA随机接入系统的信道特点，针对上行链路中多速率业务并行传输的问题，提出了一套综合业务接入控制方案。     

浅析转型期图书馆传统服务和现代服务的关系

针对图书馆的服务在转型期发生的变化,在短时期内,图书馆传统服务和现代服务将并存、相互影响、相互补充、协同发展。只有正确对待传统服务与现代服务的关系,才能把图书馆事业不断推向更高的层次。     

Parlay的业务移动能力分析

基于Parlay业务规范的开放业务技术是下一代网络研究的重要内容。虽然Parlay业务规范目前已经被电信界普遍接受,但是,Parlay业务规范是否可以满足现在和未来电信业务发展的需求,这仍然是一个尚未解决的问题。论文通过构造两个典型的移动业务模型,并基于Parlay业务规范,设计了相应的实现模型,论证了Parlay业务规范对移动业务的支持能力。为了保证实现模型的正确性,论文采用通信顺序进程(CSP)理论描述了移动业务实现模型。最后得出结论:Parlay业务规范在跨业务管理域的业务调用、用户身份验证和用户业务逻辑传递方面仍然无法支持业务的移动性。     

高校后勤改革必须坚持“三服务、两育人“的宗旨

本文围绕高校后勤改革中如何坚持和发展"三服务、两育人"这一宗旨,从五个方面比较全面系统地解决了在理论上和认识上的问题.     

计算网格中的组件服务

在网格环境下的高能计算中,网络应用扩展为一系列的相互作用的组件,一个完整的网络应用应该以即插即用的方式整合这些组件.文中采用了公共组件结构来建立这些组件.为了提高组件之间的通信效率,增加组件的动态扩展性,还需要事件服务以及通道的概念.本文中还用到了一些XML的内容.     

基于生态经济学理论与方法的生态补偿量化研究

以生态系统服务和生态足迹的理论和方法为基础,从国家宏观层面建立生态补偿的判定标准、量化模型和计算方法.在此基础上以中国各省份为例,研究中国区域之间的生态补偿量化问题.结果表明:1)生态赤字大小的顺序为东部>中部>西部,而生态系统服务价值贡献顺序恰好相反.2)东部地区该支付的生态补偿总量为439.50×108yuan/a,各省平均为73.25×108yuan/a;中部总量为482.98×108yuan/a,各省平均为40.25×108yuan/a,西部总量158.56×108yuan/a,各省平均为12.20×108yuan/a.建议国家建立生态补偿基金,协调区域生态服务与生态占用的矛盾.     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

Web服务失效处理的反射中间件技术应用与实现

为提高服务有效性,在Web服务的客户方和服务器方配置反射层,捕捉到导致服务失效的各种状态和参数,有针对性地从服务内部动态调整服务运行状态和配置。依据服务失效类型,给出客户方和服务器方反射层的处理方法和工作过程,并借助于分层混合专家网络(HME)作为服务失效的检测方案,基于极大似然的HME学习策略可以对高维、非线性和强耦合的状态空间进行学习和辨识。通过实验和数据分析,表明了基于HME网络的反射中间件可以高效地对服务失效进行检测和处理。     

一种基于着色赋时Petri网的Web服务组合建模方法

为了满足日益复杂的Web服务需求,提出了一种扩展的petri网模型,即着色赋时Petri网模型。该模型通过引入时间集合来表示Web服务的触发及运行时间,通过引入颜色集合来区别不同种类的Web服务,使得对Web服务组合的描述更为准确。针对该模型还详细给出了该组合模型的基本运算规则及图形表示。