形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

Variations in Spectral Slope in Lake Taihu,a Large Subtropical Shallow Lake in China

Spectral slope (S), describing the exponential decrease of the absorption spectrum over a given wavelength range, is an important parameter in the study of of chromophoric dissolved organic matter (CDOM) dynamics, and also an essential input parameter in remote sensing models. Furthermore, S is often used as a proxy for CDOM composition, including the ratio of fulvic to humic acids and molecular weight. The relative broad range in S values reported in the literature can be explained by the different spectral ranges and fitting methods used. A single exponential model is used to fit the S values for 17 investigations involving 458 samples in Lake Taihu from January to October in 2004. The average S value was 15.18 ± 1.39 μm⁻¹ for the range of 280–500 nm, which fell within the range reported in the literature. The frequency distribution of S value basically obeyed a normal distribution. Significant differences in S values between summer and other seasons showed that phytoplankton degradation was one of the important sources of CDOM in summer, whereas CDOM mainly came from the river input in other seasons. Furthermore, the estimated S value decreased with increasing wavelength range used in regression. The maximum and minimum values derived from the regression were 17.89 ± 1.25 μm⁻¹ and 13.62 ± 2.11 μm⁻¹ for the wavelength ranges of 280–380 nm and 400–500 nm, respectively, a decrease of 23.9%. S values significantly decreased with the increase of CDOM absorption coefficients. CDOM absorption coefficients could be more appropriately estimated from exponential model introducing the variation of S with absorption coefficients, making them useful for a remote sensing bio-optical model of Lake Taihu. DOC-specific absorption coefficient a*(λ) and the parameter M describing molecular size of the humic molecules could also be used as a proxy for the sources and types of CDOM. A general relationship was found between S and a*(λ), and M values. S increased with the decrease of DOC-specific absorption coefficient and the increase of M corresponding to the decrease of molecular weight.     

深孔预裂爆破在溢洪道高边坡开挖的应用

高边坡深孔预裂爆破是一项对施工质量、安全要求极高的爆破技术, 必须进行科学的爆破技术设计,确定合理的爆破参数;高度重视爆破钻孔工艺、装药工艺、网络工艺以及边坡稳定性地质分析.在洞巴水电站中不允许采用超欠平衡的开挖方法进行施工,利用设计台阶高度,采用深孔预裂爆破对溢洪道高边坡的稳定及开挖平整度进行有效控制,取得良好效果.     

加氢联合装置压缩机组的防喘振控制

阐述了喘振的发生、危害及其控制。介绍了加氢联合装置Triconex的TS-3000控制系统防喘振控制器的特性和各种控制线、防喘振控制的算法和操作。采用该系统后可以有效地实现防喘振控制，提高机组的控制灵敏度、稳定性及工艺生产过程的安全性和可靠性。     

边坡稳定影响因素及稳定分析方法探讨

在明确边坡稳定性取决于边坡自身的结构特性、水、振动、人类活动、气候条件、风化及植被等内外因素综合作用的前提下,对边坡的稳定分析方法从定性到定量的发展过程进行了分析。定性分析法主要有地质历史力学分析法、工程经验类比法和图解法等;定量分析法主要有极限平衡法、有限单元法、能量平衡法、控制理论分析法、智能技术分析法以及综合分析法等。针对现有边坡稳定分析方法存在的利弊,提出了需要深入研究的问题,以完善边坡稳定性的研究内容。     

燃气联合循环的新发展

根据国内外能源结构的调整变化，就我国和世界上其他国家采用燃气联合循环发电的情况以及能电共生新趋势作一些介绍，供规划建设联合循环发电决策参考。     

埋地管道三层PE外覆盖层及其检测方法研究

文章介绍了埋地管道三层PE外覆盖层系统的构造参数和性能特点,论述了两种用于埋地钢质管道外覆盖层状况检测的方法,一种是多频管中电流法,另一种是DCVG/CIPS组合检测技术。分别介绍了两种方法的工作原理、操作方法和设备,并结合工程实例进行了说明。这些方法和设备可分别或同时用于管道不开挖检测防腐层破损点的位置以及漏点大小。     

东营凹陷南斜坡储集层成岩作用及对储集性能的影响

东营凹陷南斜坡孔店组岩石类型以岩屑长石砂岩为主 ,长石砂岩和岩屑砂岩次之 ,其中岩屑长石砂岩含量超过 90 %。砂岩成岩作用包括压实作用、胶结作用、溶蚀作用、交代作用等 ,其中胶结作用使储层原生孔隙迅速变差 ,而溶蚀作用是次生空隙发育的主要因素。孔店组砂岩成岩作用进入晚成岩A期 ,期间经历了早成岩A期、B期。影响成岩作用的主要因素为构造演化背景、岩石成分、沉积环境、孔隙流体性质等。     

部分样本雷达信号的参数估计

线性调频信号参数检测是SAR对抗的一个重要问题 ,其估计参数的方法有多种 ,但对于分析部分样本LFM信号而言 ,绝大多数估计方法的误差很大。在用快速相关解线调估计和分析部分样本LFM信号存有误差的基础上 ,提出了一种改进的快速相关解线调算法运用于部分样本LFM信号的起始频率和调频斜率参数的估计 ,减小了误差。最后对改进的算法进行了仿真 ,证实了改进后的有效性。