重点推荐
-
-
苏共亡党十年祭:最新版
-
¥35.00
-
-
为什么戴着面具的人更受欢迎
-
¥32.00
-
-
我在华为16年:转身也是一种涅槃
-
¥36.00
-
-
成交是设计出来的:销售员不可不知的49个成交技巧
-
¥36.00
-
-
人力资源部:10大管理模板与工具
-
¥39.00
-
-
最强大脑:陈俊生快速记忆训练手册
-
¥35.00
-
-
节气·农谚·农事
-
¥98.00
-
-
美丽建筑
-
¥58.00
-
-
被选中的:哈佛、耶鲁和普林斯顿的入学标准秘史:the hidden history of admission and exclusion at harvard, yale and princeton
-
¥98.00
-
-
爸爸教我的人生课
-
¥36.00
|
|
图书信息
|
|
|
|
面向人工智能的微分动态逻辑及混成系统的防撞策略研究
|
| ISBN： | 9787030857897 |
定价： | ￥298.00 |
| 作者： | 张晓君，卫龙，张呈著 |
出版社： | 科学出版社 |
| 出版时间： | 2027年03月 |
开本： | 24cm |
| 页数： | 276页 |
中图法： | O141 |
图书简介 | | 本书在对国内外相关研究进行梳理的基础上，第一部分首先阐释了微分动态逻辑及其三种扩展逻辑及其证明演算，第二部分探讨了混成系统的自动定理证明，第三部分是混成系统验证实例研究和应用研究。全书从逻辑分析、数学建模、证明义务和验证技术四个方面展开研究，探讨了空中交管系统、列车控制系统、分布式汽车控制系统的防撞策略，验证了这些系统的安全性、可控性、活性和防撞功能。本书主要从逻辑分析、数学建模、证明义务和验证技术这四个方面开展研究，提出一个全面的精化开发混成系统的方案，提出并论证基于微分不变式的混成模型语言的证明义务，给出混成系统精化开发的预设规则，通过规则证明特定模型的正确性。在深入研究微分动态逻辑及其三种扩展逻辑的基础上，分别把空中交通管制系统、列车控制系统和分布式汽车控制系统的防撞策略作为实际案例进行探讨，验证这些系统的安全性、可控性、活性和防撞功能。 |
|