一种变步长D-Rake多用户检测器

在时变多径衰落信道下,接收到的CDMA信号功率变化较大,此时D-Rake盲自适应多用户检测器性能显著下降,将变步长LMS算法与基于主分量的相干合并引入到D-Rake(DecorrelatingRake)检测器中,构成一种变步长D-Rake,称之为VD-Rake(Variablestep-sizeDecorrelatingRake)检测器。该检测器能克服原D-Rake检测器对信号功率变化较敏感等缺点,有效地改善了D-Rake检测器的性能。     

基于模式理论光栅椭偏参数反演的数值模拟

将一种广泛用于求解系统优化问题的方法——正单纯形法，求解光栅的椭偏方程。首先，利用求解光栅的傅立叶模式理论对TE和TM波的复反射系数进行求解。然后计算出其相应的椭偏参数(△，Ψ)，并在该值的基础上加入不同偏差的随机高斯噪声，将加入噪声后的值(△m，Ψm)作为模拟测量值。最后使用优化算法进行反演。通过对几种常用面形光栅椭偏参数的数值模拟，一方面表明傅立叶模式理论计算光栅的椭偏参数不仅精度高。而且速度快；另一方面表明利用正单纯形法得到的光栅参数值很接近于正演时假设的参数值，从而从理论上证明了利用椭偏法测量光栅各种光学参数的可行性。     

实验室质量体系的建立与运行

详细论述了质量和质量体系的基本概念、建立质量体系的必要性、质量体系的构成和建立过程、质量体系文件的编制、质量体系的运行和持续改进以及中国实验室国家认可委员会的有关政策。     

消力池底板块的失稳破坏机理及其防护措施

本文根据国内外一些高坝消力池和水垫塘失事破坏的调查资料，说明了脉动压力在引起破坏中的作用。从理论上分析了脉动压力的基本特征及其分布规律、板块上脉动上举力的产生机理，论证了脉动上举力是导致消力池底板揭底破坏的主要原因。论述了合理设置止水设施、排水设施以及锚固措施等对防止破坏的效果，讨论了计入脉动荷载的底板块稳定性设计准则，提供了消力池底板块的设计和防护参数。     

Stability of Equilibria in a Four-dimensional Nonlinear Model of a Hydraulic Servomechanism

Starting from plysical laws a four-dimensional nonlinear model for mecano-hydraulic servomechanisms is deduced. The stability of its equilibria is analysed using a theorem of Lyapunov and Malkin to handle the critical case due to the presence of zero in the spectrum of the matrix of the linear part around equilibria. Stability diagrams are drawn and simulation results are presented through phase diagrams.     

A prolog based expert system for the allocation of quality assurance program resources

The worldwide proliferation of fraudulent materials has brought about the need for a new approach to the control of purchased material quality. Nuclear power, defense, aerospace and many other industries are affected by the supply of poor quality clones that presume to be original replacement parts. Safety considerations abound as these highly defective materials are used in systems that are critical to the preservation of human lives. Commonly utilized quality assurance programs have not effectively stopped the influx of fraudulent materials. These programs fail to concentrate inspection efforts on materials and inspection attributes that would effectively prevent the acceptance of fraudulent materials. herein a solution is presented to this problem in the form of an expert system application. Information commonly available in industry is formulated into a knowledge based system wherein advisories are given to the user regarding key purchased material receipt inspection strategies.     

Express Method for Estimation of Tensile Strength and Crack Resistance of Brittle Media

The procedure is proposed for estimating the crack resistance and tensile strength of rocks by the results of experiments on disk samples with holes. The gradient approach to the strength problem is employed in processing the experimental data.     

实验应变／应力模态分析若干问题的进展评述

本文评述了实验应变／应力模态分析进展的若干基本问题。主要是：应变响应与位移响应的关系；应变频响函数矩阵的特点及其测量方法；应变模态的加权正交性及其识别方法；以及其他问题。     

基于非线性规划的指数自回归模型的辨识

讨论了指数自回归模型的辨识问题，证明了该模型最小二乘估计的目标函数的非凸性，并给出了使该函数为凸的条件，最后给出了辨识该模型的算法及该算法的收敛性，并以数值例子加以说明。     

Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.