期刊文献+
共找到66篇文章
< 1 2 4 >
每页显示 20 50 100
基于上下文语义的口令攻击模型
1
作者 柏志安 廖健 曾剑平 《计算机应用与软件》 北大核心 2025年第2期381-386,共6页
大数据技术给口令安全研究带来新的思路,通过该技术已经发现了口令中存在的姓氏、常用词汇、常用数字串等典型语义,但口令中仍存在大量无法归类的语义特征,限制了口令猜测成功率。提出一种基于上下文语义的口令建模方法,具体包括在口令... 大数据技术给口令安全研究带来新的思路,通过该技术已经发现了口令中存在的姓氏、常用词汇、常用数字串等典型语义,但口令中仍存在大量无法归类的语义特征,限制了口令猜测成功率。提出一种基于上下文语义的口令建模方法,具体包括在口令切分中减小无效语义、建立未知语义的长度分布、在上下文无关模型中引入未知语义三个主要处理过程。在大规模口令数据集上的攻击实验表明,所提语义口令建模方法对于现有口令猜测模型的成功率有一定提升。 展开更多
关键词 口令 语义挖掘 猜测 上下文无关文法
在线阅读 下载PDF
一种基于概率上下文无关文法的汉语句法分析 被引量:11
2
作者 林颖 史晓东 郭锋 《中文信息学报》 CSCD 北大核心 2006年第2期1-7,32,共8页
本文研究了PCFG独立性假设的局限性,并针对这一局限性提出了句法结构共现的概念以引入上下文信息,给出了计算方法;为了打破中文树库规模过小的局限性,对于句法规则参数的获取,本文利用In-side-Outside算法进行迭代,最后提出了一个基于... 本文研究了PCFG独立性假设的局限性,并针对这一局限性提出了句法结构共现的概念以引入上下文信息,给出了计算方法;为了打破中文树库规模过小的局限性,对于句法规则参数的获取,本文利用In-side-Outside算法进行迭代,最后提出了一个基于统计模型的自顶向下的汉语句法分析器。在封闭测试下,其标记精确率和标记召回率分别为88.1%和86.8%。实验结果表明,这种方法确实能够提高标记的精确率和召回率,值得深入研究。 展开更多
关键词 人工智能 自然语言处理 统计句法分析 概率上下文无关文法 汉语自动分析
在线阅读 下载PDF
基于量子逻辑的下推自动机与上下文无关文法 被引量:8
3
作者 韩召伟 李永明 《软件学报》 EI CSCD 北大核心 2010年第9期2107-2117,共11页
给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上... 给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性. 展开更多
关键词 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 量子上下文无关文法
在线阅读 下载PDF
上下文无关文法测试充分性 被引量:2
4
作者 李虎 金茂忠 +1 位作者 高仲仪 刘超 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第10期869-872,共4页
讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这... 讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这种包含关系与揭示文法所特有的 2类缺陷的能力之间的关系 .计算和比较了准则族中各准则的测试集规模复杂性 .为了评价文法的测试开销 ,定义了一个上下文无关文法的测试复杂性度量 ,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小 . 展开更多
关键词 上下文无关文法 文法测试 测试充分性准则 测试复杂性
在线阅读 下载PDF
可交换上下文无关文法 被引量:2
5
作者 张继军 吴哲辉 《计算机科学》 CSCD 北大核心 2007年第7期254-256,共3页
本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,... 本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。 展开更多
关键词 可交换上下文无关文法 可交换上下文无关语言 Pumping引理
在线阅读 下载PDF
逐步求精法获取上下文无关文法 被引量:2
6
作者 张瑞岭 董韫美 《计算机研究与发展》 EI CSCD 北大核心 2000年第1期30-36,共7页
文法推断研究如何从语言的有限实例,通过归纳推断获取语言的文法定义. 文中提出一个基于逐步求精的上下文无关文法推断方法,以尝试将文法推断用于替代或帮助传统手工的文法构造工作. 文中的推断方法以Angluin 的交互式学习... 文法推断研究如何从语言的有限实例,通过归纳推断获取语言的文法定义. 文中提出一个基于逐步求精的上下文无关文法推断方法,以尝试将文法推断用于替代或帮助传统手工的文法构造工作. 文中的推断方法以Angluin 的交互式学习模型为框架,以逐步求精和复用为主要策略。 展开更多
关键词 归纳学习 上下文无关文法 逐步求精 形式语言
在线阅读 下载PDF
格值下推自动机与格值上下文无关文法 被引量:8
7
作者 彭家寅 《计算机工程与应用》 CSCD 北大核心 2011年第25期34-38,48,共6页
引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下... 引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下推自动机接受的语言类与格值上下文无关文法产生的语言类的等价性,证明了有理格值语言均被格值下推自动机识别。 展开更多
关键词 格半群 格值下推自动机 格值上下文无关文法 格值语言 格值Chomsky范式文法
在线阅读 下载PDF
量子上下文无关文法的代数性质 被引量:1
8
作者 宋小震 韩召伟 李永明 《计算机工程与应用》 CSCD 北大核心 2011年第4期42-46,71,共6页
提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算... 提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。 展开更多
关键词 量子逻辑 正交模格 量子上下文无关文法 量子上下文无关语言
在线阅读 下载PDF
一种特殊的上下文无关文法及其语法分析 被引量:4
9
作者 张瑞岭 《软件学报》 EI CSCD 北大核心 1998年第12期904-910,共7页
SAQ系统是一个进行软件规约获取、检验和复用的实验系统,其中以上下文无关文法表示的概念是规约的一部分.SAQ要求将概念的词法和句法定义结合在一个上下文无关文法中.如果用常规的上下文无关文法描述诸如程序设计语言和自然语... SAQ系统是一个进行软件规约获取、检验和复用的实验系统,其中以上下文无关文法表示的概念是规约的一部分.SAQ要求将概念的词法和句法定义结合在一个上下文无关文法中.如果用常规的上下文无关文法描述诸如程序设计语言和自然语言等一些复杂概念的语法,则需要把诸如空格和回车等没有实质意义的分隔符包含到语法中去(这种描述方法称为朴素表示法),使得语法描述很累赘.为此,作者设计了一种特殊的上下文无关文法,它把通常上下文无关文法定义中的非终极符集合和终极符集合进行细化.用这种文法可以相对简洁地描述程序语言和自然语言等复杂概念的完整定义,而且,其相应的语法分析效率较朴素表示法有所提高.同时,给出相应于这种特殊的上下文无关文法的语法分析和语法树生成算法.这些算法分别由在通用上下文无关语法的Earley分析算法及其相应的语法树生成算法的基础上改进而得到. 展开更多
关键词 语法分析 编译程序 解释程序 上下文无关文法
在线阅读 下载PDF
基于双向策略标记上下文无关文法的图算法
10
作者 周雅倩 黄萱菁 吴立德 《计算机科学》 CSCD 北大核心 2002年第10期70-72,共3页
一、引言句法分析是自然语言处理的重要基础,相应的研究很多,但是由于速度问题,句法分析很难大规模运用,因此提高分析速度一直是句法分析的重要研究方向。我们知道,句法分析的过程实际上是一个在句法成分树的空间中寻找最优分析树的过程... 一、引言句法分析是自然语言处理的重要基础,相应的研究很多,但是由于速度问题,句法分析很难大规模运用,因此提高分析速度一直是句法分析的重要研究方向。我们知道,句法分析的过程实际上是一个在句法成分树的空间中寻找最优分析树的过程,因此可以把分析过程看成是个搜索最佳路径的过程。在搜索的过程中给些“启发”将提高效率。双向图算法,是个最佳的例证,由于每条规则都有触发类来规定它的使用时机,使得它无论是时间还是空间上都比传统的图算法有更高的效率。 展开更多
关键词 自然语言处理 句法分析 图算法 双向策略标记上下文无关文法 信息处理
在线阅读 下载PDF
最大乘积型Fuzzy上下文无关文法与下推自动机
11
作者 谢跃美 田莉萍 万会芳 《西南交通大学学报》 EI CSCD 北大核心 2006年第3期341-343,共3页
为了扩大现有研究的应用范围,基于最大乘积型Fuzzy文法与自动机引入了最大乘积型Fuzzy下推自动机的概念,并讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系.研究表明,当且仅当最大乘积型Fuzzy上下文无关文法产... 为了扩大现有研究的应用范围,基于最大乘积型Fuzzy文法与自动机引入了最大乘积型Fuzzy下推自动机的概念,并讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系.研究表明,当且仅当最大乘积型Fuzzy上下文无关文法产生的语言集能被最大乘积型Fuzzy下推自动机接受时,能达到自动识别最大乘积Fuzzy上下文无关语言的目的. 展开更多
关键词 最大乘积型Fuzzy 上下文无关文法 最大乘积型Fuzzy下推自动机 Fuzzy模式识别
在线阅读 下载PDF
格值上下文无关文法对基于词的计算
12
作者 杨春志 张超 《重庆交通大学学报(自然科学版)》 CAS 北大核心 2009年第4期804-806,共3页
给出了当格半群满足交换律时,任何格值上下文无关文法都与格值Greibach范式文法等价,并利用Zadeh扩张原理,研究了格值Greibach范式文法对基于词的计算,最后得出文法对基于词的计算最终由对基于值的计算来实现。
关键词 格半群 基于词的计算 上下文无关文法
在线阅读 下载PDF
基于概率上下文无关文法的句法分析歧义消解新模式 被引量:3
13
作者 陈宣 孔骏 +1 位作者 陈玉泉 陆汝占 《计算机工程》 CAS CSCD 北大核心 2002年第2期126-128,共3页
基于自然语言句法歧义消解常用的一种概率模型—概率上下文无关文法,融入上下文相关的概率信息,提出一种新的歧义消解计 算模式,该模式经测试可以有效地提高句法分析中歧义消解的正确率。
关键词 句法歧义消解 概率上下文无关文法 上下文相关概率 自然语言句法分析
在线阅读 下载PDF
格值树自动机与格值上下文无关树文法的等价性 被引量:1
14
作者 杨文武 李永明 孙丹丹 《计算机工程与科学》 CSCD 2008年第11期92-94,共3页
本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下,树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。
关键词 格半群 树自动机 上下文无关文法 正规形式 等价文法
在线阅读 下载PDF
基于上下文无关文法的仿真类层次结构模型
15
作者 周盈聪 许春根 +1 位作者 王宗月 刘凤玉 《小型微型计算机系统》 CSCD 北大核心 2000年第12期1290-1293,共4页
本文分析了分布式交互仿真系统中仿真类体系结构的特点 ,提出一种基于上下文无关文法的仿真类体系的形式化定义方法 ,并讨论了仿真类树的精炼以及仿真类的组合运算 .
关键词 分布式交互仿真 上下文无关文法 面向对象
在线阅读 下载PDF
一般上下文无关文法的一个分析算法 被引量:2
16
作者 潘培琛 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 1989年第5期615-625,共11页
本文给出一般上下文无关文法的一个分析算法。该算法可以看成是LR分析算法的推广,它既是自底向上,又是从左到右。理论分析表明本算法对一般文法具有时间界O(n^3)这里n是输入句子的长度);对有界歧义文法时间界为O(n^2),而对LR文法时间界... 本文给出一般上下文无关文法的一个分析算法。该算法可以看成是LR分析算法的推广,它既是自底向上,又是从左到右。理论分析表明本算法对一般文法具有时间界O(n^3)这里n是输入句子的长度);对有界歧义文法时间界为O(n^2),而对LR文法时间界为O(n)。由于本算法是先将文法转换成分析表,然后用分析表来指导对句子的分析。因而在实际应用中本算法一般要比Earley算法快,另外本算法输出中包含输入句子的所有可能的分析,并且仅需一简单枚举就可从此输出中找出句子的一个分析。 展开更多
关键词 上下文无关文法 语法分析 算法设计与分析
在线阅读 下载PDF
基于上下文无关文法的可逆变换模型
17
作者 吴阳怿 吴逸鸣 熊英飞 《计算机科学与探索》 CSCD 北大核心 2015年第7期793-802,共10页
可逆变换和双向变换等数据转换问题一直是近年来的研究热点,研究人员针对该问题提出了大量相关的语言和模型。但是,这些实现往往建立在一种新的计算模型上,从而导致需要花费较大的学习成本去了解计算模型。另一方面,作为语法解析的基本... 可逆变换和双向变换等数据转换问题一直是近年来的研究热点,研究人员针对该问题提出了大量相关的语言和模型。但是,这些实现往往建立在一种新的计算模型上,从而导致需要花费较大的学习成本去了解计算模型。另一方面,作为语法解析的基本工具,上下文无关文法对于绝大多数程序员来说都是不陌生的。提出了一种基于上下文无关文法的计算模型,用来构造字符串上的可逆变换,并对其性质和表达能力进行了探讨。采用Scheme语言实现了该计算模型,并通过在MIPS指令集上进行汇编和反汇编开发验证了该模型。验证结果表明,该模型具有较强的表达能力,在添加小型的公共数值变换模块后,可以完整地实现MIPS指令集上的汇编和反汇编。 展开更多
关键词 可逆变换 上下文无关文法 字符串数据
在线阅读 下载PDF
广义上下文无关文法和它的语法分析
18
作者 陈有祺 《计算机学报》 EI 1985年第1期19-28,共10页
本文介绍了广义上下文无关文法,这种文法允许正则表达式出现在产生式的右部。然后,我们定义了相应的LR(κ)文法。紧接着我们给出了一种分析算法,它是由正规的LR型分析算法扩充而得的。在这个方法中我们强调节省状态,并在此条件下使分析... 本文介绍了广义上下文无关文法,这种文法允许正则表达式出现在产生式的右部。然后,我们定义了相应的LR(κ)文法。紧接着我们给出了一种分析算法,它是由正规的LR型分析算法扩充而得的。在这个方法中我们强调节省状态,并在此条件下使分析算法尽可能地简单。 展开更多
关键词 右部 正则表达式 正规表达式 产生式 广义 语义学 上下文无关文法 参数值 分析算法 语法分析 项集 归约 定义
在线阅读 下载PDF
面向上下文无关语言的信息提取模块化设计 被引量:1
19
作者 高海昌 刘晓洪 +1 位作者 冯博琴 朱利 《计算机工程》 EI CAS CSCD 北大核心 2006年第4期49-51,54,共4页
为实现白盒测试的源文件信息提取,提出了通过Lex和Yacc对使用上下文无关文法定义的语言进行词法和语法分析,构建独立的信息提取模块的思想。在函数信息提取部分提出了块和级的概念,用语句结构和语句链表结构将函数定义信息表示出来。在... 为实现白盒测试的源文件信息提取,提出了通过Lex和Yacc对使用上下文无关文法定义的语言进行词法和语法分析,构建独立的信息提取模块的思想。在函数信息提取部分提出了块和级的概念,用语句结构和语句链表结构将函数定义信息表示出来。在类信息提取部分通过识别出类声明中的成员变量和成员函数的声明信息,建立成员链表结构;识别类声明信息,建立类结构。然后将这些结构信息存入数据库,以供后续模块使用,充分做到了模块独立性和可重用性。这样只需要设计不同的信息提取模块,就可以将目前已经实现的面向C/C++语言的软件测试工具WBoxTool推广应用到其它面向上下文无关文法的语言。 展开更多
关键词 白盒测试 上下文无关文法 函数 成员链表
在线阅读 下载PDF
推导可交换上下文无关语言 被引量:1
20
作者 张继军 吴哲辉 《小型微型计算机系统》 CSCD 北大核心 2008年第2期368-372,共5页
提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可... 提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可交换上下文无关语言表达式,证明了推导可交换上下文无关文法、推导可交换上下文无关语言表达式之间的等价转换. 展开更多
关键词 推导可交换上下文无关语言 文法 语言表达式
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部