首页> 中文期刊> 《计算机应用》 >实时系统状态空间分析的一种算法

实时系统状态空间分析的一种算法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

提出了一种生成实时系统可达状态的算法 ,该算法生成一个较小的状态空间 ,但仍然保留了足够的时间信息用于分析。同时给出一个实例来说明算法的有效性 ,并与其它方法进行了比较。

著录项

来源
《计算机应用》 |2000年第s1期|P.|共4页
作者
杜慧敏; 杨红丽; 韩俊刚;
展开▼
作者单位

西安邮电学院计算机系;

展开▼
原文格式 PDF
正文语种 CHI
中图分类算法理论;
关键词
形式化验证; 互模拟; 实时自动机; 区域图; 可达图;

相似文献

中文文献
外文文献
专利

1. 基于状态空间分析的街面围堵凸包算法研究与应用 [J] . 王伟 ,顾国强 ,章民融 . 计算机应用与软件 . 2014,第008期
2. 一种基于状态空间分析法的人工情感模型 [J] . 吴小红 ,王培良 ,许力 . 微计算机信息 . 2007,第014期
3. 一种基于状态空间分析法的人工情感模型 [J] . 吴小红 ,王培良 ,许力 . 微计算机信息 . 2007,第05Z期
4. 一种基于FreeRTOS实时系统改进的时间片延迟调度算法的设计 [J] . 汪千松 . 科技视界 . 2019,第028期
5. 一种新的实时系统内核调度算法 [J] . 薛安琪 ,屈玉贵 ,赵宝华 . 计算机工程 . 2011,第006期
6. 一种实时系统启发式容错调度算法 [C] . 计莉 ,阳春华 . 2002年全国开放式分布与并行计算学术会议 . 2002
7. 面向一类基于轮数的分布式算法的状态空间分析与模型检测 [A] . 安鑫 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号