SystemVerilog驗(yàn)證：測試平臺編寫指南（原書第三版）

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