图论作为数学的一个重要分支,已广泛应用于计算机科学、信息科学、生命科学、管理科学等领域。平面图是图论的主体内容。由于诸如四色猜想、唯一4-色平面图猜想和九色猜想等的研究对象均为极大平面图,故从1879年至今,学者们从各种角度展开了对极大平面图的研究。本书系统地介绍极大平面图的结构、构造及着色等相关理论,内容包括:基于放电变换的极大平面图乃至一般平面图的结构特征研究;四色猜想的计算机证明;极大平面图的几种构造方法;极大平面图生成运算系统;极大平面图色多项式递推公式;唯一4-色极大平面图猜想的研究;极大平面图中Kempe 变换与σ-特征图理论等。
本书以作者团队进行的农业、林业、草业、生态等学科试验及获得的调查数据作为主要研究对象,全面阐述数量研究方法在这些学科中应用的基本特征和学科特点,并总结归纳数量研究方法的灵活性、普适性和独特性;书中相关案例可作为农学、林学、草学、生态学及生物学应用的基本模式。
本书提出了时间序列混合智能辨识、建模与预测的理论和方法。内容分四篇共16章。篇阐述了时间序列分析的重要性,从文献计量学的角度对时间序列的**国际研究进展进行了归纳总结,系统阐述了当前国内外主流时间序列辨识、建模与预测的计算策略和经典算法体系;第二篇介绍了铁路沿线风速混合智能辨识、建模与预测理论方法,包括基于特征提取的GMDH神经网络、长短期记忆深度网络、卷积门限循环单元网络、Boosting集成预测和Stacking集成预测模型;第三篇提供了智慧城市大气污染物浓度的特征分析方法及浓度时间序列建模与预测模型,包括点预测、区间预测、聚类混合预测和时空混合预测等理论;第四篇对金融股票价格时间序列进行特征提取与混合预测,包括贝叶斯统计预测模型、BP/Elman/RBF等神经网络预测模型、CNN/LSTM/BiLSTM等深度网络预测模型。本书提供
本书建立一套从管道理论到传统供热管道应用再到创新拓展的完整的逻辑体系。主要包含理论基础和案例研究两个部分共四个篇章,开篇讲述了区域集中供热的基础概念、相关标准、发展历程、面临问题及未来的发展趋势。紧接着理论基础部分针对区域供热管网的基本特征安装及敷设方式做了介绍。案例研究分为三个篇章,其中第二篇章对不同结构的供热管道从安全性及经济性两方面着手进行了详细的数值研究;第三篇章在供热管道的基础上转向能源输运管道,输运介质从原来的热水、热蒸汽转向了石油天然气;最后第四篇章将传统供热刚性管道数值研究技术革新并成功应用到了生物弹性血管的研究方面,利用工学的数值模拟技术解决医学临床问题。
本卷收录了吴文俊的Mechanical Theorem Proving in Geometries:Basic Principles 一书。 书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。 因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。 可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。 前两章是关于几何机械化的预备知识, 集中介绍了常用几何; 后四章致力于几何的机械化问题。 第3 章为几何定理证明的机械化与Hilbert 机械化定理, 第4, 5 章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理, 第6 章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
在当前面临局部性地缘事件频发、全球经济复苏和气候变化等多重挑战的背景下,准确预测原油价格变动显得尤为关键。本书通过大量的实证研究和案例分析,以简明的语言呈现了复杂的波动率预测模型理论,并对现有流行的