期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
基于下推自动机的细粒度锁自动重构方法 被引量:1
1
作者 张杨 邵帅 张冬雯 《软件学报》 EI CSCD 北大核心 2021年第12期3710-3727,共18页
针对粗粒度锁会严重影响并发程序的可伸缩性问题,提出一种面向细粒度锁的自动重构方法.该方法借助访问者模式分析、别名分析、负面效应分析等多种程序分析技术获取临界区代码的读写模式,然后使用下推自动机构建不同锁模式的识别方法,根... 针对粗粒度锁会严重影响并发程序的可伸缩性问题,提出一种面向细粒度锁的自动重构方法.该方法借助访问者模式分析、别名分析、负面效应分析等多种程序分析技术获取临界区代码的读写模式,然后使用下推自动机构建不同锁模式的识别方法,根据识别结果进行代码重构.与以往锁重构方法的不同之处在于,该方法考虑了锁降级模式,使重构适用性更广.基于此方法,在Eclipse JDT框架下,以插件的形式实现了自动重构工具FLock.在实验中,从重构个数、改变的代码行数、重构时间、准确性和重构后程序性能等方面对FLock进行了评估,并与已有的重构工具Relocker和CLOCK进行了对比.对HSQLDB,Jenkins和Cassandra等11个大型实际应用程序的重构结果表明:FLock共重构了1757个内置监视器对象,每个程序重构平均用时17.5s.该重构工具可以有效地实现粗粒度锁到细粒度锁的转换,与手动重构相比,有效提升了细粒度锁的重构效率. 展开更多
关键词 细粒度锁 读写锁 重构 下推自动机 程序分析
下载PDF
Fuzzy 2型属性文法与Fuzzy属性下推自动机 被引量:5
2
作者 彭家寅 《四川师范大学学报(自然科学版)》 CAS CSCD 1999年第3期260-264,共5页
讨论了2型属性文法与属性下推自动机的关系,进一步给出了Fuzy上下文无关属性文法与Fuzy属性下推自动机,并详细讨论了二者的关系。
关键词 2型属性文法 属性下推自动机 模糊模式识别
下载PDF
识别Fuzzy上下文无关语言的下推自动机(英文) 被引量:3
3
作者 舒兰 《电子科技大学学报》 EI CAS CSCD 北大核心 1992年第2期187-190,共4页
首先提出了Fuzzy下推自动机的概念,进而讨论了Fuzzy上下文无关文法与Fuzzy下推自动机的关系,即当且仅当一种Fuzzy语言是由Fuzzy上下文无关文法产生时,该语言可由Fuzzy下推自动机识别,从而达到了自动识别Fuzzy上下文无关语言的目的。
关键词 模式识别 FUZZY 下推自动机 文法
下载PDF
基于量子逻辑的下推自动机的代数刻画 被引量:1
4
作者 韩召伟 李永明 《计算机工程与科学》 CSCD 2008年第11期72-74,共3页
首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次... 首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。 展开更多
关键词 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 代数刻画
下载PDF
Fuzzy上下文无关文法与Fuzzy上下文无关语言的性质 被引量:2
5
作者 柏明强 《四川师范大学学报(自然科学版)》 CAS CSCD 2000年第6期580-583,共4页
:Fuzzy下推自动机与Fuzzy上下文无关文法有紧密的关系 .
关键词 Fuzzy上下文无关文法 Fuzzy上下文无关语言
下载PDF
基于自动机模型的平面调车软件设计方法
6
作者 魏臻 陆阳 +1 位作者 汤俊 鲍红杰 《电子学报》 EI CAS CSCD 北大核心 2009年第5期1013-1018,共6页
平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方... 平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷,提出通过自动机模型描述平面调车系统,具体讨论了平面调车系统与时间自动机(TA)、下推自动机(PDA)和分层自动机的关系.从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法. 展开更多
关键词 离散事件系统 平面调车 时间自动机 下推自动机
下载PDF
最大乘积型Fuzzy上下文无关文法与下推自动机
7
作者 谢跃美 田莉萍 万会芳 《西南交通大学学报》 EI CSCD 北大核心 2006年第3期341-343,共3页
为了扩大现有研究的应用范围,基于最大乘积型Fuzzy文法与自动机引入了最大乘积型Fuzzy下推自动机的概念,并讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系.研究表明,当且仅当最大乘积型Fuzzy上下文无关文法产... 为了扩大现有研究的应用范围,基于最大乘积型Fuzzy文法与自动机引入了最大乘积型Fuzzy下推自动机的概念,并讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系.研究表明,当且仅当最大乘积型Fuzzy上下文无关文法产生的语言集能被最大乘积型Fuzzy下推自动机接受时,能达到自动识别最大乘积Fuzzy上下文无关语言的目的. 展开更多
关键词 最大乘积型Fuzzy 上下文无关文法 最大乘积型Fuzzy下推自动机 Fuzzy模式识别
下载PDF
基于DNA计算的分子下推自动机(英文)
8
作者 张征 刘洁 石晓龙 《计算机学报》 EI CSCD 北大核心 2008年第12期2168-2172,共5页
DNA分子计算的工作原理是对生物系统进行编码,以生物化学反应为基础,利用生物技术实现生物系统的状态转移来推进计算过程.2001年以色列的Yaakov Benenson等人在基于DNA计算的发卡模型实现了具有状态转移功能的分子有限状态自动机,国内... DNA分子计算的工作原理是对生物系统进行编码,以生物化学反应为基础,利用生物技术实现生物系统的状态转移来推进计算过程.2001年以色列的Yaakov Benenson等人在基于DNA计算的发卡模型实现了具有状态转移功能的分子有限状态自动机,国内则有利用DNA计算的方法构造可编程分子下推存储器的相关研究.该存储器基于分子自动机的原理,能按一定逻辑进行自组装,是一种纳米尺度的生物存储机构.文中首先通过在分子有限自动机上扩展一个分子下推存储器从而获得了一种简单的分子下推自动机,并基于该下推自动机提出了一类语言的分子自动机解法.接着提出了两种改进的分子下推自动机的模型,通过增加模型复杂度,分别解决了基本型分子下推自动机存在输入字符串限制和输入分子形式不统一的问题.计算理论表明,该种下推自动机的计算能力超过了已有的有限自动机. 展开更多
关键词 分子下推自动机 DNA计算
下载PDF
无穷自动机的几个等价命题
9
作者 陈鲁生 李国才 《模糊系统与数学》 CSCD 1998年第2期78-82,共5页
本文证明了具有无穷栈符号的实时确定下推自动机与无穷自动机的等价性,并且将有限状态自动机的Myhill-Nerode定理推广到了无穷自动机和具有无穷栈符号的实时确定下推自动机。
关键词 无穷自动机 无穷栈符号 等价命题 自动机
下载PDF
Efficient Accurate Context-Sensitive Anomaly Detection
10
作者 李红娇 李建华 《Journal of Shanghai Jiaotong university(Science)》 EI 2007年第5期639-644,650,共7页
For program behavior-based anomaly detection, the only way to ensure accurate monitoring is to construct an efficient and precise program behavior model. A new program behavior-based anomaly detection model, called co... For program behavior-based anomaly detection, the only way to ensure accurate monitoring is to construct an efficient and precise program behavior model. A new program behavior-based anomaly detection model, called combined pushdown automaton (CPDA) model was proposed, which is based on static binary executable analysis. The CPDA model incorporates the optimized call stack walk and code instrumentation technique to gain complete context information. Thereby the proposed method can detect more attacks, while retaining good performance. 展开更多
关键词 program behavior-based anomaly detection system call combined pushdown automaton (CPDA) model
下载PDF
取值于赋值幺半群的加权下推自动机的代数性质 被引量:1
11
作者 付雯静 韩召伟 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2017年第3期9-16,共8页
引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cau... 引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cauchy双幺赋值幺半群上,加权上下文无关语言对于和、连接、正克林闭包运算封闭。结果表明加权下推自动机的诸多性质并不依赖于赋值幺半群的分配律和结合律。 展开更多
关键词 赋值幺半群 双幺赋值幺半群 加权下推自动机 加权上下文无关语言
下载PDF
量化上下文无关语言的代数性质 被引量:1
12
作者 付雯静 韩召伟 《计算机科学》 CSCD 北大核心 2017年第7期57-60,88,共5页
通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。
关键词 双幺赋值幺半群 量化下推自动机 量化上下文无关文法 量化上下文无关语言
下载PDF
基于正态分布对模糊概念自动计算的FPDA应用设计 被引量:1
13
作者 刘浩舸 管建和 《计算机科学》 CSCD 北大核心 2017年第S1期557-559,570,共4页
计算机控制系统具有自动机的特征,可以用有限自动机理论来对其进行描述,有限自动机是计算机科学各个方面的重要基石。但除确定性的有限自动机理论外,还有许多模糊事件应该由模糊自动机的隶属函数来解决,文中将重点放在具有正态分布特征... 计算机控制系统具有自动机的特征,可以用有限自动机理论来对其进行描述,有限自动机是计算机科学各个方面的重要基石。但除确定性的有限自动机理论外,还有许多模糊事件应该由模糊自动机的隶属函数来解决,文中将重点放在具有正态分布特征的事件上。提出了一种实现自动运算的模糊自动机模型,若要在正态分布中得到"可能发生"和"很可能发生"这类模糊型事件的概率,可以只用这种模型实现自动计算。 展开更多
关键词 模糊数 正态分布 形式语言 下推自动机
下载PDF
上下文无关文法与无限状态自动机 被引量:8
14
作者 吕映芝 《电子学报》 EI CAS CSCD 北大核心 1996年第8期23-27,共5页
目前,在研究上下文无关语言时常用的形式系统是上下文无关文法和下推自动机,在研究正则语言时常用的形式系统是正则文法和有限状态自动机.正则文法中的符号和有限状态自动机的符号之间的对应关系比较明显,因此,两种系统之间的转换... 目前,在研究上下文无关语言时常用的形式系统是上下文无关文法和下推自动机,在研究正则语言时常用的形式系统是正则文法和有限状态自动机.正则文法中的符号和有限状态自动机的符号之间的对应关系比较明显,因此,两种系统之间的转换比较容易,并且在这两种系统中观察语言性质时,可以得到相对一致的解释,上下文无关文法与下推自动机之间的对应关系则不够明显,本文所介绍的无限状态自动机也是一种上下文无关语言的识别系统,但它对于上下文无关文法类似于有限状态自动机对于正则文法那样,相互符号间有较明显的对应关系,从而带来相应的好处. 展开更多
关键词 正则文法 有限状态自动机 无限状态自动机
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部