自然科学
-
数字一点不老实[英]汤姆·芝华士,[英]大卫·芝华士 著我们时常遇到大量统计数据,如占比、患病率、风险值等。大量或显或隐的数字,都可能因误读或误用而扭曲真相,要读懂它们进而做出合理判断,“统计意识”不可或缺。 本书帮读者了解数字方面的22个常见错误和花招,它们出现在评价速度和重要性的大小、准确率和排名的高低等众多情境中。本书会告诉你各种数字的采集和表达过程可能出现哪些偏差进而产生“睡前看屏幕会死人”等误导性看法,负责可信的统计数据工作又该遵循怎样的指南。
-
现代优化方法李庆娜书主要包含以下内如:**化问题的简介,凸分析基础,无约束优化的理论及线搜索算法框架,信赖域算法,线搜索收敛性分析及收敛速度分析,半光滑牛顿算法,共轭梯度算法,约束优化理论及延伸理论,罚方法,增广拉格朗日算法及算法在实际问题(支持向量机模型、超图匹配)中的应用。本书对知识点的分析紧密结合当前研究前沿问题,并通过对应用问题使用优化算法,让学生看到优化理论与实际数据的结合,将知识点以全方位的立体感呈现给学生。
-
中国学科发展战略·原子分子与团簇物理中国科学院本书主要介绍了原子与分子物理学科中的原子分子结构、光谱和碰撞,先进光源与原子分子物理,冷原子物理及其应用,奇异的原子分子团簇四个前沿领域,着重论述了各个方向的科学问题,研究目的和意义,国内外研究现状、特色、优势和不足,以及对未来发展的建议和意见。
-
强场激光物理沈百飞本书主要介绍超强超短激光与等离子体相互作用的基本理论和实验方法,重点为强场激光的相对论效应和量子电动力学效应。前三章为一些理论介绍,包括强场激光、强激光与电子、原子和团簇相互作用以及等离子体物理基础理论;第4、5章分别为强激光与稀薄等离子体和固体靶相互作用;第6章简单介绍传统加速器和高能粒子束,为后面几章作准备;第7~9章为强场激光的重要应用,即强激光驱动的高能电子束、高能离子束和强辐射源;第10、11章为强场激光在等离子体和真空中的量子电动力学效应;第12章介绍激光核物理。
-
离散优化简明教程史永堂、郭强辉、黄申为离散优化是现代应用数学的一个重要分支,属于数学与运筹、优化、统计、数据分析等多个交叉领域的范畴。离散优化问题存在于现实世界的各个角落,目前人工智能、数据科学、网络安全等新兴学科和领域的急剧发展,也促使了大量大规模离散优化问题的诞生,由此也带来了离散优化领域新的发展和挑战,离散优化领域得到越来越多的重视和关注。 本教材在编者历年讲授的讲义基础上,整理完善而成,其中包含了离散优化领域的经典问题和基本理论方法,每章相对独立,又有关联,便于教师讲授和学生学习。书中包含了大量例题和习题,有理论的证明,有程序的实现,也有书中例题和算法的延伸,适合不同专业学生有针对性的选做。编者也做了大量的调研和专家咨询,相信本书必将得到数学、应用数学、运筹学、数据科学、统计学、人工智能、计算机科学、网络安全、计算生物学等多个领域学生的青睐。
-
随机平均法及其应用朱位秋随机平均法是研究非线性随机动力学最有效且应用最广泛的近似解析方法之一。本书是专门论述随机平均法的著作,介绍了随机平均法的基本原理,给出了多种随机激励(高斯白噪声、高斯和泊松白噪声、分数高斯噪声、色噪声、谐和与宽带噪声等)下多种类型非线性系统(拟哈密顿系统、拟广义哈密顿系统、含遗传效应力系统等)的随机平均法以及在自然科学和技术科学中的若干应用,主要是近30年来浙江大学朱位秋院士团队与美国佛罗里达大西洋大学Y.K. Lin院士和蔡国强教授关于随机平均法的研究成果的系统总结。本书论述深入浅出,同时提供了必要的预备知识与众多算例,以利读者理解与掌握本书内容。
-
大连海藻图鉴李晓丽,苏延明,孙丕海暂缺简介...
-
云南九大高原湖泊的硅藻李艳玲,罗潋葱,罗粉内容简介云南九大高原湖泊(滇池、洱海、抚仙湖、程海、泸沽湖、杞麓湖、异龙湖、星云湖和阳宗海) 是中国断裂构造型湖泊的典型代表。本书收录了云南九大湖泊硅藻植物,采用国际硅藻**分类系统,详尽描述了硅藻73属385种及变种。书中包括每个种的拉丁名、鉴定文献、形态学特征及分布等信息,并附有光学显微镜照片和部分扫描电镜照片,便于读者查询。
-
中国传统科学技术思想史研究·隋唐卷吕变庭本书旨在对隋唐时期的科技发展进行全面考察,通过对隋唐时期诸多科技名著本身所蕴含思想的剖析和解读,重点探讨科学技术思想发展的总体状况,试图较为清晰地勾勒出这一时期科技史发展的学术脉络,并对隋唐时期科技思想辉煌发展历史进行全面审视和反思。此外,本书还对这一时期中国科学技术思想历史的总体状况进行研究,着重考察医学家、地理学家、天文学家、农学家等与科学技术发展的关系,以期为当代科技发展提供历史借鉴。
-
XBRL财务报告元数据一致性研究张颖敏XBRL(eXtensible Business Reporting Language,可扩展商业报告语言)是基于XML的企业报告标记语言,目前主要用于企业对外财务报告的信息处理。经过20多年的推广与应用,XBRL财务报告已经成为最有效的网络财务报告形式。本书从XBRL财务元数据一致性控制的角度出发,分析了XBRL财务报告的时态与分布式特征。同时运用描述逻辑、本体建模、逻辑推理等方法和工具,研究了XBRL财务报告分类标准和实例文档元数据的形式化表示方法;探索XBRL分类标准时态版本迁移的结构化管理机制以及多个组织之间XBRL财务报告的数据映射规则;剖析了 XBRL财务元数据逻辑推理的不一致检测需求,进而研究同一组织和多个组织之间 XBRL财务元数据不一致性的冲突和消解方法,并开发相应的原型系统加以验证。