检索结果-维普期刊中文期刊服务平台

基于语法分析树的入侵检测技术: 1; 作者贾存虎仇德成 +1 位作者李大伟徐德启《计算机工程与设计》 CSCD 北大核心 2009年第18期4220-4223,共4页; 对系统入侵的状态转换进行了研究,分析了常见的黑客攻击方法,包括TCPSYNFLOODING、IP分片攻击等。针对现有入侵检测技术的不足,构建了一个新的入侵检测模式,提出了基于特征信息序列语法分析的入侵检测技术。实现多种入侵用统一的文法描... 展开更多; 关键词攻击方法入侵检测状态转换特征信息序列语法分析树; 在线阅读下载PDF 职称材料

反语法分析中语法分析树的构建: 2; 作者王立超李国强蔡小娟《上海交通大学学报》 EI CAS CSCD 北大核心 2015年第11期1625-1629,1634,共6页; 针对现存反语法分析方法分析结果不甚精确的问题,提出了新的反语法分析方法.与直接从抽象语法树构建出文本的传统方法相比,加入了构建语法分析树的过程,从而提高了反语法分析的精度,并且,为其他需要从抽象语法树生成语法分析树的研究提... 展开更多; 关键词语法分析树反语法分析树的修补语法制导定义; 在线阅读下载PDF 职称材料

有语法错误的编程题自动评分方法研究——用局部语法分析和采分点匹配实现被引量：13: 3; 作者王倩苏小红马培军《计算机工程与应用》 CSCD 北大核心 2010年第17期239-242,共4页; 针对传统的编程题自动评分方法对存在个别语法错误的学生考试程序只能给出零分、不符合卷面笔试时教师手工阅卷习惯的问题,提出了一种适用于有错误的编程题的评分方法,首先,将有语法错误的学生程序分解为基本语句单元,与模板采分点语句... 展开更多; 关键词编程题自动评分采分点匹配局部语法分析基本语句单元语法分析树; 在线阅读下载PDF 职称材料

基于HowNet的句子褒贬倾向性研究被引量：31: 4; 作者熊德兰程菊明田胜利《计算机工程与应用》 CSCD 北大核心 2008年第22期143-145,共3页; 文本倾向性识别在信息过滤、自动文摘、文本分类等领域有广泛的应用前景。句子倾向性研究是文本倾向性识别的基础,结合句法分析结果和词语语义倾向性可以衡量句子褒贬倾向性。以HowNet的词汇语义相似度计算为基础,提出了基于的语义距离... 展开更多; 关键词语义相似度语法分析树语义距离语法距离倾向性识别; 在线阅读下载PDF 职称材料

一种基于特征矩阵的软件脆弱性代码克隆检测方法被引量：13: 5; 作者甘水滔秦晓军 +1 位作者陈左宁王林章《软件学报》 EI CSCD 北大核心 2015年第2期348-363,共16页; 提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过... 展开更多; 关键词脆弱性检测代码克隆语法分析树特征矩阵; 在线阅读下载PDF 职称材料

并行程序验证的调度策略被引量：1: 6; 作者肖增良何锫康立山《计算机工程与应用》 CSCD 北大核心 2009年第11期39-41,共3页; 针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机... 展开更多; 关键词程序验证并行调度语法分析树依赖图依赖集; 在线阅读下载PDF 职称材料

一种改进的大规模CTL公式检测算法: 7; 作者奚琪王清贤 +1 位作者曾勇军秦艳锋《计算机科学》 CSCD 北大核心 2013年第10期122-126,共5页; 标记算法是模型检测用于验证计算树逻辑CTL公式的经典算法。针对标记算法检测大规模公式存在的效率问题,提出一种可用于验证大规模CTL公式的标记算法。算法通过公式预处理标识公式集中的公共子公式,在验证过程中绑定公共子公式与模型状... 展开更多; 关键词模型检测标记算法公共子公式语法分析树; 在线阅读下载PDF 职称材料

CAPP中产生式规则的检查方法: 8; 作者王岩张士杰《计算机工程》 EI CAS CSCD 北大核心 2005年第15期62-64,共3页; 该文根据“863”项目“基于知识的箱体CAPP系统”开发经验,提出了一种实用的产生式规则表示和检查方法。通过在规则的条件部分使用嵌套函数,可以表达零件工艺规划中比较复杂的逻辑判断关系,通过对规则的词法检查、语法检查和逻辑关系检... 展开更多; 关键词工艺规划产生式规则语法分析树一致性检查; 在线阅读下载PDF 职称材料

语言附着的句法结构: 9; 作者郭清泉《软件学报》 EI CSCD 北大核心 1995年第11期673-678,共6页; 本文研究语言Ｌ的附着Ａｄｈ（Ｌ）的句法结构，借助于Ｌ的语法分析树，我们分析了Ａｄｈ（Ｌ）的句法特征，提出并证明了正规语言和上下文无关语言附着的叠代定理，从而解决了这两类语言的附着的句法结构问题。另外，应用引理证明了某... 展开更多; 关键词语法分析树语言附着 W语言句法结构; 在线阅读下载PDF 职称材料

