扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
心理学经典文丛:女性心理学
-
>
贫困一代:被社会囚禁的年轻人
-
>
乌合之众:大众心理研究(英汉双语修订版)(套装共2册)
-
>
始于极限:女性主义往复书简
-
>
融合文化(新媒体和旧媒体的冲突地带)/文化和传播译丛
-
>
看不见的女性
-
>
县乡中国:县域治理现代化
复杂信息系统自适应软件建模与可靠性验证方法 版权信息
- ISBN:9787561282335
- 条形码:9787561282335 ; 978-7-5612-8233-5
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
复杂信息系统自适应软件建模与可靠性验证方法 内容简介
本书从复杂信息系统自适应逻辑建模与验证、自适应时间特性建模与分析、自适应行为不确定性建模与诀策三个方面着手,系统全面地介绍了面向复杂信息系统的自适应软件建模与可靠性验证分析相关的技术、理论和方法。
复杂信息系统自适应软件建模与可靠性验证方法 目录
第1章 概述
1.1 自适应软件简介
1.2 自适应软件建模技术研究现状
第2章 复杂信息系统自适应逻辑建模与验证
2.1 问题分析与理论基础
2.2 复杂自适应逻辑建模与验证总体思路
2.3 基于扩展UML的自适应软件可视化建模
2.4 自适应软件扩展UMI。模型到Event-B的转换
2.5 Event-B精化模式定义及自适应性质验证
2.6 实验验证
2.7 相关工作对比分析
2.8 本章小结
第3章 复杂信息系统自适应过程时间特性建模与分析
3.1 问题分析与理论基础
3.2 自适应过程时间特性建模与分析方法总体思路
3.3 自适应过程时间特性定义及形式化模板构建
3.4 Event-B模型到时间自动机网络的转换
3.5 模型检验与定理证明相结合的自适应性质验证
3.6 案例分析
3.7 相关工作对比分析
3.8 本章小结
第4章 复杂信息系统自适应行为不确定性建模与决策
4.1 问题分析与理论基础
4.2 自适应行为不确定性建模方法总体思路
4.3 面向自适应行为不确定性的Event-B扩展
4.4 自适应软件Event-B模型到MDP模型的映射
4.5 基于MDP概率模型检验的自适应推理和决策方法
4.6 案例分析
4.7 相关工作对比分析
4.8 本章小结
第5章 自适应软件形式化建模与验证支撑工具
5.1 开发平台及工具
5.2 支撑工具研制总体思路
5.3 支撑工具研制与开发
5.4 讨论
5.5 本章小结
第6章 自适应软件形式化建模与验证方法领域应用
6.1 地下工程火灾应急扑救系统自适应逻辑建模与验证
6.2 智能建筑运维软件自适应过程时间特性建模与分析
6.3 岛礁运输补给自适应系统行为不确定性建模与分析
6.4 本章小结
参考文献
附录1 Event-B精化模式推导及证明
附录2 MDP模型代码
1.1 自适应软件简介
1.2 自适应软件建模技术研究现状
第2章 复杂信息系统自适应逻辑建模与验证
2.1 问题分析与理论基础
2.2 复杂自适应逻辑建模与验证总体思路
2.3 基于扩展UML的自适应软件可视化建模
2.4 自适应软件扩展UMI。模型到Event-B的转换
2.5 Event-B精化模式定义及自适应性质验证
2.6 实验验证
2.7 相关工作对比分析
2.8 本章小结
第3章 复杂信息系统自适应过程时间特性建模与分析
3.1 问题分析与理论基础
3.2 自适应过程时间特性建模与分析方法总体思路
3.3 自适应过程时间特性定义及形式化模板构建
3.4 Event-B模型到时间自动机网络的转换
3.5 模型检验与定理证明相结合的自适应性质验证
3.6 案例分析
3.7 相关工作对比分析
3.8 本章小结
第4章 复杂信息系统自适应行为不确定性建模与决策
4.1 问题分析与理论基础
4.2 自适应行为不确定性建模方法总体思路
4.3 面向自适应行为不确定性的Event-B扩展
4.4 自适应软件Event-B模型到MDP模型的映射
4.5 基于MDP概率模型检验的自适应推理和决策方法
4.6 案例分析
4.7 相关工作对比分析
4.8 本章小结
第5章 自适应软件形式化建模与验证支撑工具
5.1 开发平台及工具
5.2 支撑工具研制总体思路
5.3 支撑工具研制与开发
5.4 讨论
5.5 本章小结
第6章 自适应软件形式化建模与验证方法领域应用
6.1 地下工程火灾应急扑救系统自适应逻辑建模与验证
6.2 智能建筑运维软件自适应过程时间特性建模与分析
6.3 岛礁运输补给自适应系统行为不确定性建模与分析
6.4 本章小结
参考文献
附录1 Event-B精化模式推导及证明
附录2 MDP模型代码
展开全部
复杂信息系统自适应软件建模与可靠性验证方法 作者简介
韩德帅,火箭军工程大学讲师,长期从事国防工程智能化理论与技术、复杂信息系统建模、软件自适应等方向的研究工作,以第一作者发表SCI、EI检索论文10余篇,现主持陕西省自然科学基金1项。
书友推荐
- >
朝闻道
朝闻道
¥10.7¥23.8 - >
月亮虎
月亮虎
¥18.7¥48.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
莉莉和章鱼
莉莉和章鱼
¥18.1¥42.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥24.0¥48.0 - >
推拿
推拿
¥12.2¥32.0
本类畅销
-
域外汉籍珍本总目提要
¥159.5¥238 -
马克思主义新闻观百问百答
¥32.7¥76 -
档案工作实务研究
¥26.4¥48 -
扬州大学图书馆馆藏古籍善本书目提要
¥118.5¥158 -
古籍研究.2007卷下(总第52期)
¥10.2¥30 -
古典目录学浅说
¥19¥38