查询词典 ring axioms

Elements is a deductive system of axioms to establish the first model of the entire development of mathematics have had a profound impact.

几何原本》是用公理建立起演绎体系的最早典范，对整个数学的发展产生了深远的影响。

It existed with the deductive logic which was in the system of Hellenic axioms. It took on the leading actor in different periods and instructed the development of mathematics in different regions.

它与希腊公理体系下的演绎逻辑并存，在不同的时期分别担任主角，指导着不同地区数学的发展。

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.

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

However it can often be frust ating for a child when people are unable to pronounce their name.

但它往往可以令人沮丧的一个孩子当人们无法断言他们的名字。

All these compounds were obtained from this genus for the first time. Compound, 4-cumylphenol, was a new nature product.

所有化合物均为首次从本属海藻中分离得到，其中4cumylphenol为新天然产物。