基于模型的Fuzzing测试脚本自动化生成

针对基于知识的Fuzzing测试技术存在脚本编写工作量大的问题,提出一种基于模型的Fuzzing测试脚本自 动生成方法。方法首先以高阶属性文法形式化地描述数据模型,获取统一的、与测试环境无关的数据格式描述;然后 依据文法模型,将样本解析为带格式知识的文法分析树;最后建立文法分析树与测试逻辑的关联关系,实现自动化的 测试脚本生成。实验结果表明,所提出的方法能够自动生成有效的测试脚本,并发现软件中潜在的安全漏洞。     

一种基于单字统计二元文法的自组词音字转换算法

音字转换在语音识别和汉字语句键盘输入方面都占有很重要的地位，现在比较流行的方法是基于大语料统计的Ｍａｒｋｏｖ模型的音字转换方法，其中基于单字Ｎ元文法的音字转换算法具有数据量少，算法简单的优点，但转换准确率却较低，而基于词Ｎ元文法的音字转换算法则正好相反，本文在基于单字统计Ｂｉｇｒａｎ算法的基础上提出了一种自组词的音字转换方法，不仅具有单字Ｂｉｇｒａｍ方法的占空间少的优点，而且又可充分利用基于词Ｂｉ     

一个上下文无关文法的构造定理及其在推断中的应用

递归概念可以在句子中重复派生、循环出现。对这样的句子推断时,若为递归概念的每一个派生部分引进一个递归概念来描述,将推断出多个与之有相似的产生式结构的递归概念,同时也构造出一个新文法。本文先给出新文法的形式化构造方法,证明了新文法与原文法的等价性。在文章的后部,通过实例,介绍该定理在简化复杂文法推断中的应用。     

可交换上下文无关文法

本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。     

基于LR算法的汉语句法分析系统

西方提出了并实现了基于ＬＲ算法的汉语句法分析方法。阐述了如何利用汉语属性文法,借助于自底向上的分析方法和属性计算,对汉语句子进行有效的句法分析,生成正确的语法分析树。该算法克服了自顶向下的分析方法必定存在回溯,分析代价大的缺陷。     

指令集描述语言的设计和实现

指令集描述语言(LSDL)是从体系结构描述语言中剥离出来,专门针对不同体系或特定体系的描述语言,用于描述指令集合和处理器状态.本论文对常用指令集描述语言进行了研究,详细阐述了指令集描述语言Smart-ISDL的设计和实现.     

馆藏中文核心期刊的确定

笔者提出高校馆藏中文核心期刊，是由众多学科核心期刊，以及与学科核心期刊相关的期刊构成的观点，从理论上论述了确定馆藏核心期刊的意义，并以本院馆藏期刊为素材，用引文法、编辑出版单位类分法、请专家教授推荐等方法相互参考，确定我院馆藏核心期刊。     

汉语语音识别中语言模型的并行优化

研究了汉语语音识别中语言模型的并行优化问题,在已有汉语语音识别有调拼音模型和多核体系结构的基础上,对其算法进行了并行优化,并优化了查询机制和前后向算法。试验表明,该方法取得了很好的效果,识别速度有了很大改进。     

TBNF一种实用的二维文法表示法

本文提出一种简单实用的二维文法表示法TBNF.它能描述某些常用二维结构并具有结构简单、易于理解与实现等特点.