查询词典 archimedes axiom

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描述、连续性公理和局域平衡假设三大基本法则为基础，建立了一种制备色谱理论模型。

Then we use the local subbase to give the structure of topology τ induced by level convergence and prove that the space E〓,τ(l is a T〓 space satisfying the first countability axiom.

证明了空间E〓，τ(l是满足第一可数公理的T〓空间。

The doctrines of free decision in private law domain rests on limitation of law and axiom pinciple that judge can't reject trial with the reason that law does not have clear stipulations.

私法领域中自由裁量权适用的法理依据在于法的局限性以及法官不得以法无明文规定而拒绝裁判的公理性原则。

In contrast to the ubiquitous rising-sun-with-rays military flag of the Japanese, Chinese banners and ensigns feature a range of designs.

与遍地都是的太阳军旗不同，中国人的旗帜和徽章设计得各式各样。

From their small corner of Feng's Guangzhou headquarters -- a jumble of pink leashes, squeezable rubber steaks, and plastic doggy Santas for Fido's stocking -- Soleil's designers come up with at least five new products a month.

从Feng 设在广州总部的产品展示柜台上可以看到，Soleil的设计师每月至少设计出5件新产品。