查询词典 horn in

The harmful effect on the motion edge by global smoothness constraint in Horn algorithm is weakened by algebraic operation.

通过代数运算减轻了 horn 算法中全局约束对运动边界的影响。

Since bounded closed sets in infinite dimensional space are notcompact generally,in order to employ Horn's fixed point theorem the compactness of operator Pis initially proved in section 3 in this chapter.

由于无限维空间的有界闭集一般不具备紧性，为了应用Horn不动点定理，我们先证明了Poincare算子P的紧性。

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

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模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Rotation matrix s representation with the unit quaternion has no singular points, so the unit quaternion-based estimation method is of more practical importance, and the algorithm in this paper does not need iteration computation compared to those unit quaternion-based method proposed by Horn(1987) and Su, et al.

单位四元数表示旋转矩阵时不存在奇异点，故基于单位四元数的运动估计方法具有更大的实用价值，而本文算法无需Horn(1987)和Su等人(1989)提出的单位四元数方法的迭代运算。

This allows them to take root in simple undemanding applications," Christensen and Horn write."

这让他们植根于简单应用，"Christensen和Horn写到。"

If the doubly Horn formulas are dense, i. e. the average size of each clause is Θ, this algorithm runs in linear time.

若双Horn公式同时还是稠密的，即每个子句的平均长度为Θ，则该算法的时间复杂性是线性的。

It was a manuscript containing 53 stories, some written out in detail, others sketched in brief outline form. In December 1810 they submitted this collection to Clemens Brentano and Achim von Arnim for inclusion in a planned third volume to their successful collection of folk poetry entitled Des Knaben Wunderhorn (The Boy's Magic Horn, 3 volumes, 1806, 1808, 1808), which was to be dedicated to folktales.

这是一份包含了53个故事的手抄稿，有些故事描写细致，有些只是有个故事大纲。1810年12月格林兄弟把它寄给了lemens Brentano 和 Achim von Arnim，希望把它包含在这两位作者计划出版的《Des Knaben Wunderhorn (The Boy's Magic Horn， 3 volumes， 1806， 1808， 1808)》第三卷中。

This passage leads into the theme of the ram's horn; in the service in the synagogue the shofar, a wind instrument made of ram's horn to represent the horn of the animal sacrificed in Isaac's stead, is blown.

此通道通往的主题内存的号角；在服务中的犹太教堂的shofar ，风力文书取得的RAM的非洲之角代表非洲之角动物牺牲艾萨克的而起的，是吹。

As a special case, we studied the resolution-like procedures of lattice-valued Horn-clause with truth-value in lattice implication algebra, and discussed the lattice-valued Prolog language based on that kind of lattice-valued Horn-clause.

作为特殊情形，特别研究了基于格蕴涵代数的格值Horn子句的类归结方法，并对建立其上的格值Prolog语言作了一定的探讨。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了