构造性逻辑的Kripke语义,Kripke semantic,在线英语词典,英文翻译,专业英语

1) Kripke semantic

构造性逻辑的Kripke语义

2) structure

构造

Control of geological structure on gas distribution;

羊叉滩井田瓦斯分布的构造控制

Characteristics of ore-hosted strata and ore-controlling structure of Co-Au mineral deposit in Tuolugou area,Qinghai;

青海驼路沟地区钴(金)矿床赋矿地层与控矿构造特征

Study of characteristics of structure-controlled coalbed gas in southern Qinshui Coalfield;

沁水煤田南部煤层气构造控气特征研究

3) tectonic

构造

The cause of tectonic ground fissures and the seismic exploration;

构造地裂缝的成因与地震勘探

According to published geological research results and data, it is found in this paper that the tectonic stress of Lishui-Jiaojiang sag in the East China Sea proves to be tensile and the stress field is the main power for hydrocarbon migration.

采用Maxwell粘弹性模型,对新生代古构造应力场进行了数值模拟。

Based on researching occurring and development of coal accumulation basin,development rules of fault tectonic in Longkou Mine Field,mechanics characteristics of mine tectonic joints and tectonic site of ancient stratum,the tectonic stress field of Huangxian Coal Field was analyzed with geological mechanics in this paper.

在研究黄县聚煤盆地的发生与发展,龙口矿区断裂构造发育规律,矿井构造结构面的力学特征以及古地层中构造遗迹的基础上,以地质力学的观点分析研究了黄县煤田构造应力场的变化和变迁,解释了压扭性正断层的形成机理,断层导水裂隙带的存在因素及其一般规律。

4) tectonics

构造

Intensively reformed basin in tectonics:evidence from Shansonggang Basin in eastern Jilin;

构造强烈改造型盆地——来自杉松岗盆地的证据

Some aspects of the geology, tectonics and mineral resources in the Qiangtang-Hol Xil region, western China;

羌塘及可可西里地区几个重要地质、构造与资源问题

Topics about developments of mineral deposits in the 32nd International Geological Congress are comprised of the following four parts: Mineral deposits associated with black shales; Mineral deposits and tectonics of central Asia; New developments in tin, tungsten and other rare metal deposits; Recent developments in marine minerals.

第32届国际地质大会中有关矿产方面的动态和进展主要分为以下4个部分:与黑色页岩有关的矿床;中亚地区的矿床及构造;锡、钨及其他稀有金属矿床的新发展;海洋矿床的最新发展。

5) construction

构造

Development of costume constructions across time and space;

服装构造方法的历史和地域特征

Recursive construction of LDPC codes;

递归构造低密度校验(LDPC)码的方法

Measures for Construction of Bridge Aseismatic Design;

桥梁抗震设计中的构造措施

6) construct

构造

Construction of Penalty Function and Multi-modal Smooth Transition Strategy;

惩罚函数的构造及多模态平稳过渡策略

construct frame-relay network over ATM;

构造ATM上的帧中继网

Arithmetic of constructing relational databases zero-watermark;

关系数据库零水印的构造算法

参考词条

构造模型构造模式构造运动 MXZ构造构造张量断裂构造向斜构造构造演变构造格局控矿构造沉积构造马海构造地质构造优树子代

补充资料：构造语义学

构造语义学
constructive semantics

