状态自动机

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

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—控制科学与工程x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于符号模型检测的Web服务组合形式化验证被引量：1
《计算机与数字工程》2021年第3期496-501,520,共7页张世杰 徐鹏 刘沛瑶 
国家自然科学基金项目“基于矛盾体分离的动态自动演绎推理研究”(编号:61673320);四川省教育厅项目(编号:18ZB0589)资助。
随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针...
关键词：WEB服务组合 符号模型检测 有限状态自动机 形式化定义 NUSMV 
“电脑鼠”斜向45度冲刺算法实现
《电脑知识与技术（过刊）》2016年第5X期186-187,共2页苗雨 
天津中德职业技术学院在2015年天津市高职院校技能大赛的"电脑鼠"走迷宫大赛中成功实现斜向45度冲刺,实现电脑鼠可以斜向冲刺的算法突破,本文介绍这一算法的设计思想和算法实现过程,采用有限状态自动机的设计思想,算法实现通过自动机转...
关键词：有限状态自动机 状态转化矩阵 电脑鼠 斜向45度 
有限状态自动机模型
《新课程》2015年第27期87-87,共1页刘威 
当我们用计算机进行问题的求解时,首先需要用适当的数据进行问题表示,然后再设计相应的算法对这些数据进行变换处理来获得问题的求解结果。因此,对问题进行建模和形式化表示,然后进行处理是进行计算机求解的基本途径。数理逻辑、自动机...
关键词：有限状态自动机 自动机理论 问题表示 变换处理 问题求解 求解结果 有穷 形式化表示 状态机 终止状态 
基于字频分布的中文网页编码识别算法被引量：2
《计算机工程》2014年第12期199-204,共6页侯整风 张浩 张娜 
教育部广东省产学研基金资助项目(2009B090200049)
编码识别是网页内容过滤的必要前提,多种中文编码共存给中文网页的内容过滤带来不便。针对上述问题,提出一种基于字频分布的中文网页编码识别算法。根据汉字的使用频率,选取使用频度较高的字符构成高频字符编码表,以高频字符编码作为关...
关键词：中文编码 网页过滤 高频字符 模式匹配 有限状态自动机 
有限状态自动机产生式推理的一般性建模方法被引量：1
《自动化仪表》2014年第5期9-12,共4页彭翔 王飞 
国家自然科学基金资助项目(编号:61203040);福建省自然科学基金资助项目(编号:2011J01352)
自动机模型具有较好的形式化语言识别能力,将这种形式化语言识别能力和产生式推理相结合,提出了一种基于确定性有限状态自动机规则产生式推理的一般性建模流程。结合产生式推理与自动机的特点,构建了简单推理模型;并将该模型泛化为可以...
关键词：有限状态自动机 产生式推理 一般性建模 故障诊断 辅助决策 
基于有限状态自动机的远程命令识别与解析被引量：1
《计算机与数字工程》2013年第7期1146-1149,共4页毛凤翔 韩冰 
远程命令识别与解析是嵌入式环境中终端-控制台和上-下位机模式实现远程管控的基础和关键。文中分析水下探测智能终端的工作过程,提出了一种基于有限状态自动机的远程命令识别与解析方法,智能终端可以根据工作状态自动机模型对远程命令...
关键词：智能设备 有限状态自动机 通知消息 多线程 
基于FSM的双轮机器人舞步行为建模与仿真
《机电一体化》2012年第9期13-17,39,共6页于建均 杨琼 阮晓钢 孙亮 王冠伟 
国家"863计划"项目(编号:2007AA042226);国家自然科学基金项目(编号:61075110)
为了解决轮式机器人舞步运动建模复杂、调试时间长的问题,提出了一种基于有限状态自动机理论的双轮机器人舞步行为模型描述方法,并基于Matlab/Stateflow图形化的描述方法,实现了轮式机器人舞步行为的建模,设计了轮式机器人舞步行为的逻...
关键词：双轮机器人 舞蹈机器人 有限状态自动机 STATEFLOW 
一种基于有限状态自动机的多鱼协作顶球算法被引量：1
《兵工自动化》2012年第11期59-62,共4页赵伟 夏庆锋 
南京大学金陵学院2011年度教学改革与研究立项项目"单关节小型‘金陵’机器鱼研制"(1005011007)
针对水中机器人比赛中多机器鱼协作顶球时出现的互相干扰的问题,提出一种基于有限状态自动机的多鱼协作顶球算法。从机器鱼运动特点以及水环境的特点出发,以单鱼顶球算法为基础,以有限状态自动机的思路建模,对每条机器鱼的动作决策进行...
关键词：机器鱼 多鱼协作 路径规划 有限状态机 
两轮机器人的舞步运动规划和仿真研究被引量：1
《制造业自动化》2011年第11期6-8,56,共4页孙亮 呼德夫 
国家863计划项目(2007AA04Z226)
提出了基于有限状态自动机的动作描述方法并给出两轮机器人的舞步运动规划,推导出了两轮机器人的运动学模型,给出两轮机器人分解运动速度控制算法。用MATLAB仿真得出机器人模拟华尔兹基本舞步的动作规划,验证了该算法的准确性。
关键词：两轮机器人 有限状态自动机 运动规划 MATLAB 
基于FSA的DNA重复体频率统计算法
《计算机工程》2011年第11期184-186,189,共4页陈聪 韩建民 贾泂 辛德东 
2010年浙江省新苗人才计划基金资助项目(2010R404017)
针对现有DNA重复体频率统计算法效率低、灵活性差等不足,基于字符串多模式匹配的有限状态自动机,构造DNA子序列比对自动机,利用KMP算法对自动机进行状态转移优化,由此提出一种高效的重复体频率统计算法。该算法通过对DNA数据库的线性扫...
关键词：有限状态自动机 DNA子序列 重复体频率 频率统计算法 最长公共子序列 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部