书目详细信息
： Büchi自动机模型检测及其安全性分析应用研究
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5487-3563-2:CNY40.00 |
|---|---|
| ISBN/价格： | 978-7-5487-3563-2:CNY40.00 |
| 题名： | Büchi自动机模型检测及其安全性分析应用研究 |
| 作品语种： | chi |
| 作品语种： | chi |
| 出版国别： | CN 430000 |
| 出版国别： | CN 430000 |
| 题名责任者项： | Büchi自动机模型检测及其安全性分析应用研究/.王曦，欧阳城添著 |
| 题名责任者项： | Büchi自动机模型检测及其安全性分析应用研究/.王曦，欧阳城添著 |
| 出版发行项： | 长沙:,中南大学出版社:,2019 |
| 出版发行项： | 长沙:,中南大学出版社:,2019 |
| 载体形态项： | 147页:;+24cm |
| 载体形态项： | 147页:;+24cm |
| 丛编项： | 江西理工大学优秀博士论文文库 |
| 丛编项： | 江西理工大学优秀博士论文文库 |
| 提要文摘： | 本书在讲解模型检测基础理论与基本方法的基础上，主要介绍作者以广义Büchi自动机为研究对象，在模型检测算法及其安全性分析应用研究方面所取得的独创性研究成果，主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Büchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型检测算法、基于场景分析的系统形式化模型生成方法、基于模型检测的系统安全性验证方法、基于故障注入的模型检测分析、铁路车站联锁系统的安全性分析研究。 |
| 提要文摘： | 本书在讲解模型检测基础理论与基本方法的基础上，主要介绍作者以广义Büchi自动机为研究对象，在模型检测算法及其安全性分析应用研究方面所取得的独创性研究成果，主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Büchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型检测算法、基于场景分析的系统形式化模型生成方法、基于模型检测的系统安全性验证方法、基于故障注入的模型检测分析、铁路车站联锁系统的安全性分析研究。 |
| 题名主题： | 自动检测系统 研究 |
| 题名主题： | 自动检测系统 研究 |
| 中图分类： | TP274 |
| 中图分类： | TP274 |
| 个人名称等同： | 王曦 添著 |
| 个人名称等同： | 欧阳城添 著 |
| 个人名称等同： | 王曦 添著 |
| 个人名称等同： | 欧阳城添 著 |
| 记录来源： | CN BKBB 20230206 |
| 记录来源： | CN BKBB 20230206 |