司法证明原论

本书分上下两卷，共九章：司法裁判场域中的事实、为什么需要事实、需要什么样的事实、争诉事实为什么需要证明、事实证明的可能与本质、事实证明的有效性、事实命题学说述评、证明标准与两种真实、四种哲学观点...

纯粹数学与应用数学专著 典藏版 第31号 图的可嵌入性理论 第2版

区域水资源可持续利用管理理论与应用

本书以可持续发展理论为指导，以区域水资源的可持续利用为目标，对水资源评价规划、水资源开发利用与保护、水资源优化配置等方面进行了探讨和研究，并展示了以此理论研究成果及相应数学模型和计算方法为依据开发...

数据挖掘算法原理与实现

本教材首先分析数据挖掘各种算法原理，然后引入实例对数据挖掘算法的原理进行剖析，接着通过给出算法的源程序（非伪代码）让读者对数据挖掘算法有更加深入地理解，随后总结算法的优缺点使得读者更加清楚算法的特点，.....

智能优化算法与涌现计算

智能优化算法与涌现计算是多种前沿学科交叉融合的结晶。主要包括：模拟人脑思维、人体细胞、器官等的仿人智能优化算法；模拟群居动物觅食或繁殖行为的群智能优化算法；模拟人类社会进化的进化算法；模拟植物生长的...

数学模型方法与算法

本书是普通高等教育“十五”国家级规划教材，共有2篇：确定性模型，随机与数据分析模型，包括11章：数学模型的概述，确定性模型，初等模型，微分方程模型，非线性系统的稳定性，优化模型，网络与复盖模型，逻辑模型，......

刑事证明标准研究

本书是以有罪判决证明标准为主线首先搞清楚大陆法系、英美法系及我国刑事证明标准的历史沿革、产生原因、实践把握等客观情况。然后以历史研究的方法、比较研究的方法、实证研究的方法及案例研究的方法对我...

北极政治、海洋法与俄罗斯的国家身份 巴伦支海划界协议在俄罗斯的争议

随着北极冰雪融化，北极地区政治利益近年来增长迅速，俄罗斯作为拥有最长海岸线的北极国家，其北极政策成为各方瞩目的焦点。俄罗斯对于北极划界的最初立场体现在2010年《挪俄巴伦支海协议》之中，俄罗斯与挪威将两...

可再生能源与消费型社会的冲突

在过去的30年里，工业社会对能源的大量需求在未来能否得到保障的问题，引起了人们的极大关注。一些人认为，工业社会高度依赖的能源，如石油，将比原来想象的更加稀缺，另一些人认为，目前世界上的能源发现率大约是其......

射频可调谐器件及子系统的建模、分析与应用

本书系统论述了射频可调谐器件和子系统的建模、分析和应用，涵盖了射频可调器件特性、射频可调器件与网络的电路建模、非线性分析、可调匹配网络、匹配网络控制方法、可调滤波器与滤波频率自动控制环和可调天...