状态自动机

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

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机软件与理论x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于动态匹配策略的复杂事件处理方法被引量：1
《计算机应用研究》2023年第11期3341-3347,共7页夏秀峰 武孟达 张杨 郗红梅 杨宏伟 邱涛 
国家自然科学基金青年基金资助项目(62002245);辽宁省自然科学基金资助项目(2022-BS-218)。
复杂事件处理技术是在事件流中检测特定事件模型的分析技术。当前主流的复杂事件匹配方法在查询模式中按照事件连续性严格程度设置了匹配策略约束,这些特定的匹配策略由于设置粒度粗,所以难以根据需求精细调节匹配结果,造成匹配结果的...
关键词：复杂事件处理 匹配策略 有限状态自动机 阈值调节 
面向图数据的结构化正则路径查询方法
《计算机应用研究》2023年第10期3022-3027,共6页邱涛 王屿涵 邓国鹏 孙尧 吕光华 夏秀峰 
国家自然科学基金资助项目(62002245);辽宁省自然科学基金资助项目(2022-BS-218)。
正则路径查询是一种应用正则表达式在图数据上进行查询的技术,通常利用有限状态自动机实现查询匹配。现有正则路径查询方法的匹配结果为顶点对的序列,未能充分保留图的结构,为了解决这一问题,提出了一种面向图数据的结构化正则路径查询...
关键词：正则路径查询 图数据 有限状态自动机 子图匹配 
面向实时事件流的复杂事件处理方法被引量：3
《计算机应用研究》2022年第9期2677-2682,2688,共7页邱涛 谢沛良 邓国鹏 郗红梅 郑智 夏秀峰 
国家自然科学基金青年基金资助项目(62002245);辽宁省教育厅基础研究项目(JYT2020027)。
复杂事件处理技术通常基于有限状态自动机实现,匹配过程中会在事件流上产生大量且重叠的部分匹配,有限状态自动机需维护大量的重复匹配状态,导致基于该技术的方法都会出现冗余计算的问题。为了提高复杂事件处理的匹配效率,提出了使用复...
关键词：复杂事件处理 查询优化 有限状态自动机 分区存储 
面向智慧校园节能的多维信息融合方法被引量：1
《西安工业大学学报》2019年第6期703-711,共9页荆心 李世豪 成静 张晓棠 
陕西省教育厅专项科研计划(17JK0376);陕西省自然科学基础研究计划(2019JM-484)
为解决高校在节能方面对多源数据利用不便与不足的问题,文中提出了一种多维信息融合方法。通过队列处理算法对数据流进行分类、排序与重组,加快数据提取速度,采用卡尔曼滤波法对一维信息进行清洗,消除环境噪声,提升数据可靠性,通过复杂...
关键词：信息融合 卡尔曼滤波 复杂事件处理 有限状态自动机 智慧校园 
印染需求智能分析系统的设计与实现被引量：2
《智能计算机与应用》2019年第3期103-105,109,共4页唐文辉 刘国华 王国栋 
科技部国家重点研发计划(2017YFB0309800)
随着"工业4.0"概念的提出和实施以及C2M互联网商业模式的兴起,传统纺织行业正面临着向智能化、服务化转型的难题。本文将传统纺织印染行业与网络信息技术相结合,以报价服务为切入点,应用深度学习以及有限状态自动机理论,基于微服务架构...
关键词：工业4.0 C2M模式 结构化数据提取 深度学习 有限状态自动机 
宽带业务智能配置的研究与实现被引量：2
《广播电视信息》2018年第10期131-134,共4页赵玉平 
采用手工方式进行业务配置的效率极其低下,且容易出现人为错误;采用开发专用自动配置软件的方式,则开发周期比较长,也不能满足业务开展需要。在这种情况下,通过研究创新一种业务自动配置的模式,既能替代手工劳作提高业务配置效率,又能...
关键词：宽带业务 批量任务 配置规则 状态自动机 
基于有限状态自动机极小化的Web应用系统测试
《太原科技大学学报》2017年第1期11-15,共5页王琳琳 刘耀军 
有限状态自动机可以描述软件的行为,将Web应用系统转化成有限状态自动机的模型,该模型可以作为设计测试用例以及判定输出结果是否正确的基础。因此测试的问题转化成了检验自动机状态转移是否符合要求的问题。利用有限状态机的极小化理...
关键词：自动机 极小化 WEB应用系统 测试 
基于JBoss Seam的高速公路路面凝冰预警与智能处置被引量：3
《计算机应用与软件》2017年第1期79-84,共6页朱旭 尤谨语 闫茂德 张昌利 
国家自然科学基金项目(61473229);陕西省科技攻关项目(2015GY052);中央高校基本科研业务费项目(2014G2320006);西安市科技计划项目(CXY1512-3)
为抑制冰雪冻雨等气象灾害对高速公路行车安全的影响,提出一种高速公路路面凝冰预警与智能处置方法,开发管控平台软件。给出线性预测算法来进行短时凝冰预警,基于有限状态自动机理论设计全流程的状态转移规则。使用JBoss Seam框架开发...
关键词：JBOSS SEAM 高速公路 凝冰预警 智能处置 有限状态自动机 
参数化运行时验证研究和工具实现被引量：2
《小型微型计算机系统》2016年第12期2667-2672,共6页王哲民 陈哲 朱云龙 黄志球 
国家自然科学基金项目(61100034)资助;教育部留学回国人员科研启动基金项目(2013)资助
随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.运行时验证是一种新型的程序自动验证技术,弥补了静态分析和模型检测等常用方法的缺点.设计一种针对C程序的监控器规约语言,用于描述针对C程...
关键词：运行时验证 形式化规约 层次哈希森林 有限状态自动机 
基于源码分析的缓冲区溢出漏洞检测方法被引量：7
《江苏大学学报（自然科学版）》2016年第4期450-455,共6页尹茗 张功萱 
国家自然科学基金资助项目(61472189)
根据缓冲区溢出原因提出一种基于源码分析的缓冲区溢出漏洞检测方法,该方法对源码预处理后进行静态分析并依次构造相应的抽象语法树、控制流图、函数调用图和变量表,最后建立有限状态自动机检测模型.以容易出现溢出的C/C++源码为例,构...
关键词：缓冲区溢出检测 软件开发 有限状态自动机 静态源码分析 蠕虫 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部