民勤荒漠绿洲植被的生态服务功能价值化研究

以"中国生态系统生态服务价值当量因子表"为基础,通过生物量等因子的校正,评价民勤荒漠绿洲植被的生态服务功能价值及其变化,并分析其变化原因.结果表明:1983,1993和2003年民勤绿洲植被的生态服务功能价值分别为2.22×109,3.02×109,5.22×109元/a.1983～2003年植被的生态服务功能价值增长1.35倍.民勤绿洲生态系统服务功能主要由林地植被和草地植被生态提供,影响最大的是土壤形成与保护和生物多样性维持功能.     

面向服务架构的全文检索研究

对目前流行的全文检索技术——基于Lucene引擎的全文检索和SQLServer附带的全文检索功能组件Microsoft Search进行了分析研究,实现相应的检索接口,封装为Web服务且集成到使用面向服务架构的分布式仿真资源库中.通过相关性能测试,验证了全文检索接口封装为Web服务并应用于面向服务架构的可行性,结果表明基于Lucene的检索服务总体性能优于基于Microsoft Search的检索服务.     

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

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

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

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

Parlay的业务移动能力分析

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

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

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

计算网格中的组件服务

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

高速路由器中一种实现QoS保证的分组转发方案

针对入出随机早期检测(RIO)算法对支持区分服务的带宽分配产生偏移问题,提出了一种在边界路由器采用漏桶标记算法,核心路由器采用改进的In和Out随机提前检测算法IRIO,支持区分服务的分组转发方案。用ns2仿真器对方案的带宽使用效率、分组转发时延进行了仿真实验,实验结果证明了该方案可为业务提供跳到跳(HopbyHop)的QoS保证;同时仿真结果显示,IRIO与原RIO相比能个别地控制Out队列长度,表明它能够保护TCP流特性,防备突发分组丢失。     

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

以生态系统服务和生态足迹的理论和方法为基础,从国家宏观层面建立生态补偿的判定标准、量化模型和计算方法.在此基础上以中国各省份为例,研究中国区域之间的生态补偿量化问题.结果表明: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服务组合模型的能力.