SystemVerilog驗證：測試平臺編寫指南（原書第三版）

目錄
序一
序二
前言
緒論1
0.1研究背景1
0.2主要研究內(nèi)容2
0.3章節(jié)安排及分工5
0.4主要科技創(chuàng)新11
第1章新三峽庫區(qū)地質環(huán)境與地質災害13
1.1概述13
1.2新三峽庫區(qū)地質環(huán)境變遷對比研究13
1.3175m水位試驗性蓄水與地質災害25
1.4水位升降速率對地質災害的影響分析29
1.5水庫水位調度與地質災害發(fā)生規(guī)律32
1.6小結35
第2章三峽庫區(qū)地質災害監(jiān)測預警研究36
2.1概述36
2.2三峽庫區(qū)地質災害監(jiān)測預警系統(tǒng)建設36
2.3庫區(qū)地質災害監(jiān)測技術42
2.4消落帶巖體劣化監(jiān)測技術51
2.5地質災害風險預警理論與實踐概論67
2.6小結85
第3章蓄水運行順層基巖古滑坡復活失穩(wěn)機理86
3.1概述86
3.2藕塘滑坡工程地質與易滑結構86
3.3藕塘滑坡成因及演化模式研究100
3.4藕塘滑坡復活變形及特征研究111
3.5庫水位與降雨耦合作用下藕塘滑坡變形機理研究124
3.6藕塘滑坡復活滑動模式與防治措施研究137
3.7小結147
第4章蓄水運行堆積層滑坡復活失穩(wěn)機理149
4.1概述149
4.2三峽庫區(qū)典型堆積層滑坡工程地質及變形特征149
4.3典型堆積層滑坡物理力學性質研究158
4.4蓄水運行下涼水井滑坡滲流穩(wěn)定分析162
4.5三峽庫區(qū)堆積層滑坡復活失穩(wěn)風險評價模型178
4.6堆積層滑坡防治工程182
4.7小結187
第5章三峽庫區(qū)水力型滑坡防治工程研究189
5.1概述189
5.2巫山塔坪滑坡地質背景190
5.3蓄水運行期巫山塔坪滑坡復活滑動特征194
5.4巫山塔坪滑坡水文地質結構與滲流特征200
5.5基于175m試驗性蓄水運行的巫山塔坪滑坡穩(wěn)定性分析205
5.6庫水動力作用下塔坪滑坡防治設計模式研究222
5.7庫水動力型滑坡防治工程施工技術探討242
5.8討論與建議243
5.9小結244
第6章水庫消落帶岸坡劣化特征與機理245
6.1概述245
6.2三峽庫區(qū)岸坡劣化帶發(fā)育分布特征245
6.3紅層碎屑巖岸坡典型劣化類型與機理248
6.4碳酸鹽逆向碎裂巖層岸坡典型劣化類型與機理256
6.5碳酸鹽順向巖層岸坡典型劣化類型與機理259
6.6碳酸鹽巖平緩厚層岸坡典型劣化類型與機理270
6.7巖溶角礫巖不穩(wěn)定岸坡典型劣化類型與機理272
6.8小結275
第7章水庫消落帶岸坡劣化帶三維模型構建277
7.1概述277
7.2消落帶三維巖體裂隙網(wǎng)絡調查278
7.3消落帶巖體裂隙網(wǎng)絡數(shù)學模型與可視化290
7.4典型消落帶巖體三維裂隙模型構建294
7.5典型巖體劣化空間分布分析302
7.6小結309
第8章水庫消落帶岸坡劣化參數(shù)試驗測試研究310
8.1概述310
8.2國內(nèi)外研究現(xiàn)狀311
8.3消落帶巖石多工況力學試驗研究313
8.4庫水位波動下巖石的劣化試驗分析328
8.5基于原位試驗的岸坡巖體劣化過程地質強度指標研究336
8.6小結354
第9章水庫消落帶岸坡劣化力學響應與長期穩(wěn)定性355
9.1概述355
9.2塔柱狀危巖體力學響應分析355
9.3碎裂巖體岸坡力學響應分析367
9.4順層巖體岸坡力學響應分析384
9.5巖溶角礫巖岸坡力學響應分析391
9.6小結413
第10章三峽庫區(qū)巖質岸坡成災模式與涌浪風險評價415
10.1概述415
10.2典型巖質岸坡成災模式415
10.3柱狀危巖體崩塌的涌浪產(chǎn)生機制研究429
10.4典型柱狀危巖滑坡涌浪預測分析440
10.5水庫滑坡涌浪風險評價研究450
10.6小結467
第11章失穩(wěn)岸坡應急整治工程研究——巫峽龔家坊滑坡469
11.1概述469
11.2巫峽龔家坊岸坡工程地質條件469
11.3庫區(qū)下三疊統(tǒng)反傾碎裂巖層岸坡易滑結構特征472
11.4巫峽龔家坊反傾碎裂巖層岸坡結構與穩(wěn)定性479
11.5蓄水運行反傾碎裂巖層岸坡滲流穩(wěn)定性分析490
11.6失穩(wěn)岸坡應急防治設計研究499
11.7小結504
第12章臨失穩(wěn)岸坡防治工程研究——巫峽箭穿洞危巖506
12.1概述506
12.2巫峽箭穿洞危巖工程地質特征507
12.3巫峽箭穿洞危巖結構與演化特征509
12.4蓄水運行期箭穿洞危巖基座劣化過程評價519
12.5基于175m蓄水運行的箭穿洞危巖體穩(wěn)定性分析521
12.6箭穿洞危巖入江涌浪災害風險評估539
12.7庫水動力作用下箭穿洞危巖體防治設計研究547
12.8特大型高陡臨失穩(wěn)巖體防治施工技術551
12.9討論與建議557
12.10小結557
第13章亞失穩(wěn)岸坡防護工程研究——巫峽板壁巖危巖559
13.1概述559
13.2巫峽板壁巖危巖概況560
13.3巫峽板壁巖危巖變形特征564
13.4巫峽板壁巖危巖穩(wěn)定性分析571
13.5巫峽板壁巖危巖防治示范性設計580
13.6小結591
第14章劣化岸坡生態(tài)地質修復工程——巫峽茅草坡岸坡593
14.1概述593
14.2巫峽茅草坡庫岸段概況593
14.3巫峽茅草坡庫岸段變形特征及穩(wěn)定性分析598
14.4巫峽茅草坡庫岸試驗性防護修復工程實例615
14.5巫峽茅草坡庫岸生態(tài)修復工程探討624
14.6小結635
第15章三峽庫區(qū)長期地質安全保障研究636
15.1概述636
15.2庫區(qū)地質災害防治基本情況636
15.3庫區(qū)移民城鎮(zhèn)地質災害防治638
15.4蓄水運行期間地質災害特征651
15.5庫區(qū)長期地質安全風險控制研究656
15.6小結660
參考文獻662
后記683