湘桂地区新元古代地层序列物源分析与构造演化
《湘桂地区新元古代地层序列物源分析与构造演化》,作者:牛志军等 著 出版社:科学出版社 ISBN:9787030651327。扬子与华夏陆块拼合、碰撞时限及方式是华南重大基础地质问题。湘桂地区处于两大块体过渡区域，前寒武纪地层分布广，沉积类型复杂，连续的沉积记录为从地层学角度认识这一重大地质问题提供了思路。本书从新元古代不同相区典型剖面沉积相、沉积物源、重要构造界面等方面对比分析入手，以亲扬子型物
构造
银额盆地构造热演化史与油气成藏
《银额盆地构造热演化史与油气成藏》,作者:任战利等 著 出版社:科学出版社 ISBN:9787030667694。本书是在充分利用野外地质调查、地震勘探、钻测录井及大量分析测试新资料分析的基础上，对银额盆地苏红图拗陷沉积构造热演化史与油气富集规律研究成果的全面总结，厘定了古生代和中生代不整合界面及地层层序，明确了古生代裂谷盆地和中生代断陷盆地的叠合盆地属性，分析了研究区内各时代地层及沉积相展
中国科学院长沙大地构造研究所集刊
《中国科学院长沙大地构造研究所集刊》,作者:中国科学院长沙大地构造研究所 出版社:科学出版社 ISBN:130312620。中国科学院长沙大地构造研究所近年来从事我国大地构造与成矿学的研究，积累了一定数量的成果，现选编15篇论文汇集成《中国科学院长沙大地构造研究所集刊》第1号。 陈国达教授于本集论述了多因复成矿床的成矿理论，并从地壳演化规律阐述其形成机理。其他各篇论文就是以地洼学说及其
形式化构件装配的领域算法构造
《形式化构件装配的领域算法构造》,作者:石海鹤,周卫星 著 出版社:科学出版社 ISBN:9787030668783。算法作为计算机软件的核心，其可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径之一。 本书结合著者所在学术团队已取得的软件形式化方法PAR及其支撑平台，将生成式程序设计的思想引入到算法开发中来，借助领域建模的概
塔里木叠合盆地构造沉积演化与油气勘探
《塔里木叠合盆地构造沉积演化与油气勘探》,作者:漆立新等 著 出版社:科学出版社 ISBN:9787030656612。本书以地层划分、对比为基础，以构造演化、古断裂分布、古隆起演化、古构造编图为重点，以沉积相、古地理演化、沉积充填模式建立为关键，以源储演化、成藏条件分析为过程，以远景区带预测为目的，开展了系统、深入、综合的研究和编图。本书主要内容包括大地构造格局及地层格架、盆地构造特征及演化、盆
塔里木叠合盆地构造解析和应力场分析
《塔里木叠合盆地构造解析和应力场分析》,作者:汤良杰，贾承造等著 出版社:科学出版社 ISBN:9787030199416。本书以现代盆地构造解析理论为指导，以塔里木叠合盆地为典型对象，论述了典型叠合盆地关键构造变革期构造转换对盆地建造与改造的制约等。
大陆边缘构造与地球动力学
《大陆边缘构造与地球动力学》,作者:周祖翼，李春峰著 出版社:科学出版社 ISBN:9787030212184。本书系统介绍了大陆边缘构造研究的地质与地球物理方法，阐述了大陆边缘从张裂到俯冲汇聚的构造与地球动力学过程，并且以实例介绍了我国重要边缘海的构造与演化。
中国科学院长沙大地构造研究所集刊. 第2号
《中国科学院长沙大地构造研究所集刊. 第2号》,作者:中国科学院长沙大地构造研究所 出版社:科学出版社 ISBN:130312991。本书运用地洼学说原理和成矿理论，对湖南铜山岭地区、江苏利国地区、衡阳地洼盆地、湖南香花岭地区地洼发展阶段的某些内生或外生矿产的成矿构造条件、矿床地质特征及找矿方向进行了系统的分析，对衡阳盆地白垩—下第三系沉积建造也作了初步探讨。 本书可供从事区域地质、找矿勘探
