判定的

The model presents the prerequisite conditions of the delegator and the delegatee, analyzes the constraints of the delegation width and the delegation depth, and the delegation revocation based on the temporal constraints.

该模型提出了委托用户和被委托用户的资格判定条件，分析了授权宽度和授权深度的约束条件及基于时间限制的自动撤销委托授权机制。

The distinguishing methods and origins of the mix line fault in telephone cable manufacture are describer emphatically.

主要叙述市话电缆混线故障的判定方法及所产生的原因，提出了生产过程中不同工序间绝缘不良故障的解决方

The determinant of painting and calligraphy forgery is playing an important role in the course of case detection.

书画真伪的判定在案件的侦察过程中具有重要的作用。

In practice, it favors the creditor to superadd liquidator after disincorporating, shareholder who contributes disloyally or embezzles fund, the third party who possesses or accepts property without compensation, the enterprise newly founded by the debtor, the spouse, and the judgment hypo-debtor and so on, as debtors subject to execution.

实践中追加法人解散后的清算人、出资不实或者抽逃出资的股东、无偿占有或接收财产的第三人、债务人新设立企业、配偶、判定次债务人等，虽有利于债权人，但很多情形本应通过他种诉讼解决，不应一律视为执行力扩张。

When first character is double quotation marks, this element's type is array of char.

当首位的字符为双引号时，可以判定这个元素的类型是 char 的数组。

To discriminate the existence of indeterminate form s double limit to binary function is a relatively difficult question.

判定二元函数f的未定式二重极限的存在性是一个比较困难的问题。

The uncertain relationship between the double limit and the quadratic limit is explained and the determination methods to the nonexistence of the odd function's limit are given.

本文阐明二重极限与二次极限的不确定关系，给出齐次函数的极限不存在的判定方法。

In this paper, the nonexistence of the closed orbit which circles the equilibrium is proved by using the Dulac function, then all the orbits of the system are bounded by the Filippov transformation and comparability theorem.

本文利用Dulac函数法，首先判定了不存在绕平衡点的闭轨线，然后利用Filippov变换和比较定理，证明了系统所有轨线的有界性，进而得到了平衡点是全局渐近稳定的。

Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.

在Coq中的证明定理是一个交互过程：比如部分判定过程可以自动完成等式推论或者Presburger算法，不过，更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。

One of the important questions in quantum information theory is how to judge whether two mixed states are equivalent under LUT.

对于给定的两个混合态，如何判定其在局域幺正变换下的等价性是量子信息理论的重要问题之一。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。