Del,Del,在线英语词典,英文翻译,专业英语

1) Del

Del

Study on Detection of Samples of Rh-weak D and Del;

Rh弱D及Del样本的检测研究

One pairs of primer was designed and then a poly-merase chain reaction (PCR) was established for specific amplification of whole length of 3 non-coding region of RHD in 10 Rh-positive and 10 Del samples.

根据最近的文献报道和EMBL／GenBank／DDBJ记录的基因序列,设计 1对引物,建立聚合酶链式反应(PCR)方法,特异性扩增10名Rh阳性表型和10名D放散型(Del)表型个体的 DNA样品的RHD基因3'-端非编码区全长序列,PCR产物纯化后进行直接测序。

2) DEL

D放散型

Objective A determination of D antigen epitopes for Rh blood group DEL phenotype.

目的分析Rh血型D放散型(DEL)红细胞膜D抗原表位(epitopemapping)。

3) Deltorphin(DELⅠ)

新皮啡肽Ⅰ

4) DEL type

DEL型

5) DEL phenotype

DEL表型

Study on the molecular background of Del phenotype in Chinese population;

中国人群中Del表型分子背景研究

Detection of Del phenotypes and RhD gene in Rh-negative individuals;

Rh阴性血型者Del表型和RhD基因的检测

Objective To analysis the genetic mode of Rh DEL phenotype and RHD 1227A allele in Zhejiang Han population through family investigations.

目的研究DEL表型、RHD1227A等位基因的家系遗传规律。

6) Gdel

Gdel语言

A Parallel Reasoning Model for Gdel;

Gdel语言的一种并行推理模型

The comparison demonstrates Gdel language is more declarative and efficient.

Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。

参考词条

Del cDNA Delution(Del) del I Del command ter del Cross-linked polyvinylcohol del Rh DEL phenotype weak D (Del) hygienic mo del Populus del. CL. Beikang-1 Gdel numbering Gdel implication operator Academia del Cimento Gdel cosmological model G·del computer Gdel System Gdel incompleteness theorems 旅游中心城市体系渤海SST

补充资料：G(?)del解释

G(?)del解释

　　G侧目解释〔C加目奴均团如位扣;n朋二皿毗e即碘Ta-朋刘，直觉主义算术的将直觉主义算术的公式变为形如日x丫yA(x，y，习的公式的变换.其中x，y和:是各种有限型变元.算术可证公式可变换为有限型无量词理论的可证公式.这样，这种变换将直觉主义算术(因而经典算术)的协调性转化为这种有限型理论的协调论，这正是C饮无1原先的目的. 这种型论，称为T，对每个型t有无穷多个型为t的变量:l)型O(自然数型);2)如果t0，…，tk是型，则(t。，…，t*)也是型(将k个型分别为tl，…，t:的变量映射到型为t。的值的函数型).语言T包含各种型的项:型t的一个变量才是型t的一个项，0是型0的一个项，并且符号:，表示自然数加l的函数，它是型(O，O)的一个项.其余的项是由一般规则形成的:任意型函数的Ch.由之抽取(C脸团Ch矛a比恢川如n)和原始递归.T的原子公式是等式(t=r).其中t，r是型O的项、T的公式是由原子公式经命题演算的逻辑联结词八，V，。，，而得到的.T的公设是直觉主义命题演算的公理和推演规则，相等公理，0和:的B田犯公理(B汾刀。~)，原始递归等式，又抽取定义的函数应用公理，以及作为不用量词的推导规则的数学归纳原理.T十表示由含有任意型变量的量词以及相应的量词逻辑公理和推导规则完全化的理论T. G浏cl解释将T’的任何公式F(即任意直觉主义算术公式)变换为形为日x丫yA(x，y，z)的公式，其中A(x，夕，:)是无量词公式，x，y，艺是不同型的变量，z是公式F的所有自由变量的集合. 设F是一个直觉主义算术公式，且设日x丫yA(x，y，z)是它的C么北1解释.如果F在形式直觉主义算术中是可推导的，则可以构造T的一个项t(:)，使得公式A(t(z)，y，z)在T中是可推导的.这样，算术的协调性归结为无量词理论T的协调性. 基于G台北1解释的直觉主义语义(加t山tio油康别习11-明肠路)定义如下:公式F是真的，如果可以找到一个可计算项t(:)使得无量词公式A(t(:)，y，:)对每个可计算的z是真的.【补注】在西方这种解释通常称为辩证解释(d诫以为比勿七印化加石的).
　　

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

