自然科学
-
低维自旋链中量子关联及量子相变尹少英,王相光,张玉琦本书基于一维自旋链模型,研究了量子纠缠、量子失谐、量子相干、量子速度极限的临界特征,以及在临界环境中的动力学演化,同时也讨论了一维自旋链的拓扑量子相变,以及量子费舍尔信息和量子相干对其的证认关系。本书研究内容从理论上加深了人们对量子信息科学的认识,为其在量子计算、量子测量、量子通信、凝聚态材料物理等领域的应用提供理论基础。本书可供高等院校相关专业本科生、研究生学习参考。 -
逝去的光影郝守刚本书是以油画的艺术形式展示自46亿年前地球诞生的太古宙开始直至全新世各地史时期陆地植物景观的画册。作为古植物学研究者的画作者,希望能将科学和艺术结合,去展现那遥远、宁静、深邃的史前植物世界的斑斓景色。画作主要依据我国各个地史时期丰富的化石资料,综合古生物学家的重要典型研究成果,以油画的形式复原了各地史时期陆地植物景观36幅,并附有通俗易懂的文字说明,展示了漫长的前显生宙藻菌发展时代,以及显生宙以来的地衣苔藓、蕨类植物、裸子植物及被子植物发展时代景观的演替,直至人类栽培作物景观的出现。 -
金沙江流域极端气候特征及融合数据应用郭丹丹 刘国东 何继坤本书共7章,第1章介绍了典型数据产品及气候事件研究进展,第2章介绍了极端气候指数及其研究方法,第3章对流域极端气候事件阈值空间分布及趋势变化进行了分析,第4章对流域极端降水特征与趋势进行了分析,第5章对流域极端气温特征与趋势进行了分析,第6章介绍了融合数据极端气候指数空间应用,第7章为总结与展望。 -
云南大山包黑颈鹤国家级自然保护区鸟类图鉴吴太平,赵子蛟,李世俊 主编本书是一部介绍云南大山包国家级自然保护区鸟类资源的专著。全书共收录云南大山包黑颈鹤国家级自然保护区鸟类16目43科117种。书中配以多幅鸟类精美彩色图片,全面介绍了鸟类识别要点、形态特征、生态习性、种群现状、居留状况及保护等级等详细内容。本书可为观鸟、鸟类监测研究、资源保护、自然科普教育等领域的人员提供有益参考,也可作为中小学生科普读物使用,是社会各界人士了解云南大山包黑颈鹤国家级自然保护区资源、景观、保护、社区发展等方面的必B书籍。 -
江苏气候服务手册项瑛,蒋薇 主编暂缺简介... -
无线网络的博弈论与机器学习(法)萨姆森·拉索尔斯,哈米杜·坦拜近年来,无人机(UAVs)已被用于建筑、商业交付、军事和民用战区等领域。随着应用的增加,对资源分配和能源管理的高级算法的需求也随之增加。众所周知,博弈论和机器学习是已经广泛应用于无线通信领域的两个强有力的工具,关于博弈论和机器学习在无线通信中的应用有很多研究。然而,现有的调查都集中在博弈论或机器学习,由于这一事实,目前的文章研究了在无线通信网络(U-WCNs)无人机中使用的博弈论和机器学习算法。本文还讨论了如何将博弈论和机器学习相结合来解决U-WCNs中的问题,并确定了未来的研究方向。 -
致密气藏沉积相重建及动力学恢复张金川本书以欧洲西北部二叠纪盆地为例,为分析复杂的致密气藏提供了一种综合学科研究法。虽然这一盆地有着悠久的勘探开发历史,但先前德国的研究工作重点集中在地震和电缆测井资料的整个盆地演化与基于岩心数据的储层成岩作用。此外,在对识别盆地内部多期构造元素的活化和区别同构造与二维构造复原建模及类型方面所做的研究工作也很少。因此,笔者使用的综合学科研究法包括地质和地球物理分析、遥感技术、盆地构造的二维变形后建模以及测井分析和岩心分析。 -
全球溯源中心中共广州南沙经济技术开发区工作委员会 政策研究和创新办公室 组织编写谢伟主编由中共广州南沙经济技术开发区工作委员会政策研究和创新办公室组织编写的《全球溯源中心—— 数字经济时代的南沙方案》一书,对我国发展溯源体系做出了较高水平的诠释,有助于我国数据基础制度的建设。本书基于“全球溯源中心”实践,遵循了提出问题、分析问题和解决问题的思路,以全球溯源中心建立的背景和意义为出发点,详细介绍了溯源中心的发展现状与溯源理论体系,着重从技术、平台、标准体系与法律制度四个维度分析溯源中心的运行模式,再将问题回归实践,并附上最新案例。更难得的是,该书还讨论了与溯源中心相关的前瞻性问题, 开展了“ 数据权益分配、国际规则、离岸贸易、碳排放、DEPA(数字经济伙伴关系协定)”等一系列前沿专题研究。《全球溯源中心——数字经济时代的南沙方案》一书既可以为决策者提供咨询参考,也可以成为从事溯源相关工作的人员手头常备的工具书,还可以作为数字经济领域相关研究者开展深入研究的基础书籍。 -
分数阶系统高阶逻辑形式化验证赵春娜,蒋慕蓉本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式,即允许微积分方程中对函数的阶次选择分数,而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具,它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种,它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化验证为切入点,系统性研究了分数阶系统的求解、近似化、控制器设计与高阶逻辑形式化分析验证等内容。 -
概率论与数理统计柯忠义,周大镯 主编本书是一本供非数学专业使用的概率论与数理统计教材. 全书共分为十章,内容包括随机事件和概率、离散型随机变量及其分布、连续型随机变量及其分布、随机变量的数字特征、大数定律和中心极限定理、参数估计、假设检验、方差分析与回归分析、统计软件SPSS简介. 每一章节后面有相当数量的习题,在书末配有参考答案,供读者参考. 为了使学生对这门课程在现实生产、生活中的应用有一个感性的认识,在每一章的 都提供了一篇课外拓展阅读,以提高学习兴趣和应用意识.章 随机事件和概率第二章 离散型随机变量及其分布第三章 连续型随机变量及其分布第四章 随机变量的数字特征第五章 大数定律和中心极限定理第六章 数理统计的基本概念第七章 参数估计第八章 假设检验第九章 方差分析与回归分析 第十章 Python基础及其在概率论与数理统计中的应用
