状态转移图

作品数：118被引量：253H指数：7
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：徐锋邢莉娟金香文李卓金珍珍更多>>
相关机构：西安电子科技大学中国矿业大学中兴通讯股份有限公司台州职业技术学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金重庆市自然科学基金浙江省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机应用技术x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于安全强化学习的月球着陆器控制
《航空学报》2025年第3期118-131,共14页杨敏 刘关俊 周子渊 
国家自然科学基金(62172299,62032019);北京控制工程研究所空间光电测量与感知实验室开放基金(LabSOMP-2023-03);中央高校基本科研业务费专项资金(2023-4-YB-05);上海市科技创新行动计划(22511105500)。
在月球着陆任务中,着陆器必须在极端环境下进行精确操作,并且通常面临着通信延迟的挑战,这些因素严重限制了地面控制的实时操作能力。针对这些挑战,研究提出了一种基于半马尔可夫决策过程(SMDP)的深度强化学习安全性提升框架,旨在提高...
关键词：深度强化学习 自主着陆 抽象SMDP状态转移图 安全性提升 实时监控 反向广度优先搜索 
基于有限状态机的网络协议状态机制检测方法被引量：3
《计算机应用研究》2015年第4期1188-1192,1206,共6页潘准洋 刘彩霞 刘树新 
国家"863"计划资助项目(2011AA010604;2011AA010605)
进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性。基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状...
关键词：网络稳定性 有限状态机 协议状态机制 状态转移图 
基于三菱PLC的液压搬运工件机械手设计被引量：3
《煤矿机械》2015年第1期159-161,共3页胡阳 朱龙英 彭天好 
介绍了一种搬运工件机械手的工作过程,并给出了其硬件和电路设计,采用电机和液压作为驱动,编制了液压系统原理图,分析其PLC控制原理,以及对PLC状态转移图和梯形图程序进行了编制。
关键词：液压 机械手 状态转移图 梯形图 
一种基于FSA的网络安全评估模型
《微电子学与计算机》2013年第9期46-49,共4页邓磊 高德远 周雯 陈付龙 
安徽省自然科学基金(1308085QF118);教育部人文社会科学基金资助项目(11YJ880119);安徽师范大学创新基金项目(2011cxjj01);安徽师范大学博士科研启动基金项目(132-151201)
文中建立了一种基于有限状态机(Finite State Automata,FSA)的网络安全评估模型.根据网络安全模型所涉及的各种安全信息及其相关属性,用状态来表示攻防双方的安全形势;用状态迁移表征攻防双方各种行为所带来的安全形势变化;用状态转移...
关键词：网络安全对抗 有限状态机 状态迁移 状态转移图 
时序PLD安全缺陷检测方法研究被引量：1
《计算机科学》2012年第5期53-56,79,共5页陈志锋 李清宝 曾光裕 
国家863目标导向项目(2009AA01Z434)资助
可编程逻辑器件(PLD)在电子设备中广泛应用,其安全缺陷检测已成为信息安全领域中一个富有挑战性的课题。通过分析PLD安全缺陷的存在形式,提出了基于状态转移图的安全缺陷检测方法。该方法统一了检测思路,采用了脱机式芯片逆向分析和在...
关键词：可编程逻辑器件 状态转移图 安全缺陷检测 
浅谈PLC状态转移图的编制
《科学与财富》2011年第8期185-186,共2页熊小刚 
在PLC的学习和应用中，状态转移图是状态编程法的重要工具。它是一种先进的设计方法，很容易被初学者接受，更能提高设计的效率，并且对程序的调试、修改和阅读也很方便。
关键词：PLC 状态转移图 编制 
面向对象的类的状态测试技术研究被引量：5
《计算机应用研究》2005年第12期69-72,共4页龚红仿 李军义 高捷 童小娇 
国家自然科学基金资助项目(60474070);湖南省教育厅科研项目(05C263)
从类的状态模式、状态转移图以及UML状态图等三方面讨论了类的状态测试问题,提出了基于UML类图的类的状态模式测试用例生成方法,介绍了基于状态转移图的类测试方法及其对象状态测试模式在类的状态测试中的运用,讨论了基于UML状态图的测...
关键词：类的状态测试 状态模式 状态转移图 EFSM UML 
利用自动机理论对收费站收费系统进行设计并实现被引量：1
《上海第二工业大学学报》2005年第5期59-65,共7页王琛 朱平 
江南大学自然科学基金(No.2003-42)项目资助
利用有穷自动机理论研究了高速公路收费站的收费系统。首先分析了现行的自动收费站系统中的不足之处,画出了相应的自动机状态转移图,然后依据有穷自动机是一种具有离散输入输出系统的数学模型,提出了新的收费站自动机设计——记账式收...
关键词：有穷自动机 收费系统 状态转移图 标志条形码 
基于IP欺骗攻击的状态分析法研究被引量：5
《华中科技大学学报（自然科学版）》2003年第5期3-5,共3页陈晓苏 李永辉 肖道举 
提出了一种能够在网络中检测并防范IP欺骗攻击的方法 .通过获取网络结点的工作状态 ,分析网络中出现的异常活动 ,给出了因攻击而引起的网络状态的迁移过程 .通过预测分析 ,及时检测出已经存在的IP欺骗攻击 ;通过回溯分析 ,试图找到发起...
关键词：IP欺骗 入侵检测 状态转移图 
从命题逻辑的需求描述到状态转移图的形式规格被引量：3
《小型微型计算机系统》2000年第9期917-919,共3页屈玉贵 
国家"8 6 3"项目
信息处理系统的大规模化和复杂化 ,需要有效设计高可靠性系统的形式化的规格描述方法 .在通信系统中 ,前期设计阶段就要考虑系统变更频繁的情况 ,使得部分变更不要影响到系统的整体规格 .本文针对以上功能 ,提出了基于命题逻辑的信息处...
关键词：命题逻辑 LPN 状态转移图 信息处理系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部