自然科学总论
-
结构推理冯棉结构推理是现代逻辑的重要推理方式之一,它通过对各种结构规则的研究,从整体上处理一大类逻辑,具有良好的表现力。与此同时,借助于结构规则和联结词规则,也揭示出各个现代逻辑分支的差异,成为诸分支比较研究的有力工具。结构推理展现了日常推理中的多种推理方式,对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。《结构推理(第二版)》研究命题逻辑的结构推理,涉及多种结构推理系统的建构,结构推理系统与相应公理系统的等价性,在语义理论的基础上,证明了各个结构推理系统的可靠性与完全性,并考察了正结合演算结构推理系统BL-D的可判定性,是探究这一逻辑前沿领域的力作。 -
TRIZ创新方法尚志武 著本书注重贯彻学以致用、理论联系实际的原则,对TRIZ创新方法的相关内容做了较为全面的介绍。 全书共9章,分别介绍了TRIZ的起源与发展及TRIZ解决方案、突破思维惯性的创新思维方法、问题分析方法、发明创新原理及应用、矛盾解决方法、物质-场模型与标准解系统、发明问题解决算法、科学效应和现象、技术系统进化理论等内容。全书配有大量应用案例,以方便读者理解。 本书知识结构编排合理,概念简洁、清楚,适合作为高等学校各专业双创教育、博雅教育的教学用书,也可作为科技工作者和工程技术人员的参考用书,还可作为继续教育的教学用书。 -
科学史十论席泽宗 著《科学史十论》论述了科学史与现代科学和历史科学之间的关系,回顾了悠久的中国科学传统,展望了这种优秀的科学传统在未来科学发展中的前景。特别是有关中国古代天文学在中国传统文化中的地位、社会功能及其在当代天文学中的应用等系列论述,对进一步发掘中国传统文化资源极具启发价值和现实意义。本书视野宏阔、分析精道,立论宏富,是一本不可多得的兼具科学性与人文性、学术性与普及性的优秀读物。 -
中国科普理论与实践探索中国科普研究所 著第二十六届全国科普理论研讨会于2019年10月在安徽省合肥市召开,由中国科普研究所和安徽省科学技术协会共同举办。会议主题为“新时代科普创新发展”,重点围绕“社会化参与、市场化运作、法制化约束、国际化交流、信息化支撑”的科普工作新体系展开研讨。《中国科普理论与实践探索:第二十六届全国科普理论研讨会论文集》收录了会议入选论文66篇,针对科普理念创新、科普方式转型、科学素质促进等方面进行了有益的探讨。 -
第三届世界科研诚信大会论文集[美] 尼古拉斯·斯特耐克,梅丽莎·安德森,萨宾·克莱纳特,托尼·梅耶 编,吴波,余慧明 等 译《第三届世界科研诚信大会论文集》收录了2013年在蒙特利尔召开的第三届世界科研诚信大会所作的报告。和前几届大会一样,蒙特利尔大会的参会者和发言人来源广泛,包括政府和机构负责人、政策制定者、期刊编辑、科研资助机构官员、科研人员、学生和博士后研究员、学术团体和院校代表、监督管理部门的代表,以及其他从事科研诚信相关主题实证研究的人员。蒙特利尔大会首次要求提交关于促进科研诚信的研究和政策的论文摘要,共收到来自世界各地的180多篇摘要。根据这些摘要,制定了大会的议程,包括主旨发言、全体大会、学术海报以及不同主题的分会。大会设置了四个议题的专题,分别是负责任科研行为教育、诚信与社会责任、面对疑似学术不端行为时机构与期刊之间的合作以及国际合作研究中的诚信问题。设立专题的目的是为了在大会召开期间提供一个专门的论坛,以期就相关话题能够达成一个共同文件,或是继续推进该话题的探讨,并最终获得一致的解决方法。 -
四川盆地新场气田Js21、Js23 储层精细描述王权锋 著《四川盆地新场气田Js21、Js23储层精细描述》以沉积岩石学、储层地质学、石油地质学、开发地质学和靠前外气藏描述等近期新研究理论为指导,应用新场气田的有关钻井资料、测井资料、录井资料、测试资料、气藏动态开发资料,对新场地区沙溪庙组Js21、Js23储层的地层、构造、沉积相、储层特征及其储量计算和评价进行了综合描述,在三维地质建模的基础上进一步找出Js21、Js23气藏未动用储量的分布规律。《四川盆地新场气田Js21、Js23储层精细描述》还对工区研究层段的储量做了计算,在三维地质建模的基础上算得Js21、Js23气藏储量。目前Js21气藏剩余未动用储量以Ⅱ类为主;Js23气藏剩余未动用储量以Ⅱ、Ⅲ类为主。 -
中国的科技创新之路李哲 著过去几十年,中国的经济发展取得了举世瞩目的成就,创造了第二次世界大战结束后一个国家经济高速增长持续时间长的奇迹。如何理解科学、技术和创新在这一成就中的作用,是回顾这段历史必须要回答的命题之一。《中国的科技创新之路:经验与反思》立足中国科技创新的实践,着眼于新知识新技术的产生、扩散和应用,以及与之相伴随的各种发展模式、制度的变化,从政府治理、区域差异、协同演化、文化因素、国际环境等宏观层面探讨了相关经验。当前,在世界新一轮科技革命和产业变革同中国转变发展方式的历史性交汇期,需要对这段历程进行必要的反思,以更好地把握国内外发展新形势,以问题为导向,以需求为牵引,推动以科技创新为核心的全面创新,将改革进行到底。 -
海道测量水位控制原理与方法许军,暴景阳,于彩霞 著《海道测量水位控制原理与方法》系统地阐述了水深测量和水下地形测量中的水位控制相关的理论与方法,主要内容包括:水位控制的基本原理;平均海面、深度基准面的传递技术;平均大潮高潮面的定义扩展、算法设计,海岸线定义的完善;传统水位改正方法的模型参数求解、时空规律、实施条件与评估方法;中国近海精密潮汐模型的构建,基于潮汐模型与余水位监控的水位改正法的实施及实例分析;中国近海深度基准面模型的构建;在航海动态水位保障、遥感测量模式下的海岸线推算等应用中,水位控制方法的基本原理及实例分析;基于GMT软件的潮汐图件制作、水位数据管理与计算及多站水位改正三种软件的功能、技术特点等。《海道测量水位控制原理与方法》可供海洋、测量等领域科技人员及高等院校有关专业的师生阅读参考。 -
长江经济带水源涵养生态补偿机制研究徐子蒙 著本书将长江经济带发展与生态补偿机制建设有机地结合起来,系统分析长江经济带水源涵养量的时空分布特点和流动变化特征,建立基于水源涵养空间流动和区域发展差异的生态补偿核算模型,提出长江经济带水源涵养生态补偿机制建设的政策建议,为建立跨行政区跨流域的生态补偿机制合作提供新的视角。从理论到实践,从科学探究到政策建议,让读者了解到生态补偿的巨大意义。本书并不是对于知识的简单介绍,而是在其中埋下了人类认知、知识进步、学科成长、应用发展的脉络,在知识点的介绍同时也让读者可以从中了解科学发展的一般规律。 -
数字水深优化建模及滚动球处理技术研究董箭,彭认灿,张立华,贾帅东 等 著数字水深模型构建技术直接决定了舰船航行的安全性与真实海底地形的表达程度,是近年来海洋测绘和航海领域研究的一个热点问题。《数字水深优化建模及滚动球处理技术研究》在系统梳理数字水深模型构建关键技术的基础上,创新性地将滚动球变换应用于数字水深模型的地形形态分析与控制中,对精确表达海底地形和保证舰船航行安全的数字水深模型构建方法进行了深入研究,形成了较为完善的数字水深模型构建理论与方法体系,为我国标准化、规范化海底地形建模提供了参考借鉴,为海洋国土权益维护、海洋资源开发、地学研究及海战场环境建设、武器装备使用等提供了相关理论与技术支持。《数字水深优化建模及滚动球处理技术研究》可供海洋测绘、地理信息系统、航海和海洋等专业的高等院校师生及相关领域的科技人员阅读参考,也可作为海洋测绘专业研究生课程教材使用。
