搜索资源列表
Dblink
- 双链表结点定义,建立双链表,图形显示插入的具体过程- The double strand table point definition, establishes the double strand table, the graphical display insertion concrete process
Strand
- 提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。-the Strand space model to prove the
secure_protocal_about_strand
- ：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。-: proposed security agreement on the nat
strand
- 几个汽车通信协议 CAN,PWM,VPW,KWP协议
Dblink
- 双链表结点定义,建立双链表,图形显示插入的具体过程- The double strand table point definition, establishes the double strand table, the graphical display insertion concrete process
Strand
- 提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。-the Strand space model to prove the
secure_protocal_about_strand
- ：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。-: proposed security agreement on the nat
strand
- 几个汽车通信协议 CAN,PWM,VPW,KWP协议-Several automotive communication protocol CAN, PWM, VPW, KWP agreement
DNASequenceTranslator
- When we get a DNA sequence, we want to see what kind of amino acid sequence it codes. The DNA sequence may not be a complete gene sequence and we may do not know whether it is a coding stand or non-coding strand. So t
STLport-v5.1.3
- STLport 是一个多平台的 ANSI C++ 标准类库实现，具备很多高级特征，并且为效率，异常安全性和线程安全性做了优化，还做了许多扩展，如 hash 表和单链。 -STLport is a multiplatform ANSI C++ standard library implementation, has a number of advanced features, and for the efficiency, safet
calculator
- 采用带头结点的单链表存储一元稀疏多项式；一元稀疏多项式简单计算器的基本功能是：⑴输入并采用尾插法建立多项式的单链表；⑵输出多项式单链表，输出形式可为整数序列和指数形式⑶多项式pn(x)和qm(x)相加，建立多项式pn(x)+qm(x)，可不重新开辟存储空间；⑷多项式pn(x)和qm(x)相减，建立多项式pn(x)-qm(x)，可不重新开辟存储空间；-Unary sparse polynomial simple calculator
singlelink
- 我以c语言自主开发的单链表源代码，请大家斧正-The self-developed single-strand table source code
program
- 逆向建立了单链表,并用同样方向进行就地倒置-Reverse established single-strand libraries, and use the same direction for on-site inverted..
link-la-and-lb
- 建立两个带头结点的有序单链表La、Lb（单调递增，结点的值域为整型数据），利用La、Lb的结点空间，将La和Lb合并成一个按元素值递增的有序单链表Lc。 -Establish two lead the node orderly single-strand table La, Lb (monotonic increasing, node domain for integer data), using the La, Lb node o
haitan
- 魔兽世界自动挂远古海滩战场按键精灵，需要前台使用，个别分辨率不同的电脑可能需要修改识别位置才能使用，修改鼠标定位位置亦可以使其可以拍其他战场-Strand of the Ancients World of Warcraft battleground automatically linked Wizard button, you need to use front, the individual may require resolutio
ieee
- 扩展串空间模型IEEE802_11i分析Analysis of extended strand space model IEEE802_11i-Analysis of extended strand space model IEEE802_11i
HMM
- VisualBasic 的 HMM 范例 HMM模型，Viterbi，滑动窗算法唐纳 Helland（定位在人类的DNA基因的目的)-HMM、Viterbi、and Sliding Window Algorithms (for purposes of locating genes in human DNA) by Tanner Helland This project demonstrates use of a Hidde
Untitled11
- Matlab source code for prediction exon regions in DNA strand
Untitled6
- Matlab code for prediction exon regions in DNA strand
Untitled7
- matlab code for finding exon prediction in DNA strand