查询词典 axiom

If Kobe's jab stepping at the top of the key and there are no cutters…there should be a "pressure release" aka "The Blind Pig"…Creating a triangle in a way that is inconspicuous to the defense… and another triangle axiom, The player with the ball hits the first open man.

如果科比在顶端持球，没有人空切的话…那么就要有球员打"pressure release"或是"The Blind Pig"…形成一种不引起防守方注意的三角…另一个三角哲理是，持球者和首先发现空位的球员之间的摩擦。

Based on the view that the theorem of closed mested interval is an axiom,this paper deduces the essential limit of monotonic bounded sequence of number and the Dedekind theorem,and proves the general theorem of bull closed nested interval of real number .

以通常所说的闭区间套定理作为公理推出单调有界数列存在极限和Dedekind定理，并且证明了通常所说的实数满闭区间套定理

The Cancellation for modules have a good application background in the theory of vector bundles. As a common generalization of the comparability axiom and the cancellation law, T.

比较公理和一般可比性在算子代数，Bear环和正则环的研究中起着重要的作用；模消去在向量丛理论中有着很好的应用背景。

It thinks tracing right under common law is just the form for the beneficiary to enforce the trust agreement, it is realized by the form of constructed trust which can not decide the character of beneficial right; This chapter combines the most important rule in common law-the essence of common law is common axiom in people\'s conscience, and demonstrates the contractual character of beneficial right; at last, combines the cancellation right under civil law, thinks such right has the feature of contractual character completely.

第六章首先从现代信托的功能定位着手，认为现代信托契约性的增强，不但揭示出了现代信托的价值取向，即对效率的追求与关注，同时，也反映了现代信托法根本为任意法的特点。

From the viewpoint of axial symmetry or centrosymmetry between t and t in logic, this paper makes a minute analysis about the negation operation under different conditions in 1-order uncertainty, puts forward negation operation axiom, and does a systematic research on the definition, properties, and generation of negation operation.

从t与t在逻辑上具有轴对称性或中心对称性出发，详细分析了1阶不确定性中不同条件下的非运算，提出了"非"运算公理，系统研究了"非"运算的定义、性质和构造。

A closure axiom on a property consists of a universal restriction that acts along the property to say that it can only be filled by the specified fillers.

上面提到如果用all value sFrom定义一个类，则永远无法判定一个实例是否属于这个类，封闭的方法就是加上一个基数限制。

For the characteristics of Tea Pest domain knowledge, we use a method which combines a classification method based on the biology with a complete axiom system. Tea Pest domain ontology which is built in this method can not only reveal the clear hierarchy structure of knowledge, but also have a well application in the retrieval and reasoning of diagnosis system.

针对茶虫害领域知识的特点，本文采用生物分类法与完整的公理系统相结合的方法，清晰的体现了茶虫害领域知识的层次结构，并且有利于本体在诊断系统中的检索、推理等应用。

Even if in the modern western society, although Newton mechanics has established the complete, meticulous axiom system based on the strict and fixed amount experiments, there weren' t so distinctive characteristics in other realms, particularly medical science.

即便是在近代西方社会，牛顿力学在严格的定量实验基础上建立起完整、严密的公理化体系，但在其他领域并无如此鲜明特点，医学尤其如此。

Furthermore, we define a convolution multiplication between characteristic functions of constructible subsets by using push-forward functor from the category of algebraic varieties over C to the category of spaces of constructible functions. We construct geometric model for "intrinsic symmetry" of the octahedral axiom in a triangulated category. Using it, we deduce the multiplication satisfies the Jacobi identity of Lie algebra and then realize infinite dimensional Lie algebras.

进一步，我们使用复代数簇范畴到可构函数空间范畴的pushforward函子，给出了可构集上特征函数的卷积乘法，并构造了三角范畴八面体公理的内蕴对称性的几何模型，最终证明了对于不可分解支撑有界可构集的特征函数，乘法满足李代数定义的Jacobi恒等式，从而给出了无限维李代数的实现。

In this paper, with the framework of non-equilibrium thermodynamic separation theory, a mathematical model of nonlinear chromatography is established according to the actual chromatography processes based on the three basic theorems, Lagrangian-Eulerian description, continuity axiom and local equilibrium assumption.

本文在梁恒等建立的非平衡热力学分离理论的框架下，以Lagrangian-Eulerian描述、连续性公理和局域平衡假设三大基本法则为基础，建立了一种制备色谱理论模型。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。