震后地震趋势判定,Leshan City,在线英语词典,英文翻译,专业英语

1) Leshan City

震后地震趋势判定

0 Wenchuan Earthquake is an important basic task in order to calm the common people terrified by this great earthquake in Leshan City.

科学的震后地震趋势判定是地震应急的重要基础。

2) post-earthquake

震后

2-D FEM analysis of the post-earthquake failure mechanism for the earth-rock dam with clay core;

粘土心墙土石坝震后破坏机理的二维有限元分析

This article focus on the analysis of post-earthquake medical oxygen cabin test,and each item is introduced respectively.

本文对地震后的医用氧舱检验重点进行分析,并且分项进行了介绍。

3) post-earthquake emergency response

震后抢修

4) reconstruction

震后建设

Tangshan s reconstruction and seismic structural systems;

唐山震后建设与抗震结构体系

5) post earthquake recovery

震后恢复

Considering the recovering efficiency and recovering average time ad reference for optimizing evaluation,the maximum gradient method and the Horn method are adopted in the contrastive research of the post earthquake recovery process optimizing effect for the tree like network of trunk lines in urban lifelines.

以恢复效率和平均恢复时间为优化的评价指标 ,用最大梯度法、Horn法比较研究了城市生命线树形干线网络震后恢复过程的优化及其效果。

6) seismic retrofit

震后修复

参考词条

地震后果震后火灾震后重建震后规划震后设施震后设计震后评估震后破坏震后复建地震后效震后调查震后检查地震后蠕变门诊暴露人群洪积统

补充资料：本质不可判定理论

本质不可判定理论
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。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

首页 \| 翻译 \| 影视 \| 论坛 \| 索引震后形变震后效应震后异常震后变形震后余滑震后趋势

1) Leshan City 震后地震趋势判定 1. 0 Wenchuan Earthquake is an important basic task in order to calm the common people terrified by this great earthquake in Leshan City. 科学的震后地震趋势判定是地震应急的重要基础。 2) post-earthquake 震后 1. 2-D FEM analysis of the post-earthquake failure mechanism for the earth-rock dam with clay core; 粘土心墙土石坝震后破坏机理的二维有限元分析 2. This article focus on the analysis of post-earthquake medical oxygen cabin test,and each item is introduced respectively. 本文对地震后的医用氧舱检验重点进行分析,并且分项进行了介绍。 3) post-earthquake emergency response 震后抢修 4) reconstruction 震后建设 1. Tangshan s reconstruction and seismic structural systems; 唐山震后建设与抗震结构体系 5) post earthquake recovery 震后恢复 1. Considering the recovering efficiency and recovering average time ad reference for optimizing evaluation,the maximum gradient method and the Horn method are adopted in the contrastive research of the post earthquake recovery process optimizing effect for the tree like network of trunk lines in urban lifelines. 以恢复效率和平均恢复时间为优化的评价指标 ,用最大梯度法、Horn法比较研究了城市生命线树形干线网络震后恢复过程的优化及其效果。 6) seismic retrofit 震后修复参考词条地震后果震后火灾震后重建震后规划震后设施震后设计震后评估震后破坏震后复建地震后效震后调查震后检查地震后蠕变门诊暴露人群洪积统补充资料：本质不可判定理论本质不可判定理论 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。说明：补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com