等价的

In Chapter 4, we introduce the definition of implicit complementarity problems and struct an equivalent projection differential equation system. And then we prove the equilibrium point of system is exact the solution of the implicit complementarity problem.

本文的第4章介绍了有关隐式互补问题的相关知识，并且利用投影算子建立了与之等价的微分方程系统，这个微分方程系统的平衡点就是隐互补问题的解。

Flyweight is not used, active values can fit better into the processor cache.

Flyweight 时等价的 T 对象的家族小得多，活动的值可以更好的适应处理器的缓存。

For the linear discrete stochastic descriptor systems with multisensor, using me smgu, ar value decomposition, it is transformed into two reduced order subsystems, and a new fusion method of constructing the original state fuser based on the transformed state fuser is presented.

对于带多传感器的广义线性离散随机系统，应用奇异值分解，将其变换为等价的两个降阶多传感器子系统，提出了基于变换后的状态融合器构造原始状态融合器的新的融合方法。

This paper discusses a new generalized Quasi-vector variational inequality problem of Gateaux differential mappings in Banach space and proves the existence of a solution for such a problem by the KKM theorem.

研究了Banach空间中一类G-可导映射的广义拟向量变分不等式问题，运用KKM定理证明这类问题解的存在性，并在适当的条件下证明了此类问题与Konnov I V和Yao J C等人提出的广义向量变分不等式问题是等价的。

Whence, the homomorphism proof system from formulas in MU(1) is complete, and this proof system and the tree resolution proof system can be transformed mutually in polynomial time on the size of proof.

从而，由 MU(1)中的公式构成的同态证明系统是完备的，并且由 MU(1)中的公式构成的同态证明系统与树消解证明系统之间是多项式等价的。

Mathematic proof of the hypertonicity for this model is given using two different cases. Furthermore, the Riemann invariants for the multi-class traffic flow LWR model are studied by using characteristic line method, and the physical interpret of the Riemann invariants are also pointed out. The information in transfer is obtained, that is, the total density and the relative density hold the same.

用两种方法给出了该模型在不同情形下双曲性的数学证明，运用特征线方法研究并计算了任意等级MCLWR交通流模型的Riemann不变量，得到了其传递的交通信息，给出了Riemann不变量物理意义的解释，即总密度保持不变和相对密度保持不变，最后又从形式上指出了在多等级车流并行时，MCLWR与LWR两种交通流模型实际上是等价的。

By introducing a concept of δ-fine partition on infinite interval the-integral of vector-valued functions on infinite interval was made entirely harmonic with that on finite interval.

通过引入无穷区间上δ-精细分法的概念，使无穷区间上向量值函数积分与有限区间上的积分在形式上完全和谐，并证明其与Cauchy扩张的方法和简单积分的思想是等价的。

Simulation results of autonomous maintenance optimal output feedback control for 3-dimension orbit initial error status are shown.

一般情况下最优控制律的实现是需要变推力发动机的，在没有变推力发动机的情况下，本文特别给出并验证了用冲量等价的方法实现变推力发动机替代的可行性。

For its two special cases: N = 0 and R=0, based on nongradient and gradient methods respectively, neural networks for the two cases are constructed. With the Lyapunov theorem and the LaSalle invariant set principle, the proposed networks are proved to be

推广了R_0性质的定义，并证明无约束优化问题目标函数的水平集的有界性与矩阵对的R_0性质是等价的，最后运用Lyapunov稳定性理论和LaSalle不变原理，严格分析了网络模型的稳定性和收敛性，这些模

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是等价的。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失