公理

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

Weak bialgebras and Hopf algebras are generalizations of ordinary bial-gebras and Hopf algebras in the following sense: the defining axioms are the same, but the multiplicativity of the counit and comultiplicativity of the unit, are replaced by weaker axioms.

中文摘要：弱双代数和弱Hopf代数是通常的双代数和Hopf代数的推广：定义的公理不变，但是余单位的乘法和单位的余乘法变得更弱一些了。本文主要将上环理论及其Galois理论运用于弱Hopf代数，得到弱Hopf代数的相应结果。

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〓空间。

Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, countable subadditivity, and product measure axioms.

不确定理论是基于规范性、单调性、自对偶性、可列次可加性和乘积测度公理的数学系统，是研究不确定现象的数学分支。

He also includes as Strange Loops the famous paradox about Cretan liars who say they never lie, and Gdel's proof of unprovable mathematical axioms.

他把著名的说自己从不骗人的克里特岛骗子的悖论，以及哥德尔无法证明的数学公理的证明也算在"怪圈"里。

However ,the reader should realize that all properties of real numbers that are to be accepted as theorems must be deducible froom the axioms without any reference to geometry.

然而，读者应该认识到，拟被采用作为定理的所有关于实数的性质都必须不借助于几何就能从公理推出。

We prove that the property satisfying Axiom A is not hereditary for dense subset.

并由此得到一个崭新的结论：力迫公理A性质对稠密子集不遗传。

After this the Euclidean and hyperbolic geometries are built up axiomatically as special cases of a more general 'descriptive geometry'.

在此之后的欧几里德和双曲几何的建立作为一个更一般的'特殊情况下，公理画法几何'。

In addition,we propose the fifth axiom of DG to support the parsing of Chinese sentences.

此外，我们也提出了依存语法第五公理来支持我们的汉语句法分析系统。

The second motivation is the replacement of a Boolean algebra of sets by the distributive lattice of filters of a finite partially ordered set.

一个自然的问题是：能否给出射影空间中放置不同维数的线性族类似的公理体系？

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