透射型定时探测器

本文介绍了由微道板构成的透射型定时探测器,得到的飞行时间系统的时间分辨为280ps。并对进一步改善时间特性作了讨论。     

基于图像的虚拟环境建模技术

综述了基于图像的虚拟现实环境的建模技术，并给出了各种模型表示的理论依据和建模过程的定义。把环境表示分为四类：全景图，光场数据库，深度图像和多投影中心图。全景图的生成包括基于图像相关性和基于图像整合变换的算法。光场数据库的分类主要依据全光函数。同时论述了在各种表示下的采样和建模技术。最后讨论了当前建模技术研究的热点及所需要解决的问题。     

中、美流域水资源管理机制比较

萨斯奎哈纳流域管理委员会的委员由美国联邦政府和其流域内纽约、宾夕法尼亚、马里兰三个州的代表组成。在《萨斯奎哈纳流域协议》（联邦法律）的授权下。该委员会有权处理流域内的任何水资源问题。相比之下．国内的流域机构没有流域内省（自治区、直辖市）的代表作为委员，流域水行政管理的职能还不能满足流域内社会经济发展的实际需要。因此，形成和完善以流域为单元的水资源管理法律框架是有效保护、开发和管理流域水资源的基础，建立包括流域内省（自治区、直辖市）为代表的流域管理委员会可以提供一个有代表性、长效的管理机构。流域管理委员会应着重加强流域水资源保护、开发和管理的综合规划，注重流域的公共利益和社会服务．重视水质、湿地、洄游鱼类、珍稀物种和文化遗产保护．切实担当起河流代言人和保护神的角色。     

Formation of mushroom-like ZnO microcrystals through a solution calcination process

Mushroom-like ZnO microcrystals have been prepared via a solution calcination route, using Zn(NO₃)₂ as Zn source in the absence of any surfactants, templates or catalysts. This is the first example to prepare mushroom-like crystals as semiconductors, which are expected to show particular physical properties. The ZnO products were investigated by X-ray powder diffraction (XRD), scanning electron microscopy (SEM), Raman spectroscopy and photoluminescence (PL) spectrum measurements. A suitable concentration of Zn(NO₃)₂ solution was important for the growth of the mushroom-like products. The reported synthetic procedure is straightforward and inexpensive, and thus can be readily adopted to produce large quantities of mushroom-like ZnO microcrystals.     

金属—PAN—S配合物的极谱研究——Ⅱ:Fe~(3+)—PAN—S—TEA—NH_3·H_2O—NH_4Cl体系配合吸附波

在NH_3·H_2O—NH_4Cl—三乙醇胺底液中Fe(Ⅲ)与PAN—S产生一灵敏的配合吸附波,峰电位在—0.50伏(vs.SCE)。峰电位与铁离子浓度在2.8×10~8～3.4×10~(-6)mol/L范围内线性良好,检出下限可达2.8×10~(-8)mol/L。该法用于乳粉、头发、血清等样品的测定,结果满意。     

对增量CRL应用的一些研究

本文对PKIX依从系统中增量CRLs的应用进行了一些研究，包括：增量CRL的时间跨度对性能的影响及其最优选择；基于完全CRL与增量CRL检查证书状态以及构造新的完全CRL的算法。     

多粒度全光网中的多层联合路由

多粒度交换技术利用波带级路由以及光纤级路由,可有效降低光交叉连接器的复杂度.但多粒度交换增加了光网络的逻辑层次结构,使得网络中的路由与资源分配问题更为复杂,因此,在多粒度全光网中实现多层联合路由是提高网络性能的关键.本文对多粒度交叉连接结构进行了分析,并对多粒度全光网中的多层联合路由问题进行了研究.     

A Novel Segmentation and Feedback Model for Resolving Contention in Optical Burst Switching

A novel segmentation and feedback model (SFM) applied to resolve contention is proposed. Simulation and performance analyses show that the SFM effectively avoids contentions in optical burst switching (OBS). The long delay time of deflection routing and the immature technology of wavelength converters and optical buffers are not deployed in the SFM. The SFM does not only realize fast switching but also allows preemption by higher priority bursts.     

A novel optical burst switching scheme—logical cascaded private subnet with start wavelength assignment policy

Many recent studies have convincingly demonstrated that network traffic exhibits a noticeable self-similar nature, which has a considerable impact on network performance, and most studies of optical burst switching (OBS) networks are under a fundamental assumption that full wavelength conversion is available throughout the network. In practice, however, economic and technical considerations are likely to dictate a more limited and sparse deployment of wavelength converters in the optical network. Therefore, we present a novel scheme for OBS networks, called logical cascaded private subnet (LCPN) with start wavelength assignment policy. We define the concept of canoe relative to cluster in self-similar traffic, and introduce a new device named payload segregator at the edge node as a gateway to the core node in OBS Networks. According to the changes in the edge node framework, we put forward the concept of cluster private subnet and canoe private subnet in the core node correspondingly. A new start wavelength assignment policy is proposed for the absence of (full) wavelength conversion capabilities in the core node of OBS Networks. The performance study indicates that, our new scheme is robust under self-similar traffic and wavelength continuity constraint.     

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition style.The link between the two level specifications is provided via a translation from terms of algebraic specifications into temporal logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.