状态机

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
程序调试中的数据结构演变可视化方法
《计算机工程》2024年第9期197-207,共11页苏庆 陈建成 顾国生 刘冬宁 黄剑锋 
国家自然科学基金(62072120);广东工业大学教育教学改革项目(广工大教字〔2023〕51号);广东工业大学“本科教学工程”项目(广工大教字〔2024〕75号)。
数据结构是程序执行时的重要信息载体,其演变过程往往较为复杂和抽象。针对程序设计初学者较难理解数据结构演变过程的问题,提出一种面向程序调试中的数据结构演变可视化方法。在调试开始时,首先使用组件表达式表示数据结构,然后通过配...
关键词：程序调试 数据结构可视化 组件演变行为 有限状态机 数据结构演变模型 
基于Isabelle/HOL的文件系统形式化设计与验证
《计算机工程》2024年第4期277-285,共9页王文斌 钱振江 靳勇 孙高飞 邢晓双 苏超 孙天琦 
江苏省自然科学基金面上项目(BK20191475);常熟市社会发展项目(CS202204)。
对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工...
关键词：形式化验证 文件系统 定理证明 有限状态机 微内核 
基于状态相关字段的二进制协议状态机推断被引量：2
《计算机工程》2019年第7期126-133,共8页闫小勇 李青 莫有权 
国家自然科学基金“多天线无线携能通信系统中的物理层安全传输技术研究”(61601516)
在通信协议规范中,报文的格式类型与状态类型不存在一一映射关系,通过聚类较难将格式类型相同、状态类型不同的报文分离。为此,提出一种基于状态相关字段的二进制私有协议状态机推断方法。根据最长公共子序列距离进行状态相关字段识别,...
关键词：协议状态机 二进制协议 最长公共子序列距离 邻接表 异常会话去除 相似状态合并 
有限状态机的双逻辑面积优化
《计算机工程》2016年第5期282-287,共6页林伟建 王伦耀 夏银水 
国家自然科学基金资助项目(61471211)
针对采用单一的传统布尔逻辑在有限状态机面积优化中的不足,提出一种基于传统布尔逻辑和ReedMuller(RM)逻辑的双逻辑有限状态机(FSM)面积优化算法。利用不相交乘积项之间的位操作,将函数的逻辑覆盖拆分成分别适合传统布尔逻辑和RM逻辑...
关键词：Reed—Muller逻辑 有限状态机 遗传算法 逻辑综合 双逻辑 位操作 
机电系统中实时控制软件状态图模型扩展及实现被引量：1
《计算机工程》2016年第3期94-97,共4页马殷元 王虎军 张伟 
甘肃省自然科学基金资助项目"复杂物流装备系统的PLC实时控制软件设计模式及软件架构研究"(1508RJZA069)
单一状态图模型不能完整地表达机电系统实时控制软件中无状态特性的控制任务。为此,结合实时多任务控制的要求和特点,引入异步并发控制任务、周期控制任务和全局实时控制任务来扩展控制软件的状态图模型,从而更清晰地描述机电控制系统...
关键词：机电控制 控制软件 建模方法 有限状态机 状态图 
基于状态机的HTTP Chunked流并发解析被引量：2
《计算机工程》2015年第1期256-260,共5页李明哲 陈君 王劲林 陈晓 
国家"863"计划基金资助项目(2011AA01A102);中国科学院战略性先导科技专项课题基金资助项目(XDA06010302)
某些流媒体服务器需要对HTTP Chunked编码数据流进行并发解析,朴素静态解析算法难以应用于高效灵活的事件驱动并发模型,且会造成长延迟和多次数据拷贝,导致内存和计算资源开销都较高。针对上述问题,提出一种基于有限状态机的解析策略。...
关键词：流媒体 HTTP Chunked编码 并发解析 事件驱动模型 有限状态机 内存拷贝 
一种基于时序型硬件木马的IP版权保护结构被引量：1
《计算机工程》2014年第9期19-22,共4页冯紫竹 赵毅强 刘长龙 
天津市自然科学基金资助重点项目(12JCZDJC20500)
随着IP核在SoC设计中的大量使用,其版权问题得到广泛关注,通过植入硬件木马实现IP核的版权保护是一个新的研究方向。针对其中植入木马激活时间短的问题,提出一种改进结构,使IP核评估版本满足有效期长度的要求。将时序型硬件木马植入原...
关键词：IP核 硬件木马 激活时间 有效期 状态机 
基于电信IPTV的服务质量监测与实现被引量：5
《计算机工程》2014年第5期257-261,共5页熊雄 刘新 叶德建 
上海科技发展攻关计划基金资助项目(12511503002)
信息化网络的高速发展对于网络的服务质量提出更高的要求,但目前国内缺少一套行之有效的服务质量监测系统来对IPTV网络质量进行评估,网络数据包的抓取与分析对于网络服务质量监测必不可少,而现有的网络服务质量监测系统是以解码器输出...
关键词：电信网络电视 服务质量 机顶盒 网络抓包 用户体验质量 状态机 
一种基于动机理论的人群行为模型被引量：6
《计算机工程》2013年第12期290-293,共4页黄鹏 刘箴 
浙江省自然科学基金资助项目(LY13F020037);宁波市科技计划基金资助项目(2013D10011);宁波市自然科学基金资助项目(2012A610002)
如何构建行为可信的虚拟人是自主人群仿真中的关键问题。根据马斯洛的动机理论,建立自主人群的行为模型,该模型利用产生式规则,将刺激、动机和行为集成在一起。引入有限状态机描述刺激和动机的关系,虚拟人通过虚拟视觉感知刺激,虚拟人...
关键词：人群 动机 有限状态机 动画模拟 自主行为 
基于哈希树和有限状态机的XSS检测模型被引量：4
《计算机工程》2013年第6期154-157,161,共5页曹文 郭帆 余敏 张磊 
江西省教育厅科技基金资助项目(20101106);科技部国际合作基金资助项目(2010DFA70990)
目前对于跨站脚本(XSS)攻击缺乏有效的防御措施。针对该问题,提出一种基于哈希树的多模式匹配模型,以快速检测XSS攻击。将质数分辨定理作为哈希散列函数的基础,对特征值进行编码,使其成为特征节点进行动态增减,以构建哈希树,并结合改进...
关键词：哈希树 跨站脚本 相似度 确定性有限状态机 攻击向量 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部