公理

Based on Open World Assumption of distributed system, extensional classes of peer and acquaintance relations between peers are defined.

本文基于开放系统假设，定义个体的外现类及个体之间的相识关系，使用Web本体语言表示个性化本体的类描述和类公理。

No doubt, when the feast was introduced in England and Normandy, the axiom "decuit, potuit, ergo fecit", the childlike piety and enthusiasm of the simplices building upon revelations and apocryphal legends, had the upper hand.

毫无疑问，当宴席介绍了在英格兰和诺曼底，公理" decuit ， potuit ，故fecit "的童稚的虔诚和热情的基础上 simplices 揭露和未经证实的传说，已占上风。

It's not really math itself that is incomplete, but any formal system that attempts to capture all the truths of mathematics in its finite set of axioms and rules.

它不是说数学本身是不完备的，而是针对任何某种尝试，试图把数学全部的真命题包括在一套有限的公理与法则里。

"A theorem within such a system is a formula capable of proof through a finite sequence of well-formed formulas, each of which either is an axiom or is validly inferred from earlier formulas."

在这样的系统中，一条定理即是可以通过合式公式的有限序列加以证明的一个公式，这些合式公式中的每一个公式不是公理，就是从前面公式可以推得的公式

Based on LML theory frame and its algebraic model, geometric model and learning axiom systems, going for further study, this paper presented orbits generated algorithm of learning subspace in LML and applied it to corresponding examples, such as classify of human, chemical composition of wine and eight data sets including Soybean-Large, etc.

本文在李群机器学习的理论框架上，以李群机器学习的代数模型、几何模型、学习的公理系统为基础作进一步研究，给出了李群机器学习的学习子空间轨道生成算法，将该算法应用于人群分类，葡萄酒化学成分分类以及大豆等八个专用数据集的分类，取得了满意的结果。

A definition of "Kernel" is given first. Algorithm axioms, algorithm rules of interval grey numbers and new algebraic systems are built based on the "Kernel" and the degree of greyness of grey numbers. And the properties of the algorithm are studied.

首先给出了灰数"核"的定义，基于"核"和灰数灰度建立了区间灰数运算公理、运算法则和新的灰代数系统，并研究了运算性质。

Conversely, if ''S'' is a subgroup of ''G'', then it obeys the axioms of a group.

因此，满足了闭包、单位元和逆元公理，而结合律是继承来的，所以''S''是子群。

Group decision-making ; social collective axioms ; Markov chain

群体决策；社会选择公理； Markov链

When Habakkuk looked at the situation of his day, he saw injustice and violence.

当哈巴谷目睹他那时代的境况，眼见不公义和暴力横行肆虐，便深信「公理永远也不会显明」，神对子民的旨意，似乎落空了。

This is a broad statement of the Hermetic axiom -"As above, so below".

这是赫密斯公理的概括陈述——"以下，如上"。

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万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