同类推荐
-
-
新兴系统哲学:入门与未来:a primer and p…
-
¥68.00
-
-
系统科学概念集
-
¥198.00
-
-
系统科学概念集
-
¥198.00
-
-
系统辨识理论及应用
-
¥99.00
-
-
体系工程理论与方法:复杂性应对之道
-
¥98.00
-
-
面向不确定信息的直觉模糊三支决策模型及应用
-
¥98.00
-
-
面向复杂系统动态可靠度评估的状态观测策略优化
-
¥84.00
-
-
动态系统的建模与仿真
-
¥118.00
-
-
巧用DeepSeek进行数学建模
-
¥59.00
-
-
DoDAF体系结构设计实践
-
¥126.00
|
|
图书信息
|
|
|
|
动态系统的形式化描述与验证
|
| ISBN： | 9787566148599 |
定价： | ￥39.80 |
| 作者： | 刘珊艳著 |
出版社： | 哈尔滨工程大学出版社 |
| 出版时间： | 2025年06月 |
开本： | 24cm |
| 页数： | 119页 |
中图法： | N94 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
2
|
|
2026-08-06
|
图书简介 | | 本书聚焦于高可靠动态系统的形式化设计与验证研究，提出了一种形式化描述与验证方法，主要对利用可执行时序逻辑语言XYZ/RE来精确描述系统、XYZ/RE到时间自动机的映射规则的建立、嵌入式动态系统的建模等进行了详细介绍，并对借助基于时间自动机的验证工具UPPAAL对系统进行形式化验证，以提高系统的正确性、可靠性、可信度等进行了讲解。此外，本书结合智能制造、智能家居等典型场景开展实证，并提出在进行工业控制动态系统设计时可融入先进测试技术的理念，同时介绍了动态系统的质量保证方法。 |
|