新書推薦：
《
敢为天下先：三年建成港科大
》
售價：NT$
352.0
《
直观的经营：哲学视野下的动态管理
》
售價：NT$
407.0
《
长高食谱 让孩子长高个的饮食方案 0-15周岁儿童调理脾胃食谱书籍宝宝辅食书 让孩子爱吃饭 6-9-12岁儿童营养健康食谱书大全 助力孩子身体棒胃口好长得高
》
售價：NT$
214.0
《
身体自愈力：解决内在病因的身体智慧指南
》
售價：NT$
449.0
《
非言语沟通经典入门：影响人际交往的重要力量（第7版）
》
售價：NT$
560.0
《
山西寺观艺术壁画精编卷
》
售價：NT$
7650.0
《
中国摄影 中式摄影的独特魅力
》
售價：NT$
4998.0
《
山西寺观艺术彩塑精编卷
》
售價：NT$
7650.0
|
| 內容簡介： |
|
本书在对软件健康管理相关基本内容的基础上，重点对其涉及的软件信息获取技术、性能异常检测技术、功能检测模型建模推理技术、健康度量方法、故障修复方法等关键技术进行了介绍和研究。在功能检测模型建模和推理技术方面，紧跟国际前沿技术，重点研究了基于贝叶斯网络的软件健康管理技术和基于TFPG推理模型的软件健康管理技术；在软件健康度量方面，针对当前软件健康度量还处于空白阶段的现实，提出了一种基于软件健康度量方法。同时，考虑到实用型方面，对软件健康管理在实际中的应用进行了介绍。
|
| 關於作者： |
|
装备学院航天装备系主任、教授、博士、博士生导师。1967年9月出生，四川彭州人，中共党员，毕业于国防科技大学、北京航空航天大学。军队高层次科技创新人才工程拔尖人才，（原）总装备部科技领军人才培养对象。获国务院政府特殊津贴、中国航天基金奖、军队院校育才金奖。
|
| 目錄：
|
第1章 软件健康管理基本内容 1
1.1 软件健康管理发展起源 1
1.1.1 健康管理技术发展历程 1
1.1.2 软件健康管理技术发展动因 6
1.2 基本概念9
1.2.1 软件错误、软件缺陷、软件故障、软件失效和软件异常 9
1.2.2 故障诊断、失效预测 11
1.3 软件健康管理基本问题12
1.3.1 软件健康12
1.3.2 软件健康管理概念 12
1.3.3 与现有技术的区别及联系14
1.4 软件健康管理涉及的关键技术16
1.4.1 软件健康管理层次结构16
1.4.2 基于软件传感器的实时监测19
1.4.3 软件故障诊断22
1.4.4 软件健康评估问题 23
1.4.5 软件异常减缓策略 24
1.5 软件健康管理发展现状 25
1.6 小结36
第2章 软件故障模式分析方法37
2.1 安全关键软件概述37
2.1.1 安全关键软件概念37
2.1.2 安全关键软件特点38
2.2 故障模式分析常用方法39
2.2.1 故障树分析法39
2.2.2 事件树分析法41
2.2.3 危险和操作性分析法44
2.2.4 软件FMEA46
2.3 SWHM 结构化方法 52
2.3.1 方法 52
2.3.2 结果分析53
2.4 小结 80
第3章 软件健康信息获取技术81
3.1 软件构件技术的发展81
3.2 典型软件构件介绍84
3.2.1 CORBA构件模型（CCM） 84
3.2.2 Java BeansEJB 85
3.2.3 COMDCOM
|
| 內容試閱：
|
随着软件在工业、医疗、国防、航空航天等领域的广泛应用，其所占的功能比例越来越高，软件中的错误对系统造成的影响也越来越大，尤其在安全关键领域甚至会导致灾难性的事故。尽管软件系统在设计和实施的过程中都已经经过严格的验证和确认测试（V＆V），但随着软件规模和复杂性的增加，现代软件系统可以表现出多种失效模式，而这些失效模式可能在某个验证和确认过程中未被检测出来。因此，如何提高软件的安全性和可靠性，尤其是软件运行时的安全性和可靠性，最大限度地降低软件异常的影响，已成为摆在软件研究和软件应用人员面前的一个难题。美国国家航空航天局（NationalAeronautics and Space Administration，NASA）最早意识到了这个问题，并在2009 年明确将软件健康管理列为未来集成运载器健康管理（Integrated Vehicle Health Management，IVHM）的四大研究方向之一。
软件健康管理已经成为健康管理技术的一个重要分支，包括软件故障模式分析、软件传感器技术、异常检测与故障诊断算法、健康度量技术、故障修复技术等方面的内容。主要目的是通过实时监控运行软件，对可能的异常情况进行检测、识别、定位和评估，并采取启动冗余备份、重启、复位等减缓措施，保证软件的安全性或将异常情况的影响降到最低程度。软件健康管理技术对提高软件运行时的安全性和可靠性具有重要意义。
软件健康管理技术近几年获得到了较快的发展，主要是美国等国外的一些研究机构和大学对其进行了较系统和深入的研究，国内进行了一些零散的研究。目前在对软件健康管理相关内容的总体认识、软件健康管理相关模型及框架的设计、相关关键技术及在部分系统中的应用研究等方面都取得了一定的成果。但是，这些研究成果相对比较分散，到目前为止还没有一本系统反映软件健康管理技术的学术著作。本书的目的是系统论述软件健康管理技术的基本理论与方法，为软件工程领域健康管理技术的研究与应用提供借鉴。
软件健康管理技术发展方兴未艾。作为一本学术专著，很难包括该领域所有方面的研究与进展，本书主要反映了作者近几年在这方面的研究结果，包括软件健康管理基本内容、软件故障模式分析、异常检测算法、故障推理模型、健康度量方法、故障修复技术等。全书共9 章，第1、2 章由蔡远文执笔，第3 章由程龙执笔，第4～8 章由解维奇执笔，第9 章由辛朝军执笔，全书由蔡远文、解维奇负责统稿。夏长峰、王刚、李朝凤、许国锋、成蕊、苗继松、赵征宇、王磊、邢晓辰等承担了大量的绘图和后期的文字校对和录入等工作，在此表示衷心的感谢。
感谢北京系统工程研究所王峰研究员，北京航空航天大学陆民燕研究员、吴玉美博士，装备学院姚静波副教授、李岩讲师，北京航天飞行控制中心任江涛助理研究员。他们提供了大量的研究线索和思路，给予了很好的意见和建议，没有他们的大力支持和无私帮助，本书是难以呈现在读者面前的。本书还参考和引用了一些论文和书籍的内容，在此也一并向有关作者表示衷心的感谢。
最后，还要特别感谢电子工业出版社的编辑徐蔷薇，在本书的编写过程中始终给予很多富有建设性的意见和建议。
软件健康管理技术是新兴交叉学科发展的产物，很多理论方法和应用技术问题还有待进一步深入探索和发展。由于作者水平有限，加之时间仓促，疏漏和不足之处在所难免，希望得到广大读者的批评指正。
作者
2016 年7月于雁栖湖畔
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
