书籍详情
SystemVerilog验证：测试平台编写指南（原书第三版）
作者：（美）克里斯·斯皮尔等著；张春译
出版社：科学出版社
出版时间：2023-01-01
ISBN：9787030727466
定价：¥98.00
购买这本书可以去
内容简介
《System Verilog验证：测试平台编写指南：原书第三版》讲解了System Verilog Testbench强大的验证功能，清楚地解释了面向对象编程、约束随机测试和功能覆盖的概念。《System Verilog验证：测试平台编写指南：原书第三版》涵盖System Verilog所有验证结构，如类、程序块、随机化和功能覆盖等，并通过超过500个代码示例和详细解释，说明了学习多态性、回调和工厂模式等概念的内部工作原理。此外，《System Verilog验证：测试平台编写指南：原书第三版》提供了数百条指导原则，为全职验证工程师和学习这一技能的读者提供帮助，让读者可以更高效地使用这种语言，并解释了常见的编码错误，以便读者可以避免这些陷阱。
作者简介
暂缺《SystemVerilog验证：测试平台编写指南（原书第三版）》作者简介
目录
目录
序一
序二
前言
绪论1
0.1研究背景1
0.2主要研究内容2
0.3章节安排及分工5
0.4主要科技创新11
第1章新三峡库区地质环境与地质灾害13
1.1概述13
1.2新三峡库区地质环境变迁对比研究13
1.3175m水位试验性蓄水与地质灾害25
1.4水位升降速率对地质灾害的影响分析29
1.5水库水位调度与地质灾害发生规律32
1.6小结35
第2章三峡库区地质灾害监测预警研究36
2.1概述36
2.2三峡库区地质灾害监测预警系统建设36
2.3库区地质灾害监测技术42
2.4消落带岩体劣化监测技术51
2.5地质灾害风险预警理论与实践概论67
2.6小结85
第3章蓄水运行顺层基岩古滑坡复活失稳机理86
3.1概述86
3.2藕塘滑坡工程地质与易滑结构86
3.3藕塘滑坡成因及演化模式研究100
3.4藕塘滑坡复活变形及特征研究111
3.5库水位与降雨耦合作用下藕塘滑坡变形机理研究124
3.6藕塘滑坡复活滑动模式与防治措施研究137
3.7小结147
第4章蓄水运行堆积层滑坡复活失稳机理149
4.1概述149
4.2三峡库区典型堆积层滑坡工程地质及变形特征149
4.3典型堆积层滑坡物理力学性质研究158
4.4蓄水运行下凉水井滑坡渗流稳定分析162
4.5三峡库区堆积层滑坡复活失稳风险评价模型178
4.6堆积层滑坡防治工程182
4.7小结187
第5章三峡库区水力型滑坡防治工程研究189
5.1概述189
5.2巫山塔坪滑坡地质背景190
5.3蓄水运行期巫山塔坪滑坡复活滑动特征194
5.4巫山塔坪滑坡水文地质结构与渗流特征200
5.5基于175m试验性蓄水运行的巫山塔坪滑坡稳定性分析205
5.6库水动力作用下塔坪滑坡防治设计模式研究222
5.7库水动力型滑坡防治工程施工技术探讨242
5.8讨论与建议243
5.9小结244
第6章水库消落带岸坡劣化特征与机理245
6.1概述245
6.2三峡库区岸坡劣化带发育分布特征245
6.3红层碎屑岩岸坡典型劣化类型与机理248
6.4碳酸盐逆向碎裂岩层岸坡典型劣化类型与机理256
6.5碳酸盐顺向岩层岸坡典型劣化类型与机理259
6.6碳酸盐岩平缓厚层岸坡典型劣化类型与机理270
6.7岩溶角砾岩不稳定岸坡典型劣化类型与机理272
6.8小结275
第7章水库消落带岸坡劣化带三维模型构建277
7.1概述277
7.2消落带三维岩体裂隙网络调查278
7.3消落带岩体裂隙网络数学模型与可视化290
7.4典型消落带岩体三维裂隙模型构建294
7.5典型岩体劣化空间分布分析302
7.6小结309
第8章水库消落带岸坡劣化参数试验测试研究310
8.1概述310
8.2国内外研究现状311
8.3消落带岩石多工况力学试验研究313
8.4库水位波动下岩石的劣化试验分析328
8.5基于原位试验的岸坡岩体劣化过程地质强度指标研究336
8.6小结354
第9章水库消落带岸坡劣化力学响应与长期稳定性355
9.1概述355
9.2塔柱状危岩体力学响应分析355
9.3碎裂岩体岸坡力学响应分析367
9.4顺层岩体岸坡力学响应分析384
9.5岩溶角砾岩岸坡力学响应分析391
9.6小结413
第10章三峡库区岩质岸坡成灾模式与涌浪风险评价415
10.1概述415
10.2典型岩质岸坡成灾模式415
10.3柱状危岩体崩塌的涌浪产生机制研究429
10.4典型柱状危岩滑坡涌浪预测分析440
10.5水库滑坡涌浪风险评价研究450
10.6小结467
第11章失稳岸坡应急整治工程研究——巫峡龚家坊滑坡469
11.1概述469
11.2巫峡龚家坊岸坡工程地质条件469
11.3库区下三叠统反倾碎裂岩层岸坡易滑结构特征472
11.4巫峡龚家坊反倾碎裂岩层岸坡结构与稳定性479
11.5蓄水运行反倾碎裂岩层岸坡渗流稳定性分析490
11.6失稳岸坡应急防治设计研究499
11.7小结504
第12章临失稳岸坡防治工程研究——巫峡箭穿洞危岩506
12.1概述506
12.2巫峡箭穿洞危岩工程地质特征507
12.3巫峡箭穿洞危岩结构与演化特征509
12.4蓄水运行期箭穿洞危岩基座劣化过程评价519
12.5基于175m蓄水运行的箭穿洞危岩体稳定性分析521
12.6箭穿洞危岩入江涌浪灾害风险评估539
12.7库水动力作用下箭穿洞危岩体防治设计研究547
12.8特大型高陡临失稳岩体防治施工技术551
12.9讨论与建议557
12.10小结557
第13章亚失稳岸坡防护工程研究——巫峡板壁岩危岩559
13.1概述559
13.2巫峡板壁岩危岩概况560
13.3巫峡板壁岩危岩变形特征564
13.4巫峡板壁岩危岩稳定性分析571
13.5巫峡板壁岩危岩防治示范性设计580
13.6小结591
第14章劣化岸坡生态地质修复工程——巫峡茅草坡岸坡593
14.1概述593
14.2巫峡茅草坡库岸段概况593
14.3巫峡茅草坡库岸段变形特征及稳定性分析598
14.4巫峡茅草坡库岸试验性防护修复工程实例615
14.5巫峡茅草坡库岸生态修复工程探讨624
14.6小结635
第15章三峡库区长期地质安全保障研究636
15.1概述636
15.2库区地质灾害防治基本情况636
15.3库区移民城镇地质灾害防治638
15.4蓄水运行期间地质灾害特征651
15.5库区长期地质安全风险控制研究656
15.6小结660
参考文献662
后记683
序一
序二
前言
绪论1
0.1研究背景1
0.2主要研究内容2
0.3章节安排及分工5
0.4主要科技创新11
第1章新三峡库区地质环境与地质灾害13
1.1概述13
1.2新三峡库区地质环境变迁对比研究13
1.3175m水位试验性蓄水与地质灾害25
1.4水位升降速率对地质灾害的影响分析29
1.5水库水位调度与地质灾害发生规律32
1.6小结35
第2章三峡库区地质灾害监测预警研究36
2.1概述36
2.2三峡库区地质灾害监测预警系统建设36
2.3库区地质灾害监测技术42
2.4消落带岩体劣化监测技术51
2.5地质灾害风险预警理论与实践概论67
2.6小结85
第3章蓄水运行顺层基岩古滑坡复活失稳机理86
3.1概述86
3.2藕塘滑坡工程地质与易滑结构86
3.3藕塘滑坡成因及演化模式研究100
3.4藕塘滑坡复活变形及特征研究111
3.5库水位与降雨耦合作用下藕塘滑坡变形机理研究124
3.6藕塘滑坡复活滑动模式与防治措施研究137
3.7小结147
第4章蓄水运行堆积层滑坡复活失稳机理149
4.1概述149
4.2三峡库区典型堆积层滑坡工程地质及变形特征149
4.3典型堆积层滑坡物理力学性质研究158
4.4蓄水运行下凉水井滑坡渗流稳定分析162
4.5三峡库区堆积层滑坡复活失稳风险评价模型178
4.6堆积层滑坡防治工程182
4.7小结187
第5章三峡库区水力型滑坡防治工程研究189
5.1概述189
5.2巫山塔坪滑坡地质背景190
5.3蓄水运行期巫山塔坪滑坡复活滑动特征194
5.4巫山塔坪滑坡水文地质结构与渗流特征200
5.5基于175m试验性蓄水运行的巫山塔坪滑坡稳定性分析205
5.6库水动力作用下塔坪滑坡防治设计模式研究222
5.7库水动力型滑坡防治工程施工技术探讨242
5.8讨论与建议243
5.9小结244
第6章水库消落带岸坡劣化特征与机理245
6.1概述245
6.2三峡库区岸坡劣化带发育分布特征245
6.3红层碎屑岩岸坡典型劣化类型与机理248
6.4碳酸盐逆向碎裂岩层岸坡典型劣化类型与机理256
6.5碳酸盐顺向岩层岸坡典型劣化类型与机理259
6.6碳酸盐岩平缓厚层岸坡典型劣化类型与机理270
6.7岩溶角砾岩不稳定岸坡典型劣化类型与机理272
6.8小结275
第7章水库消落带岸坡劣化带三维模型构建277
7.1概述277
7.2消落带三维岩体裂隙网络调查278
7.3消落带岩体裂隙网络数学模型与可视化290
7.4典型消落带岩体三维裂隙模型构建294
7.5典型岩体劣化空间分布分析302
7.6小结309
第8章水库消落带岸坡劣化参数试验测试研究310
8.1概述310
8.2国内外研究现状311
8.3消落带岩石多工况力学试验研究313
8.4库水位波动下岩石的劣化试验分析328
8.5基于原位试验的岸坡岩体劣化过程地质强度指标研究336
8.6小结354
第9章水库消落带岸坡劣化力学响应与长期稳定性355
9.1概述355
9.2塔柱状危岩体力学响应分析355
9.3碎裂岩体岸坡力学响应分析367
9.4顺层岩体岸坡力学响应分析384
9.5岩溶角砾岩岸坡力学响应分析391
9.6小结413
第10章三峡库区岩质岸坡成灾模式与涌浪风险评价415
10.1概述415
10.2典型岩质岸坡成灾模式415
10.3柱状危岩体崩塌的涌浪产生机制研究429
10.4典型柱状危岩滑坡涌浪预测分析440
10.5水库滑坡涌浪风险评价研究450
10.6小结467
第11章失稳岸坡应急整治工程研究——巫峡龚家坊滑坡469
11.1概述469
11.2巫峡龚家坊岸坡工程地质条件469
11.3库区下三叠统反倾碎裂岩层岸坡易滑结构特征472
11.4巫峡龚家坊反倾碎裂岩层岸坡结构与稳定性479
11.5蓄水运行反倾碎裂岩层岸坡渗流稳定性分析490
11.6失稳岸坡应急防治设计研究499
11.7小结504
第12章临失稳岸坡防治工程研究——巫峡箭穿洞危岩506
12.1概述506
12.2巫峡箭穿洞危岩工程地质特征507
12.3巫峡箭穿洞危岩结构与演化特征509
12.4蓄水运行期箭穿洞危岩基座劣化过程评价519
12.5基于175m蓄水运行的箭穿洞危岩体稳定性分析521
12.6箭穿洞危岩入江涌浪灾害风险评估539
12.7库水动力作用下箭穿洞危岩体防治设计研究547
12.8特大型高陡临失稳岩体防治施工技术551
12.9讨论与建议557
12.10小结557
第13章亚失稳岸坡防护工程研究——巫峡板壁岩危岩559
13.1概述559
13.2巫峡板壁岩危岩概况560
13.3巫峡板壁岩危岩变形特征564
13.4巫峡板壁岩危岩稳定性分析571
13.5巫峡板壁岩危岩防治示范性设计580
13.6小结591
第14章劣化岸坡生态地质修复工程——巫峡茅草坡岸坡593
14.1概述593
14.2巫峡茅草坡库岸段概况593
14.3巫峡茅草坡库岸段变形特征及稳定性分析598
14.4巫峡茅草坡库岸试验性防护修复工程实例615
14.5巫峡茅草坡库岸生态修复工程探讨624
14.6小结635
第15章三峡库区长期地质安全保障研究636
15.1概述636
15.2库区地质灾害防治基本情况636
15.3库区移民城镇地质灾害防治638
15.4蓄水运行期间地质灾害特征651
15.5库区长期地质安全风险控制研究656
15.6小结660
参考文献662
后记683
猜您喜欢
