等价型

By using theories of almost type functions,the theorem about relation of asymptotically periodic functions and asymptotically periodic sequences ,as well as the equipollence of vector-valued asymptotically periodic functions and almost periodic functions on R+ are obtained.

利用概周期型函数的理论，得出了渐近周期函数和渐近周期序列二者的关系定理，以及R+上的向量值渐近周期函数与概周期函数的等价关系。研究了渐近强周期函数空间、渐近周期序列空间的可分性质

In this paper, we give a section theorem of Ky Fan type and its equivalent theorem in hyperconvex metric spaces, and as their applications we obtain some minimax theorems and a coincidence theorem.

赵云河 ，张惠丽文章给出了超凸度量空间中的一个Ky Fan型截口定理及其等价定理，作为它们的应用，得到了一些极大极小定理和一个重合定理。

X is a real-type expression. The result is the fractional part of X; that is, Frac = X - Int.

Frac函数返回参数X的小数部分，X是一个实型数，该函数的作用等价于Frac=X-Int。

The author investigates simultaneous approximation by Gama operators and the rate of pointwise convergence by new Gamma type operators.

本论文讨论了Gamma算子的同时逼近，Gamma算子线性组合同时逼近的等价定理以及新的Gamma型算子的逼近速度。

By using the approach of weight function, a new Hilbert-type integral inequality with some parameters and a best constant factor is given. The reverse form and the equivalent forms are also considered.

应用权函数的方法，建立一个新的含多个参量的具有最佳常数因子的Hilbert型积分不等式，并考虑了它的逆向形式及相应的等价形式。

The formation of martensite is accomplished by the immigration of well-defined glissile interface (121)fcc type and its misfit dislocations can produce the lattice invariant deformation on the basis of phenomenal theory of martensitic crystallography, however, LID is retarded slightly after the migration of interphase (121)fcc, i.e.a thin plate-like zone exists without LID in martensite near the well-defined interface. When the temperature reduces to the Ms point, the lattice parameter of austenite matrix is √3/2 times that of the martensite without LID. This critical condition for spontaneous transformation agrees with that the stack fault energy in matrix is less than zero according to Olson and Cohen's nucleation model.

通过模型分析表明：fcc/bcc马氏体形核与长大过程是通过(121)fcc型择优界面推移进行的，界面上的错配位错可以完成马氏体晶体学唯象理论要求的点阵不变变形，但LID要稍滞后于界面迁移，即在马氏体形核与长大过程中推移界面新相一侧存在一未发生LID的新相薄区；当相变温度达到马氏体相变点Ms时，母相奥氏体与这一薄区的晶格常数比为√3/2，这一几何条件和Olson-Cohen形核模型中要求扩展位错层错区界面能γ≤0是等价的。

The viscosity solutions for partial differential equations of parabolic type havethree different basic definitions.The three definitions are equivalent when the equa-tions are continuous.But for the discontinuous equations,the equivalence of themare still unknown.

因为抛物型方程粘性解有三种基本定义法，它们在方程为连续时相互等价，对于不连续情况，它们间关系尚不明确，因而在本章里，我们特别证明了其中二个定义：定义1，定义2之间的关系。

The plumpness ratio is the bestindicator of full rapeseed.(5) The equivalent diameter is used to estimate the weight of rapeseed, andestablish the special and common model. In the overall, the correlation coefficient ofpredicted and measured values was over 0.99. The accuracy is more than 95%.

5以等价直径估测油菜种子重量，分别建立各品种的专用模型和面向白菜型、甘蓝型油菜的通用模型，两类模型在整体预测方式下的预测值与实测值间的相关系数均在0.99以上，预测精度可达到95％以上。

It is proved that the"feedback linearization" certainty equivalence control law with"regressor vector-based"update law can guarantee the real output to track reference output in relative degree one case.

当控制对象的相对阶为1时，我们证明了采用"反馈线性化型"确定性等价控制律，和"基于回归向量"的自适应律，可以保证实际输出有界跟踪参考输出；当控制对象的相对阶大于1时，控制律和自适应律的结构保持不变，但是构造自适应律的信号采用了由跟踪误差得来的"增广误差"。

Two intuitionistic systems of firstorder sentential calculus, Hilbert s type and natural deduction t ype, were introduced.

介绍了一阶命题演算的两个直觉主义系统：希尔伯特型及自然演绎型，并证明了这两个系统的等价性，揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。