Formal Analysis of Streaming Downloading Protocol for System Upgrading

For a PC-mobile download system which is embedded with streaming download protocol, there are problems that the data cannot be transmitted correctly from the PC to the mobile, or the transmission is unacceptably slow. To solve these problems, we carry out a formal analysis for the protocol with some timing parameters and a given probability of message loss and unordered data using a probabilistic model checking tool PRISM. We introduce a technique to reduce the state space of the system modeling the protocol which is a network of probabilistic timed automata. The experimental results in PRISM give us a clear explanation to the problems, and are helpful in identifying the optimal parameter settings to meet industrial requirements.     

高能气体压裂联作技术进展

国内高能气体压裂增产技术已经由单一的有壳弹、无壳弹、液体药、可控脉冲等高能气体压裂,进展到与射孔、水力压裂、酸化、化学解堵等技术相联作的综合压裂阶段。分别对高能气体压裂与射孔、水力压裂和化学解堵等联作技术的基本原理、现场试验、作业效果等进行了介绍。高能气体压裂已发展成一种基本成熟的、综合性油气田增产改造新技术。     

Fabrication and characteristics of high-speed implant-confined index-guided lateral-current 850-nm vertical cavity surface-emitting lasers

Process technology of high-speed implant-apertured index-guide lateral-current-injection top dielectric-mirror quantum-well 850-nm vertical cavity surface-emitting lasers (VCSELs) has been developed. Oxygen and helium implantation for aperture definition and extrinsic capacitance reduction, dielectric mirror formation, p- and n-ohmic contact formation, VCSEL resistance, and thermal analysis were investigated. Employing this technology, GaAs/AlGaAs-based 850-nm VCSELs with small signal modulation bandwidths up to 11.5 Gb/s and an eye diagram generated at 12 Gb/s by a pseudorandom bit sequence of 2/sup 31/-1 were achieved. The bit-error rates were below 10/sup -13/. The threshold current is as low as 0.8 mA for 7-/spl mu/m-diameter current apertures and typical slope efficiencies of 0.45-0.5 mA/mW were obtained.     

松辽流域初始水权分配实践与探索

根据松辽流域用水现状和需水预测,流域水资源承载能力将成为流域经济社会可持续发展的关键制约因素.节水型社会建设是解决这一问题的战略举措.水权制度建设和水市场建立是水资源管理适应市场经济的正确选择.面对松辽流域水资源管理的实际情况,流域初始用水权分配是实现战略举措的一项基础工作,也是水权制度建设和水市场建立的起步工作.结合松辽流域的具体情况,松辽委适时组织开展了流域初始用水权分配专题研究,并在霍林河与大凌河流域进行了初始用水权分配的实践探索.     

Low thermal resistance high-speed top-emitting 980-nm VCSELs

Increasing copper plated heatsink radii from 0 to 4 /spl mu/m greater than the mesa in vertical-cavity surface-emitting lasers (VCSELs) reduced the measured thermal resistance for a range of device sizes to values 50% lower than previously reported over a range of device sizes. For a 9-/spl mu/m diameter oxide aperture, the larger heatsink increases output power and bandwidth by 131% and 40%, respectively. The lasers exhibit a 3-dB modulation frequency bandwidth up to 9.8 GHz at 10.5 kA/cm/sup 2/. The functional dependence of thermal resistance on oxide aperture diameter indicates the importance of lateral heat flow to mesa sidewalls.     

载体及反应条件对Pt/BaKL沸石催化剂芳构化性能的影响

研究了γ-Al_2O_3或SiO_2载体,以及反应条件对Pt/BaKL沸石催化剂芳构化性能的影响。发现经过碱化或负载Sn的γ-Al_2O_3作为载体,能够较好地保持该催化剂在正己烷芳构化反应中的高活性和高选择性,并有益于改善Pt/BaKL沸石催化剂的抗硫性能。     

ORACLE编程中变量传值的实现

本文叙述了使用ORACLE语言编程中实现变量传值的几种方法，给出了实例。