有限自动机

作品数：423被引量：790H指数：13
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：邓培民易忠戴宗铎秦志光韩光辉更多>>
相关机构：广西师范大学中国科学院软件研究所电子科技大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金广西壮族自治区自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
GPU异构集群的协同计算引擎设计研究
《计算机应用与软件》2024年第12期15-22,28,共9页李清清 于欣宁 王海峰 
山东省重点研发计划项目(2019GGX101003);山东省重点研发计划(重大科技创新工程)项目(2019JZZY010134)。
GPU与多核CPU的协同可提高大数据计算效率,然而用户需要同时考虑应用领域内的并行算法逻辑和协同计算过程,为GPU异构协同计算增加了编程难度。所以,在分析GPU异构集群节点之间和节点内协同计算的基础上抽取流程逻辑,提出一个粗细粒度相...
关键词：GPU协同计算 有限自动机 计算引擎 模板技术 
基于有限自动机在质子放疗控制系统研究与应用
《计算机应用文摘》2024年第15期74-78,共5页从亚奎 白鹤 马鹏飞 周田 汤洋 吕雅婧 
2022年深圳高新区发展专项计划坪山区创新平台项目(29853M-KCJ-2023-002-24)。
在传统编程模式开发中,为了克服放疗控制系统的控制程序可移植性差及维护困难等缺点,文章提出了基于有限状态机理论的研究方法,实现了控制软件单元的功能定义和控制逻辑分离;结合Simulink/Stateflow工具,开发了质子放疗的建模仿真平台;...
关键词：质子放疗 控制系统 有限自动机 状态图 
判定有限自动机可重置的二次多项式下界
《华中科技大学学报（自然科学版）》2024年第2期42-48,共7页朱凯 毛宜军 梁早清 
广东省科技计划资助项目(2020B1212060059);广东省农产品质量安全共性关键技术研发产业创新团队专题专家(2019-2023)项目(2019KJ130).
对有限自动机重置判定问题和道路着色问题的时间复杂性下界进行研究,证明了这两个问题的条件下界分别是关于自动机状态数和有向图顶点数的二次多项式.这说明当指数时间猜想(ETH)成立时,两个问题现有的二次算法很大可能就是理论上最好的...
关键词：自动机重置判定问题 道路着色问题 细粒度复杂性 指数时间猜想 两个自动机交 
非确定型模糊有限自动机的一种新的极小确定化方法
《山东大学学报（理学版）》2024年第1期56-61,共6页李平 杨巨芳 杨艳萍 
国家自然科学基金资助项目(61673250);陕西省自然科学基金资助项目(2020JM-247);中央高校基础研究基金项目(Gk201803008)。
非确定型模糊有限自动机的极小确定化是自动机理论中的一个重要问题。在格序幺半群下,本文给出一种非确定型模糊有限自动机的新的极小确定化方法,称为内部构造法。为此,首先给出了模糊状态的内部的定义及其相关性质,进一步证明任给一个...
关键词：格序幺半群 非确定型模糊有限自动机 确定型模糊有限自动机 极小确定化 内部构造 
基于Open XML和有限自动机的试卷自动生成系统
《顺德职业技术学院学报》2023年第3期38-43,共6页林晓 吴为民 刘勇峰 
福建省教育厅2021年度中青年教师教育科研项目(FZJX21B-039);2022年校级科教发展基金项目(20220209)。
考试出题讲究高保密性和高时效性,不允许将题目事先导入数据库再自动生成试卷,需要现场从大量的WORD文档中直接抽取题目并排版生成试卷,这是一项耗时耗力的工作。本研究利用Open XML文档的开源性,直接对DOCX和XLSX文档的内容进行分析读...
关键词：Open XML标准 有限自动机 试卷自动生成 
未知协议状态机推断技术研究综述
《计算机与现代化》2023年第5期58-67,共10页盛嘉杰 牛胜杰 陈阳 方伟青 张玉杰 李鹏 胡素君 
国家自然科学基金资助项目(61872196,61872194,61902196,62102194,62102196);江苏省六大人才高峰高层次人才项目(RJFW-111);江苏省研究生科研创新计划(KYCX21_0787)。
协议逆向工程(PRE)描述了协议的行为逻辑,一般分为协议格式提取和状态机构造2个步骤。这2个步骤既相互关联又相互独立,在网络安全领域具有重要意义。本文全面梳理PRE协议状态机推理的相关文献,总结分析协议状态机推理的研究现状和发展...
关键词：协议状态机推断 协议逆向工程 协议格式提取 有限自动机 
基于食肉植物算法的状态序列搜索
《计算机系统应用》2023年第3期232-237,共6页刘丁铨 高俊涛 
东北石油大学优秀中青年科研创新团队培育基金(KYCXTDQ202101)。
从有限自动机中生成简短、可读性强的正则表达式是计算机理论研究中的一个重大课题.在经典的正则表达式生成算法中,状态序列是影响正则表达式质量的关键因素.为了能够快速高效地找到较优的状态序列,本文以食肉植物算法的理论为核心,并...
关键词：正则表达式 状态序列 食肉植物算法 有限自动机 
基于DFA访问结构的多授权机构ABE方案设计被引量：1
《无线电工程》2022年第8期1302-1309,共8页蒋琳 徐颖 吴宇琳 王轩 方俊彬 
国家自然科学基金(61872109);深圳市基础研究重点项目(JCYJ20200109113405927);深圳市基础研究(学科布局)(JCYJ20180507183624136);深圳市承接国家重大科技项目(CJGJZD20200617103000001)。
与传统的属性基加密方案相比,基于确定性有限自动机(Deterministic Finite Automata,DFA)访问结构的属性基加密方案能够对任意长度的属性字符串进行运算,得到更加灵活的访问策略。然而,现有的基于DFA的属性基加密方案都是基于单授权机构...
关键词：确定性有限自动机 多授权机构 自适应安全 属性基加密 
面向数字孪生战场的红外场景实时仿真方法被引量：1
《指挥信息系统与技术》2022年第4期1-7,共7页李蔚清 吴云超 李航宇 苏智勇 
装备发展部“十四五”预研课题(50904040201);信息系统工程重点实验室开放基金(05202005)资助项目。
针对采取智能算法进行战场态势分析和目标识别时面临的图像样本不足问题,构建了战场数字孪生系统,以实时物理域数据驱动孪生体仿真生成图像训练样本。首先,设计了开放复杂环境中的数字孪生战场体系结构和战场环境虚拟场景仿真流程,给出...
关键词：数字孪生战场 红外图像 有限自动机 实时仿真 
概率布尔网络的可重构性分析
《电子技术与软件工程》2022年第8期21-26,共6页樊卓优 张雯雯 
本文主要以概率布尔网络为主要研究对象,对概率布尔网络的可重构性问题进行了分析。首先,利用状态耦合的方法对状态进行分类;接着给出概率布尔网络的四种定义并讨论了概率布尔网络的周期可重构性,给出了判断周期可重构的新方法;最后利...
关键词：半张量积 概率布尔网络 可重构性 有限自动机 
全选清除导出
共43页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部