搜索资源列表
secure_protocal_about_strand
- :提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断,并同 时完成对一些数据例如会话密钥等的协商。依据这种思想,结合认证逻辑中的一些成果,提出了一种新的安全协 议关联性的分析方法,该方法对协议认证目标进行了基于线空间模型语义的定义,并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。-: proposed security agreement on the nature of the agreement is the ma
编译原理实验_课程设计_词法分析
- 1、本程序的作用是进行TEST语言的词法分析。 2、可双击运行后输入文件名,或是在命令提示符下输入test 文件名……,支持多个文件同时进行词法分析。 3、本程序是在VC6.0环境下测试通过,用的是C++语法。当然也有C的语法。 4、本程序留下了很多的接口以待以后的语法分析和语义分析实验时进行扩展。比如已将词法分析结果记入到了一个顺序存储的数据结构中,以待后用。 5、程序扫描处理一部分是经孙悦红老师的示范程序修改而成,(增加了一些功能)其他部分为了适应自己的接口,都是由本人编写。-one, t
lsa-r
- This code is in the R statistical programming language. It creates a LSA using a local folder of text documents, then it shows the resultant semantic space in a 3d model (using the 2nd, 3rd, and 4th dimensions) Included in the model is the documents
MDA
- 根据MDA的思想,给出了用于统一描述数据模型的数据词典的逻辑结构,以数据词典的方式在元模型层上对数据模型进行统一描述,在数据词典的基础上分析了异构数据模型之间的数据映射关系。采用EBNF范式对描述映射关系的语法进行形式化定义和描述,同时给出映射关系的相关语义说明。在研究的基础上实现了数据映射功能,并投入实际应用,文中给出数据映射的应用实例。-This article present a kind of Data Mapping techenology based MDA,descr ipt th
Semantic-theme-calculation
- 关于主题模型的介绍性的文章,通过实例讲解主题模型。-Introductory articles on the topic model, an example to explain the topic model.
A-Tensor
- A Tensor-based Factorization Model of Semantic Compositionality
文本相似度计算方法研究综述.pdf
- Text similarity; semantic similarity; ontology; word bag model; neural network ; thesis review