首页 \| 翻译 \| 影视 \| 论坛 \| 索引 gdel mo del Del operator

1) Del Del 1. Study on Detection of Samples of Rh-weak D and Del; Rh弱D及Del样本的检测研究 2. One pairs of primer was designed and then a poly-merase chain reaction (PCR) was established for specific amplification of whole length of 3 non-coding region of RHD in 10 Rh-positive and 10 Del samples. 根据最近的文献报道和EMBL／GenBank／DDBJ记录的基因序列,设计 1对引物,建立聚合酶链式反应(PCR)方法,特异性扩增10名Rh阳性表型和10名D放散型(Del)表型个体的 DNA样品的RHD基因3'-端非编码区全长序列,PCR产物纯化后进行直接测序。 2) DEL D放散型 1. Objective A determination of D antigen epitopes for Rh blood group DEL phenotype. 目的分析Rh血型D放散型(DEL)红细胞膜D抗原表位(epitopemapping)。 3) Deltorphin(DELⅠ) 新皮啡肽Ⅰ 4) DEL type DEL型 5) DEL phenotype DEL表型 1. Study on the molecular background of Del phenotype in Chinese population; 中国人群中Del表型分子背景研究 2. Detection of Del phenotypes and RhD gene in Rh-negative individuals; Rh阴性血型者Del表型和RhD基因的检测 3. Objective To analysis the genetic mode of Rh DEL phenotype and RHD 1227A allele in Zhejiang Han population through family investigations. 目的研究DEL表型、RHD1227A等位基因的家系遗传规律。 6) Gdel Gdel语言 1. A Parallel Reasoning Model for Gdel; Gdel语言的一种并行推理模型 2. The comparison demonstrates Gdel language is more declarative and efficient. Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。参考词条 Del cDNA Delution(Del) del I Del command ter del Cross-linked polyvinylcohol del Rh DEL phenotype weak D (Del) hygienic mo del Populus del. CL. Beikang-1 Gdel numbering Gdel implication operator Academia del Cimento Gdel cosmological model G·del computer Gdel System Gdel incompleteness theorems 旅游中心城市体系渤海SST 补充资料：G(?)del解释 G(?)del解释　　G侧目解释〔C加目奴均团如位扣;n朋二皿毗e即碘Ta-朋刘，直觉主义算术的将直觉主义算术的公式变为形如日x丫yA(x，y，习的公式的变换.其中x，y和:是各种有限型变元.算术可证公式可变换为有限型无量词理论的可证公式.这样，这种变换将直觉主义算术(因而经典算术)的协调性转化为这种有限型理论的协调论，这正是C饮无1原先的目的. 这种型论，称为T，对每个型t有无穷多个型为t的变量:l)型O(自然数型);2)如果t0，…，tk是型，则(t。，…，t)也是型(将k个型分别为tl，…，t:的变量映射到型为t。的值的函数型).语言T包含各种型的项:型t的一个变量才是型t的一个项，0是型0的一个项，并且符号:，表示自然数加l的函数，它是型(O，O)的一个项.其余的项是由一般规则形成的:任意型函数的Ch.由之抽取(C脸团Ch矛a比恢川如n)和原始递归.T的原子公式是等式(t=r).其中t，r是型O的项、T的公式是由原子公式经命题演算的逻辑联结词八，V，。，，而得到的.T的公设是直觉主义命题演算的公理和推演规则，相等公理，0和:的B田犯公理(B汾刀。~)，原始递归等式，又抽取定义的函数应用公理，以及作为不用量词的推导规则的数学归纳原理.T十表示由含有任意型变量的量词以及相应的量词逻辑公理和推导规则完全化的理论T. G浏cl解释将T’的任何公式F(即任意直觉主义算术公式)变换为形为日x丫yA(x，y，z)的公式，其中A(x，夕，:)是无量词公式，x，y，艺是不同型的变量，z是公式F的所有自由变量的集合. 设F是一个直觉主义算术公式，且设日x丫yA(x，y，z)是它的C么北1解释.如果F在形式直觉主义算术中是可推导的，则可以构造T的一个项t(:)，使得公式A(t(z)，y，z)在T中是可推导的.这样，算术的协调性归结为无量词理论T的协调性. 基于G台北1解释的直觉主义语义(加t山tio油康别习11-明肠路)定义如下:公式F是真的，如果可以找到一个可计算项t(:)使得无量词公式A(t(:)，y，:)对每个可计算的z是真的.【补注】在西方这种解释通常称为辩证解释(d诫以为比勿七印化加石的). 　　说明：*补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com