查询词典 system of axioms

Secondly, by using of the medium axiomatic set theory, a natural number system in MS is constructed, and it is proved that five axioms of Peano′s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。

Firstly, we propose an axiom system by a language of two rank and some axioms.

首先建立了一个RBAC的二阶语言，与一组公理形成了一个公理系统。

Logic an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another.

内部所有的命题都不具有可逆性一个逻辑系统所具有的属性。

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.

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

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.

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

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.

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

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公理有着紧密的联系。

At the beginning, the thesis offered an analysis on the backgrounds of Unit Integral English Teaching Approach, the reasons for choosing the research topic and its theoretical and practical significance. Through literature review and summary, the origin of Unit Integral English Teaching Approach, its basic conception and present achievements home and abroad were discussed. Then the theoretical support of Unit Integral English Teaching Approach, System Theory, was introduced and its basic axioms and principles were summarized. Upon this base, the experimental framework was put forward and the exemplification of the study was described in details.

本文首先对整体教学法产生的背景、课题选题的缘由、实验的理论和实践意义进行了论述，然后通过文献回顾与综述，阐明了单元整体教学法的起源、基本的概念以及目前国内外相关研究所取得的成果，并对整体教学法的主要理论依据—系统论的基本原理和原则进行了归纳分析，在此基础上提出单元整体教学研究的实验计划，详细描述了实验的实证性研究过程。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。