题名基于语法分析树的入侵检测技术: 1; 作者贾存虎仇德成李大伟徐德启; 机构酒泉卫星发射中心兰州大学信息科学与工程学院河西学院计算机系; 出处《计算机工程与设计》 CSCD 北大核心 2009年第18期4220-4223,共4页; 文摘对系统入侵的状态转换进行了研究,分析了常见的黑客攻击方法,包括TCPSYNFLOODING、IP分片攻击等。针对现有入侵检测技术的不足,构建了一个新的入侵检测模式,提出了基于特征信息序列语法分析的入侵检测技术。实现多种入侵用统一的文法描述,有效地避免了检测分析中的盲目试探,提高了检测效率。由于采用了可扩展的文法创建技术,使其具备一定的异常检测能力,能识别未知的入侵或攻击。; 关键词攻击方法入侵检测状态转换特征信息序列语法分析树; Keywords attacking methods intrusion detection state conversion sequence of characteristic information parsing tree; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名反语法分析中语法分析树的构建: 2; 作者王立超李国强蔡小娟; 机构上海交通大学电子信息与电气工程学院BASICS实验室; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2015年第11期1625-1629,1634,共6页; 基金国家自然科学基金资助项目(61472240 91318301); 文摘针对现存反语法分析方法分析结果不甚精确的问题,提出了新的反语法分析方法.与直接从抽象语法树构建出文本的传统方法相比,加入了构建语法分析树的过程,从而提高了反语法分析的精度,并且,为其他需要从抽象语法树生成语法分析树的研究提供了理论基础.; 关键词语法分析树反语法分析树的修补语法制导定义; Keywords syntax tree unparsing tree amending syntax-directed definition; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名有语法错误的编程题自动评分方法研究——用局部语法分析和采分点匹配实现被引量：13: 3; 作者王倩苏小红马培军; 机构哈尔滨工业大学计算机科学与技术学院; 出处《计算机工程与应用》 CSCD 北大核心 2010年第17期239-242,共4页; 基金国家自然科学基金 No.60673053~~; 文摘针对传统的编程题自动评分方法对存在个别语法错误的学生考试程序只能给出零分、不符合卷面笔试时教师手工阅卷习惯的问题,提出了一种适用于有错误的编程题的评分方法,首先,将有语法错误的学生程序分解为基本语句单元,与模板采分点语句一并经过局部语法分析,转化为语法分析树的中间表示,然后进行采分点匹配,进而输出有语法错误的学生程序的评分结果,该方法适用于考察答题者对基本语法知识的正确使用和对题目关键语义的正确表达,使得对有语法错误的学生程序的评分结果更加符合人工阅卷的思想。; 关键词编程题自动评分采分点匹配局部语法分析基本语句单元语法分析树; Keywords automatic grading of programs key point matching local syntax analysis basic sentence piece syntax tree; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于HowNet的句子褒贬倾向性研究被引量：31: 4; 作者熊德兰程菊明田胜利; 机构许昌学院计算机科学与技术学院; 出处《计算机工程与应用》 CSCD 北大核心 2008年第22期143-145,共3页; 基金河南省教育厅自然科学基金项目(No2008B520031) 许昌市科技局科技发展计划项目(No07020062); 文摘文本倾向性识别在信息过滤、自动文摘、文本分类等领域有广泛的应用前景。句子倾向性研究是文本倾向性识别的基础,结合句法分析结果和词语语义倾向性可以衡量句子褒贬倾向性。以HowNet的词汇语义相似度计算为基础,提出了基于的语义距离和语法距离的句子褒贬倾向性计算方法。大量语句实验表明,该方法的计算结果与人工判别结果更接近。; 关键词语义相似度语法分析树语义距离语法距离倾向性识别; Keywords semantic similarity syntactic tree semantic distance grammar distance tendentious recognition; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种基于特征矩阵的软件脆弱性代码克隆检测方法被引量：13: 5; 作者甘水滔秦晓军陈左宁王林章; 机构数学工程与先进计算国家重点实验室(无锡江南计算技术研究所) 计算机软件新技术国家重点实验室(南京大学); 出处《软件学报》 EI CSCD 北大核心 2015年第2期348-363,共16页; 基金国家自然科学基金(91318301 61170066 6147179); 文摘提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过遍历代码片段对应的语法分析树中关键节点的数量,构造对应的特征矩阵.从公开漏洞数据库中抽取部分实例作为基本知识库,通过对代码进行基于多种克隆类型的聚类计算,达到了从被测软件代码中检测脆弱代码的目的.与基于单一特征向量的检测方法相比,对脆弱性特征的描述更加精确,更具有针对性,并且弥补了形式化检测方法在脆弱性类型覆盖能力上的不足.在对android-kernel代码的测试中发现了9个脆弱性.对不同规模软件代码的测试结果表明,该方法的时间开销和被测代码规模成线性关系.; 关键词脆弱性检测代码克隆语法分析树特征矩阵; Keywords vulnerabilitydetection codeclone syntax parser tree metrics of characteristics; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名并行程序验证的调度策略被引量：1: 6; 作者肖增良何锫康立山; 机构长沙理工大学计算机与通信工程学院武汉大学软件工程国家重点实验室; 出处《计算机工程与应用》 CSCD 北大核心 2009年第11期39-41,共3页; 基金国家自然科学基金No.60473081 武汉大学软件工程国家重点实验室资助项目(No.SKLSE20080701)~~; 文摘针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。; 关键词程序验证并行调度语法分析树依赖图依赖集; Keywords program verification parallel scheduling parser tree dependency graph dependency set; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种改进的大规模CTL公式检测算法: 7; 作者奚琪王清贤曾勇军秦艳锋; 机构国家数字交换系统工程技术研究中心; 出处《计算机科学》 CSCD 北大核心 2013年第10期122-126,共5页; 基金国家863计划(2012AA012902)资助; 文摘标记算法是模型检测用于验证计算树逻辑CTL公式的经典算法。针对标记算法检测大规模公式存在的效率问题,提出一种可用于验证大规模CTL公式的标记算法。算法通过公式预处理标识公式集中的公共子公式,在验证过程中绑定公共子公式与模型状态,避免公式的重复验证。实验结果表明,该算法有效提高了验证效率。; 关键词模型检测标记算法公共子公式语法分析树; Keywords Model checking,Labelling algorithm,Common subforrnulas,Parse tree; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名CAPP中产生式规则的检查方法: 8; 作者王岩张士杰; 机构中国科学院沈阳自动化研究所; 出处《计算机工程》 EI CAS CSCD 北大核心 2005年第15期62-64,共3页; 基金国家"863"计划基金资助项目(2001AA412020); 文摘该文根据“863”项目“基于知识的箱体CAPP系统”开发经验,提出了一种实用的产生式规则表示和检查方法。通过在规则的条件部分使用嵌套函数,可以表达零件工艺规划中比较复杂的逻辑判断关系,通过对规则的词法检查、语法检查和逻辑关系检查最终保证了从单条规则到整个规则库的正确性和一致性。; 关键词工艺规划产生式规则语法分析树一致性检查; Keywords Process planning Production rule Syntax tree Consistency check; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名语言附着的句法结构: 9; 作者郭清泉; 机构山东大学计算机科学系; 出处《软件学报》 EI CSCD 北大核心 1995年第11期673-678,共6页; 基金国家自然科学基金; 文摘本文研究语言Ｌ的附着Ａｄｈ（Ｌ）的句法结构，借助于Ｌ的语法分析树，我们分析了Ａｄｈ（Ｌ）的句法特征，提出并证明了正规语言和上下文无关语言附着的叠代定理，从而解决了这两类语言的附着的句法结构问题。另外，应用引理证明了某些附着不是正规语言的附着或上下文无关语言的附着。; 关键词语法分析树语言附着 W语言句法结构; Keywords Iteration theorem parser tree context - free language regular language adherence of language.; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于语法分析树的入侵检测技术	贾存虎仇德成李大伟徐德启	《计算机工程与设计》 CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
2	反语法分析中语法分析树的构建	王立超李国强蔡小娟	《上海交通大学学报》 EI CAS CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
3	有语法错误的编程题自动评分方法研究——用局部语法分析和采分点匹配实现	王倩苏小红马培军	《计算机工程与应用》 CSCD 北大核心	2010	13	在线阅读下载PDF 职称材料
4	基于HowNet的句子褒贬倾向性研究	熊德兰程菊明田胜利	《计算机工程与应用》 CSCD 北大核心	2008	31	在线阅读下载PDF 职称材料
5	一种基于特征矩阵的软件脆弱性代码克隆检测方法	甘水滔秦晓军陈左宁王林章	《软件学报》 EI CSCD 北大核心	2015	13	在线阅读下载PDF 职称材料
6	并行程序验证的调度策略	肖增良何锫康立山	《计算机工程与应用》 CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
7	一种改进的大规模CTL公式检测算法	奚琪王清贤曾勇军秦艳锋	《计算机科学》 CSCD 北大核心	2013	0	在线阅读下载PDF 职称材料
8	CAPP中产生式规则的检查方法	王岩张士杰	《计算机工程》 EI CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
9	语言附着的句法结构	郭清泉	《软件学报》 EI CSCD 北大核心	1995	0	在线阅读下载PDF 职称材料