查询词典 axioms of order

Besides, this paper designs the axioms for user group and privacy policy in TBox and individual assertions in ABox.

根据ABox中包含的用户和用户属性、关系的个体断言，提出了隐私规则知识库PRKB(TBox， ABox， RBox)的概念，分析了隐私策略的形式化推理过程。

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链

Besides, after indicating the existing problem pertaining to current environmental impact pricing process, a methodology for resolving these problem is proposed proceeding from the"meta-synthesis"methodology of PEIA Further, by improving social selection theory and multiple criterion decision-making method and combining Arrow's axioms, a decision-making method dealing with intergeneration fair in PEIA towards sustainable development is put forward.

此外，通过改进社会选择理论和多标准决策方法，并结合爱罗原则(Arrow's axioms)体系，提出了一种处理政策EIA中代际公平问题的决策方法。

It is natural to ask whether arrangements of linear varieties of different dimension in the projective space may be given with a similar axioms setting.

经典拟阵研究的是超平面在射影空间放置的公理体系。

Using the axioms in nonstandard analysis give the nonstandard model and discuss some properties of nonstandard model.

第二部分，利用非标准分析理论讨论了拓扑空间中的基本概念以及拓扑空间的分离性，在具体的应用过程中对一些相关定理及结论给予理论证明。

The payoff function v thus defined is proved to have supperadditivity,and the Shapley value so defined proved to satisfy axioms such as efficiency,symmetry,dummy and additivity.The fuzzy Shapley value method for profit allocation in enterprise coalitions was thus given by examples.

并证明了支付函数v具有超可加性，以及Shapley值满足有效性、对称性、哑元性与可加性的公理体系，实例证明了企业联盟收益分配的模糊Shapley值方法。

There is reason coefficient polynomial in there is reason few area top can't invite of judge axioms is algebra learned of important problem.

翻译一段数学上的东西，高手帮忙下'''有理系数多项式在有理数域上不可约的判定定理是代数学中的重要问题。

The logical system Qs is obtained from the pure predicate calculus by adding a binary predicate constant S which denotes the sanctions, an individual constant c denoting the state institutions, and some definitions of deontic modal words but not adding axioms or deducible means.

它以狭义谓词演算为基础，在其形式语言中添加专指"制裁"行为的谓词常项，添加专指"国家机关"这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。

Thus,§ 2.3 adds truth constants as special formulae to L* predicate logic and axioms about truth constants. The truth degree and the provability of a formula are proposed.

R_0代数是为适应系统研究的需要而提出的，因此对R_0代数作进一步的讨论有助于加深对分系统的认识。

The witness also told the jury at the Royal Courts of Justice in London that he saw a paparazzo fighting with a member of the public who was trying to stop him taking pictures in the minutes before the emergency services arrived.

他还告诉在伦敦皇家法庭的陪审团，在急救服务到来之前，他当时看见一个狗仔队正和一群阻止他拍照的人打架。

The entire N／C program on a tape is made up of an accumulation of these successive data blocks.

纸带上的整个数控程序由这些连续数据单元连接而成。