Location:
Search - strand
Search list
Description: 双链表结点定义,建立双链表,图形显示插入的具体过程- The double strand table point definition, establishes the
double strand table, the graphical display insertion concrete process
Platform: |
Size: 2180 |
Author: liuyan6374 |
Hits:
Description: 提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的
证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对
Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三
方认证协议的证明，并且它还使得证明过程简洁而直观。-the Strand space model to prove the safety of a new agreement ideas, Key it from the concept of security, based on the ideal reference to the concept of proof, and obtain certification preparation conclusions, so secret agreement on the attributes and authentication attributes proved. It also gives an address Yahalom. BAN agreement safety of examples, One can see it very suitable for the use of symmetric encryption system and has key distribution function of the tripartite agreement proved certification , which also makes the certification process simple and intuitive.
Platform: |
Size: 199243 |
Author: 韩超 |
Hits:
Description: ：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同
时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协
议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand
的存在关系和Strand参数一致性的分析问题。-: proposed security agreement on the nature of the agreement is the main means of the use of cryptography through the response to a challenge to the existence of other agreements made judgment and be completed at the same time on some key data such as the oral consultations. Based on this idea and certification of some logical outcome, a new security agreement relevance of the analysis method, The objective of the agreement for the certification based on linear space model semantic definition, Correlation analysis will be reduced to the existence of relations between the Strand and Strand parameters consistency of the problem.
Platform: |
Size: 346614 |
Author: 韩超 |
Hits:
Description: 几个汽车通信协议
CAN,PWM,VPW,KWP协议
Platform: |
Size: 3793802 |
Author: feiniao |
Hits:
Description: 双链表结点定义,建立双链表,图形显示插入的具体过程- The double strand table point definition, establishes the
double strand table, the graphical display insertion concrete process
Platform: |
Size: 2048 |
Author: liuyan6374 |
Hits:
Description: 提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的
证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对
Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三
方认证协议的证明，并且它还使得证明过程简洁而直观。-the Strand space model to prove the safety of a new agreement ideas, Key it from the concept of security, based on the ideal reference to the concept of proof, and obtain certification preparation conclusions, so secret agreement on the attributes and authentication attributes proved. It also gives an address Yahalom. BAN agreement safety of examples, One can see it very suitable for the use of symmetric encryption system and has key distribution function of the tripartite agreement proved certification , which also makes the certification process simple and intuitive.
Platform: |
Size: 198656 |
Author: 韩超 |
Hits:
Description: ：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同
时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协
议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand
的存在关系和Strand参数一致性的分析问题。-: proposed security agreement on the nature of the agreement is the main means of the use of cryptography through the response to a challenge to the existence of other agreements made judgment and be completed at the same time on some key data such as the oral consultations. Based on this idea and certification of some logical outcome, a new security agreement relevance of the analysis method, The objective of the agreement for the certification based on linear space model semantic definition, Correlation analysis will be reduced to the existence of relations between the Strand and Strand parameters consistency of the problem.
Platform: |
Size: 346112 |
Author: 韩超 |
Hits:
Description: 几个汽车通信协议
CAN,PWM,VPW,KWP协议-Several automotive communication protocol CAN, PWM, VPW, KWP agreement
Platform: |
Size: 3793920 |
Author: feiniao |
Hits:
Description:
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 this program try in 6 different translation way: fram +1 ,+2, +3 and frame -1,-2,-3. For codon, there are three different kind of them: stop codon, start codon and normal codon. The start codon and normal both encode amino acid but the stop codon only functions as a stop sign of translation. The translation machinery stops where it encounters a stop codon. But our program still read the codon even after it encounters a stop codon for the DNA sequence is not really part of gene segment.-
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 this program try in 6 different translation way: fram+1 ,+2,+3 and frame-1,-2,-3. For codon, there are three different kind of them: stop codon, start codon and normal codon. The start codon and normal both encode amino acid but the stop codon only functions as a stop sign of translation. The translation machinery stops where it encounters a stop codon. But our program still read the codon even after it encounters a stop codon for the DNA sequence is not really part of gene segment.
Platform: |
Size: 3072 |
Author: hsingjun |
Hits:
Description: STLport 是一个多平台的 ANSI C++ 标准类库实现，具备很多高级特征，并且为效率，异常安全性和线程安全性做了优化，还做了许多扩展，如 hash 表和单链。
-STLport is a multiplatform ANSI C++ standard library implementation, has a number of advanced features, and for the efficiency, safety and thread-safe exception of doing optimization, has also done a lot of extensions, such as the hash table and single-strand.
Platform: |
Size: 1228800 |
Author: 白裕飞 |
Hits:
Description: 采用带头结点的单链表存储一元稀疏多项式；一元稀疏多项式简单计算器的基本功能是：⑴输入并采用尾插法建立多项式的单链表；⑵输出多项式单链表，输出形式可为整数序列和指数形式⑶多项式pn(x)和qm(x)相加，建立多项式pn(x)+qm(x)，可不重新开辟存储空间；⑷多项式pn(x)和qm(x)相减，建立多项式pn(x)-qm(x)，可不重新开辟存储空间；-Unary sparse polynomial simple calculator
Input and the establishment of polynomial interpolation method tail single-strand table
Platform: |
Size: 171008 |
Author: 安静霆 |
Hits:
Description: 利用单链表完成一个班级的所有学生信息的管理：能够增加、删除、查找、修改学生的记录。
1． 学生信息内容包括：学号、姓名、性别、成绩；
2． 节点结构：定义一个结构类型，用来存放学生信息。
-Use completion of one class single-strand table all students information management: the ability to add, delete, search, modify students records.
1. The students information contents include: student id, name, sex, and achievements
2. Node structure defines a structure types, students used to store information.
Platform: |
Size: 3072 |
Author: 黄伟坡 |
Hits:
Description: 我以c语言自主开发的单链表源代码，请大家斧正-The self-developed single-strand table source code
Platform: |
Size: 1024 |
Author: 潘潘 |
Hits:
Description: 逆向建立了单链表,并用同样方向进行就地倒置-Reverse established single-strand libraries, and use the same direction for on-site inverted..
Platform: |
Size: 1024 |
Author: 申超波 |
Hits:
Description: 建立两个带头结点的有序单链表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 of space, will be merged into one La and Lb by increasing the orderly single-strand elements value table Lc.
Platform: |
Size: 4096 |
Author: 黎茶醒 |
Hits:
Description: 魔兽世界自动挂远古海滩战场按键精灵，需要前台使用，个别分辨率不同的电脑可能需要修改识别位置才能使用，修改鼠标定位位置亦可以使其可以拍其他战场-Strand of the Ancients World of Warcraft battleground automatically linked Wizard button, you need to use front, the individual may require resolution of different computers can be used to modify the location identified, targeted location may also modify the mouse so that it can take other battlefield
Platform: |
Size: 1024 |
Author: 消沉 |
Hits:
Description: 扩展串空间模型IEEE802_11i分析Analysis of extended strand space model IEEE802_11i-Analysis of extended strand space model IEEE802_11i
Platform: |
Size: 1057792 |
Author: ten |
Hits:
Description: 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 Hidden Markov Model (HMM) to define the relationship
between normal states (B) and island states (I) within a region of the human chromosome.
This algorithm proves particularly useful for gene finding、as CpG islands (regions of DNA
with a larger than expected number of adjacent cytosine and guanine nucleotides) tend to
appear near the promoters of some 40 of mammalian genes. The automation of this process
is critical in gene research because CpG islands are impossible to locate by simply looking
at a strand of DNA (as they may cover several hundred bases and their C/G content may be
only slightly higher than the expected value).
The algorithm is fast、robust、and it includes a wealth of good routines (such as loading FASTA
files into VB). Ive tried to include comments where applicable.
Platform: |
Size: 33792 |
Author: ji zuo-xin |
Hits:
Description: Matlab source code for prediction exon regions in DNA strand
Platform: |
Size: 1024 |
Author: kambiz |
Hits:
Description: Matlab code for prediction exon regions in DNA strand
Platform: |
Size: 1024 |
Author: kambiz |
Hits: