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

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

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

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

Lotka—Volterra系统对部分变元的全局稳定性

本文对Lotka—volterra生态数学模型的稳定性进行了讨论,引入关于部分变元稳定性的概念并给出判断其稳定性的一个充分条件。     

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服务组合的描述更为准确。针对该模型还详细给出了该组合模型的基本运算规则及图形表示。