书目信息 |
| 题名： |
Büchi自动机模型检测及其安全性分析应用研究
|
|
| 作者： | 王曦 ， 欧阳城添 著 | |
| 分册： | ||
| 出版信息： | 长沙 中南大学出版社 2019.02 |
|
| 页数： | 147页 | |
| 开本： | 24cm | |
| 丛书名： | 江西理工大学优秀博士论文文库 | |
| 单 册： | ||
| 中图分类： | TP274 | |
| 科图分类： | ||
| 主题词： | 自动检测系统--研究 | |
| 电子资源： | ||
| ISBN： | 978-7-5487-3563-2 | |
| 000 | 01277oam2 2200265 450 | |
| 001 | 1951088355 | |
| 005 | 20191016083847.46 | |
| 010 | @a978-7-5487-3563-2@dCNY40.00 | |
| 100 | @a20190604d2019 kemy0chiy50 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b430000 | |
| 105 | @aak v 000yy | |
| 200 | 1 | @aBüchi自动机模型检测及其安全性分析应用研究@9Büchi zi dong ji mo xing jian ce ji qi an quan xing fen xi ying yong yan jiu@f王曦，欧阳城添著 |
| 210 | @a长沙@c中南大学出版社@d2019.02 | |
| 215 | @a147页@c图@d24cm | |
| 225 | 2 | @a江西理工大学优秀博士论文文库 |
| 330 | @a本书在讲解模型检测基础理论与基本方法的基础上，主要介绍作者以广义Büchi自动机为研究对象，在模型检测算法及其安全性分析应用研究方面所取得的独创性研究成果，主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Büchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型检测算法、基于场景分析的系统形式化模型生成方法、基于模型检测的系统安全性验证方法、基于故障注入的模型检测分析、铁路车站联锁系统的安全性分析研究。 | |
| 333 | @aBüchi自动机模型检测相关研究人员 | |
| 461 | 0 | @12001 @a江西理工大学优秀博士论文文库 |
| 606 | 0 | @a自动检测系统@x研究 |
| 690 | @aTP274@v5 | |
| 701 | 0 | @a王曦@9wang xi@4著 |
| 701 | 0 | @a欧阳城添@9ou yang cheng tian@4著 |
| 801 | 0 | @aCN@bLNBF@c20190604 |
| 905 | @a241250@dTP274@e203 | |
| Büchi自动机模型检测及其安全性分析应用研究/王曦，欧阳城添著.-长沙：中南大学出版社，2019.02 |
| 147页：图；24cm.-(江西理工大学优秀博士论文文库) |
| 使用对象：Büchi自动机模型检测相关研究人员 |
| ISBN 978-7-5487-3563-2：CNY40.00 |
| 本书在讲解模型检测基础理论与基本方法的基础上，主要介绍作者以广义Büchi自动机为研究对象，在模型检测算法及其安全性分析应用研究方面所取得的独创性研究成果，主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Büchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型检测算法、基于场景分析的系统形式化模型生成方法、基于模型检测的系统安全性验证方法、基于故障注入的模型检测分析、铁路车站联锁系统的安全性分析研究。 |
| ● |
| 相关链接 |
正题名：Büchi自动机模型检测及其安全性分析应用研究
索取号：TP274/203
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1841632 | 218416328 | 样本书库/ [索取号:TP274/203] | 在馆 | |
| 2 | 1841633 | 218416337 | 理科库/3111250202/ [索取号:TP274/203] | 在馆 | |
| 3 | 1841634 | 218416346 | 理科库/3111250202/ [索取号:TP274/203] | 在馆 |