混合自动机

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

检索结果分析

结果分析中...
选择条件：
  • 主题=仿真x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于混杂系统理论的CTCS-3级列控系统建模与仿真被引量：1
《计算机应用与软件》2014年第10期67-69,140,共4页易承龙 李开成 
国家高技术研究发展计划项目(2012AA112801)
列车运行控制系统(列控系统)显著表现出离散和连续同时存在的混杂特征。建立合适的模型无论对列控系统的前期设计还是后期分析都具有重要意义。针对列控系统的混合性,提出用混合自动机对列控系统进行建模,在Matlab环境下用Simulink和Sta...
关键词：列控系统 混合自动机 两车追踪 仿真 
基于混合自动机的PSL模型研究被引量：2
《计算机应用研究》2010年第1期196-199,203,共5页张萌 高德远 樊晓桠 
基于SPICE的计算机仿真方法在混合信号电路验证应用中具有较大的计算开销,讨论基于属性描述的建模方法减小计算开销的问题。通过分析PSL(property specification language)对系统属性的形式化描述方法,并分析混合自动机理论对混合信号...
关键词：计算机仿真 混合自动机 混合信号电路 模型 形式化方法 
混合系统在matlab环境下的建模和仿真被引量：4
《计算机仿真》2008年第12期312-315,共4页杨春 李征 周晓青 
混合系统是集连续动态系统和离散事件为一体的复杂动态系统,是近年来控制理论研究领域的热门课题。由于混合系统既含连续变量又含离散事件,给处理这类系统带来了复杂性。一般混合系统建立模方法有:混合自动机,混合petri,时段演算及其扩...
关键词：混合系统 混合自动机 状态流 仿真 
基于混合自动机的随机噪声电路动态特性分析被引量：2
《计算机仿真》2008年第6期326-330,共5页张萌 高德远 樊晓桠 
国家自然科学基金项目(60573143)
在集成电路非线性随机噪声的分析中应用Petri网技术,需要对原有的Petri网从定义和变迁发射规则方面等进行统计特性与连续特性的拓展研究和补充。并且基于噪声的随机非线性特性分析目的需求,拓展了传统的Petri网,提出了混合随机Petri网(H...
关键词：计算机仿真 模型 佩特里网 混合自动机 形式化方法 动态特性 
混合系统在Matlab环境下的建模、仿真与自动验证被引量：8
《系统仿真学报》2001年第2期195-198,共4页张学军 谢剑英 
针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下的建模方法、仿真过程，为克服仿真的固有局限性，文中给出自动验证原理及其实现，并以化工过程控制中的应用实例对整个过程作了介绍。
关键词：混合系统 混合自动机 仿真 自动验证 MATLAB 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部