等价的

We also observed and measured the distance and section of some muscles such as long muscle of neck、long muscle of head、sternocleidomastoid、trapezius、longissimus、inultifidus、splenius、semispinal muscle of head、semispinal muscle of neck、anterior scalene、middle scalene 、posterior scalene et al. We achieved the moment of force and downloaded the force in the model .We also added gravity of head.

通过横截面积肌力计算法，测量尸体颈椎周围的主要肌肉：胸锁乳突肌、斜方肌、头长肌、颈长肌、肩胛提肌、夹肌、前斜角肌、中斜角肌、后斜角肌、多裂肌等的横截面积及其与颈椎纵轴的中心距数值，求得力矩值，直接或根据力矩等价公式间接的将肌力值加载于模型体表各点。

Some desired results are obtained.Finally, we fuzzify three crisp preference structures. We propose the definitions of fuzzy total interval order structure, fuzzy total semiorder structure and fuzzy partial order structure.

最后，我们对三种特殊的偏好结构进行了模糊化，我们给出了模糊全区间序、模糊全半序及模糊偏序的定义，讨论了三种结构的等价条件，研究了每种偏好结构的基本性质。

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

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

Using the properties of the harmonic function and the theories of the expansion of the spherical harmonics,the equivalence between Moritz analytical continuation and Bjerhammar s virtual spherical solution is proved according to the power series expanded form of the real number field function,the differences in meaning between the two solutions are analyzed.

利用调和函数的性质以及球谐函数展开理论，并根据实数域上函数的幂级数展开式证明了Moritz解析延拓解与Bjerhammar虚拟球面解的等价性，同时分析了两种解的内在区别。

Because the items be introduced,difference of composite with imperfect interface from one with perfect interface is that stationary value principles of the former is no longer equivalent of variation equation s corresponding the principles.

与完美界面不同的是，由于这个积分项的引入，非完美界面复合材料的驻值原理不再与相应的变分方程等价。

We study the Dirac structures on protobialgebroid, give the integrable conditions for maximally isotropic subbundle being Dirac structure for protobialgebroid by the notion of characteristic pair. From the integrable conditions, we found out that Dirac structure has closed relations with twisting of protobialgebroid. Further, the closed relations are explained, the fact that twisting of protobialgebroids is a equivalence relation is verified.

详细研究了proto双代数胚匕的Dirac结构，给出了极大迷向子丛可积的充要条件，发现在这些充要条件中蕴含了proto双代数胚的扭关系，进一步阐明了扭与Dirac结构之间的内在联系，证明了扭在proto双代数胚范围内是等价关系。

A method of the surface combination based on classification or Euler Operation and the computation of the surface boundaries of a surface is offered to finish the geometry mapping of surfaces between half-edge model and the closed_shell branch of manifold surface model. Moreover, the concepts of conformal-shape geometrical mapping and topological mapping are given. The bi-directional conformal-shape topological mapping between half-edge model and the closed_shell branch of manifold surface model is proved.

提出了一种基于等价分类和欧拉操作的面片合成和曲面边界计算方法，完成了半边模型到流形曲面模型closed shell枝的曲面几何映射；给出了保形几何和保形拓扑映射概念，证明了半边模型到流形曲面模型的closed_shell分枝的双向保形拓扑映射。

Chapter3, being the main part of this dissertation, converts nonconvex semidefinite programming problem to nonlinear programming problem, and proves that under transversality condition, strict complementarity condition and the sufficient optimality condition of local solutions, and are equivalent locally.

第3章是本文的主要部分，将非凸半定规划问题转化为等式约束的非线性规划问题，并证明了在局部解的充分性条件及严格互补松弛与非退化条件之下两问题的局部等价性。

As a corollary, we solve a conjecture of Liao, i.e., the following four conditions are all equivalent: 1 the system is structurally stable, 2 the system is in the interior of the set of Kupka-Smale systems, 3 the obstruction set and the interior of singularities of the system are empty, 4 the system satisfies Axiom A and the strong transversality condition.

作为一个推论，这解决了廖山涛先生的一个猜测，即下述四个条件等价：1 系统为结构稳定的，2系统及其附近的系统皆为Kupka-Smale系统，3系统的阻碍集为空集，4 系统为公理A且满足横截性条件。3→4，4→1，1→4已经分别由廖山涛， Smale、 Anosov、 Robbin、 Robinson以及Robinson完成。

It is proved that these two types of fuzzy controllers are equivalent to the variable structural combinations of nonlinear PI controller and nonlinear control offset. Moreover, the outputs of these fuzzy controllers are monotonically increasing, continuous, and bounded with regard to the corresponding universe of discourse.

基于此，深入研究了模糊控制器的解析结构，并证明了这两类模糊控制器等价于一种变结构的非线性 PI 控制器与相应的非线性控制偏置之和，并且在其输入论域上是单调递增、连续且有界的。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。