查询词典 axioms

First of all, the clustering result is corresponding to the Kripke structure. The relevant system of axioms is chosen by the correspondence between the syntax and semantics of modal logic.

首先将聚类结果对应于模态逻辑中Kripke结构；然后利用模态逻辑中语法与语义之间的对应性选取了相应的公理系统。

Different from traditional system protection models, such as access control matrix model, this theory describes the operations in system by functions of random variable vectors, build an analysis model of trusted system with three axioms, and analyze the information flow in the system by tracing the operation sequence of the system.

与访问控制矩阵模型等传统的保护系统模型不同，这一理论用随机变量向量的函数来描述系统操作，基于三条公设建立了可信系统的分析模型，并通过对系统操作序列的跟踪来分析系统中的信息流。

A fully-developed or advanced scientific theory is a well-organized logic deductive system which is comprised of scientific axioms, deductive propositions or scientific laws, and scientific facts.

成熟的或高级的科学理论是由科学公理、导出命题或科学定律、科学事实三大块组成的严密的逻辑演绎体系。

What constitute a theory: a logical, deductive system of interconnected definitions, axioms, and laws. Could be demonstrated in artistic way, help people to make sense, to amuse, shock or stimulate others.

一个理论应该是逻辑严谨的，但是像后现代主义说的，冰冷的规律并不一定用冰冷的论文来表达，而可以通过艺术的方式来表达，因为我们的研究不只是给人一个关于什么问题的答案，而且应该去启发群众思考，给他带来身心的震撼，让他重新理解世界，帮助他们改善生活。

Ripe and advanced scientific theory is a well-organized logic deductive system. It consists of scientific axioms (basic concepts and basic hypotheses), deductive propersitions, and scientific facts.

老练的或高级的科学表面是由科学正义、导出命题或科学定律、科学真相三大块组成的缜密的逻辑演绎体系。

An overall view of the data substantiates the implementation of both biblical and talmudic axioms regarding male domination in divorce.

资料总体上证明了男性在离婚案例中的强势是受到圣经与犹太教法原则的影响。

Generally, the set of temporal types that can be processed by a system and involved in lots of applications, meet totally ordered relation, and the set of TFDs with a totally ordered set of temporal types is closely related to the Armstrong axioms of traditional functional dependencies.

一般来说，系统所能处理的和相当多的应用所涉及到的时态类型集满足全序关系，并且具有全序时态类型集的TFD集的推导规则与传统函数依赖的Armstrong公理有着紧密的联系。

The time translation operator is defined and time characteristics of concurrent engineering is analyzed. Two axioms are proposed for the guiding of globe optimization of concurrent engineering process without exact time information.

本文中提出了环节柔性的概念及对设计变更和反复进行了时间／成本代价分析，为在并行工程实施中尽量避免涉及后期工程环节的设计变更和尽可能减少设计反复，奠定了定量分析的基础。

Definition: A demonstration that a mathematical proposition is true based on axioms, definitions, and proven theorems

定义：一个用公理，定义，已证明的定理来证实数学上的命题是真实的一个演绎过程。

A theory in their view is a set of logically interrelated propositions deduced from axioms or underived assumptions.

在他们的观念中，一种理论就是一系列有逻辑关联的论点，这些论点来源于公理或无需证明的观点。

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万英镑骗了个精光。