-
内容大纲
本书提出了一种基于形式化模型的严密的系统设计方法,详细阐述了严密系统设计方法的基本原理,介绍了严密系统设计框架BIP(Behavior, Interaction, Priority)的建模语言、形式语义及其工具链。自主系统作为人工智能技术应用落地的重要形态,讨论了自主系统设计的趋势和挑战,阐述了一种集成模型驱动方法与数据驱动方法的思路,并提出了一种新的基于替换测试的智能测试方法,用以判断自主系统在完成多种不同类型任务方面的智能水平。 -
作者介绍
-
目录
第1章 引言
1.1 系统设计的概念
1.2 系统的演变过程
1.3 传统的系统设计方法
1.3.1 “V-模型”方法的设计流程
1.3.2 “V-模型”方法的假设条件
1.4 本书组织结构
参考文献
第2章 系统设计的正确性和复杂性
2.1 正确性内涵
2.1.1 可信性
2.1.2 关键等级
2.2 复杂性挑战
2.2.1 设计复杂性
2.2.2 模型复杂性
参考文献
第3章 严密系统设计方法
3.1 基本思想
3.2 关注点分离
3.2.1 从需求到应用软件
3.2.2 从应用软件到软硬件融合系统
3.3 基于组件的设计
3.3.1 基本原则
3.3.2 组件框架
3.4 语义连贯的设计
3.5 “构造即正确”的设计
3.5.1 基本原理
3.5.2 水平正确性
3.5.3 垂直正确性
3.6 实践讨论
参考文献
第4章 基于BIP的系统设计框架
4.1 BIP框架介绍
4.2 BIP语言
4.2.1 原子组件
4.2.2 连接器
4.2.3 优先级
4.2.4 复合组件
4.3 BIP编译器与引擎
4.3.1 BIP操作语义
4.3.2 BIP编译器
4.3.3 BIP引擎
4.4 案例:Dala自主机器人
4.4.1 自主机器人功能需求建模
4.4.2 基于模型的代码生成
4.4.3 形式化验证
参考文献
第5章 自主系统的设计方法
5.1 自主系统的内涵
5.1.1 自主系统的功能架构
5.1.2 自主系统的目标管理
5.1.3 自主系统与自动化系统
5.1.4 自主系统的混合设计
5.2 自主系统的测试
5.2.1 测试的基本原理
5.2.2 基于仿真的测试
5.3 知识的生成与应用
5.3.1 知识的类型
5.3.2 知识的生成
5.4 自主系统的可信性评估
参考文献
第6章 自主系统的智能测试
6.1 智能的内涵
6.1.1 自主系统的视角
6.1.2 人类智能的视角
6.2 智能测试方法
6.2.1 替换测试的概念
6.2.2 通用测试框架
6.3 智能测试的适用性
参考文献
第7章 系统设计的挑战与展望
参考文献
同类热销排行榜
- C语言与程序设计教程(高等学校计算机类十二五规划教材)16
- 电机与拖动基础(教育部高等学校自动化专业教学指导分委员会规划工程应用型自动化专业系列教材)13.48
- 传感器与检测技术(第2版高职高专电子信息类系列教材)13.6
- ASP.NET项目开发实战(高职高专计算机项目任务驱动模式教材)15.2
- Access数据库实用教程(第2版十二五职业教育国家规划教材)14.72
- 信号与系统(第3版下普通高等教育九五国家级重点教材)15.08
- 电气控制与PLC(普通高等教育十二五电气信息类规划教材)17.2
- 数字电子技术基础(第2版)17.36
- VB程序设计及应用(第3版十二五职业教育国家规划教材)14.32
- Java Web从入门到精通(附光盘)/软件开发视频大讲堂27.92
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔,龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年,恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...