状态自动机

作品数：233被引量：688H指数：12
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄凯明早克热·卡德尔彭坤杨董群峰陈俊亮更多>>
相关机构：西安电子科技大学北京邮电大学清华大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向网络安全训练评估的受训者行为描述模型被引量：1
《计算机科学》2022年第S01期480-484,704,共6页陶礼靖 邱菡 朱俊虎 李航天 
对受训者训练表现的评估是提升网络安全训练成效的关键环节之一,对评估方法的研究包含了基于训练结果和基于训练行为建模的评估两个阶段,前者存在无法评价训练细节的问题,后者存在仅能对部分训练路径预建模,无法判定非预设训练路径下训...
关键词：网络安全训练 训练行为建模 有向图 有限状态自动机 
基于时空域信息融合的视频拷贝检测算法研究被引量：1
《计算机科学》2016年第9期274-279,314,共7页严聪 纪墨轩 纪庆革 
NSFC-1广东联合基金(U0735001)资助
为了有效利用视频独有的时空域特性来提高视频拷贝检测算法的鲁棒性和精度,提出一种基于时空域信息融合的快速拷贝检测算法。该算法包括基于时空域信息融合的指纹提取算法、基于倒排索引的匹配搜索算法和结合异步滑窗策略的基于匹配状...
关键词：视频拷贝检测 时空域信息融合 倒排索引 状态自动机 异步滑窗 
一种适合中文的多模式匹配算法被引量：4
《计算机科学》2013年第11期117-121,共5页侯整风 杨波 朱晓玲 
安徽省自然科学基金(090412051);广东省教育部产学研结合项目(2008B0905002400)资助
中文字符的相互独立性导致AC算法的时空性能急剧下降。针对此问题,对AC算法的存储结构进行了改进,提出了一种适合中文的多模式匹配算法———AC_SC算法。该算法以邻接链表存储有限状态自动机,尝试解决存储空间快速膨胀问题,并将状态"0"...
关键词：多模式匹配 AC算法 邻接链表 有限状态自动机 
形式语言与自动机中关于ε的一些问题被引量：1
《计算机科学》2010年第1期243-244,264,共3页陈文宇 王晓斌 程小鸥 孙世新 
863计划(2006AA01Z174)资助
讨论了形式语言与自动机理论中关于空串ε的一些问题。分析了ε产生式对文法和语言分类的影响;从文法和有限状态自动机的角度讨论了开始符号S和开始状态q0的作用;提出了语言增加或减少ε句子的简单方法;研究了ε-NFA的ε状态转换函数的...
关键词：ε句子 ε产生式 ε状态转换函数 带ε动作的有限状态自动机 
一种网络攻击流量生成器的设计与实现被引量：4
《计算机科学》2007年第2期64-67,90,共5页王永杰 鲜明 陈志杰 王国玉 
国家自然科学基金项目(60372039)
网络攻击流量的生成技术对于研究评估网络攻击行为的攻击效果以及网络安全防护设施的性能等具有重要意义。本文研究了一种基于模型的网络攻击流量生成器的结构组成与设计方法。给出了网络攻击流量生成器的总体结构设计。研究了描述网络...
关键词：网络攻击 攻击建模 攻击流量生成 有限状态自动机 
利用等价类构造有限状态自动机被引量：4
《计算机科学》2006年第11期272-273,277,共3页蒋龙龙 陈文宇 
一类语言由任意字母表上的某种进制的数字串构成,要求该语言中的所有数字串能够整除N;构造有限状态自动机识别该类语言是困难的,本文提出了根据等价类构造一类有限状态自动机的方法。该方法可以针对所有字母表和所有进制的数字串构成的...
关键词：等价关系 等价类 有限状态自动机 
有限状态自动机的并行确定化及过程分析被引量：5
《计算机科学》2006年第10期293-294,F0003,共3页孙玉强 刘三阳 王明斐 邹凌 
河南省自然科学基金(0211021600和0324220079)资助。
本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究,详细分析了非确定有限自动机到确定有限自动机的并行转换方法及算法,并以实例给出了其间并行转化的过程。
关键词：并行转换 非确定有限自动机 确定有限自动机 
状态自动机支持的环境感知应用框架研究
《计算机科学》2006年第6期192-194,199,共4页俞兆安 张申生 张勇 童红霞 
浙江省重大科技攻关项目计划资助项目(2003C11009);国家863计划项目(2002AA411420)。
环境感知是普及计算中一个重要的研究领域。为了便于开发环境感知应用程序,许多研究者已经提出了一些环境感知应用框架。然而,目前的一些环境感知应用框架侧重于让应用程序直接订阅或查询相关的环境信息,使得开发者需要关注众多的环境...
关键词：环境感知 普及计算 环境状态 环境信息 
公平非否认协议的有限状态分析被引量：6
《计算机科学》2005年第8期83-86,共4页董荣胜 陈大伟 郭云川 古天龙 
广西自然科学基金(编号:桂科自0229051)
本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性,为此对该协议进行了改进。
关键词：模型检测 SPIN 非否认性 公平性 机密性 有限状态自动机 非否认协议 状态分析 检测工具 模型 
程序时序属性的自动测试
《计算机科学》2004年第6期132-134,179,共4页马晓东 董威 王戟 齐治昌 
测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先,作者将一线性时序逻辑公式转换为一个有限状态自动机,然后,管理源代码,以便抽取与线...
关键词：测试预言 线性时序逻辑 FSA LTL 状态自动机 反应式系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部