多速率混合系统的符号化可达性分析

张海宾; 段振华

首页> 中文期刊> 《西安交通大学学报》 >多速率混合系统的符号化可达性分析

多速率混合系统的符号化可达性分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题,定义了多速率区域来表示和处理多速率自动机的无穷状态空间,从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作,即并操作、变量重赋值操作和控制状态上的时间流逝操作.从理论上证明了多速率区域在这3种操作上的封闭性,同时定义了矩阵数据结构不同上限矩阵(DCM),并用其存储多速率区域,这样就得到了一种专门处理多速率混合系统符号化可达性分析的数据结构.理论上证得,DCM可以大大降低可达性分析算法的复杂度.

著录项

来源
《西安交通大学学报》 |2007年第4期|412-415|共4页
作者
张海宾; 段振华;
展开▼
作者单位

西安电子科技大学计算理论与技术研究所,710071,西安;

西安电子科技大学计算理论与技术研究所,710071,西安;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
混合系统; 多速率自动机; 可达性分析;

相似文献

中文文献
外文文献
专利

1. 混合系统的符号化可达性分析 [J] . 张海宾 ,段振华 . 软件学报 . 2008,第012期
2. 多速率混合系统的模型检查 [J] . 张海宾 ,段振华 . 西安电子科技大学学报（自然科学版） . 2008,第001期
3. 基于网络分析的合肥市滨湖新区公园绿地可达性研究基于网络分析的合肥市滨湖新区公园绿地可达性研究 [J] . 傅梦颖 . 城市勘测 . 2021,第002期
4. 移动自组网多速率MAC协议吞吐量分析及优化 [J] . 朱清超 ,陈靖 ,龚水清 . 计算机应用 . 2016,第010期
5. 基于解相关和MMSE多用户检测方法的多速率CDMA系统性能分析 [J] . 秦铭晨 . 科技创新导报 . 2014,第022期
6. 多速率单值广义预测控制的稳定性分析 [C] . 邹媛媛 ,刘晓华 . 2005中国控制与决策学术年会 . 2005
7. 符号化仿真器小信号模型研究与符号化敏感性在提高模拟电路设计良率中的应用1 [A] . 谭焜元 . 2010

多速率混合系统的符号化可达性分析

摘要

著录项

相似文献

相关主题

期刊订阅