严密系统设计 方、趋势与挑战 软硬件技术 ()约瑟夫·希发基思 新华正版
软硬件技术 新华书店全新正版书籍 支持7天无理由
￥ 48.6 6.2折 ￥ 79 全新
库存8件
作者()约瑟夫·希发基思
出版社电子工业出版社
ISBN9787121467653
出版时间2023-12
版次1
装帧精装
开本16开
页数208页
字数151千字
定价79元
货号xhwx_1203163031
上书时间2024-01-06
- 最新上架
商品详情
- 品相描述：全新
- 正版特价新书
- 商品描述
-
目录：
章 引言 1
1.1 系统设计的概念 2
1.2 系统的演变过程 6
1.3 传统的系统设计方 12
1.3.1 “v-模型”方的设计流程 13
1.3.2 “v-模型”方的设条件 17
1.4 本书组织结构 19
参文献 21
第2章 系统设计的正确和复杂 23
2.1 正确内涵 24
2.1.1 可信 25
2.1.2 关键等级 31
2.2 复杂挑战 36
2.2.1 设计复杂 37
2.2.2 模型复杂 39
参文献 44
第3章 严密系统设计方 46
3.1 基本思想 47
3.2 关注点分离 50
3.2.1 从需求到应用软件 52
3.2.2 从应用软件到软硬件融合系统 56
3.3 基于组件的设计 59
3.3.1 基本原则 59
3.3.2 组件框架 61
3.4 语义连贯的设计 65
3.5 “构造即正确”的设计 70
3.5.1 基本 70
3.5.2 水正确 73
3.5.3 垂直正确 76
3.6 实践讨论 78
参文献 81
第4章 基于 bip 的系统设计框架 86
4.1 bip框架介绍 87
4.2 bip语言 92
4.2.1 原子组件 93
4.2.2 连接器 98
4.2.3 优先级 103
4.2.4 复合组件 104
4.3 bip编译器与引擎 108
4.3.1 bip作语义 108
4.3.2 bip编译器 111
4.3.3 bip引擎 112
4.4 案例：dala自主机器人 114
4.4.1 自主机器人功能需求建模 114
4.4.2 基于模型的代码生成 120
4.4.3 形式化验证 121
参文献 123
第5章 自主系统的设计方 126
5.1 自主系统的内涵 127
5.1.1 自主系统的功能架构 127
5.1.2 自主系统的目标管理 130
5.1.3 自主系统与自动化系统 133
5.1.4 自主系统的混合设计 137
5.2 自主系统的测试 139
5.2.1 测试的基本 141
5.2.2 基于的测试 144
5.3 知识的生成与应用 147
5.3.1 知识的类型 148
5.3.2 知识的生成 150
5.4 自主系统的可信评估 155
参文献 160
第6章 自主系统的智能测试 164
6.1 智能的内涵 165
6.1.1 自主系统的视角 165
6.1.2 人类智能的视角 167
6.2 智能测试方 170
……
内容简介：
本书提出了一种基于形式化模型的严密的系统设计方，详细阐述了严密系统设计方的基本，介绍了严密系统设计框架bip（behaviorinteractionpriority）的建模语言、形式语义及其工具链。自主系统作为人工智能技术应用落地的重要形态，讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方与数据驱动方的思路，并提出了一种新的基于替换测试的智能测试方，用以判断自主系统在完成多种不同类型任务方面的智能水。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价