导读:本文包含了上下文有关文法论文开题报告文献综述及选题提纲参考文献，主要关键词:完备剩余格值逻辑,L-值下推自动机,L-值上下文无关文法,L-值上下文无关语言
上下文有关文法论文文献综述
彭家寅[1]（2019）在《基于完备剩余格值逻辑的下推自动机与上下文无关文法》一文中研究指出引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。(本文来源于《山东大学学报(理学版)》期刊2019年05期）
陈颖,狄宏,柳亚男[2]（2017）在《基于概率上下文无关文法的口令强度评估方法》一文中研究指出口令作为当前互联网应用最主要的安全认证方式之一,口令的强弱决定着用户账户和系统的安全。文中针对目前常用的口令强度评估工具Passwordmeter等存在口令强度评估简单、参数较少等口令易遭受字典攻击等问题,利用信息熵进行口令强度的方法研究,提出一种新的口令强度评估方法。该方法采用概率上下文无关文法建模,对网络泄露的真实口令明文进行特征分析,通过口令的结构划分来计算其出现的概率,从而计算信息熵得出口令强度值,该方法计算代价较小,能够有效抵抗字典攻击。(本文来源于《物联网技术》期刊2017年04期）
王月,李永明[3]（2017）在《取值于赋值幺半群的加权上下文无关文法及其语言》一文中研究指出上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文法。证明了对于取值于柯西乘积赋值幺半群上的WCFG,存在与之等价的加权Chomsky范式文法、加权Greibach范式文法;进一步讨论了加权上下文无关文法及其产生的加权上下文无关语言的一些代数性质。(本文来源于《模糊系统与数学》期刊2017年01期）
徐飞龙[4]（2017）在《基于上下文无关文法的SQL注入漏洞测试用例生成研究》一文中研究指出SQL注入漏洞是web安全应用程序漏洞的一种,严重威胁着web应用的安全。OWASP安全组织已经连续10年将SQL注入漏洞评为最危险的web安全漏洞之一。当前虽然已对SQL注入安全问题进行了深入的研究,但是在对SQL注入漏洞测试用例生成的研究上仍然存在不足。由于SQL注入漏洞类型多,测试用例集覆盖的漏洞类型少,能够触发SQL注入漏洞的有效测试用例比较少,导致测试用例集的漏洞覆盖率和漏洞检测能力比较低。针对当前SQL注入测试用例存在的问题,本文提出利用上下文无关文法表示测试用例生成的规则,同时为了提高测试用例集在安全验证机制下的漏洞检测率使用变异方法对其进一步优化。首先,本文分析了测试用例的特点并对其进行符号形式化定义,然后利用上下文无关文法生成测试用例集。其次,本文分析了SQL注入的防御机制,然后总结了绕过安全机制的变异方法的特点,最后利用变异方法对上下文无关文法生成的测试用例集进行优化并生成新的测试用例集。最后,本文首先采用上下文无关文法生成的测试用例集、人工收集的测试用例集以及sqlmap扫描工具自带的测试用例库这叁种不同的测试用例集在无安全验证机制下进行实验,并将实验结果进行对比。实验结果表明使用上下文无关文法生成的测试用例集的漏洞覆盖率比较另外两种测试用例集要高。其次采用上下文无关文法生成的测试用例集和使用变异方法优化后的测试用例集在无安全验证与有安全验证的条件下进行实验。实验结果表明在安全机制下变异后的测试用例的漏洞检测能力要比变异前的漏洞检测能力强且稳定。最后对人工收集的测试用例集、上下文无关文法生成的测试用例集以及变异后的测试用例集进行了测试用例的有效度对比实验。实验结果表明上下文无关文法表示的测试用例生成规则和变异技术能够产生更多的触发漏洞的有效测试用例。(本文来源于《哈尔滨工程大学》期刊2017-01-01）
邹阳[5]（2016）在《上下文相关图文法及其应用研究》一文中研究指出可视化语言提供了一种可视、直观与抽象的方式去描述复杂对象的结构与构成的方法,已广泛应用于计算机相关领域。可视化语言研究的最基本问题之一是如何描述可视化语言。与形式文法用于描述文本语言类似,图文法是描述可视化语言的自然选择。由于上下文无关图文法在易用性和表达能力上均存在明显不足,上下文相关图文法的研究成为必然。然而,已有上下文相关图文法在形式框架的完备性上尚多有不足,诸多关键问题研究仍面临挑战,具体表现为：(1)在表达能力上,对于已有形式框架表达能力的理论分析有所欠缺;(2)在产生式形式上,隐式的形式框架普遍存在因产生式中上下文缺失而导致的直观性差的问题；(3)在语法分析算法上,已有的两类算法存在分析效率低下或适应范围过窄的问题。本文提出了一个一般性的上下文相关图文法的概念框架,并在此基础上对上述问题进行了较为系统性的研究,主要工作如下：1.在分析与归纳已有上下文相关图文法形式框架的基本特征基础上,通过构造不同形式框架图文法实例之间的转换算法,揭示并证明了这些形式框架的表达能力之间的关系。一方面,这些结论揭示了已有上下文相关图文法形式框架的表达能力之间关系,补充并完善了图文法的表达能力之间关系的理论。另一方面,这些算法也为不同形式框架图文法实例之间的转换提供了一种可行的方法,使上下文相关图文法的应用不再拘泥于一个形式框架,而是可以在不同形式框架之间选择适当的描述形式与分析算法,从而提高了这些形式框架的易用性。2.针对隐式上下文相关图文法形式框架中普遍存在的因产生式中上下文缺失所导致的直观性差的问题,以RGG形式框架为基础,提出了一种上下文的形式定义与计算方法来揭示产生式中所隐含的上下文。在产生式之间的偏前驱关系与全前驱关系概念基础上,形式化定义了产生式的上下文,刻画了上下文的基本特征与上下文存在的一个充分条件,并构建了上下文与上下文实例之间的关联。在此基础上构造了一组算法来计算产生式的上下文。对原本隐含在产生式中的上下文的发掘增强了产生式形式的直观性,从而有助于图文法的理解与设计。而且,此方法还可以推广到其它隐式上下文相关图文法形式框架。3.针对已有上下文相关图文法的语法分析算法中存在的问题,提出了两类相应的改进方法。一、针对仅适用于合流图文法的语法分析算法的适用范围过窄的问题,以RGG形式框架为例,提出了两种转换算法,将非合流的产生式集转换为生成相同图语言的合流产生式集,从而拓宽了这类算法的适用范围。第一种算法基于扩充的RGG形式框架XRGG,将非合流的RGG产生式转换成合流的XRGG产生式；第二种算法基于产生式上下文,将非合流的RGG产生式转换成合流的装配了裁剪过的1层上下文及其派生上下文的RGG产生式。两种算法的适用情形有所不同。二、针对通用语法分析算法效率低下的问题,提出了一种上下文匹配方法,用产生式的上下文去匹配主图中图柄的上下文来进一步鉴别待替换图柄,以尽可能地排除不必要归约,从而提高了通用算法的分析效率。4.研究了上下文相关图文法在程序并行性分析中的应用。针对并行性分析往往需要先从程序代码中抽取出控制与数据流图或其它依赖图的问题,基于RGG形式框架,定义了一种任务级的并行编程图语言GPPL来直接描述顺序或并行程序的控制与数据流图,并提出了相应的并行性分析算法以挖掘GPPL图程序的并行性特征,从而使并行性挖掘避免了从程序中抽取出相应依赖图的过程。与已有方法相比,GPPL图的形式更为简洁与直观和更具表达能力,而且算法的并行性挖掘能力也更强。5.设计并部分实现了一个上下文相关图文法支撑系统,以支持基于上下文相关图文法的图语言设计、分析及应用。系统提供了可视化的用户操作界面,其主要功能涵盖图文法编辑与语法检查、产生式上下文计算、以及在图文法合流判定基础上的对于主图的语法分析。而且,在此支撑系统上实现了对GPPL图语言的定义和一个GPPL图的语法分析。(本文来源于《南京大学》期刊2016-06-01）
王东升,王石,王卫民,刘亮亮,符建辉[6]（2016）在《基于本体和语义文法的上下文相关问答》一文中研究指出在问答系统中,用户的提问通常不是孤立的,而是使用连续的多个相关的问题来获取信息,用户在与这样的系统进行交互时,才会感觉更自然。在已构建的非上下文相关问答系统的基础上,该文提出了一种可以处理上下文相关问题的方法并开发了系统OSG-IQAs。方法首先识别当前问题是否是一个从问题(follow-up),并判别其与前面问题的具体的相关类别,然后根据相关类别,利用话语结构中的信息对当前的follow-up问题进行重构,并提交到非上下文相关问答系统中。最后,将方法在两个不同规模的领域进行测试,并与相关系统或方法进行比较,测试结果表明,该方法具有较好的可扩展性。在总体测试中,该方法比基线系统获得了更好地效果,同时利用手工将所有上下文相关问题进行上下文消解,系统与此也进行了比较,并获得了相近的性能。(本文来源于《中文信息学报》期刊2016年02期）
何锫,黄海,张远平[7]（2016）在《上下文无关文法的可视化描述》一文中研究指出上下文无关文法借助有限规则集和递归手段实现语言生成问题的刻画.这一形式系统多以符号串集形式呈现,并因递归技术的应用而渐变复杂,晦涩难懂.文章探讨其可视分析问题,涉及文法到有限状态变迁系统的构造、理论证明和应用方法.这项工作不仅有助形式系统各要素间的关系的直观刻画,而且为结构化推导分析、语义重用奠定基础.(本文来源于《广州大学学报(自然科学版)》期刊2016年01期）
马艳彬[8]（2015）在《基于上下文无关文法的防火墙配置文件解析器的研究与设计》一文中研究指出互联网技术的飞速发展,人们也越来越重视其中的网络安全问题,于是各种各样的防火墙被大规模地使用在了网络中。然而随着防火墙数量的增多,网络中出现了许多与防火墙配置有关的问题：比如配置错误导致的网络故障或者是多个防火墙的配置不一致带来的网络性能问题等等。所以需要一个防火墙配置的审计系统,用来找到网络防火墙中有隐患的配置信息,并进行相应的优化。而在这样的一个审计系统中,防火墙配置文件的解析成为该系统的一个承上启下的核心模块,它不仅需要能够解析语法各样的防火墙配置文件,还需要把它们解析转化成统一的存储形式,用于系统中审计模块的分析。本文便设计并实现了这样一个可处理多种类型防火墙的配置文件解析器。本文的创新点是：借鉴了编译原理中上下文无关文法的思想,针对防火墙配置文件的实际情况,改进并实现了一个关于防火墙配置文件的解析器的架构和方案。本文的主要工作包括：第一,分析系统中两类防火墙的配置文件相关语法；第二,针对这两类防火墙的配置文件,设计出他们各自抽象的上下文无关文法；第叁,设计出可扩展的防火墙配置文件解析器的整体框架并针对各子模块进行实现；第四,对各模块进行测试,并将本文中的解析器集成到防火墙配置审计系统中。(本文来源于《北京邮电大学》期刊2015-03-17）
吴阳怿,吴逸鸣,熊英飞[9]（2015）在《基于上下文无关文法的可逆变换模型》一文中研究指出可逆变换和双向变换等数据转换问题一直是近年来的研究热点,研究人员针对该问题提出了大量相关的语言和模型。但是,这些实现往往建立在一种新的计算模型上,从而导致需要花费较大的学习成本去了解计算模型。另一方面,作为语法解析的基本工具,上下文无关文法对于绝大多数程序员来说都是不陌生的。提出了一种基于上下文无关文法的计算模型,用来构造字符串上的可逆变换,并对其性质和表达能力进行了探讨。采用Scheme语言实现了该计算模型,并通过在MIPS指令集上进行汇编和反汇编开发验证了该模型。验证结果表明,该模型具有较强的表达能力,在添加小型的公共数值变换模块后,可以完整地实现MIPS指令集上的汇编和反汇编。(本文来源于《计算机科学与探索》期刊2015年07期）
郝小健[10]（2014）在《上下文无关文法，多元稳定多项式及递增树》一文中研究指出与上下文无关文法相关的微分算子的概念是由陈永川最先引入的。进一步陈永川提出了运用上下文无关文法生成组合多项式的框架。此后上下文无关文法被广泛用于生成和处理组合多项式。Borcea和Branden发展了多元多项式的稳定性理论。在他们工作的基础上Haglund和Visontai提出了一个证明Stirling排列和r-Stirling排列生成函数的稳定性的方法。本文的主要目的是运用上下文无关文法来生成多元组合多项式,并证明多元组合多项式的稳定性。同时,我们将通过恰当的文法标号生成一些组合结构并利用上下文无关文法得到相关的组合恒等式。论文结构如下。第一章我们主要介绍相关的背景知识,基本概念及常用符号。我们将着重对Haglund和Visontai所做的关于Stirling排列和r-Stirling排列生成函数的稳定性的工作进行介绍。在第二章中,我们回顾了上下文无关文法的相关背景。在本章节中我们将集中介绍如何使用上下文无关文法刻画组合结构并生成相关的组合多项式,例如：Stirling多项式,Eulerian多项式及二阶Eulerian多项式。其中,我们主要研究了包含多个参数的组合多项式。第叁章,我们主要介绍如何运用上下文无关文法生成多元组合多项式,并证明其稳定性。基于Borcea和Branden给出的关于保持多重仿射多项式稳定性的算子的刻画,我们给出运用上下文无关文法证明多元多项式的稳定性的方法。进一步,我们将给出一些通过上下文无关文法生成的多元多项式的稳定性证明。其中我们解决了Haglund和Visontai提出的关于给出Legendre-Stirling排列下降位的生成函数的稳定细化的问题。叁项递推关系是组合数学中一类重要的递推关系,在本章结尾我们给出了一个生成特殊叁项递推关系的文法。运用这个文法我们得到了一些新的组合恒等式,并且给出一组算子生成满足该叁项递推关系序列的生成函数。在此基础上我们得到了此算子保持稳定性的充分必要条件。在第四章中,我们主要说明了一些可以递归生成的组合结构都是可以由上下文无关文法生成的,例如：递增树,递增二叉树,自反排列,递增圈树及强受限森林。通过上下文无关文法,这些组合结构的性质往往可以被容易的证明。在本章中,我们引入了一种被称之为禁止替换的特殊替换规则,我们将利用含有禁止替换规则的上下文无关文法来生成一些组合结构并证明一些组合恒等式。在第五章中,我们将上下文无关文法与缸模型相关联。我们利用缸模型对刻画排列中连续的132型及强受限森林中的绝对孤立点的上下文无关文法进行分析,并给出上述统计量的一些分析结果。(本文来源于《南开大学》期刊2014-05-01）
上下文有关文法论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
口令作为当前互联网应用最主要的安全认证方式之一,口令的强弱决定着用户账户和系统的安全。文中针对目前常用的口令强度评估工具Passwordmeter等存在口令强度评估简单、参数较少等口令易遭受字典攻击等问题,利用信息熵进行口令强度的方法研究,提出一种新的口令强度评估方法。该方法采用概率上下文无关文法建模,对网络泄露的真实口令明文进行特征分析,通过口令的结构划分来计算其出现的概率,从而计算信息熵得出口令强度值,该方法计算代价较小,能够有效抵抗字典攻击。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
上下文有关文法论文参考文献
[1].彭家寅.基于完备剩余格值逻辑的下推自动机与上下文无关文法[J].山东大学学报(理学版).2019
[2].陈颖,狄宏,柳亚男.基于概率上下文无关文法的口令强度评估方法[J].物联网技术.2017
[3].王月,李永明.取值于赋值幺半群的加权上下文无关文法及其语言[J].模糊系统与数学.2017
[4].徐飞龙.基于上下文无关文法的SQL注入漏洞测试用例生成研究[D].哈尔滨工程大学.2017
[5].邹阳.上下文相关图文法及其应用研究[D].南京大学.2016
[6].王东升,王石,王卫民,刘亮亮,符建辉.基于本体和语义文法的上下文相关问答[J].中文信息学报.2016
[7].何锫,黄海,张远平.上下文无关文法的可视化描述[J].广州大学学报(自然科学版).2016
[8].马艳彬.基于上下文无关文法的防火墙配置文件解析器的研究与设计[D].北京邮电大学.2015
[9].吴阳怿,吴逸鸣,熊英飞.基于上下文无关文法的可逆变换模型[J].计算机科学与探索.2015
[10].郝小健.上下文无关文法，多元稳定多项式及递增树[D].南开大学.2014
标签：完备剩余格值逻辑; L-值下推自动机; L-值上下文无关文法; L-值上下文无关语言;