混合自动机相关论文
综合能源系统作为分布式可再生能源利用的重要形式，是以新能源为主体的新型电力系统的重要组成部分。目前对于综合能源系统的建模，更......
故障仿真是运载火箭等航天装备进行故障分析和诊断的重要工具。航天装备故障复杂多样,如何建立较统一的故障描述模型成为故障仿真......
随着科技的进步,尤其是电子技术的长足发展,以及社会生产和生活的需求,计算机相关的技术对各种技术领域的涉及程度越来越广泛和深......
随着计算机应用领域的不断扩张,计算机软件的开发规模逐渐扩大,软件复杂度不断增加,开发周期和开发成本也不断增长。为了解决这些......
继电保护作为电网安全稳定运行的卫士,是我国电力系统安全稳定运行的重要保障。随着我国城镇化进程的不断推进,市区配电网结构日趋......
针对混合系统既包含连续变量又存在离散事件的特点,给出了混合自动机的建模方法和在Matlab环境下的仿真过程,并结合化工过程控制中......
针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下的建模方法、仿真过程，为克服仿真的固有局限性，文中......
基于SPICE的计算机仿真方法在混合信号电路验证应用中具有较大的计算开销,讨论基于属性描述的建模方法减小计算开销的问题。通过分......
用模型检查的方法对卫星定位系统进行了验证，对把模型检查应用于实际系统进行了初步的探索。......
混合系统是一类既包含连续动态行为又包含离散动态行为的系统,这类系统在实际应用中显得越来越重要,对这类系统需要探索新的模型和......
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法.引入了HCSP的假设条件,建......
为了描述混合系统的性质和行为，10多年来，各种时序逻辑，如Hybrid Temporal Logic等相继出现。这些时序逻辑适用于刻画混合系统的性质......
抽象近似是验证混合系统安全性的主要方法，矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-port......
抽象近似是验证混合系统安全性的主要方法，模型转换是构造一个可判定的（或半判定的）混合自动机采近似原混合自动机。本文将线性phase-......
串匹配技术是入侵检测系统中的关键技术，随着特征数量的增加，现有的自动机类匹配算法都会面对内存占用过大的问题．当特征超过一定数目......
摘要：混合系统是同时包含有相互作用的连续性子系统和离散性子系统的一类动态系统。混合自动机是目前混合系统验证研究中最常用的一......
为实现网络安全检测中大规模正则表达式的匹配，分析了在从非确定型有限自动机（NFA）到确定型有限自动机（DFA）的子集构造过程中导致状态爆......
为解决正则表达式匹配中内存需求与检测性能的矛盾,首次提出两级存储的匹配方案。将马尔可夫链理论应用于自动机,通过求解稳态向量......
文章运用基于流管道的混合动态系统形式验证方法,解决了常压炉加热系统工艺参数的验证问题;通过对常压炉加热系统的运行机理进行分......
在概述混合自动机理论的基础上，给出了它的一种基于xml语言的形式描述，并利用这种描述规范提出了一种基于混合自动机的模型驱动的开......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
当前,混合动态系统(Hybrid Dynamical System)广泛的应用背景和理论支持,使之成为控制和计算机领域的研究热点。在混合动态系统中,......
航天器设计面临任务复杂度增加、设计周期缩短、研制经费受限等多重压力,传统的设计理念已不再适应经济发展和军事应用的需要。虚......
混合系统是集连续动态系统和离散事件为一体的复杂动态系统,是近年来控制理论研究领域的热门课题。由于混合系统既含连续变量又含......
针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下的建模方法、仿真过程，为克服仿真的固有局限性，文中......
人机交互的本质是人的多维信息认知空间和计算机的信息表示空间之间的相互映射。传统的用户界面范型遵循着一种基于命令的交互 ,交......
本文研究的是无人机在战场环境下的任务规划技术。任务规划的目标是综合多种因素,根据每架飞机执行每个任务的代价值,合理分配飞机......
随着互联网和移动互联网的高速发展,网络流量也逐渐向复杂化和海量化的方向发展。传统的匹配方法由于自身的问题在匹配的灵活性方......
以单轴并联式混合动力电动汽车为研究对象，基于混合动态系统理论，利用混合输入输出自动机模型，直观的描述了混合动力系统，分析得出了多......
