不动的

In recently years, it has obtained some new results of the fixed point theorem and applications for nonlinear operators.

人们运用半序方法和拓扑度理论研究算子的不动点的存在唯一性，及多个不动点的存在性和存在范围。

A kind of one parameter planar singular perturbation equation is studied by the qualitative theory of ordinary differential equations, asymptotic analysis methods, implicit function theorem and fixed point methods.

本文应用微分方程定性理论、渐进分析方法、隐函数定理以及不动点理论的方法研究一类单参数二维奇异摄动系统。

For a second, you can see Thatcher's hat jiggle a few inches and then be still again.

这是你可以看见撒切尔的帽子动了一下，后来又不动了。

Not to change one's voice and expression because of emotion; maintain one's composure; keep one's contenance; keep one's head; stay calm and collected; not turn a hair; not bat an eyelid

成语动：变动；声：说话的声音；色：脸色。内心活动丝毫没有在语言和神情上流露出来。形容镇静、沉着。也作"声色不动"、"不露声色"。例句尽管敌机在上空盘旋；他还是～地筹划着作战方案。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

The purpose is to study the existence of fixed point theories for set valued mapping s in B metric space.

讨论了B度量空间中一些集值映象的不动点的存在性问题，得到了一些新的不动点定

Of Course. Easy. No sweat.

你会动都动不了的

In this paper the existence of fixed point problems for nonlinear operator is studied; several new fixed-point theorem are established and some related known work is extended and improved.

本文研究了几类非线性算子不动点的存在性问题，建立了若干新的不动点定理，推广了前人的一些结果。

By using the cone and partail ordering theory, and mixed monotone operator theory in nonlinear funtional analysis, the existence and uniqueness of the common fixed point for two non-monotone binary operator are discussed in partial ordering Banach space.

利用锥与半序理论和混合单调算子理论，讨论了半序Banach空间中两个非单调二元算子的公共不动点的存在性和唯一性，并给出了迭代序列收敛于公共不动点的误差枯计，所得结果是某些已知结果本质改进和推广。

Lying there she heard a rending crash as one side of a pergola that the old eunuch had struck in passing came tumbling to the ground.

太后筋疲力竭，再也动弹不得，惊惶之下，却见海老公伏在倒塌的花架之上，动也不动了。

This paper discusses design and realizable methods of remote test output interface from logical design angle.

本文从逻辑设计的角度讨论遥测输出接口的设计及实现方法。

This also 星体投射plies to buildings, structures and geological features.

这也适用于建筑物和地质特征。