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

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

EILog-05成套测井装备在长庆油田的应用

EILog-05成套测井装备是中国石油集团测井有限公司研发的具有完全自主知识产权的集成测井系统。集成化设计提高了测井仪器性能,综合化设计实现了地面系统网络化,成像测井仪器的配接成功丰富了测井项目,配套使用的一体化LEAD处理解释软件能更好地实现测井资料的现场综合解释。20井次现场试验、与ECLIPS-5700测井系统5口井的对比试验以及累计300多井次的现场应用表明,EILog-05成套测井装备的可靠性、稳定性、重复性以及与国外同类仪器测井结果的一致性均满足油田生产需要,能很好地判断长庆油田的“三低一高”复杂地层,对认识岩石三性关系和评价油气显示具有重要的作用。     

���������Ʊ�ը����ֵģ��

可燃气体在运输、储存、加工和使用过程中，因可燃气体泄漏而形成的气云爆炸事故，常常会造成巨大的人员伤亡和财产损失。研究气云爆炸的特性和威力，可防范事故，减小损失。中采用有限差分方法编制了求解可燃气云爆炸过程的定解方程的数值模拟程序。方程组中的源项由能量均匀加入法处理，爆炸场中的间断问题通过人工黏性模型处理。经开敞空间乙炔——空气气云爆炸实验结果检验，数值计算结果的偏差在13％以内。计算结果表明，气云半径越大，爆炸最大压力和压力增加速率越大；气云爆热越大，爆炸最大压力和压力增加速率越大。     

Analysis of Resolution of Bistatic SAR

In this paper, the spatial resolutions at different directions of bistatic synthetic aperture radar （BiSAR） have been derived from the ambiguity function. Compared with monostatic signal to noise ratio, BiSAR＇s resolutions of a fixed point target are varying with slow time since BiSAR system is space-variant. Constraints for the assumption of space-invariant bistatic topology are proposed in the paper. Moreover, under the assumption of invariance, the change of resolutions at different point in the image scene is taken into account, and we have specified two key parameters that affect resolutions directly and analyzed the way how they influence on the resolutions.     

大容量数据库如何避免ora-01555错误

本文分析了造成ora-01555错误的原因，并提出解决办法。ora-01555错误一直是DBA与developer争论的焦点，解决其问题应是双方协调的结果。     

DSP在声频谱测井仪器中的应用

声频谱仪器是一种新型的数控全波列测井仪，采用DSP作为它的控制核心器件，以便实现对整个仪器的工作状态、数据采集及传输的控制，是声频谱测井仪器的核心部分。文章主要介绍DSP的芯片结构和性能、ADSP-2101在声频谱仪器控制系统中的功能及实现、声频谱仪器现场采集的接收全波列波形和结论。     

电信运营商网络管理系统全新数据展现方案

从1997年中国电信开始97系统建设起，各个运营商相继建立了自己的运营支撑系统（OSS）。运营商的OSS系统一方面作为生产系统，满足日常运雏的工作需要；另一方面作为展现运维水平的窗口，需要在OSS的呈现部分提供更好的界面效果以吸引用户及大客户，为运营商带来更多的价值。微软下一代客户端展示技术——Windows展现架构（WPF）提供了强大的用户界面展现能力，可以为OSS系统提出的新数据展现需求提供良好的解决方案。     

WCDMA软切换的下行发射分集与功率控制策略

分别介绍了传统软切换分集方式、单基站选择分集传输方式（S-SSDT）、多基站选择分集传输方式（M-SSDT）、基站独立分集传输方式（SIDT）等几种发射分集策略，并探讨了相应的下行功率控制方案。     

掺Yb相移光纤光栅形成过程的分析

研究了用二次曝光法制作掺Yb相移光纤光栅的实验过程 ,并对相移光纤光栅制作过程中出现次峰的情况进行了理论分析。合理地解释了该现象     

RS/GIS支持下的柔鱼中心渔场时空动态迁移研究

根据1998-2001年的西北太平洋地区(35°N-45°N,140°E-170°W)巴特柔鱼资源调查与生产的实际情况对柔鱼捕捞作业中心的迁移路线进行研究,并利用同期的SST、SWiFs遥感反演资料,借助GIS的功能,分析了柔鱼中心渔场形成与表层水温、叶绿素a海洋要素场之间的关系,揭示西北太平洋柔鱼中心渔场的环境特征,以期为我国西北太平洋海区的鱿鱼生产服务。