土质岸坡变形破坏浸泡-渗流耦合驱动理论及应用
《土质岸坡变形破坏浸泡-渗流耦合驱动理论及应用》,作者:陈洪凯, 唐红梅, 曾云松 出版社:科学出版社 ISBN:9787030475008。本书针对大型特大型水库土质岸坡防灾减灾问题，从库水位上升过程中对岸坡造成的浸泡作用和库水位降落过程中在岸坡内产生的渗流作用出发，揭示了土质岸坡稳定性随库水位升降的变化规律，建立了在浸泡.渗流驱动条件下的岸坡破坏模型，提出了基于浪蚀龛和土体临界高度的修正卡秋金
应用
电子商务网络协议的形式化分析理论与应用
《电子商务网络协议的形式化分析理论与应用》,作者:谢晓尧著 出版社:科学出版社 ISBN:9787030200327。本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论方法与实际应用。
筑构物下开采集中位移应变漏与大变形 : 矿山压力、岩层移动和地表移动的三维力学计算方法及其应用
《筑构物下开采集中位移应变漏与大变形 : 矿山压力、岩层移动和地表移动的三维力学计算方法及其应用》,作者:李增琪，杨硕著 出版社:科学出版社 ISBN:7030104862。本书应用的矿山压力、岩层移动和地表移动的三维力学计算方法，是一个世纪以来相依领域各国专家学者共同追求的目标，是我国自主产权的煤矿生产基础理论的重大突破，有限元法的症结是视层间黏固，而此法层间可自由错动并有一定磨擦力，这是对弹性
经济数学基础与应用 | 修订版
《经济数学基础与应用 | 修订版》,作者:胡国胜编著 出版社:科学出版社 ISBN:9787030143372。本书主要讲述微积分的基础知识及其在经济活动中的基本应用，主要内容包括函数、极限、一元函数微分、一元函数积分和二元函数微分等基础知识及其在经济、管理和金融等领域的应用等。
BDSim在卫星导航中的应用
《BDSim在卫星导航中的应用》,作者:杨俊等 出版社:科学出版社 ISBN:9787030483546。BDSim 软件是国内首款全球卫星导航系统仿真软件。BDSim 可模拟卫星运行真实环境，提供多样化的仿真场景服务，以及数据分析、数据共享和多种模型验证功能，能直观、全面地展现卫星导航系统的运作机理及运行流程。同时，BDSim 作为卫星导航领域国内首款开源软件，以“开源共享、共同开发”为理念，免
