1) Strand space model
Strand空间模型
1.
Authentication Test is a new type of analysis and design method of security protocols based on Strand space model, and it can be used for most types of the security protocols.
认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱。
2) strand space
Strand空间
1.
Strand space is a new model for the analysis of security protocols.
Strand空间是一种新的安全协议分析模型。
3) Strand Space Model
Strand Space模型
1.
Study on Formal Analysis of Security Protocol Based on Strand Space Model;
基于Strand Space模型的安全协议形式化分析研究
2.
Based on the authentication tests and the strand space model,the robust email protocol with perfect forward secrecy is formally analyzed,and the security shortcomings of the protocol is pointed out.
基于认证测试方法及strand space模型,形式化分析了具有完美前向机密性的鲁棒电子邮件协议,指出该协议存在安全缺陷。
4) strand-loop-strand motif
strand-loop-strand模体
1.
Based on the protein sequence,strand-loop-strand motifs of proteins are classified by use of the diversity increment algorithm and through the 5-cross validation test.
从蛋白质一级序列出发,以氨基酸紧邻关联为参数,用离散量的方法,采用5交叉检验,对蛋白质中的strand-loop-strand模体进行了分类。
5) spatial model
空间模型
1.
The research of spatial model of suburb tourism in foreign metropolis;
国外大都市郊区旅游空间模型研究
2.
The time model and spatial model of gold-bearing shear zone are emphasized through research on the performance of shear zone gold deposits in this paper.
重点介绍了含金剪切带时间演化模型和含金剪切带的组构空间模型。
3.
The GIS spatial model for minerogenetic prediction used to delineate the “5P” ore_finding areas is proposed in this paper.
根据赵鹏大教授提出的“５ Ｐ”找矿地段逐步逼近法，对其分析、归纳、总结、综合，在 Ｇ Ｉ Ｓ现有功能的基础上，提出圈定“５ Ｐ”找矿地段的 Ｇ Ｉ Ｓ 成矿预测的空间模型，并以云南某地区铅锌矿 Ｇ Ｉ Ｓ预测为例，根据已收集的资料，圈定出其“５ Ｐ”找矿地段中的成矿可能地段、找矿可行地
6) space model
空间模型
1.
Study on the structure and idiographic space model of expedite city;
畅通城市结构和具体空间模型初探
2.
By use of space model theory, kinematic charcteristics of a 2 DOF planar structure are studied, and positive and negative solutions to machine kinematics are given.
利用机构尺寸型空间模型理论 ,研究了机床主运动模块平面二自由度机构的运动特性 ,给出了机构运动学的正反解 。
3.
This text makes use of simplified space model.
利用简化的空间模型,讨论了结构在水平地震力作用下,由于侧移刚度矩阵计算方法不同而产生的结构地震效应。
补充资料：lagging strand
分子式：
CAS号：
性质：又称滞后链。在DNA复制过程中，以复制叉向前移动的方向为标准，一条模板链是3′→5′走向，在其上DNA能以5′→3′方向连续合成，成为前导链；另一条模板链，是5′→3′走向，在其上也是从5′→3′方向合成，但是与复制叉移动的方向正好相反，所以随着复制叉的移动，形成许多不连续的片段。最后这些片段被连成一条完整的DNA链。该链称之为后随链。
CAS号：
性质：又称滞后链。在DNA复制过程中，以复制叉向前移动的方向为标准，一条模板链是3′→5′走向，在其上DNA能以5′→3′方向连续合成，成为前导链；另一条模板链，是5′→3′走向，在其上也是从5′→3′方向合成，但是与复制叉移动的方向正好相反，所以随着复制叉的移动，形成许多不连续的片段。最后这些片段被连成一条完整的DNA链。该链称之为后随链。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条