密码协议的一种安全模型

将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.以kerberos密码协议系统为例,利用该安全模型和假设/保证推理技术对密码协议系统进行了安全验证.

OnceAS/Q:一个面向QoS的Web应用服务器

网络分布计算环境下应用系统的需求多样化和复杂性的增长,要求位于中间件层次的Web应用服务器(web application server,简称WAS)从原来的尽力而为服务模型转变为服务质量(quality of service,简称QoS)保障模型,为具有不同需求的应用分别提供适宜的服务质量保障.目前的WAS系统在此方面仍然比较薄弱.OnceAS/Q是一个面向QoS的WAS系统,它以QoS规约为基础,为不同应用提供不同的QoS保障能力.OnceAS/Q实现了一个应用QoS保障框架,提供了一组QoS服务组件支持具有QoS需求的应用开发和运行.介绍了OnceAS/Q的体系结构和主要组件,详细阐述了两个关键问题,一是QoS规约的定义及其映射,另一个是面向QoS的服务组件和资源的动态重配.OnceAS/Q原型在Ecperf测试基准下,对其QoS保障能力进行了实验.实验数据表明,在较大规模的应用环境下,OnceAS/Q能够提供更好的服务质量,并且开销是可接受的.

一种按基因重要度收敛的进化算法

提出基因重要度的概念,通过实验证明基因重要度对于单变量边缘分布算法(Unvaried Marginal Distribution Algo-rithm,UMOA)收敛的重要性.由此提出一种基于基因重要度的进化算法.该算法首先对组成染色体的各基因进行重要度排序,随后对重要度大的基因先进行收敛操作,每次收敛当前重要度最大的基因,直到所有基因全部收敛.实验数据表明,本算法的收敛速度更快,而且更容易求出满意解.

Broadly Tunable Grating-Coupled External Cavity Laser With Quantum-Dot Active Region

A broadly tunable and high-power grating-coupled external cavity laser with a tuning range of more than 200 nm and a similar to 200-mW maximum output power was realized, by utilizing a gain device with the chirped multiple quantum-dot (QD) active layers and bent waveguide structure. The chirped QD active medium, which consists of QD layers with InGaAs strain-reducing layers different in thickness, is beneficial to the broadening of the material gain spectrum. The bent waveguide structure and facet antireflection coating are both effective for the suppression of inner-cavity lasing under large injection current.

第94届美国生态学会年会在新墨西哥州阿尔伯克基召开

<正>美国生态学会(ESA)第94届年会于2009年8月2日到7日在新墨西哥州阿尔伯克基(Albuquerque)的国际会议中心举行,3000多人参加此次会议。会议主题是"Ecological Knowledge and a Global Sustainable Society"。8月2日下午5时,美

气候变化对森林演替的影响

森林演替是森林生态动力源驱动下森林再生的生态学过程 ,自 2 0世纪初建立群落演替理论以来 ,演替研究成为生态学研究中的热点 .客观准确地认识森林演替规律 ,研究森林演替动力学机理及其模型 ,是科学管理森林生态系统的需要 ;对于天然林保护工程与森林植被的恢复重建 ,具有重要的理论与实际意义 .干扰是森林循环的驱动力 ,导致森林生态系统时空异质性 ,是更新格局和生态学过程的主要影响因素 .它可改变资源的有效性 ,干扰导致的林隙是森林循环的起点 .回顾了目前演替研究的几种方法 ,即马尔科夫模型、林窗模型 (GAP)、陆地生物圈模型 (BIOME)和非线性演替模式 .介绍了气候变化对森林演替的影响 ;并在已有成果的基础上 ,提出了目前研究存在的问题及未来的发展方向 .