形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效的描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。本书分为6部分。第1部分是概述；第2部分致力于介绍建模范例；第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展；第4部分则向读者展示了形式化方法在通信系统中的发展和成果；第5部分则介绍了形式化方法在互联网和在线服务方面的应用；而在第6部分则介绍了实时应用程序的形式化方法。

📙 相关书籍

  1. 《C++典型工控应用编程实例》高清PDF 本书从工程应用的角度出发，较全面、系统地介绍了计算机控制典型应用系统。本书共分10章，分别为：基于三菱PLC的控制应用、基于西门子PLC的控制应用、基于PCI数据采集卡的控制应用、基于单片机的控制应用、基于分布式I／0模块的控制应用、基于CAN总线模块的控制应用、基于USB数据采集模块的控制应用、基......
  2. 《网络控制系统建模、控制及其故障检测》高清PDF ...
  3. 《数据驱动的工业过程故障诊断技术 基于主元分析与偏最小二乘的方法》高清PDF 本书第1章综述了各种动态系统的故障诊断技术的发展现状及未来发展趋势。第2章～第6章主要介绍了主元分析模型以及基于该模型的各种故障检测、分离和辨识等方法。这一部分还讨论了主元分析模型的各种改进问题，如主元个数的选取问题、基于动态时间规整的改进、基于非正常子域的应用等。第7章～第11章主要介绍了偏最小二......
  4. 《案例解说Visual C++典型控制应用》高清PDF 本书从工程应用的角度出发，通过7种典型的计算机控制系统（包括基于单片机、PLC、PCI数据采集卡、USB数据采集板、CAN数据采集模块、远程I%/O模块、智能仪器），使用目前广泛采用的面向对象编程语言VisualC++，对工业控制系统中的4类典型应用，即模拟量输入（AI）、模拟量输出（AO）、数字量......
  5. 《工控组态软件及应用》高清PDF 本书以通用组态软件kingview为例，介绍组态软件的结构、功能及组态方法等，并以工程实例进行详细讲解。主要内容包括组态软件概述、kingview组态软件与I／O设备管理、新建工程、创建组态画面、报警和事件、趋势曲线、命令语言、报表系统、控件、网络连接与Web功能、用户管理权限与系统安全、组态工程应......
  6. 《基于网络QoS的控制系统分析与综合》高清PDF 本书共7章，内容涉及网络控制系统的国内外研究现状，控制理论、图论和区间系统的相关理论知识，基于网络QoS的控制系统能控性与能观性分析，基于网络QoS的控制系统建模、分析与控制，以及基于网络QoS的控制系统分析与控制的图论方法。...
  7. 《网络化控制系统分析与设计 切换系统处理方法》高清PDF 本书结合作者的研究工作，详细介绍了基于切换系统方法的网络化控制系统的建模、分析和设计方法。主要内容包括具有时延和丢包的网络化控制系统需要解决的几个根本问题；切换系统的一些基本概念和主要分析方法；重点介绍了具有时变时延网络化控制系统的建模、分析与设计方法，提出了解决指数时变项和时序错乱的一些有效方法；......
  8. 《论辩系统 不一致情境中的推理》高清PDF 本书介绍一种适合于处理不完全/不一致/动态的信息的论辩系统理论与方法。本书的主要内容包括：(1)绪论；(2)论辩系统的知识表示；(3)论辩系统的构造；(4)论辩状态的评估；(5)论辩系统的动态性。...
  9. 《时延网络系统与非完整系统的分析镇定与综合》高清PDF 本书系统介绍了线性及非线性网络控制系统分析与综合的多种方法，并对网络系统的优化控制、保成本变结构控制进行了较为深入的论述，形成了较为丰富的理论成果，为网络控制系统的实际应用提供理论根据。给出了网络控制系统的保成本变结构控制设计方法。由于变结构控制具有设计简单，鲁棒性强的优点，把变结构控制方法引入网络......
  10. 《工业自动化技术实训指导》高清PDF 本书按照职业技能等级的要求，分别编写了中级工段、高级工段、技师段等三部分内容，较全面地介绍了三菱电机、西门子等公司主流工业自动化产品的应用技术。全书共9章，内容包括小型PLC系统、继电线路的PLC改造、PLC数字量控制、PLC功能指令与SFC编程、PLC模拟量控制、人机界面、运动控制系统、大中型PL......

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