混合自动机

作品数：28被引量：79H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘保罗裴海龙陈宗基薛乐魏晨更多>>
相关机构：华东理工大学华南理工大学上海交通大学汕头大学更多>>
相关期刊：《计算机仿真》《中国学术期刊文摘》《南京大学学报（自然科学版）》《控制理论与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划广东省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
神经网络在线估计器的悬挂载荷无人机控制
《机械设计与制造》2025年第3期159-166,共8页李妍缘 
2021年度河南省教育厅高等学校重点科研项目(21B46001)。
为了能够实现高精度无监督跟踪控制,且保证良好的鲁棒性,提出了一种基于神经网络在线估计器的悬挂载荷无人机控制。首先描述了具有悬挂载荷的无人机模型,从而能够有效描述这种质量变化的非线性复杂系统。然后设计了一种基于反馈线性化...
关键词：无监督 跟踪控制 无人机 混合自动机 
基于混合自动机的综合能源系统状态转移空间建模被引量：3
《南方电网技术》2023年第1期103-113,共11页陈炎森 王鹏宇 杨义 包涛 杨苹 姚森敬 
南方电网数字电网研究院有限公司科技项目(YTYZW20010);广东省重点领域研发计划项目(2021B0101230003)。
目前对于综合能源系统的建模,更多从系统输入-输出关系、内部状态与输入输出的关系进行描述,其内部状态在不同阶段的转移过程难以清晰表达。在分布式可再生能源占比大幅度提升后,综合能源系统在不同阶段的运行状态及状态转移过程需要可...
关键词：综合能源系统 混合自动机 状态转移空间建模 转移条件 状态轨迹 
基于离散混合自动机的园区综合能源系统多模式建模与日前优化被引量：13
《中国电机工程学报》2023年第1期135-146,共12页邱迪 刘东 高飞 陆海 王达达 
国家重点研发计划项目(2020YFE0200400)。
综合能源园区是推进能源系统低碳发展的关键应用场景。针对电、气、冷、热耦合的综合能源园区,给出一种供需互动的园区综合能源系统日前优化方法。基于离散混合自动机(discrete hybrid automaton,DHA)架构,搭建考虑多种运行模式的综合...
关键词：综合能源系统 零碳园区 日前优化 需求侧响应 混合状态系统 离散混合自动机 
一类非线性混合自动机的离散化验证
《电脑知识与技术》2018年第2Z期263-265,共3页施枫 
混合系统是同时包含有相互作用的连续性子系统和离散性子系统的一类动态系统。混合自动机是目前混合系统验证研究中最常用的一种形式化模型。由于混合自动机连续变量的复杂性以及连续变量和离散变量的相互作用性,对混合自动机的可达集...
关键词：混合自动机 离散化验证 计算树逻辑 连续变量 形式化验证 
基于混杂系统理论的CTCS-3级列控系统建模与仿真被引量：1
《计算机应用与软件》2014年第10期67-69,140,共4页易承龙 李开成 
国家高技术研究发展计划项目(2012AA112801)
列车运行控制系统(列控系统)显著表现出离散和连续同时存在的混杂特征。建立合适的模型无论对列控系统的前期设计还是后期分析都具有重要意义。针对列控系统的混合性,提出用混合自动机对列控系统进行建模,在Matlab环境下用Simulink和Sta...
关键词：列控系统 混合自动机 两车追踪 仿真 
基于两级存储的正则表达式匹配技术被引量：3
《通信学报》2014年第6期47-55,63,共10页陈曙晖 徐成成 
为解决正则表达式匹配中内存需求与检测性能的矛盾,首次提出两级存储的匹配方案。将马尔可夫链理论应用于自动机,通过求解稳态向量,得到各状态被随机访问的概率。将高概率的状态表项配置在FPGA嵌入存储器中,低概率的状态表项配置在SRAM...
关键词：正则表达式 马尔可夫链 两级存储 混合自动机 
一种高效的正则表达式匹配方法被引量：5
《高技术通讯》2014年第6期551-557,共7页张树壮 吴志刚 罗浩 
科技支撑计划(2012BAH37B02;2012BAH42B02);863计划(2012AA03001);242计划(2013A012;2013A133)资助项目
为实现网络安全检测中大规模正则表达式的匹配,分析了在从非确定型有限自动机(NFA)到确定型有限自动机(DFA)的子集构造过程中导致状态爆炸性增长的原因,并提出了一种高效的正则表达式匹配方法。这种方法通过将部分DFA状态转变成受限的NF...
关键词：深度包检测 正则表达式 子集分割 有限自动机 混合自动机 
一种适合于超大规模特征集的匹配方法被引量：2
《计算机学报》2014年第5期1147-1158,共12页杨天龙 张宏莉 
国家"九七三"重点基础研究发展规划项目基金(2011CB302605);国家"十一五"科技支撑计划(2012BAH37B01);国家"八六三"高技术研究发展计划项目基金(2012AA012502;2011AA010705;2012AA012506)资助
串匹配技术是入侵检测系统中的关键技术,随着特征数量的增加,现有的自动机类匹配算法都会面对内存占用过大的问题.当特征超过一定数目后,自动机可能根本无法构造.文中提出了一种针对超大规模特征匹配(SLSPM)环境的匹配算法SLSPM.SLSPM...
关键词：网络安全 超大规模特征匹配 串匹配 混合自动机 算法 信息安全 
基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法被引量：2
《中国铁道科学》2012年第5期91-97,共7页吕继东 李开成 唐涛 袁磊 
国家“八六三”计划项目(2011AA010104);北京交通大学轨道交通控制与安全国家重点实验室开放课题(RCS2011K010);北京交通大学科技基金资助项目(2012JBM024)
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具...
关键词：高速铁路列控系统 混合通信顺序进程 混合自动机 行车许可场景 
常压炉加热系统形式建模的验证
《合肥工业大学学报（自然科学版）》2010年第10期1501-1505,共5页刘震 方敏 罗来豹 李加良 
文章运用基于流管道的混合动态系统形式验证方法,解决了常压炉加热系统工艺参数的验证问题;通过对常压炉加热系统的运行机理进行分析并建立混合自动机模型,应用状态可达集的过近似方法计算近似流管道;通过对近似流管道的分析,验证常压...
关键词：形式验证 常压炉 混合系统 混合自动机 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部