查询词典 theory

We have introduced in [1] the concept of the normal fuzzy set structure which is a characterization and generalization of fuzzy set theory and we have proved that any one normal fuzzy set structure is a Boolean-valued model of the axiomatic set theory ZFa with urel...

本文是对文献[1]的一种阐明，详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换，同时引进了正规弗晰集合结构的序数、基数等基本概念。

We have introduced in [1] the concept of the normal fuzzy set structure which is a characterization and generalization of fuzzy set theory and we have proved that any one normal fuzzy set structure is a Boolean-valued model of the axiomatic set theory ZFa wit...

本文是对文献[1]的一种阐明，详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换，同时引进了正规弗晰集合结构的序数、基数等基本概念。

The fuzzy set theory is a rapidly growing branch of applied mathematics whereas the Boolean-valued model is a nonstandard model of the axiomatic set theory.

在文献[1]中我们曾引进正规弗晰集合结构的概念，这种正规弗晰集合结构是对弗晰集合论的一种本质的刻划与推广；在文献[1]中还证明了任一正规弗晰集合结构都是带本元的集合论公理系统ZFa的一个布尔值模型。

A kind of integrated model based on theory of axiomatic design and solving theory of invention problems has been put forward.

提出了一种基于公理设计理论与发明问题解决理论的集成模型。

The chapter 5, The Deductive Axiomatics of Theory of Evolution andSelf-organization Theory, proposes that the description which transfer thefunctional statements about phenomena of life into causal statements eventuallyinvolves theories about evolution.

第5章"进化论的演绎公理系统和自组织理论"中提出，把关于生命现象的功能性描述或目的性描述转换为因果性描述，最终要涉及到进化的理论。

The theory of quantum logic, which has developed during the course of the mathematical axiomatization of the quantum theory, is copious, with a history of 80 years.

量子逻辑是伴随着量子理论的数学公理化而发展起来的一种理论，有着80年的历史和丰富的内容。

In the ordinary axiomatization of probability theory by means of measure theory , the problem is to construct a sigma-algebra of measurable subsets of the space of all functions, and then put a finite measure on it.

在普通公理化的概率论的方式衡量理论，问题是要建设一个六西格玛代数的可衡量的亚空间的所有功能，然后把有限的程度上它。用于这一目的的一个传统使用的方法称为柯尔莫哥洛夫延长。

The theory of quantum logic, which has developed during the course of themathematical axiomatization of the quantum theory, is copious, with a historyof 80 years.

伴随着量子理论的数学公理化而发展起来的量子逻辑理论，已有八十年历史和丰富内容。

Secondly, the direct demodulation detection system of 8mm wave band 32-channel on the background of millimeter-wave focal plane imaging is built, according to millimeter-wave passive detection theory, at the same time, the principle experiment is carried out, and the basic theory of millimeter-wave detection are confirmed.

其次，根据被动毫米波探测理论搭建了以毫米波焦平面成像为应用背景的8mm波段32通道直接检波式探测系统，并进行了原理性实验，验证了被动毫米波探测的基本理论。

For Stark and Bainbridge, theory is supposed to explain data and generate empirically testable hypotheses which, when assessed, either falsify or support theory.

对斯达克和班布里奇来说，理论应该解释数据，并可产生实证性的可检验的假设。当这些假设被检验时，他们或者证伪或者支持这种理论。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