《网构软件可靠性技术研究》PDF下载

  • 购买积分:8 如何计算积分?
  • 作  者:张靖著
  • 出 版 社:成都:西南交通大学出版社
  • 出版年份:2017
  • ISBN:9787564356309
  • 页数:140 页
图书介绍:网构软件作为一种新的软件应用模式,它构建和运行在开放、动态的计算机网络上,将是软件系统未来的一种重要发展方向,其可靠性研究受到了重视,在很多领域也开展了有益探索。针对网构软件可靠性,本书主要研究了网构软件可靠性模型理论和可靠性计算方法,研究并系统地分析了网构软件可靠性主要技术难题以及解决方案,提出了网构软件可靠性形式化方法、构件,系统可靠性计算方法,系统可靠性演化计算方法以及可靠性动态分配方法,并对网构软件可靠性的发展状况进行了研究展望。本书的研究领域属于软件可靠性的两个方向:软件可靠性建模和软件可靠性度量,涉及的关键技术是网构软件可靠性模型和网构软件可靠性计算。本书的研究对网络环境下有效计算网构软件可靠性,在软件设计、测试和评估等方面都有一定的贡献,完善和丰富了网构软件可靠性理论,进一步促进网构软件可靠性与安全性的提高。

第1章 松花江流域概况 1

1.1自然地理 1

1.2河湖水系 2

1.2.1河流 2

1.2.2湖泡 6

1.2.3湿地 12

1.3自然环境概况 18

1.3.1地形地貌 18

1.3.2气候概况 21

1.3.3水资源量 21

1.3.4洪水 22

1.3.5主要自然灾害 23

1.3.6土壤 23

1.3.7植被 24

1.3.8生态区域 24

1.4经济社会概况 25

第2章 松花江流域河湖水系变化特征 27

2.1河流变化分析 27

2.1.1部分河流断流 27

2.1.2人工沟渠修建 28

2.1.3径流量变化 28

2.1.4水文情势变化 39

2.1.5鱼类的组成和结构发生改变 44

2.1.6水环境变化分析 51

2.2湖泡湿地变化分析 55

2.2.1湖泡的变化分析 55

2.2.2湿地变化分析 59

2.2.3湖泡湿地减少去向分析 65

第3章 松花江流域河湖水系变化影响因素分析 67

3.1气候变化 67

3.1.1数据处理 67

3.1.2结果与讨论 67

3.2人口变化 72

3.3水利工程 73

3.3.1水库工程 73

3.3.2水电站 73

3.3.3堤防工程 77

3.3.4灌区工程 78

3.3.5拦河坝 79

3.3.6引调水工程及重要湿地补水工程 80

3.4路桥建设 82

第4章 松花江流域河湖水系生态问题及水库优化调控基本理论与方法 84

4.1水生态问题及修复措施 85

4.1.1主要水生态环境问题 85

4.1.2水生态修复措施 86

4.2水库生态优化调控基本理论与方法 88

4.2.1生态修复目标 88

4.2.2调度规则 88

4.2.3目标函数 90

4.2.4决策变量 90

4.2.5约束条件 90

4.2.6优化求解方法——基于精英策略的非支配排序遗传算法 90

第5章 基于鱼类生境修复的丰满水库优化调控 93

5.1丰满水库概况 94

5.1.1水库概况及特性 94

5.1.2来水用水资料 95

5.1.3兴利调度要求及原则 97

5.2基于鱼类生境修复的丰满水库优化调控 97

5.2.1鱼类生境修复目标确定 98

5.2.2考虑鱼类生境的水库生态调度模型构建 100

5.2.3丰满水库生态调度方案设计 101

5.2.4丰满水库生态调度结果分析 102

第6章 考虑湿地补水的尼尔基水库优化调控 106

6.1尼尔基水库概况 107

6.1.1水库概况及特性 107

6.1.2来水用水资料 107

6.1.3兴利调度要求及原则 108

6.2考虑湿地补水的尼尔基水库优化调控 110

6.2.1湿地补水机制确定 110

6.2.2生态目标的确定 111

6.2.3基于湿地补水的尼尔基水库调度模型构建 111

6.2.4尼尔基水库生态调度方案设计 113

6.2.5尼尔基水库生态调度结果分析 115

参考文献 120