本书系统深入地研究了辛几何理论、哈密顿动力学的公理化体系，并以四自由度串联机器人为例，研究了基于哈密顿动力学系统的形式化分析与验证方法的应用，为机器人动力学的安全设计提供了形式化验证理论和技术手段。全书主要内容包括：哈密顿模型的几何基础——辛流形空间的形式化、哈密顿模型和拉格朗日模型的勒让德映射关系的形式化、哈密顿方程

南北朝隋唐时期为古代方言研究的衰微期，宋代逐渐走出低谷，开始回升。上述时期的方言学史料极其零散，有北魏王长孙《河洛语音》、北魏刘昞《方言》、隋释智骞《方言注》、唐李商隐《蜀尔雅》、宋王浩《方言》、宋王资深《方言》等数部方言专书，但均已亡佚。《世说新语》《匡谬正俗》《酉阳杂俎》《容斋随笔》《困学纪闻》《癸辛杂识》等笔记杂

本书主要介绍金融经济学理论，包括风险与不确定性、偏好与期望效用理论、风险厌恶型投资者的投资行为、马科维茨投资组合理论、资本资产定价模型、一般均衡与资产定价、信息经济学与资产定价、套利定价模型、单周期市场及连续时间金融理论。同时还讨论了投资模型在我国金融市场的应用，包括投资模型的选择问题、股票-债券投资模型问题、国际化多

本书系统地介绍了气体吸附分离工艺与工程所涉及的相关技术进展，主要包括气体吸附分离基础、吸附分离的基本工艺过程、吸附分离装置的主要设备、吸附分离装置的控制系统及仪表、变压吸附工艺及工程应用、变温吸附工艺与工程应用、变压吸附工艺与其他分离工艺的工程耦合、变压吸附过程模拟计算、燃料电池用氢气的制备与纯化等内容，全面阐述气体吸

针对油田开发质量评价，本书首先挖掘政策、学术、区域发展、企业实践的高质量内涵和目标及其对油田高质量开发的启示，结合油田自身开发特征和实际开发现状，提出油田高质量开发内涵和目标；其次汇集油企及其他相关类型企业的高质量评价指标，经过指标分类—指标筛选与测验—优化完善等一系列环节，构建出油田开发质量评价指标体系，并在对指标赋

本书以南京师范大学地理科学学院本科生土壤地理学野外实习为基础结合中国科学院南京土壤研究所、青海大学等单位的**研究成果，为土壤地理学野外实习教学提供指导。全书共分5章。第一章介绍土壤学野外实习的目的、内容、方法和常用工具、设备及注意事项；第二章讲解土壤剖面调查方法，主要包括剖面的挖掘与修整和土壤剖面发生层划分与性状观察

本书解析了农田生态排水的概念、内涵及其架构，提出了农田生态排水指标及其确定原则与方法；研究了农田排水沟系及其氮磷阻控机制，提出了以沟渠潜流带结构重塑为核心的一体化农田生态排水沟设计理念和技术方法；建立了农田排水径流及地表水、地下水联合调控仿真模拟模型，通过模拟计算，提出并界定了不同目标的农田生态排水指标阈值，构建了从田

作为化学工程与能源行业的重要辅助设计工具，能源化工专业计算软件已广泛应用于能源与化工领域的生产、科研与教学过程。本书主要对化工设备与工艺系统的计算流体动力学分析、颗粒流体力学模拟分析、颗粒力学分析、分子模拟分析、工艺单元设备及过程模拟分析、环境与安全分析和化工项目经济性分析管理常用软件等进行了集中汇总与计算案例介绍。各

实施区域协调发展战略是新时代国家重大战略之一，县级单元之间协调发展是国家区域协调发展战略的重要组成部分。本书以四川省阆中市、苍溪县、南部县一体化发展为例，在空间组织、产业协作、设施建设、生态治理、民生保障、对外开放、制度改革等方面深入研究，系统性地提出县级单位之间协调发展的思路框架与具体路径，力争为国家进一步完善区域协

古鄞县是今宁波境域最初设立的四个县级政区之一，始置于秦汉时期，撤并于隋代开皇九年（589年），前后相沿800余年。2015～2018年，宁波市文物考古研究所（现宁波市文化遗产管理研究院）主持对古鄞县县治——鄞县故城所在的奉化西坞白杜城山一带持续开展了四年的考古工作，找到了鄞县故城的具体位置，印证了鄞县故城的兴废年代，厘