状态机

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向FPGA知识产权保护的低开销按次付费授权方案
《计算机应用》2023年第10期3142-3148,共7页宋斌威 王耀 
国家重点研发计划项目(SQ2020YFF0404465)。
知识产权(IP)核按使用次数授权付费可以使系统设计者根据实际情况以较低的价格购买IP,已成为一种主要的IP授权方式。针对IP核按次付费的应用需求,提出一种应用于现场可编程门阵列(FPGA)IP的基于可重构有限状态机(RFSM)和物理不可克隆函...
关键词：现场可编程门阵列 知识产权 可重构有限状态机 物理不可克隆函数 LGSyth91基准 
基于状态机的视频码率自适应算法被引量：4
《计算机应用》2018年第7期2001-2004,2008,共5页黄胜 胡凌炜 付园鹏 
国家自然科学基金资助项目(61371096)~~
由于链路带宽存在随机性,已有的基于超文本传输协议的动态自适应流媒体传输技术(DASH)的码率自适应算法不能很好解决播放流畅性和视频质量之间的矛盾。为解决该问题,提出一种基于状态机的DASH(SDASH)算法,将码率切换过程用状态机进行分...
关键词：视频传输 基于超文本传输协议的动态自适应流媒体 码率自适应 状态机 体验质量 
面向服务计算的拜占庭容错方案及其正确性证明被引量：2
《计算机应用》2016年第2期505-510,530,共7页陈柳 周伟 
湖北省教育厅科学技术研究项目(B2015322);武汉工程大学青年基金资助项目(Q201407)~~
针对现有拜占庭容错协议的假设(要求被保护的对象是被动的和独立的)不适用于服务计算等新兴计算模型的问题,提出一种面向服务计算的拜占庭容错协议。该协议在服务请求方和服务提供方两端均创建服务复制品,采用基于状态机的主动复制技术...
关键词：服务计算 拜占庭容错 状态机复制 复制品 模拟关系 
基于状态标注的协议状态机逆向方法被引量：8
《计算机应用》2013年第12期3486-3489,3498,共5页黄笑言 陈性元 祝宁 唐慧林 
国家973计划项目(2011CB311801);河南省科技创新人才计划项目(114200510001)
协议状态机可以描述一个协议的行为,帮助理解协议的行为逻辑。面向文本类协议,首先利用统计学方法提取表示报文类型的语义关键字;然后利用邻接矩阵描述报文类型之间的时序关系,基于时序关系进行协议状态标注,构建出协议的状态转换图。...
关键词：协议逆向 协议语义 协议会话 协议状态机 邻接矩阵 
基于有限状态机和Trie数的分级地址模型被引量：5
《计算机应用》2013年第3期854-857,共4页张倩 郭嗣琮 
教育部高校博士学科点专项科研基金资助项目(20102121110002)
针对地理编码系统中地址正确性校验、地址不规则命名和地址跳跃的问题,提出了运用有限状态机理论建立分级地址的转换模型,同时用Trie树来建立有限状态机中各个地址的转换函数,给出了转换函数的初始化和训练过程。测试数据对模型的验证表...
关键词：地理信息系统 地址编码 地址匹配 缓存优化 
基于有限状态机的用户权限隔离模型被引量：4
《计算机应用》2013年第1期149-152,共4页李健俊 蒋一翔 钱杰 李威 李瑜 
国家核高基项目(2010ZX01037-001-001)
针对操作系统中的权限问题,提出了基于有限状态机(FSM)的用户权限隔离模型,将用户的授权访问行为刻画为一个有限状态机,任意用户的有限状态机都只能识别该用户的合法操作序列;同时,模型证明在用户权限交集的部分,即用户访问发生共享的点...
关键词：最小特权 隔离 有限状态机 
带有委托功能的UCON_(preA)模型安全性分析及DBRM0表达
《计算机应用》2012年第12期3426-3429,共4页叶春晓 余一丰 
国家科技支撑计划项目(2012BAH19F003)
针对使用控制模型(UCON)中加入委托功能后安全分析愈加复杂的问题,首先形式化地表达了其子模型——使用前授权(UCONpreA)的委托过程,通过分析证明了一般带有委托功能的UCONpreA模型的安全性是不可确定的,然后通过构造有限状态机的方法...
关键词：使用控制 安全性分析 有限状态机 委托 基于角色的委托模型 
基于有限状态机的电梯控制系统故障诊断方法被引量：13
《计算机应用》2012年第6期1692-1695,共4页包健 魏丽娜 赵建勇 
浙江省公益技术应用研究项目(2010C31G2040104)
针对电梯控制系统软故障样本获取困难及产生时间短暂的问题,提出一种基于状态机的故障诊断方法。利用电梯控制开关量和电梯运行模拟量作为状态机的状态特征,在电梯正常运行过程中收集各状态并记录状态转换,以此建立电梯控制系统的规范模...
关键词：电梯控制系统 有限状态机 软故障 错误检测 故障诊断 
椭圆曲线点乘的抗故障攻击FSM控制器设计被引量：1
《计算机应用》2012年第1期86-88,共3页严迎建 李志强 段二朋 朱巍巍 
为提高有限状态机(FSM)控制器的抗故障攻击能力,提出一种非并发故障检测方案。方案利用线性码的故障检错特性,通过在状态机电路中建立故障传播路径来实现。设计了基于NAF编码的从左至右扫描点乘算法的安全有限状态机电路,并对该电路进...
关键词：故障攻击 椭圆曲线 有限状态机 非并发 
强健安全网络中的中间人攻击研究被引量：7
《计算机应用》2012年第1期42-44,65,共4页汪定 马春光 翁臣 贾春福 
国家自然科学基金资助项目(61073042);黑龙江科研启动资金资助项目(LBH-Q10141);黑龙江省教育厅科学技术研究项目(12513049);北京邮电大学网络与交换技术国家重点实验室开放课题(SKLNST-2009-1-10)
中间人(MitM)攻击是强健安全网络(RSN)面临的一类严重安全威胁。参照802.1X-2004认证者和申请者状态机模型,从RSN关联建立过程的整体视角,对RSN中MitM攻击进行系统性分析。指出现有关于RSN中MitM攻击问题研究方面存在片面性,提出RSN中一...
关键词：中间人攻击 强健安全网络 状态机 攻击框架 可扩展认证协议 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部