本书在讲解模型检测基础理论与基本方法的基础上，主要介绍作者以广义Büchi自动机为研究对象，在模型检测算法及其安全性分析应用研究方面所取得的独创性研究成果，主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Büchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型检测算法、基于场景分析的系统形式化模型生成方法、基于模型检测的系统安全性验证方法、基于故障注入的模型检测分析、铁路车站联锁系统的安全性分析研究。

📙 相关书籍

  1. 《智能测控系统的智能特性研究》高清PDF 本书介绍了智能测控系统的智能特性研究的成果。...
  2. 《TensorFlow学习指南 深度学习系统构建详解》高清PDF 本书主要介绍如何使用TensorFlow框架进行深度学习系统的构建。从基础知识入手，将使用TensorFlow的各种方式贯穿于整本书的讲解之中，并结合实际的深度学习任务展示终深度学习系统的效果。本书涉及卷积神经网络、循环神经网络等核心的技术，并介绍了用于图像数据和文本序列数据的模型。在后半部分，本书......
  3. 《第四范式 数据密集型科学发现》高清PDF 本书系统介绍了地球与环境科学、生命与健康科学、数字信息基础设施和数字化学术信息交流等方面基于海量数据的科研活动、过程、方法和基础设施，生动揭示了在海量数据和无处不在网络上发展起来的与实验科学、理论推演、计算机仿真这三种科研范式相辅相成的科学研究第四范式——数据密集型科学发现，进一步探讨了这种新范式的......
  4. 《数据挖掘方法及天体光谱挖掘技术》高清PDF 数据挖掘是一门面向应用的新兴学科分支，涉及人工智能、机器学习、模式识别、统计学、数据库、可视化等多个学科领域，其主要目的是从大量原始数据中提取人们感兴趣的、隐含的、尚未被发现的信息和知识，目前已广泛应用于科学、工程、商业、医学等领域。...
  5. 《大数据管理 数据集成的技术、方法与最佳实践》高清PDF 本书分四部分，共22章：第一部分(第1-4章)集中论述在组织的数据管理计划中实现数据集成以及对移动中的数据进行高效管理的重要性和必要性，涉及数据集成的定义、重要性、类型及复杂性，还论述了数据集成的开发过程；第二部分(第5-10章)讨论大规模数据迁移时所涉及的数据集成技巧和技术——批处理或异步数据集成......
  6. 《智能自动化促进工业节能、降耗、减排》高清PDF 本书是由中国工程院重点咨询项目“智能自动化促进工业节能、降耗、减排”成果整理而成。本书运用先进控制理论与方法，以及先进控制与系统优化技术，实现化工工业、石化工业、发电工业、钢铁工业、有色工业、建材工业等六大高能耗、高污染领域的节能降耗减排，取得重大经济和社会效益。本书分为两篇：第一篇是工业化、智能自......
  7. 《过程控制系统与实践》高清PDF 本书可以作为普通高等学校自动化类专业本科生及研究生“过程控制系统”课程的教材和教学参考书，也可作为有关工程技术的自学教材和参考资料……...
  8. 《异构信息网络挖掘 原理和方法》高清PDF 本书介绍了异构信息网络挖掘的原理和方法，包括基于排名的聚类与分类、基于元路径的相似性搜索和挖掘、关系强度感知挖掘，以及若干有前景的研究方向。本书是伊利诺伊大学香槟分校数据挖掘高级课程的参考教材，适合作为数据挖掘方向的研究生教材，也适合数据挖掘研究人员和专业技术人员参考。...
  9. 《复杂系统的应用鲁棒预测控制》高清PDF 本书介绍了预测控制相关建模、鲁棒性分析、复杂系统应用的理论与方法，侧重于预测控制在新系统中的拓展研究。前半部分从切换系统、时滞系统、非线性系统研究预测控制的基本原理和算法设计，后半部分从目前国防重点预研的高超声速飞行器的再人多约束控制、高速欠速驱动水面舰的协调航迹跟踪控制两方面研究鲁棒预测控制的系统......
  10. 《基于群智能优化理论的若干聚类改进方法及应用研究》高清PDF 伴随着大数据时代的到来，信息爆炸产生了海量数据，云计算、物联网以及移动互联网渗透到人们日常生活的各个领域，互联网金融、电子商务、信息科技等先进科技领域无时无刻不在产生数据。数据结构越来越复杂，数据形式越来越多样，深度挖掘海量数据中隐含的信息成为大数据时代经济管理发展的迫切需求。聚类是数据挖掘的重要方......

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。