查询词典 Freud's theory

In the contradiction among the coherence theory、truth dualism and logic apriorism, Tarski published《the semantic notion of truth in formal language》in 1935 ,creating new approach to study the truth and setting up theory of truth which regarded as the more complete theory on logic truth than others in the history.

真理符合论、真理二元论以及逻辑先验论的长期斗争和矛盾使得美籍波兰学家塔斯基独辟蹊径，在1935年发表了《形式化语言中的真理概念》，开创了真理研究的新途径，建立了语义学真理论，这也是历史上第一个比较完整的逻辑真理论。

Based on solar energy photovohaic industry development,industry structure theory and sustainable development theory,the architectonic of sustainable development theory of solar energy photovohaic industry are proposed in this paper.

从太阳能光伏产业发展出发，结合产业组织理论与可持续发展理论，提出太阳能光伏产业可持续恢展理论研究体系。

Eventually, taking Chinese modern museum interior design as the main research object, the article is based on the architectonics, the theory of the space environment art, the theory of light environment, color theories and the theory of ecological architecture, carries on researches to the space design, the light environment design and the color environment design of the Chinese modern museum interior design.

本论文首先简单回顾了中国博物馆的发展演义，以及世界博物馆室内环境设计的发展历程，重点分析了中国博物馆室内环境设计的产生与发展，进而以中国现代博物馆室内环境设计为其中的主要研究对象，从建筑学、博物馆学、空间环境艺术理论、光环境理论、色彩理论、生态建筑理论等方面对中国现代博物馆室内环境设计的空间设计、光环境设计与色彩环境设计等方面进行研究。

But,the drawbacks of Shewhart's control chart is that when the control chart shows abnormal,it cannot tell us what and where is the assignable cause,i.e.it cannot diagnose the abnormalityof the process.In 1982,Prof.Gongxu Zhang proposed the diagnosis theory with two kinds ofquality,solved the diagnosis problem of assignable cause,thus opened a new direction ofstatistical diagnosis theory and developed the theory of SPC into a new stage ofSPCD(Statistical Process Control and Diagnosis).The multi-operation and multi-index system exists everywhere,in general,nearly all theproduction lines of factories belong to this system.

但休哈特控制图的缺点是，当控制图显示异常时，它不能告知是何原因、何处发生了异常，即不能诊断。1982年，我国著名质量管理专家张公绪教授提出两种质量诊断理论，解决了对异常因素的诊断问题，开辟了统计诊断理论的新方向，将质量控制推向了一个新的发展阶段——统计过程控制与诊断阶段。

Chapter one and chapter two analyse the basis theory and give a whole design plan and expatiate the basic exoterica of system inculding primary technology for application. It involves the basic control theory of satellite antenna and analyse for the whole function. Chapter three gives the hardware design which includes hardware etlectrocircuit structure, principle chart, selecting all kinds of parts of the apparatus , the sensor elements and the design of serial communication electrocircuit etc. Chapter four and chapter five introduce software design for the SCM and the personal computer, giving mainly design theory and material program which includ the design of searching for the satellite and searching for the high-point and the program development by Delphi on PC, explaining the basic principium of asynchronous serial communication for epigyny computer and hypogyny computer.

第一、二两章阐述了系统的理论基础及应用的主要技术，包括卫星天线控制基础理论和整体功能分析等等；第三章是系统硬件设计，包括硬件电路组成及原理图、各类元器件的选取及传感器原理，串行通信电路设计等：第四、五两章是单片机、PC机软件设计，给出了主要部分的设计原理及具体程序，包括监控软件设计、寻优设计、寻星设计，PC端Delphi程序设计开发等，并阐述了PC机和单片机异步串行通信的基本原理，是本课题的重点所在。

Atomic theory, atomist theory, atomistic theory

n。粉碎成原子，以原子弹粉碎之，吹成为雾

The authoring system is based on the CAT theory~ CAT courseware theory and the authoring system theory. It adopts information process mode.

本写作系统是以CAI教学理论、CAI课件理论、写作系统理论为基础，采取信息处理的开发模型能够开发基于WEB的CAI课件的写作系统。

Axiomatic set theory is a rigorous axiomatic theory developed in response to the discovery of serious flaws (such as Russell's paradox ) in naive set theory.

公理化集理论是一种严格的不言自明的理论发展的反应，发现严重缺陷在天真集理论。

He has taught the following courses since he became a teacher in 2001: first-order logic, modal logic, the axiomatic set theory, recursive theory and model theory.

已开课程有《一阶逻辑》《模态逻辑》《公理集合论》《递归论》《模型论》。2005年11月至2006年11月，访学于阿姆斯特丹大学逻辑、语言与计算研究所。

Therefore, this chapter, in the first place, discusses the axiomatization of theory ofevolution and introduce in detail Williams' axiomatic system about evolution. Insecond place, it discusses the dissipative theory and the hypercycle theory. Thisdiscussion is actually about a kind of semantic which is the molecular model.

因此，在这一章，首先，对进化理论的公理化形式进行讨论，详细介绍了Williams进化论的公理系统；其次，讨论耗散结构理论和超循环论，实际上是讨论了关于进化论的演绎公理系统的一种语义或分子层次的模型。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。