A New Method for Generating Image Correlated Noise

One is to use projection theory directly for systems with correlated noise.

方法一是直接对带相关噪声系统应用射影理论进行设计。

This paper presents two methods of using FFT converter and correlated function to measure the phase difference between two periodical signals. And through practical application, it proves that the two methods are effective in measuring phase difference.

给出了用FFT变换和相关函数法来测量两个周期信号之间相位差的两种方法，并在实际测量中进行了应用，证明对测量相位差是行之有效的方法。

Based on the Reissner Mindlin type global displacement field, a predictor corrector method for finite element analysis of laminated composite shells was introduced.

对于复合材料层合壳的有限元分析，本文根据Reissner-Mindlin型的全局位移场给出了一个预测-修正法。

Based on the Reissner Mindlin type global displacement field and predictor corrector method, the deflections and transverse shear stresses were investigated for laminated composite cylindrical shells under mechanical load.

本文根据Reissner Mindlin型的全局位移场（一阶和三阶），应用有限元预测&修正法，数值计算和分析了机械载荷作用下复合材料层合圆柱壳的挠度和横向剪应力。

These show that the technology of primary mirror, the fabricate on and test of the second mirror, the design of the fused quartz field corrector, the select of the fused quartz material and its fabricating method, the alignment of the optical system are successful.

说明主镜的加工工艺是成功的，同时也说明凸双曲面副镜的加工、检验[2]，熔石英像场改正镜的设计[1]、选料、加工[3]及光学系统的调整[4]也是成功的。

Research on the field corrector design for the R-C system of the large telescope Cassegrain focus

关于大望远镜卡焦R-C系统视场改正镜设计的研究

Research of dynamic voltage sag corrector

新型动态电压凹陷校正器研究

To diminish the static phase aberrations of large aperture lasers and promote the concentration degree of focal spot, phase corrector plate is proposed.

为了减小大口径激光系统的波前畸变并提高焦斑能量集中度，对静态波前畸变采用了相位板补偿的方法。

The proposed algorithm is divided into two phases of predictor and corrector. Firstly in the phase of predictor, the affine direction is calculated; then in the phase of corrector, the Newton direction is obtained with correction.

所用算法分成预测和校正两个阶段进行，首先在预测阶段求出仿射方向，然后在校正阶段对其进行校正从而得到牛顿方向。

The advantage and feasibility of pure open loop control of single phase boost power factor corrector are analyzed in this paper. The boundary of CCM and DCM is also presented in this paper.

讨论了Boost型功率因数校正器采用开环控制的优越性与可行性，分析了系统的开环工作性能，并且给出了变换器工作于电流DCM的临界条件。

The Critical Condition Control Method and Discontinuous Time Control Method of Three Phase Power Factor Corrector

三相功率因数校正器的临界条件控制法和间断时间控制法

Self-imaging effects are an important mechanism for phase-locking of laser arrays. The self-imaging cavities include the one with phase corrector ( Lau cavity) and the other one without phase corrector ( Talbot cavity).

利用自成像效应进行半导体列阵激光器锁相是一种重要的外腔锁相技术，所构成的共振腔可分为Talbot腔和带相位补偿板的Lau腔。

In simulation, as phase corrector of system, the deformable mirror's influence function generally was used with the Gaussian function.

在仿真分析中，作为相位校正器的变形镜，其面形影响函数通常采用高斯函数近似。

Proof of program correctness and a method of getting loop invariant

程序正确性证明及循环不变式的寻找方法

Development of an Inspecting System for NC Machine Program Correctness

数控加工程序的正确性检查系统的研制

A Developing Method of Programs Based on the Proof Theory of Program Correctness

一种基于程序正确性证明理论的程序开发方法

Experimental results show that the processed data obtained from the fault detection algorithm can detect the location of partial shade. Correctness of this new fault detection algorithm is proved by the experimental results.

实验结果表明，经过算法处理的数据可以快速诊断出局部遮阴的光伏电池位置，证明了本文的故障检测算法的正确性。

The idea proposed by Brookes for verifying concurrent programs was applied to Hoare's Communicating Sequential Processes ( CSP). A set of proof rules was presented to verify CSP programs partial correctness.

本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程（CSP），提出了一组证明规则，以验证CSP程序的部分正确性。

The Folding/ Unfolding method proposed by Burstall/ Darlington is a simple and powerful transformation method. Its major drawback is that only partial correctness of functions are preserved but termination may be lost.

Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法，但该方法仅保持函数的部分正确性，而可能失去某些值上的终止性。

Compared with previous certifying compilers, this compiler could deal with much more complex program properties, such as partial correctness about values.

而且，相比已有的出具证明编译器，该编译器可以处理更加复杂的程序性质，例如值相关的部分正确性。