状态机

作品数：2544被引量：6153H指数：23
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战李宣东尹霞王之梁赵保华更多>>
相关机构：华为技术有限公司中国科学院华中科技大学上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
状态轮询和事件驱动的软件状态机设计优化
《计算机工程与应用》2024年第12期303-313,共11页孙来平 虞翊 楚彭子 
国家重点研发计划(2016YFB1200602-02);上海市科学技术委员会科研计划(18DZ1205800);上海市多网多模式轨道交通协同创新中心资助。
状态机设计的灵活性在给开发人员带来高效与便利的同时,也带来三类较典型的问题:由于状态逻辑和时序依存导致的输出错误,由于历史数据缓存导致的状态机计算量庞大的问题,以及由于状态跃迁耦合导致的输出不可控问题。目前这三类问题在软...
关键词：软件状态机 图同构 状态等价性 时间复杂度 圈复杂度 
基于扩展有限状态机的SCA符合性测试方法研究被引量：3
《计算机工程与应用》2021年第16期263-268,共6页伍旭东 唐麒 张伟 张健 魏急波 王一军 
国家自然科学基金(U1734208)。
软件通信体系结构(Software Communication Architecture,SCA)标准是针对软件无线电设备缺乏互操作性而制定的标准,通过定义设备组件对底层的硬件进行屏蔽,实现上层应用与底层硬件相互分离,SCA符合性测试通过验证实际的应用是否符合SCA...
关键词：软件无线电 软件通信体系结构(SCA) 符合性测试 扩展有限状态机 测试自动化 
基于模糊势场法的移动机器人局部路径规划被引量：12
《计算机工程与应用》2021年第6期212-218,共7页王迪 李彩虹 郭娜 刘国名 高腾腾 
国家自然科学基金(61473179,61973184)。
针对采用传统人工势场法进行移动机器人局部路径规划时存在的局部极小点和规划路径过长等问题,提出了一种基于虚拟目标点和有限状态机的模糊势场法。构造基于人工势场的虚拟目标点法来解决局部极小点问题,在合适的位置设置虚拟目标点使...
关键词：移动机器人 局部路径规划 模糊势场法 虚拟目标点 局部极小点 有限状态机 
结合预测和模糊控制的移动机器人路径规划被引量：20
《计算机工程与应用》2020年第8期104-109,共6页郭娜 李彩虹 王迪 张宁 刘国名 
国家自然科学基金(No.61473179);淄博市校城融合发展计划项目(No.2018ZBXC295)。
针对移动机器人在复杂未知环境下运行时易出现局部死锁和路径冗余的问题,提出了一种结合预测和模糊控制的局部路径规划方法,并对规划过程中出现的问题提出了解决策略。将普通避障行为与沿墙走行为融合为一个模糊控制器,通过内部规则实...
关键词：移动机器人 局部路径规划 模糊控制 陷阱预测机制 多U型障碍物 有限状态机 
基于协议状态机遍历的模糊测试优化方法被引量：7
《计算机工程与应用》2020年第4期82-91,共10页张洪泽 洪征 周胜利 冯文博 
国家重点研发计划（No.2017YFB0802900）
针对现有的协议模糊测试技术存在报文重复交互、输入盲目等问题,提出一种基于协议状态迁移遍历的模糊测试优化方法。该方法将协议状态迁移遍历问题转化为中国邮路问题,求解遍历所有协议状态迁移的最短路径,并依据该最短路径对各个状态...
关键词：模糊测试 协议状态机 协议状态迁移 中国邮路问题 UIO序列 
一种基于FSM的BGP-4协议模糊测试方法被引量：3
《计算机工程与应用》2017年第6期111-117,共7页康红凯 吴礼发 洪征 庄洪林 张亚丰 
江苏省自然科学基金(No.BK2011115)
BGP-4路由协议的安全性对于保障整个网络安全、可靠运行具有重要意义。现有的模糊测试方法在对BGP-4协议测试时存在状态测试困难、测试用例冗余等问题。为了解决这些问题,提出了一种基于有限状态机的BGP-4协议模糊测试方法 BFuzz,设计...
关键词：有限状态机 路由协议 模糊测试 漏洞挖掘 
扰动模糊有限转换状态机被引量：6
《计算机工程与应用》2016年第22期1-8,58,共9页彭家寅 
教育部数学与应用数学专业综合改革(No.ZG0464);四川省科技厅重点科技项目(No.2006J13-035);四川省数学与应用数学专业综合改革(No.01249);四川省解析儿何精品开放课程;内江师范学院2012年校级精品资源共享课;国家自然科学基金(No.11071178);内江师范学院应用数学重点学科;内江师范学院卓越教师培养计划;四川省数学与应用数学专业卓越教师培养计划
引入了扰动模糊有限转换状态机和扰动模糊有限状态机的(强)同态的概念,研究了它们的相关性质。给出了Σ的元素构成所有长度有限的词集上的两种同余关系,讨论商结构问题,证明了相应的所有等价类构成具有单位元的有限半群,并且这两个有限...
关键词：扰动模糊有限(转换)状态机 (强)同态 同余关系 容许关系 核 
基于OSBE的属性访问控制模型被引量：1
《计算机工程与应用》2015年第7期84-87,111,共5页李冬辉 张斌 费晓飞 
国家973重点基础发展计划(No.2011CB311901)
针对基于属性的访问控制模型(Attribute-Based Access Control,ABAC)不支持对敏感属性的保护和权限变更的问题,提出基于OSBE的属性访问控制模型。通过改用属性证书的签名,使用户的敏感属性信息不再直接暴露给访问控制模块;通过增加采用...
关键词：属性访问控制 OSBE技术 敏感属性 权限变更 有限状态机 
EFSM模型的字符串类型测试数据自动生成
《计算机工程与应用》2014年第16期57-61,共5页尤枫 边毅 赵瑞莲 
国家自然科学基金(No.61073035;No.61170082);中央高校基本科研业务费专项资金资助(No.ZZ1224)
基于软件描述模型的测试数据自动生成研究中,字符串类型测试数据生成是一个研究热点和难点。EFSM模型是一种重要的软件描述模型。分析了EFSM模型的特点,针对面向EFSM模型目标路径的字符串测试数据生成,建立了字符串输入变量模型和操作模...
关键词：扩展有限状态机 测试数据生成 字符串 静态分析 
基于FPGA的S模式应答机设计被引量：2
《计算机工程与应用》2013年第13期31-35,共5页李超 史忠科 
国家自然科学重点基金(No.61143004)
针对现有S模式应答机体积、重量过大,不适用于小型通用航空飞机尤其是无人机的现状,设计了一种用于通用航空的新型S模式应答机。系统采用全FPGA设计,用状态机的方法实现编码、解码功能,使用脉冲宽度滤波的方法对通讯信号进行了数字滤波...
关键词：S模式应答机 现场可编程门阵列(FPGA) 通用航空 状态机 数字滤波 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部