|
题名:
|
复杂信息系统自适应软件建模与可靠性验证方法 / 韩德帅, 马光莲著 , |
|
ISBN:
|
978-7-5612-8233-5 价格： CNY58.00 |
|
语种:
|
chi |
|
载体形态:
|
158页 图 24cm |
|
出版发行:
|
出版地： 西安 出版社： 西北工业大学出版社 出版日期： 2022 |
|
内容提要:
|
本书从复杂信息系统自适应逻辑建模与验证、自适应过程时间特性建模与分析、自适应行为不确定性建模与决策三个方面着手, 系统、全面地介绍了面向复杂信息系统的自适应软件建模与可靠性验证分析相关的技术、理论和方法。本书共6章,其中,第1章重点介绍了自适应软件建模与验证相关的基础知识,包括自适应软件基本概念、基本术语;第2章重点介绍了复杂信息系统自适应逻辑建模与验证技术, 包括可视化建模、模型转换、形式化建模与验证等; 第3章重点介绍了复杂信息系统自适应过程时间特性建模与分析, 包括时间特性定义、建模与形式化验证分析等; 第4章重点介绍了复杂信息系统自适应行为不确定性建模与决策, 包括不确定性建模、基于不确定性的自适应决策等; 第5章重点介绍了自适应软件建模与验证支撑工具开发方法; 第6章介绍了自适应软件建模与验证方法的案例应用。 |
|
主题词:
|
信息系统 研究 |
|
中图分类法:
|
G202 版次： 5 |
|
主要责任者:
|
韩德帅 著 |
|
主要责任者:
|
马光莲 著 |