非公式的

With the increase of the refractive error before refractive surgery, the asphericity of the anterior cornea changes from negative to positive, which leads to the increase of the spherical aberration.

考虑了激光斜入射和反射后的术后非球面系数与Munnerlyn公式的预期值差别不大，术后非球面系数的大小与光区的关系不大。

Some basic properties of σ- LFSR over F4 are studied, such as nonlinearity, cycle structure distribution of state graph, the largest period and counting problem related. The conclusions are as follows:The coefficient ring of σ-LFSR is isomorphic to the matrix ring over F,. The cycle structure of σ- LFSR is consistent with that of the determinant of the corresponding polynomial matrix if and only if the feedback polynomial of - LFSR does not contain nontrivial factor over F2,. The counting formula of the number of σ- LFSR with inconsistent cycle structure is also showed in that part. The period of σ-LFSR with degree n is maximum if and only if the determinant of the corresponding polynomial matrix is the primitive polynomial with order 2n over F2,.

本文研究了有限域F_4上的σ-LFSR的一些基本性质，如非奇异性、状态图的圈结构的分布、最大圈的充要条件及相关的计数问题等，得到以下结论：σ-LFSR的系数环同构于F_2上的矩阵环；σ-LFSR的状态图的圈结构与对应的多项式矩阵的行列式的圈结构一致的充要条件为σ-LFSR的反馈多项式不含有非平凡的F_2上的因式，给出了圈结构不一致的σ-LFSR的计数公式； n次σ-LFSR周期达到最大，当且仅当对应多项式矩阵的行列式为F_2上的2n次本原多项式。

In addition, this article took the isoclinic information which unwrapped already into isochromatic formula to get the correct retardation. This method might not get the form of arc-tangent because there are not output quarter-wave plates in three and six phase-stepping methods. Therefore, this paper corrected it by load-stepping method.

另外，为了使相位展开技术能顺利完成，进而得到相对的延迟量，在修正等色线包裹相位图中的不连续点时，本文使用之方法是将修正完的正确等倾线数值带入等色线公式中，此法在三场与六场中因为少掉了输出的四分之一波板，造成公式的结果使得条纹角度分布非反正切形式，因此需另外使用负载相移法来做修正。

Under partial load conditions the draft tube 3D simulation results showed that the climax of pressure fluctuation of draft tube vortex incepted at the underside of cone part closed by bend and the frequency of the pressure fluctuation accorded with times frequency rule very well.

部分负荷工况下尾水管内三维非定常计算结果表明，尾水管涡带压力脉动最大发生在直锥段下面靠近弯肘段，并且脉动频率符合实际的倍频规律，从而验证了简化公式的正确性。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

The measuring data after pre-processing was fitted with NURBS curve with constructing the non-uniform node vector using the method of cumulating chord length and optimizing the rights of NURBS curve restrictively. The formula of surface skinning which can be realized by programming was proposed on the basis of the foundation formulas in existence, then NURBS curves was skinned to gain the corresponding NURBS surface.

对经过预处理后的测量点数据，通过采用累积弦长法构造非均匀节点矢量和对权因子的约束优化，进行测量点数据的NURBS 曲线拟合，在现有基本公式的基础上推导出了可以编程实现的曲面放样公式，对得到的NURBS 曲线进行放样处理，最终得到了测量点数据的NURBS 曲面。

Taking cohesionless soil under plane strain condition as anexample, a simple method to determine the angle of the non-coaxiality between directions of the principal strain increment and the principal stress is proposed, and the formula to evaluate the strain increments due to the rotation of principal axes is derived.

以平面应变条件下的无粘性土为例，提出了一个确定主应力轴旋转条件下主应变增量与主应力方向之间非共轴角的简单方法，推导出了主应力轴旋转产生的应变增量的计算公式，通过试验验证了方法和公式的适应性。

This study shows that the new non-equilibrium solvation formulation established in our research group is valid and reliable.

用实验数据的拟合结果以及与Lippert-Mataga公式的比较，表明新的非平衡溶剂化公式在预测光谱位移方面是可靠的。

In Chapter 2, starting from a generalization of Hensel's Lemma to non-commutative case, we introduce the Brauer characters and the generalized decomposition numbers, and construct a kind of maximal semisimple algebras; then, similarly to Puig's methods, we prove Brauer's Second Main Theorem over arbitrary fields; applying it to blocks with nilpotent coefficient extensions, a formula on characters of such blocks is given; the formula of characters of nilpotent blocks is just an easy consequence of the fomula.

在第二章中，我们将Hensel的引理推广到非交换的情况，以此为起点，定义了Brauer特征标和广义分解数，构造了一类极大的半单的代数，类似于Puig的方法，给出了任意域上Brauer的第二主要定理；作为该定理的应用，我们给出了具有幂零系数扩张的块的特征标公式，幂零块的特征标公式只是它的一个简单的推论。

Skin Renewal Complex SPF 20 (1 fl. oz.)- a non-irritating formula that uses AHAs to resurface the complexion.

皮肤更新复杂的SPF 20 （ 1液体盎司）-非刺激性的公式，利用AHAs以重新肤色。

Finally, according to market conditions and market products this article paper analyzes the trends in the development of camera technology, and designs a color night vision camera.

最后根据市场情况和市面上产品的情况分析了摄像机技术的发展趋势，并设计了一款彩色夜视摄像机。

Only person height weeds and the fierce looks stone idles were there.

只有半人深的荒草和龇牙咧嘴的神像。