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

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

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.     

Repetition rate multipliers for efficient implementation of multiphoton and pump-probe fluorescence microscopy

With the advances in pulsed laser systems, microscopic imaging techniques such as multiphoton and pump-probe fluorescence microscopy have developed into effective tools for investigating intensity and time-resolved phenomena inside biological systems. However, pulsed lasers used in these techniques usually are commercial systems with repetition frequencies of around 80 MHz. While these systems have proven to be adequate for multiphoton and pump-probe microscopic imaging applications, the temporal separation of the laser pulse train (around 12.5 ns) is long compared to the fluorescence lifetimes of many common fluorescence species. In this work, we present the designs of repetition rate multipliers based on passive optical components that can be used to increase the efficiency in multiphoton and pump-probe fluorescence microscopy. Depending on the lifetime of fluorescence molecules under investigation, the passive repetition rate multiplier can increase the duty cycle of multiphoton or pump-probe microscopy up to fourfold.     

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

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

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

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

COIL中BHP浓度对发生O_2(~1△)的影响

本文实验研究了BHP的浓度对产生O2（1△）的影响。实验结果表明：当BHP浓度大于3.5M时，Cl2利用率以及O2（1△）的产率将不依赖于BHP浓度的变化而变化，同时，实验结果表明，使用低浓度的BHP对COIL的操作是可行的。     

有限长FGM圆筒的热/机应力的解析解

利用微分方程的级数求解方法,分析了两端简支的有限长功能梯度圆筒的轴对称稳态热弹性问题,推导出了稳态温度场与应力场的解析解。分析中采用指数函数模型来描述FGM圆筒中材料性能在厚度方向的连续变化,同时忽略温度对材料性能的影响。另外,论文以金属钼和多铝红柱石制成的功能梯度圆筒为例,给出了稳态温度场和应力场的数值结果。     

论浮力的计算

通过讨论物体下表面不与液体接触时浮力的计算,总结浮力计算的一般方法.     

心脏黏液瘤的超微结构研究

对8例心脏黏液瘤进行了临床病理总结，着重进行了超微结构的研究，结果表明黏液瘤细胞有4种超微结构表现：（1）原始间叶细胞；（2）纤维母细胞样；（3）肌纤维母细胞样；（4）上皮样。提出心脏黏液瘤细胞起源于原始间叶细胞，有纤维母细胞、肌及上皮样分化。并且提出瘤细胞参与黏液瘤基质的形成。