1) verification of DNA encoding
DNA编码的验证
2) assembly code certification
汇编代码验证
1.
The formal specifications in assembly code certification are usually complicated.
与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范。
3) DNA coding
DNA编码
1.
Identification on the two-phased flow-type of DNA coding and chaos neural network;
DNA编码和混沌神经网络的两相流型辨识
2.
Meanwhile,a new method that based on DNA coding genetic algorithm to construct decision tree was proposed.
同时,提出一种新颖的基于DNA编码遗传算法构造决策树的方法。
4) DNA encoding
DNA编码
1.
Analysis and research on DNA encoding grammar;
DNA编码文法的分析与设计
2.
Triple elements and adding elements DNA encoding methods
三元DNA编码法与扩元DNA编码法
5) non-coding DNA
非编码DNA
1.
The observed differences in genome size are primarily due to polyploidy level and abundance of non-coding DNA,especially the contribution of transposable elements(TEs).
不同的真核生物之间基因组大小差异很大,并与生物体复杂性不相关,在基因组中存在大量的非编码DNA序列是造成这种差异的主要原因,特别是转座子序列。
6) coded digital verification color code(CDVCC)
编码数字验证颜色码
补充资料：DNA分子花窗(沿B―DNA轴线方向看)
[图]
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条