The compact theorem is proved, which states that theory T has model if and only if any finite subset of T has model.
利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。
Combining the B-T theory and the scalar quantity diffraction theory, a diffraction theory method for the analysis of the hot-image formation is developed.
把B - T理论和标量衍射理论相结合,建立起热像效应的衍射理论分析方法。
The static wind stability factor of T-Frame Bridge with double slander piers is derived according to the Principle of Virtual Work in Finite Displacement Theory.
根据有限位移理论中的虚功原理,推导了双薄壁墩T构在横向风力作用下的静力稳定系数的表达式。
Human DNA has only 4 basic building blocks (commonly written as g, a, t, and c), so this is not a far-fetched theory.
人类DNA只有4种基本组成部分(通常写作g、A、t和c),因此这不是一种牵强附会的理论。
T turns out the theory was wrong, and you will see us address the theory in the Windows 7 time frame.
之前我们的理论是错误的,你将看到我们Windows7框架下的新的理论。
ISo, the theory is that t should work both ways.
理论上两种都是可行的。
Since we don t have a complete understanding of string theory, it s impossible to rule out all possible models that are based on strings, said Rothstein.
罗斯丁说,“由于我们没有完全理解弦理论,因此不能排除基于弦的各种可能模式。”
Explain in detail T. R. Malthus' theory of population and the various checks to population growth.
详细说明马尔萨斯的人口理论和控制人口增长的各种措施。
The culture industry theory of T. W. Adorno embodies the critical spirit of the Frankfurt School and the integration of philosophical meditation and experiential study.
阿多诺的文化工业理论体现了法兰克福学派一以贯之的批判精神以及哲学思辨与经验研究方法的结合。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
本文依据国际电信联合委员会(itu - T)的智能网能力集建议,对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
This paper introduces the control theory of excitation controller via T-S fuzzy model about single-machine infinite-bus power system.
研究了基于T - S模糊模型控制理论下单机-无穷大电力系统的励磁控制设计。
The high collecting strength and good selectivity of T-2K is explained using the theory of hard soft acid base and the theory of frontier molecular orbit.
用硬软酸碱理论和前线轨道理论解释了T -2K的高捕收能力和强选择性。
This paper introduces the theory and applications of steady state equivalent circuit of T-I model of an induction motor.
在介绍异步电动机稳态t - I型等值电路理论和应用的基础上。
Multi-properties match algorithm is presented and applied in NIDS by introducing G-T algorithm and linear-time algorithm based on biological immune theory.
通过对基于生物免疫理论的G-T算法和线性时间算法的介绍,提出了多特征匹配算法并将其应用于网络入侵检测系统中。
Moreover, in accordance with the theory and logic of property transaction law, this stipulation can 't make its statement consistent as well.
此外,即便按照财产交易法的理论逻辑体系来看,此规定也不能自圆其说。
T he article studies the theory, geometric explanation and the process of calculation of PCA, and USES remote sensing images and concrete data to explain for being clear.
本文研究了主成份分析的原理、几何解释与计算过程,并用遥感影像和数据加以说明。
The bifurcation analysis and catastrophe theory methodology is used here t? Find ways to analyze the stability of parafoil system.
文中应用分歧与突变理论法建立了翼伞系统飞行稳定性分析的方法。
On the basis of the theory of petroleum system, t he geochemical mode of gas reservoir formation in Carboniferous in East Sichuan Basin was studied by applying gas reservoir geochemical methods.
本文根据含油气系统理论,采用气藏地球化学方法,研究了四川盆地东部石炭系天然气成藏的地球化学模式。
T he first chapter is about the theory basis of education industry.
第一章,教育产业的理论依据。
This article explores indurated uterine mass form theory and clinic of t.
本文对石瘕症从理论与临床进行了探讨。
T-slot platform in the process of production, will produce a part of the theory of weight deviation, note whether the cast iron flat cast iron plate on the impact of the deviation is used.
型槽平台的在生产过程中,会产生一部分理论重量的偏差,要注意的是铸铁平板的偏差是不是影响的铸铁平板使用。
Any single theoretical perspective can 't explain the complexity of international history and the interaction between theory and history, unless merging different kinds of IR theories.
国际关系史纷繁复杂,任何一种单一的理论视角都难以反映国际关系史的全貌,只有将不同的理论视角加以组合才能实现理论与历史的有效互动。
On the basis of these rules, the author checked the citizenship theory illustrated by T. H. Marshall and analyzed its inner defects.
依据这些法则,作者检视了马歇尔所建构的公民身份理论及其存在的缺陷。
Existing D & T models are more or less versions of dimensioning of conventional drawings, and should be based on a sound design process theory.
常见的尺寸公差模型是对传统工程图尺寸标注的实现,缺少设计过程方面的理论支持。
Combined with the construction practice and theory study, the paper introduced t beam quality technology, attentions, methods, principle and experience of vibration.
通过施工实践,结合理论学习,就保证T梁质量的关键工艺振捣进行了介绍,并就振捣注意事项、方法、原则和经验进行了阐述。
The theory calculation of double network t reference data, based on the kirchhoff equation of electric voltage and current to get t reference data through algebra calculation.
双口网络t参数的理论计算,是通过建立基尔霍夫电压和电流方程,经过代数运算求出t参数。
This review summarizes theory and method-ology of prediction for helper T cell epitopes, and their application in vaccine development against parasites, and new research directions are also discussed.
本文概述辅助T细胞表位预测的理论和方法及其在寄生虫疫苗研发中的应用,并讨论未来的研究方向。
The theory of "non-individuality" is the key content of T.
艾略特的“非个性化”理论给了译者达“信”的新启示。
The theory of "non-individuality" is the key content of T.
艾略特的“非个性化”理论给了译者达“信”的新启示。
应用推荐