Efficient performance analysis of asynchronous cellular CDMA overRayleigh-fading channels

The bit error rate (BER) analysis of a direct-sequence code-division multiple-access (DS-CDMA) cellular system over a Rayleigh-fading channel often results in complicated expressions even though the Gaussian approximation is applied. A combined probability density function (pdf) approach for the forward link and a mean-method technique for the reverse link are proposed to significantly reduce the computational complexity. The simplified BER expressions are derived and yield accurate results     

Textural evolution in electrodeposits under the influence of adsorbed foreign species: Part I Textural evolution in iron electrodeposits affected by hydrogen co-deposition

Textural evolution in electrodeposits is strongly affected by foreign species in the electrolyte and also by the co-deposition of hydrogen. The effects of foreign species on textural development in electrodeposits were studied by employing a Monte Carlo model. This model is based on physical principles and incorporates parameters which are used to control electrodeposition processes. An attempt was made in the simulation to reflect the basic process of the deposit growth, and to identify the factors responsible for the texture formation and its variation with the deposition condition. It is assumed that the texture of the deposit results from the minimization of the free energy of the system. Based on this assumption, it was demonstrated that the surface-energy anisotropy played an important role in the formation of fibre texture. In particular, the model can be used to simulate textural evolution under the influence of adsorbed foreign species, because the surface-energy anisotropy is modified by the adsorbed foreign species. Part I of the paper presents results of our studies on iron electrodeposition with the emphasis on the effect of hydrogen adsorption on iron deposit texture. Relevant experimental results have also been presented to corroborate the simulation study. Part II of the paper presents simulation studies of textural evolution in copper deposits under the influence of adsorbed potassium and chloride ions. This revised version was published online in November 2006 with corrections to the Cover Date.     

DST压恢法在大港油田的应用

非自喷井解释方法一直是困扰试井界的难题之一。自1995年底应用DKS2．0软件中DST压恢分析法先后处理了大港油田200多层实测资料以来，发现一部分井与常规分析法的处理结果完全不同。这些井多出现在均质无限大油藏，且其压力及压力导数曲线开口小、导数曲线驼峰较小。通过对DST压恢分析法在大港油田应用情况的分析，认为此方法适用于均质非自喷井，尤其是处理低渗且地层受污染井的结果比较符合地层的实际地质情况，其成果的应用对地层改造有一定的指导作用。     

显像（示）管阴极像黑洞状缺陷形成的原因及消除对策

本文通过有关理论依据和试验数据，着重阐述了在显像（示）管测试中，阴极像中心黑洞状缺陷产生的原因以及消除这种缺陷的处理方法。通过这种处理方法处理过的显像（示）管，其整体质量水平（尤其是真空度）将会得到明显的提高。     

驱动压电陶瓷的高压放大器

概述了高压放大器的基本组成，以及采用高压稳压电源措施，提高高压放大器的性能，并简述了高压放大器输出级的工作原理，给出了过渡保护方法。     

动态波前相位的高分辨率测量

动态波前相位信息测量是大气光学，气动光学和激光技术等领域的重要实验手段。提出了一种具有高的时间和空间分辨率以及长的测量持续时间的动态波前相位测量方法。应用Ｈａｒｔｍａｎｎ－Ｓｈａｃｋ波前传感器获得高空间分辨率的相位信息，采用高帧频ＣＣＤ摄象机获得高时间分辨率图象数据。     

On Deciding Readiness and Failure Equivalences for Processes

In this paper, we study the complexity of deciding readiness and failure equivalences for finite state processes and recursively defined processes specified by normed context-free grammars (CFGs) in Greibach normal form (GNF). The results are as follows: (1) Readiness and failure equivalences for processes specified by normed GNF CFGs are both undecidable. For this class of processes, the regularity problem with respect to failure or readiness equivalence is also undecidable. Moreover, all these undecidability results hold even for locally unary processes. In the unary case, these problems become decidable. In fact, they are Π^p₂-complete, We also show that with respect to bisimulation equivalence, the regularity for processes specified by normed GNF CFGs is NL-complete. (2) Readiness and failure equivalences for finite state processes are PSPACE-complete. This holds even for locally unary finite state processes. These two equivalences are co-NP-complete for unary finite state processes. Further, for acyclic finite state processes, readiness and failure equivalences are co-NP-complete and they are NL-complete in the unary case. (3) For finite tree processes, we show that finite trace, readiness, and failure equivalences are all L-complete. Further, the results remain true for the unary case. Our results provide a complete characterization of the computational complexity of deciding readiness and failure equivalences for several important classes of processes.     

面向对象中文窗口开发环境：C—VISION

Ｃ－ＶＩＳＩＯＮ中文窗口系统综合采用了面向对象与窗口环境设计的程序方法，彻底更新了在微机上进行中文窗口设计的编程思想，同时作为一个基础系统，为软件设计节约了大量的人力和时间，实现了微机程序的共享。     

定向爆破拆除煤矿主井井塔

文章论述了井塔拆除爆破中，把框架承重立柱的裸露钢筋骨架失稳看作为压杆失稳以及井塔在倾斜撞地时下部不解体破坏的估算。     

变井储系数的确定方法及其在反褶积分析中的应用

中针对变井储试井分析问题，给出了确定变井储系数及计算续流量的方法，并用反褶积分析积分析方法解释了未出现径向流的早期测压数据，给出了解决早期试井资料分析问题的有效方法。