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

基于超文法的扩展文法转换技术被引量：2: 1; 作者郭德贵刘磊 +1 位作者吴万春王胜军《吉林大学学报（理学版）》 CAS CSCD 北大核心 2006年第1期73-77,共5页; 针对带有优先级的扩展巴克斯范式(EBNF),普通的语法分析技术很难适用于该文法的问题,给出了扩展文法的形式定义,提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法,并给出转换的正确性证明,该算法在ATLAS语言编译器的开发中得到了... 展开更多; 关键词巴克斯范式扩展巴克斯范式扩展文法文法转换超文法; 在线阅读下载PDF 职称材料

面向扩展文法语义分析器的自动生成: 2; 作者王胜军郭德贵金成植《吉林大学学报（理学版）》 CAS CSCD 北大核心 2005年第6期751-756,共6页; 在扩展巴克斯范式(EBNF)Earley分析的基础上,提出一个语义分析器的自动生成算法,给出了一个带有语义动作的扩展文法和一个输入,即可生成其语义分析器.通过执行语义动作,就可以进行类型检查、中间代码生成及优化等相关工作,使得该算法成... 展开更多; 关键词 Earley分析扩展文法操作符状态机语义动作分析器; 在线阅读下载PDF 职称材料

基于错误驱动的语义文法自动扩展学习方法研究被引量：1: 3; 作者王东升王卫民 +2 位作者祁云松王石曹存根《电子学报》 EI CAS CSCD 北大核心 2021年第2期248-259,共12页; 面向领域的自然语言理解技术是垂直搜索引擎、领域相关问答系统等应用的核心技术之一.本文在已构建的基于本体和语义文法的自然语言理解系统的基础上,提出一种基于错误驱动的语义文法自动扩展学习方法,对于解析错误的句子,利用核心文法... 展开更多; 关键词语义文法文法扩展自然语言理解领域本体; 在线阅读下载PDF 职称材料

多线程Java程序安全行为模型的静态检查方法被引量：4: 4; 作者金英李泽鹏 +1 位作者张晶刘磊《计算机学报》 EI CSCD 北大核心 2009年第9期1856-1868,共13页; 多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动... 展开更多; 关键词多线程Java程序安全相关行为模型静态检查参数化扩展上下文无关文法; 在线阅读下载PDF 职称材料

题名基于超文法的扩展文法转换技术被引量：2: 1; 作者郭德贵刘磊吴万春王胜军; 机构吉林大学计算机科学与技术学院青岛理工大学计算机工程学院; 出处《吉林大学学报（理学版）》 CAS CSCD 北大核心 2006年第1期73-77,共5页; 基金吉林省科技发展计划项目基金(批准号:20050527); 文摘针对带有优先级的扩展巴克斯范式(EBNF),普通的语法分析技术很难适用于该文法的问题,给出了扩展文法的形式定义,提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法,并给出转换的正确性证明,该算法在ATLAS语言编译器的开发中得到了实际应用和验证.; 关键词巴克斯范式扩展巴克斯范式扩展文法文法转换超文法; Keywords BNF EBNF extended grammar grammar transformation super grammar; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向扩展文法语义分析器的自动生成: 2; 作者王胜军郭德贵金成植; 机构吉林大学计算机科学与技术学院; 出处《吉林大学学报（理学版）》 CAS CSCD 北大核心 2005年第6期751-756,共6页; 文摘在扩展巴克斯范式(EBNF)Earley分析的基础上,提出一个语义分析器的自动生成算法,给出了一个带有语义动作的扩展文法和一个输入,即可生成其语义分析器.通过执行语义动作,就可以进行类型检查、中间代码生成及优化等相关工作,使得该算法成为完整的扩展文法分析技术,并在实际运用中成为可能.; 关键词 Earley分析扩展文法操作符状态机语义动作分析器; Keywords Earley parsing extended grammar operator state machine semantic routine parser; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于错误驱动的语义文法自动扩展学习方法研究被引量：1: 3; 作者王东升王卫民祁云松王石曹存根; 机构江苏科技大学计算机学院中国科学院计算技术研究所中科院智能信息处理重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2021年第2期248-259,共12页; 基金国家自然科学基金(No.61702234) 科技部重点研发项目(No.2017YFC1700302)。; 文摘面向领域的自然语言理解技术是垂直搜索引擎、领域相关问答系统等应用的核心技术之一.本文在已构建的基于本体和语义文法的自然语言理解系统的基础上,提出一种基于错误驱动的语义文法自动扩展学习方法,对于解析错误的句子,利用核心文法生成部分解析树,按照打分函数选择一组最佳的部分解析树,利用预测模型预测部分解析树的上层节点并试图构建完整的解析树,从而学习得到新的文法规则,对于学习得到的不同类型的规则进行验证并更新核心文法库,通过对句子的可学习性度量来筛选学习对象,从而提高文法扩展学习的整体质量和效率.分别在两个不同规模的领域数据集进行了测试,在交互式学习范式下,测试对比了学习算法在不同规模领域的学习效率,在批量学习范式下,测试对比了更新后的文法和核心文法在两个领域数据集上的准确率和识别率等性能指标.实验结果表明,本文所提出的方法是有效的.; 关键词语义文法文法扩展自然语言理解领域本体; Keywords semantic grammar grammar extending natural language understanding domain specific ontology; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名多线程Java程序安全行为模型的静态检查方法被引量：4: 4; 作者金英李泽鹏张晶刘磊; 机构吉林大学计算机科学与技术学院; 出处《计算机学报》 EI CSCD 北大核心 2009年第9期1856-1868,共13页; 基金国家自然科学基金青年基金(60603031)资助~~; 文摘多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.; 关键词多线程Java程序安全相关行为模型静态检查参数化扩展上下文无关文法; Keywords multithreaded Java program security related behavior model static checking parameterized extended context free grammar; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于超文法的扩展文法转换技术	郭德贵刘磊吴万春王胜军	《吉林大学学报（理学版）》 CAS CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
2	面向扩展文法语义分析器的自动生成	王胜军郭德贵金成植	《吉林大学学报（理学版）》 CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
3	基于错误驱动的语义文法自动扩展学习方法研究	王东升王卫民祁云松王石曹存根	《电子学报》 EI CAS CSCD 北大核心	2021	1	在线阅读下载PDF 职称材料
4	多线程Java程序安全行为模型的静态检查方法	金英李泽鹏张晶刘磊	《计算机学报》 EI CSCD 北大核心	2009	4	在线阅读下载PDF 职称材料