构造语义学【以扣s。”‘独业~“cs;~脚瓜1倒巴，ce剐口日”..1 理解构造数学(con众ructlve mathematl。)命题的一类方法.特殊语义的需要是由于传统(经典)数学与构造数学(主要指苏联学派的构造数学)在一般原理上的差别.主要考虑关于构造对象(印nstructive object)的一阶语言命题;即基本算术命题(见形式算术(arlth-metic，fonnal”.与传统语义对A。\/A，(以及关于存在的命题三*A(x》的理解的主要差别是由L.E.J.Bro-uwer提出的.构造判断这样的命题需要解决下述问题:找一数:蕊l，使得A，为真(或找数。使得A伪公二凡Heyting与A.Ko脚oro详拍概括了对应于更复杂公式的问题描述原则.由5.C.KJeene以闭算术公式的实现概念形式(见递归可实现性(recursive realizability))，给出了精确的形式化(这由于算法(algorithm)的数学定义的出现而成为可能).t=r真相等的实现(realiza-tion of a true equality)是一固定常量;例如，当r=r方程没有实现时为0.合取A浅B的实现(realizationofaconjunction)是(a，b>，其中a为注的实现，b为B的实现.析取A。VA，的实现为(i，a>，其中i=0，1，a是A‘的实现.习xA(x)的实现为，其中”是一数，a是A(n)的实现.丫xA(x)的实现是一个一般方法f使得对每个自然数n，给出A(n)的实现f(n).AOB的实现是一个一般方法f使得对每个A的实现a，给出B的实现f(a)(且对于不为A的实现a不一定要有定义).这里一般方法可理解为一算法(一个部分递归函数).利用算法的数编码，“数e是公式A的实现”可以写成一算术公式(erA)，其中不包含析取V且只在等式前面以自然方式出现.这样的公式称为尽于平娜(almOS‘normal)或尽于甭牢(almos‘ne，-tive).命题日e(e rA)(读“A可实现”)作为A的构造解释.在这个解释下排中律，丫x(A(x)V，A(x》是可驳的，比如，取A(x)=日夕T(x，x，夕)，其中T(e，x，y)表示(解码)算法e在变量x上进行y步之后停止.双重否定律Vx(门门B(x)。B(x))也是可驳的，例如，取B(x)=A(x)V一A(x).上述定义给出了每个公式A的一个构造解释(找一实现)，即使A不包含V，习.H.A.lll翻印旧王进一步给出了这个构造解释的算法，它不改变没有V，日的公式(正规公式(n ormal formulas))，且等价于无量词归纳的形式直觉主义算术的可实现性.任意公式都可化为几乎正规公式，因为习xA(x)的判断在于产生一数n及A伪)的判断.几乎正规公式的构造语义不同研究者有不同定义方式，但还没有人得到像包含V和非平凡日公式这样明显不同于经典概念的差别. A.A.MaPKoB用根据通常逻辑连接词的规则和能行。

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

首页 \| 翻译 \| 影视 \| 论坛 \| 索引构造圈构造层岩石构造独特构造构造演化复杂构造微构造

1) Kripke semantic 构造性逻辑的Kripke语义 2) structure 构造 1. Control of geological structure on gas distribution; 羊叉滩井田瓦斯分布的构造控制 2. Characteristics of ore-hosted strata and ore-controlling structure of Co-Au mineral deposit in Tuolugou area,Qinghai; 青海驼路沟地区钴(金)矿床赋矿地层与控矿构造特征 3. Study of characteristics of structure-controlled coalbed gas in southern Qinshui Coalfield; 沁水煤田南部煤层气构造控气特征研究 3) tectonic 构造 1. The cause of tectonic ground fissures and the seismic exploration; 构造地裂缝的成因与地震勘探 2. According to published geological research results and data, it is found in this paper that the tectonic stress of Lishui-Jiaojiang sag in the East China Sea proves to be tensile and the stress field is the main power for hydrocarbon migration. 采用Maxwell粘弹性模型,对新生代古构造应力场进行了数值模拟。 3. Based on researching occurring and development of coal accumulation basin,development rules of fault tectonic in Longkou Mine Field,mechanics characteristics of mine tectonic joints and tectonic site of ancient stratum,the tectonic stress field of Huangxian Coal Field was analyzed with geological mechanics in this paper. 在研究黄县聚煤盆地的发生与发展,龙口矿区断裂构造发育规律,矿井构造结构面的力学特征以及古地层中构造遗迹的基础上,以地质力学的观点分析研究了黄县煤田构造应力场的变化和变迁,解释了压扭性正断层的形成机理,断层导水裂隙带的存在因素及其一般规律。 4) tectonics 构造 1. Intensively reformed basin in tectonics:evidence from Shansonggang Basin in eastern Jilin; 构造强烈改造型盆地——来自杉松岗盆地的证据 2. Some aspects of the geology, tectonics and mineral resources in the Qiangtang-Hol Xil region, western China; 羌塘及可可西里地区几个重要地质、构造与资源问题 3. Topics about developments of mineral deposits in the 32nd International Geological Congress are comprised of the following four parts: Mineral deposits associated with black shales; Mineral deposits and tectonics of central Asia; New developments in tin, tungsten and other rare metal deposits; Recent developments in marine minerals. 第32届国际地质大会中有关矿产方面的动态和进展主要分为以下4个部分:与黑色页岩有关的矿床;中亚地区的矿床及构造;锡、钨及其他稀有金属矿床的新发展;海洋矿床的最新发展。 5) construction 构造 1. Development of costume constructions across time and space; 服装构造方法的历史和地域特征 2. Recursive construction of LDPC codes; 递归构造低密度校验(LDPC)码的方法 3. Measures for Construction of Bridge Aseismatic Design; 桥梁抗震设计中的构造措施 6) construct 构造 1. Construction of Penalty Function and Multi-modal Smooth Transition Strategy; 惩罚函数的构造及多模态平稳过渡策略 2. construct frame-relay network over ATM; 构造ATM上的帧中继网 3. Arithmetic of constructing relational databases zero-watermark; 关系数据库零水印的构造算法参考词条构造模型构造模式构造运动 MXZ构造构造张量断裂构造向斜构造构造演变构造格局控矿构造沉积构造马海构造地质构造优树子代补充资料：构造语义学构造语义学 constructive semantics 构造语义学【以扣s。”‘独业~“cs;~脚瓜1倒巴，ce剐口日”..1 理解构造数学(con众ructlve mathematl。)命题的一类方法.特殊语义的需要是由于传统(经典)数学与构造数学(主要指苏联学派的构造数学)在一般原理上的差别.主要考虑关于构造对象(印nstructive object)的一阶语言命题;即基本算术命题(见形式算术(arlth-metic，fonnal”.与传统语义对A。\/A，(以及关于存在的命题三A(x》的理解的主要差别是由L.E.J.Bro-uwer提出的.构造判断这样的命题需要解决下述问题:找一数:蕊l，使得A，为真(或找数。使得A伪公二凡Heyting与A.Ko脚oro详拍概括了对应于更复杂公式的问题描述原则.由5.C.KJeene以闭算术公式的实现概念形式(见递归可实现性(recursive realizability))，给出了精确的形式化(这由于算法(algorithm)的数学定义的出现而成为可能).t=r真相等的实现(realiza-tion of a true equality)是一固定常量;例如，当r=r方程没有实现时为0.合取A浅B的实现(realizationofaconjunction)是(a，b>，其中a为注的实现，b为B的实现.析取A。VA，的实现为(i，a>，其中i=0，1，a是A‘的实现.习xA(x)的实现为，其中”是一数，a是A(n)的实现.丫xA(x)的实现是一个一般方法f使得对每个自然数n，给出A(n)的实现f(n).AOB的实现是一个一般方法f使得对每个A的实现a，给出B的实现f(a)(且对于不为A的实现a不一定要有定义).这里一般方法可理解为一算法(一个部分递归函数).利用算法的数编码，“数e是公式A的实现”可以写成一算术公式(erA)，其中不包含析取V且只在等式前面以自然方式出现.这样的公式称为尽于平娜(almOS‘normal)或尽于甭牢(almos‘ne，-tive).命题日e(e rA)(读“A可实现”)作为A的构造解释.在这个解释下排中律，丫x(A(x)V，A(x》是可驳的，比如，取A(x)=日夕T(x，x，夕)，其中T(e，x，y)表示(解码)算法e在变量x上进行y步之后停止.双重否定律Vx(门门B(x)。B(x))也是可驳的，例如，取B(x)=A(x)V一A(x).上述定义给出了每个公式A的一个构造解释(找一实现)，即使A不包含V，习.H.A.lll翻印旧王进一步给出了这个构造解释的算法，它不改变没有V，日的公式(正规公式(n ormal formulas))，且等价于无量词归纳的形式直觉主义算术的可实现性.任意公式都可化为几乎正规公式，因为习xA(x)的判断在于产生一数n及A伪)的判断.几乎正规公式的构造语义不同研究者有不同定义方式，但还没有人得到像包含V和非平凡日公式这样明显不同于经典概念的差别. A.A.MaPKoB用根据通常逻辑连接词的规则和能行。说明：*补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com