1) phase judgement
阶段判定
2) Determination of the deformation stages
变形阶段判定
3) stage
阶段
1.
Study on the three stages and deformation velocity of dynamic surface subsidence deformation;
地表动态沉陷变形的3个阶段与变形速度的研究
2.
Numerical simulation by stages about the reservoir at high water cut period.;
高含水期油藏分阶段数值模拟
3.
A Study on Forming Process and Stages of Karst Rocky Desertification;
喀斯特石漠化的形成过程及阶段划分
4) phase
阶段
1.
Experimental research on phase non-pillar long lastingmining technique used in Fenghuangshan Copper Mine;
阶段无间柱连续采矿工艺在凤凰山铜矿的试验研究
2.
The implementation of a batch control phase based on DeltaV system;
基于DeltaV系统的批量控制的阶段的实现
3.
The study on the different phases of the modular design and building technology of submarine;
分阶段实现潜艇模块化设计与建造技术的探讨
5) Stages
阶段
1.
The article has introduced a systematic training period of Jiangsu mountain cycling team in four stages of a year in muscular training.
本文介绍了江苏自行车队山地车组在全年周期力量训练中,主要进行的4个阶段力量的系统训练,强调了训练的质量、手段和方法。
2.
In this paper, the question of new railway s building by stages is discussed.
本文针对铁路分段建设问题,首先从有两个区段的新建铁路入手,探讨了铁路分段建设多目标动态规划模型的阶段划分方法,然后提出了有n个区段新建铁路的分段建设多目标动态规划模型的阶段划分途径,并进一步分析了模型目标值的确定问题。
3.
Cointegration theory and error correction models are used to estimate Chinese static and dynamic money demand function at two stages(1978—1993 & 1994—2004).
本文利用协整理论和误差修正模型估计了两个阶段(1978—1993和1994—2004)的中国静态和动态货币需求函数。
6) phases
阶段
1.
On the basis of teacher s career phases and the posts set by the school,this article points out that,in order to guarantee the quality of continuing education of teacher,its goals and contents which are adapted to teacher s career phases and schools post requirements must be established.
本文从教师职业生涯阶段和学校岗位设置的角度出发,提出要保证教师继续教育的质量,必须建立与教师职业生涯发展阶段和学校岗位素质相适应的教师继续教育目标和内容,并建立与之配套的资格证书制度和管理制度。
2.
This paper is devoted to a historical description of the images of tramps in three phases.
通过分析西方文学史中的流浪者形象,描述了流浪者形象发展的三个历史阶段,并详细对比了各个阶段流浪者的形象和精神状态,从而揭示了西方文学中流浪者形象的发展史其实是人类内心的精神冲突史的原型意义。
3.
The spatial expansion in urban fringe of Xi an is divided into 5 phases:(1.
文章采用“断裂点”法的基本原理和Matlab软件编制程序识别图像来运算城市边缘区范围,将西安城市边缘区的扩展划分为五个阶段,分析了各个阶段的扩展情况,以及各个阶段的扩展模式,最后对西安2020年城市边缘区范围进行了展望。
参考词条
补充资料:本质不可判定理论
本质不可判定理论
essentially-undetidabfe theory
本质不可判定理论【曰”由叨y一田吐幼面b晚口峨叮;c拟e-eTne。。0.,a3少翔班胭坦T即,阳] 一个算法不可判定的逻辑理论,它的所有相容扩张也是不可判定的(见不可判定性(也d戊山腼ty)).一个初等理论间改压泊扭口山印巧)为本质不可判定理论,当且仅当它的每一个模型都有一个不可判定的初等理论.每个完全不可判定理论都是本质不可判定理论,如形式算术(面面拙度,扔m创).没有一个具有穷模型的理论可为本质不可判定理论. 一个适当的有穷可公理化的初等理论S的本质不可判定性,通常用于证明一个给定理论T的不可判定性(见「l],[2l).在这种证明中,S在T的任何模型M中被解释.解释的定义域和S命名的元素的值,均用T的语言中相应公式在模型M中的值加以定义.如果该解释为S的模型,则T是不可判定的;而且,这个理论是拳债不可剖宇的(址淤山妞询旧山戈初以比),即它的与T同样署名的所有子理论都是不可判定的.这个方法用来证明初等谓词逻辑、初等群论、初等域论等的不可判定性.有穷公理化的形式算术常用作本质不可判定理论S.艾达尔上同调〔启.k以‘阅劝粉;,T舰‘。从e二oroMo刀卜r皿] 在艾达尔拓扑帕欧topolo咖中的层的上同调.艾达尔上同调是按标准的方式用导出函子来定义的.设X是概形,戈:是X上的艾达尔拓扑,则戈,上的Abel群层范畴是有足够多内射对象的Ab日范畴.整体截面函子r是左正合的,其导出函子了}~H“(X,劝(这里了是X。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。