状态机

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
新型城轨电车混合动力系统能量管理策略被引量：9
《铁道学报》2019年第4期48-54,共7页高锋阳 张国恒 石岩 强国栋 
国家重点研究发展计划(2017YFB1201003-020);国家自然科学基金(51767013)
采用燃料电池、蓄电池和超级电容混合动力的无接触网城轨列车供电方式,已经逐渐发展成为有轨电车动力系统的一种理想方案。针对车载混合动力系统能量管理问题,在状态机控制策略的基础上引入功率解耦控制,由燃料电池满足低频负载功率,由...
关键词：无接触网城轨列车 燃料电池 能量管理 功率分配 状态机 
一种嵌入式系统模型的安全性分析验证方法被引量：1
《计算机技术与发展》2015年第10期7-12,共6页石娇洁 胡军 刘雪 马金晶 黄志球 程桢 
国家"973"重点基础研究发展计划项目(2014CB744903);回国留学人员科研启动基金(2012);611航空科研基金(2012);南京航空航天大学青年科技创新基金(NS2014098)
由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法...
关键词：系统安全性分析 模型驱动 SysML/MARTE XFTA 状态机模型 嵌入式系统模型 
模型驱动的嵌入式系统设计安全性验证方法研究被引量：2
《计算机工程与科学》2015年第8期1498-1509,共12页刘雪 胡军 黄志球 马金晶 程桢 石娇洁 
国家重点基础研究发展计划973计划资助项目(2014CB744904);国家自然科学基金资助项目(61100034;61170043);南京航空航天大学青年科技创新基金资助项目(NS2014098);回国留学人员科研启动基金资助项目(2012)
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型...
关键词：系统安全性分析 模型驱动工程 SysML/MARTE 状态机模型 嵌入式系统 
基于OSBE的属性访问控制模型被引量：1
《计算机工程与应用》2015年第7期84-87,111,共5页李冬辉 张斌 费晓飞 
国家973重点基础发展计划(No.2011CB311901)
针对基于属性的访问控制模型(Attribute-Based Access Control,ABAC)不支持对敏感属性的保护和权限变更的问题,提出基于OSBE的属性访问控制模型。通过改用属性证书的签名,使用户的敏感属性信息不再直接暴露给访问控制模块;通过增加采用...
关键词：属性访问控制 OSBE技术 敏感属性 权限变更 有限状态机 
大规模光网络中的灵活控制系统
《清华大学学报（自然科学版）》2014年第10期1362-1366,共5页刘汪洋 华楠 郑小平 周炳琨 
国家"九七三"重点基础研究项目(2010CB328203;2010CB328205)
传统光网络中的控制方法严重地依赖于底层硬件资源部署和顶层网络应用需求,不利于在大规模光网络中进行灵活控制。该文引入软件定义网络的设计思想,研究了传统有限状态机中的状态转移规律,提出一种适用于大规模光网络灵活控制的通用可...
关键词：多域异构光网络 可编程有限状态机 路径计算单元(PCE) 灵活控制系统 实验平台 
一种基于扩展有限状态机的自动化测试用例生成方法被引量：6
《中国科学：信息科学》2014年第5期588-609,共22页杨瑞 陈振宇 张智轶 刘子聪 徐宝文 
国家重点基础研究发展计划(批准号:2014CB340702);国家自然科学基金(批准号:61170067;61170071;61373013)资助项目
扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路...
关键词：测试用例生成 扩展有限状态机 可执行模型 路径可行性 测试预言 
多元混沌时间序列的相关状态机预测模型研究被引量：13
《自动化学报》2014年第5期822-829,共8页韩敏 许美玲 任伟杰 
国家重点基础研究发展计划(973计划)(2013CB430403);国家自然科学基金(61374154)资助~~
针对多元混沌时间序列预测存在的过拟合问题及高维输入变量冗余问题,提出一种新型的多变量稀疏化预测模型—多元相关状态机.该模型采用主成分分析方法对相空间重构后的高维输入变量进行低维表示,将动态储备池作为相关向量机的核函数,充...
关键词：多元 混沌时间序列 储备池 主成分分析 相关向量机 
基于状态转换机制的仿人型假手肌电控制方法被引量：2
《高技术通讯》2013年第12期1268-1274,共7页姜力 黄琦 杨大鹏 刘宏 
国家自然科学基金(51205080;51175106);973计划(2011CB013306);机器人技术与系统国家重点实验室自主研究课题(SKLRS201201A03;SKLRS201201A01)资助项目
研究了在肌电控制信息不足的情况下,多自由度假手的肌电控制问题。基于抓取分类学和有限状态机(FSM)原理,通过抓取姿势与增量控制的状态切换,使人体通过2通道表面肌电信号控制假手实现了7种常用的抓取动作。实验结果表明,使用线性分类器...
关键词：肌电控制 抓取分类学 有限状态机 假手 
基于状态标注的协议状态机逆向方法被引量：8
《计算机应用》2013年第12期3486-3489,3498,共5页黄笑言 陈性元 祝宁 唐慧林 
国家973计划项目(2011CB311801);河南省科技创新人才计划项目(114200510001)
协议状态机可以描述一个协议的行为,帮助理解协议的行为逻辑。面向文本类协议,首先利用统计学方法提取表示报文类型的语义关键字;然后利用邻接矩阵描述报文类型之间的时序关系,基于时序关系进行协议状态标注,构建出协议的状态转换图。...
关键词：协议逆向 协议语义 协议会话 协议状态机 邻接矩阵 
空间延迟容忍网络安全通信模型被引量：2
《计算机应用研究》2013年第10期3096-3100,3105,共6页杜学绘 陈性元 曹利峰 徐国愚 
国家“973”重点基础研究发展计划基金资助项目(2011CB311801)
针对空间网络延迟容忍问题,提出一种用于空间延迟容忍网络(space delay-tolerant network,SDTN)的安全通信模型。该模型采用谓词逻辑的方法,建立了SDTN有向多径图、安全协议服务集、可靠路径选择服务集、转发能力集,给出了模型的安全约...
关键词：延迟容忍网络 安全通信模型 有向多径图 安全约束规则 状态机 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部