下推自动机

作品数：27被引量：35H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：韩召伟李永明马殿富赵永望李汪根更多>>
相关机构：陕西师范大学北京航空航天大学电子科技大学北京工业大学更多>>
相关期刊：《计算机技术与发展》《计算机工程与设计》《计算机教育》《计算机与数字工程》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划北京市自然科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种面向UEFI模块的形式化建模与验证方法被引量：1
《计算机技术与发展》2021年第12期116-121,共6页王冠 郝晓星 
国家重点研发计划(2019YFB2102303);国家自然科学基金(61971014)。
固件作为一种固化在ROM中的特殊软件程序,主要负责加电自检,硬件设备初始化,引导操作系统等基础功能,运行级别和安全等级较高,亟需一种高效、可靠的UEFI模块安全检测方法。采用形式化方法对UEFI模块进行规约与验证,对于提高固件的安全...
关键词：UEFI 形式化方法 模型检验 安全漏洞 有限状态自动机 下推自动机 
基于下推自动机的细粒度锁自动重构方法被引量：1
《软件学报》2021年第12期3710-3727,共18页张杨 邵帅 张冬雯 
国家自然科学基金(61440012);河北省自然科学基金(18960106D);河北省高等学校科学研究计划(ZD2019093);河北省研究生创新资助项目(CXZZSS2020094)。
针对粗粒度锁会严重影响并发程序的可伸缩性问题,提出一种面向细粒度锁的自动重构方法.该方法借助访问者模式分析、别名分析、负面效应分析等多种程序分析技术获取临界区代码的读写模式,然后使用下推自动机构建不同锁模式的识别方法,根...
关键词：细粒度锁 读写锁 重构 下推自动机 程序分析 
基于完备剩余格值逻辑的下推自动机与上下文无关文法被引量：1
《山东大学学报（理学版）》2019年第5期112-126,共15页彭家寅 
教育部与四川省数学与应用数学专业综合改革资助项目(ZG0464;01249);国家自然科学基金资助项目(11071178、11671284);四川省科技厅重大前沿资助项目(2017JY0197);四川省教育厅科研创新团队基金资助项目(15TD0027)
引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等...
关键词：完备剩余格值逻辑 L-值下推自动机 L-值上下文无关文法 L-值上下文无关语言 
一种针对正规树模式的复杂事件查询方法被引量：1
《计算机与数字工程》2018年第5期966-971,共6页郑利强 廖湖声 苏航 高红雨 
北京市自然科学基金项目(编号:4122011)资助;国家自然科学基金青年基金项目(编号:61202074)资助
随着对半结构化流式数据进行复杂事件查询的需求日益增加,高效地进行复杂事件查询显得尤为重要。目前针对复杂事件查询的方法主要集中在仅有结构约束的查询请求,对同时含有时序约束的查询请求不能很好地支持。因此,针对XML这种半结构化...
关键词：复杂事件查询 正规树模式 下推自动机 XML流数据 
量化上下文无关语言的代数性质被引量：1
《计算机科学》2017年第7期57-60,88,共5页付雯静 韩召伟 
国家自然科学基金资助项目(11401361;11226266;61572016);中央高校基本科研业务(GK201402002)资助
通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。
关键词：双幺赋值幺半群 量化下推自动机 量化上下文无关文法 量化上下文无关语言 
基于正态分布对模糊概念自动计算的FPDA应用设计被引量：1
《计算机科学》2017年第S1期557-559,570,共4页刘浩舸 管建和 
计算机控制系统具有自动机的特征,可以用有限自动机理论来对其进行描述,有限自动机是计算机科学各个方面的重要基石。但除确定性的有限自动机理论外,还有许多模糊事件应该由模糊自动机的隶属函数来解决,文中将重点放在具有正态分布特征...
关键词：模糊数 正态分布 形式语言 下推自动机 
基于扩展下推自动机的Java程序安全相关行为模型自动生成
《通讯世界（下半月）》2016年第3期215-215,共1页高彩凤 
随着Java应用程序的迅速发展,程序代码安全问题也逐渐引起了人们的重视。虽然各个研究领域都提出很多的安全控制方法,但都存在着非常大的局限性,需要完善。本文主要将扩展下自动机作为核心研究对象,进行了详细分析,希望可以给相关研究...
关键词：移动代码安全 扩展下推自动机 面向对象 
“编译原理”教学实践探究被引量：3
《计算机教育》2013年第5期64-67,85,共5页姚卫红 赵晶 
教学需要"教"与"学"双方的密切配合。树立"学生为主体、教师为主导"的良好教学关系,是成功教学的关键。本文根据"编译原理"课程的特点,提出应用启发式教学的思想,提高学生在学习中的主体地位,多方面增强学生的学习兴趣。文章结合笔者17...
关键词：编译原理 文法 有穷自动机 下推自动机 启发教学 教学策略 
基于量子逻辑的下推自动机与上下文无关文法被引量：8
《软件学报》2010年第9期2107-2117,共11页韩召伟 李永明 
国家自然科学基金No.10571112;陕西师范大学青年科技项目No.200701008~~
给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上...
关键词：量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 量子上下文无关文法 
基于下推自动机的XML数据流递归查询研究被引量：1
《计算机工程与设计》2010年第4期763-766,共4页张晓琳 李宏辉 韩剑锋 
国家社会科学基金项目(07XTQ003);内蒙古自然科学基金重点基金项目(20080404Zd21)
针对具有子孙轴(//)和谓词([])结构特征的XPath对具有不同递归深度的XML数据流进行递归查询处理问题,提出了基于下推自动机技术的处理方法,通过将XPath各类置步转化成相对应的处理模块,由算法将各类处理模块组合起来,建立了自上而下的...
关键词：XML数据流 多重匹配 下推自动机 递归查询 树状查询模型 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部