4.3
用户推荐指数
科技 类型
可以朗读 语音朗读
86千字 字数
2023-12-01 发行日期
展开全部

主编推荐语

“图灵奖”得主、中美法欧六院院士发轫之作，洞悉智能自主趋势。

内容简介

本书提出了一种基于形式化模型的严密的系统设计方法，详细阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP的建模语言、形式语义及其工具链。

自主系统是人工智能技术应用落地的重要形态，本书讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路，并提出了一种新的基于替换测试的智能测试方法，用以判断自主系统在完成多种不同类型任务方面的智能水平。

目录

  • 版权信息
  • 作者简介
  • 序
  • 第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章 系统设计的挑战与展望
展开全部

评分及书评

4.3
3个评分

出版方

电子工业出版社

电子工业出版社成立于1982年10月，是国务院独资、工信部直属的中央级科技与教育出版社，是专业的信息技术知识集成和服务提供商。经过三十多年的建设与发展，已成为一家以科技和教育出版、期刊、网络、行业支撑服务、数字出版、软件研发、软科学研究、职业培训和教育为核心业务的现代知识服务集团。出版物内容涵盖了电子信息技术的各个分支及工业技术、经济管理、科普与少儿、社科人文等领域，综合出版能力位居全国出版行业前列。