小说 青春文学 中国散文 外国散文 悬疑推理 文学理论 文集 世界名著
外国小说| 中国当代小说| 中国古典小说| 中国近现代小说| 悬疑推理| 科幻小说 世界名著 四大名著| 作品集| 更多
外国诗歌| 中国古诗词| 中国现当代诗歌| 外国散文| 中国现当代散文| 中国古代散文 文学理论| 文集| 戏剧| 更多
玄幻/科幻| 悬疑/惊悚| 叛逆/成长| 爆笑/无厘头| 校园| 港台青春文学| 外国青春文学 更多
历史 哲学/宗教 社会科学 政治军事 传记 文化 古籍 管理 经济 成功励志 法律 语言文字
中国史| 世界史| 地方史志| 历史知识读物| 史料典籍| 史学理论| 考古文物 民族史志
政治| 军事| 中国政治| 国际政治| 外交/国际关系 哲学| 宗教| 美学 哲学知识读物| 中国古代哲学
历代帝王| 历史人物| 科学家| 体育明星| 文学家| 学者| 艺术家| 文娱明星 政治人物| 自传| 更多
世界文化| 中国文化| 中国民俗| 地域文化| 文化理论| 文化评述| 神秘现象
心理学| 人类学| 教育| 社会学| 新闻传播出版| 语言文字| 更多
古籍整理| 经部| 史类| 子部| 集部
经济理论| 中国经济| 国际经济| 经济通俗读物| 保险| 会计| 金融投资 市场营销| 管理学| 电子商务
成功激励| 口才演讲| 名人励志| 人际交往| 人生哲学| 心灵修养| 性格习惯 更多
法的理论| 法律法规| 国际法| 经济法| 更多
中国儿童文学 外国儿童文学 科普读物 绘本 动漫/卡通 幼儿启蒙
中国儿童文学| 外国儿童文学| 童话| 小说| 寓言传说|
动漫/卡通
科普| 百科| 历史读物| 生活常识| 益智游戏| 传统文化
幼儿启蒙| 少儿英语| 励志/成长| 艺术课堂
0-2岁| 3-6岁| 7岁及以上
绘画 书法篆刻 艺术理论 摄影 音乐
绘画理论| 国画| 油画| 素描速写| 水粉水彩
碑帖| 技法教程| 书法理论| 硬笔书法| 字帖| 篆刻
设计| 摄影后期| 摄影教程| 摄影理论| 摄影器材| 数码摄影| 作品集
影视理论| 影视赏析| 影视制作| 舞台/戏曲艺术
钢琴| 吉它| 理论/欣赏| 声乐| 通俗音乐| 外国音乐| 中国民族音乐| 作曲/指挥
宝石| 雕品| 古代家具| 钱币| 收藏百科| 收藏随笔| 书画| 陶瓷| 玉器
艺术理论| 雕塑| 工艺美术| 建筑艺术| 民间艺术| 人体艺术| 艺术类考试
美食 保健/心理健康 旅游 家庭教育 家居休闲
饮食文化| 保健食谱| 家常食谱| 八大菜系| 餐饮指南| 世界美食| 更多
健康百科| 健身| 心理健康| 中老年| 中医保健 常见病| 更多
旅游随笔| 旅游攻略| 旅游画册| 城市自助游| 国内自助游| 国外自助游| 地图地理 更多
孕产百科| 育儿百科| 更多
美丽妆扮| 两性关系| 家居休闲| 个人理财
中小学教辅 外语 教材 医学 计算机 自然科学
语文阅读| 拓展读物| 高考| 初中通用| 高中通用| 工具书 教师用书| 更多
英语读物| 职业英语| 英语考试| 大学英语| 少儿英语 更多
研究生/本科/专科教材 | 职业技术培训| 中小学教材|
操作系统/系统开发| 数据库| 信息安全 程序设计| 电脑杂志| 计算机教材| 计算机考试认证 计算机理论| 计算机体系结构| 家庭与办公室用书| 企业软件开发与实施| 人工智能 软件工程/开发项目管理|
考试| 家庭教育| 自然科学| 科普读物| 医学| 农林业| 工业技术| 建筑
笔记本 布艺品 书签/藏书票
笔记本| 布艺品| 书签/藏书票| 明信片| 笺纸| 胶带| 其它
本卷收录了吴文俊的MechanicalTheoremProvinginGeometries:BasicPrinciples一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等.全书共分六章.前两章是关于几何机械化的预备知识,
本书以中国西北典型荒漠植物为研究对象，应用植物生理生态学、生态水文学、气象学、同位素和荧光示踪技术等多学科的理论与方法，了解不同荒漠植物大气水汽吸收现象，探讨非饱和大气湿度条件下植物大气水汽吸收的边界条件，分析水汽由叶到茎（不同茎级）再到根的传输过程与利用量，建立水汽吸收量估算模型，进而估算生长季植物大气水汽利用量；通过荧光示踪、气-植-土系统水势监测分析，揭示不同荒漠植物水汽吸收部位，探索植物吸收水汽的分子生物学响应机制以及水势动力
《黑河流域植被格局与生态水文适应机制》在集成黑河流域前期研究成果的基础上，采用野外调查、实验观测、遥感解译、模型模拟和情景分析等方法，编制全流域1：10万植被类型图，构建黑河流域生态水文参数集，制订全流域生态情景集，揭示黑河流域植被空间分布格局与多尺度生态适应性，评估黑河流域水资源与生态需水现状及存在的问题，提出黑河流域生态安全和社会经济可持续发展的政策建议，可为黑河流域生态水文综合模型构建和管理决策提供科学支撑...
本书是对“黑河流域生态－水文过程集成研究”重大研究计划集成项目“黑河流域上游生态水文过程耦合机理及模型研究”成果的全面总结和提升，主要内容包括：黑河上游山区生态水文特征与机理；高寒山区流域水文过程，尤其是积雪与融雪、冰川消融、土壤冻融等过程；高寒山区流域分布式生态水文模型的构建与验证；基于分布式生态水文模型的黑河上游生态水文模拟与预测，包括对过去50年冻土生态水文过程的模拟和未来50年冻土生态水文过程的预测；基于数值模拟结果的黑河上游
本书基于长江水文泥沙分析管理系统平台和数据挖掘技术，在改进泥沙测验方法与技术的基础上，依据翔实而系统的实地调查、水文泥沙监测及空间遥感等海量数据，分析长江上游泥沙时空变化特征，全面筛查泥沙变化的影响因素，量化降水、水土保持、水库拦沙等主要因子对长江上游泥沙变化的贡献率，阐明长江上游在人为与自然双重驱动力作用下泥沙输移的内在机理，算清了长江上游的“沙账”。本书可供从事泥沙运动力学、河床演变与河道治理、水库调度、防洪减灾、水土保持、生态环
本书从地图制图的角度，系统介绍室内位置地图建模和制图的技术方法。全书共分七章。第一章阐述地图与位置服务，室内位置地图概念特征和发展；第二章室内位置地图概念建模，包括室内位置地图构成要素、层次模型、认知模式等；第三章室内位置地图数据建模，包括空间数据、语义数据建模方法；第四章室内位置地图情境建模原理和方法；第五章室内位置地图表达建模，包括表达模型构建的约束条件和建模方法；第六章情境驱动的室内位置地图动态制图技术，包括动态制图的机制、符号
2006年以来，海洋发展战略研究所组织编写了关于中国海洋发展的系列年度研究报告。本书结合2022年海洋事业的发展和海洋领域的重大事件， 从中国海洋强国政策与管理、海洋经济高质量发展与科技创新、海洋生态文明建设、海洋法治建设与权益维护、全球海洋治理与海洋生命共同体等方面展开论述，客观评价海洋在实现“两个一百年”奋斗目标、实施可持续发展战略中的作用，系统梳理国内外海洋事务发展现状。 并对社会和公众关注的一些海洋热点和难点问题进行了评述，为
本书是新疆维吾尔自治区气象台适应气象业务新发展的创新业务产品之一，全书共分4章：第1章概述了2022年新疆天气气候特点，并绘制了2022年年降水、气温、大风、沙尘、冰霍、大雾等灾害性天气统计分布图；第2章按天气过程出现时间先后顺序，给出了2022年90场天气过程索引表，包括时间、类型、强度及灾情等信息：第3章对2022年31场中度及以上强度天气过程暴雪、寒潮、暴雨、强对流、大风、沙尘暴、高温等天气实况以及灾害性天气分别详细描述，给出过
本书以科普的形式，详细阐述了计算光学成像的基础知识和实践应用。通过专题讲解的形式，深入浅出地讲述了光场、光学系统设计、偏振、散射成像、相位、计算照明、计算光学成像中的数学问题、计算成像的编码等计算光学成像的关键技术，阐述了超快成像技术、计算探测器、深度学习、超分辨率、量子成像、微纳光学等前沿技术与计算光学成像的融合。本书用通俗易懂的语言、形象直观的插图，将计算光学成像技术娓娓道来，不仅可以为计算光学和光学成像等领域的初学者建立一个完整
科普中国智库是中国科协打造的高端科普智库，将聚焦科普和科学素质建设，强化科普理论研究，促进跨界交流，推动融合发展，加强舆论引导，集智汇力，建言献策，服务新时代科普事业高质量发展。由中国科协指导、中国科普研究所主办的“科普中国智库论坛暨第二十九届全国科普理论研讨会”于2022年9月29日召开，论坛主题为“融合赋能 变革转型——构建大科普新格局”。为更广泛地传播会议学术成果，主办方将大会学术委员会遴选的优质论文结集出版。此论文集的出版将推
本书是一部介绍北极植物资源与生态环境的专著。北极位于地球最北端，气候寒冷，强辐射，极昼极夜交替，在这种特别环境条件下却生长着多样性极其丰富的苔原植物。自2011年以来，中国科学院植物研究所植物演化生物学团队多次派人参加每年度的黄河站科学考察，参与站基陆地生态环境业务化观测，详细调查了北极斯瓦尔巴群岛朗伊尔城和新奥尔松的主要植物资源，以及北极苔原、湖泊、石环、冰川等典型生态环境和地貌；除了现代植物资源，同时也收集了化石植物资源和花粉资源
海岸带是经济社会发展的“黄金地带”与生态环境的“警戒地带”。本书作者综合运用法学、管理学、海洋科学、环境科学等多学科知识，系统阐述了海岸带管理立法的现实基础和理论基础，深入研究了美国、英国以及我国台湾地区、福建省、海南省、山东青岛市、山东威海市等地海岸带管理立法的经验与探索，在此基础上分别从立法目的、海岸带范围、海岸带综合管理框架、海岸带规划、海岸带保护、海岸带整治修复、海岸带利用以及保障监督机制等几个方面，研究提出了我国海岸带管理立
本书试图用科普的语言，以典型非晶物质如玻璃、非晶合金、过冷液态为模型体系来全面介绍非晶物质在整个物质世界的位置，非晶材料研发、发展和应用历史以及对人类历史和社会、科学发展的重大作用，重点阐述非晶物质科学中的主要概念，非晶物质科学研究方法、理论模型、重要科学问题和难题，非晶物质形成机理，结构特征、表征方法和模型，非晶物质的本质、热力学和动力学特征、非晶物质和时间、维度的关系、非晶物质中的重要转变--玻璃转变、非晶物质的流变特征和断裂特征
《安吉野生动物资源调查研究》凝聚了省、市、县三级动物调查者和研究者的多年心血，记录了野生脊椎动物38目126科472种，含安吉县县级新分布记录91种，其中包括湖州市市级新分布记录29种。本书为读者提供了准确的信息和数据，希望能在当地野生动物研究、教学、科学普及、生物多样性保护等多领域发挥重要作用，助力当地动物资源保护和监测水平的提升，并进一步增强公众热爱野生动物、保护野生动物的意识，为建设人与自然和谐共生的美丽中国做出贡献...
该书内容可分为两大部分，第一大部分是量子理论基本框架与常用方法，第二部分是近些年量子力学方面的部分前沿问题。第一部分主要涉及的内容有非相对论量子力学理论框架、角动量与对称性、近似方法、电磁相互作用与应用、量子化电磁场及应用。第二部分涉及的内容有非厄米量子力学、量子多体问题方法与应用、激光冷却技术、量子信息以及量子测量理论...
本书共收集长江下游地区常见浮游植物（除硅藻）7门103属397种（含种下分类单位），其中蓝藻门14属40种1变种，金藻门5属12种，黄藻门4属4种1变种，隐藻门2属4种，甲藻门5属8种，裸藻门6属62种19变种，绿藻门67属201种43变种2变型。书中记录了每个种的中文名、拉丁名、引证文献、形态特征、生境等信息，并附有展示其鉴别特征的彩色光镜照片...
本书整理2021年国际主流媒体关于海洋科技与政策的新闻报道，追踪主要海洋国家和国际组织的海洋政策变化和发展，收集大型科考船的动向和大型科研项目的进展状况；关注全球有名海洋研究机构的科研动态，分析海洋勘探开发新技术与新装备的发展态势。撷取《自然》《科学》《美国国家科学院院刊》等很好科学期刊中关于海洋地质、海洋自然资源、海洋生态环境、生物多样性、气候变化与碳中和、南北极等方面的近期新科研成果，预见海洋科学领域的发展趋势。综合以上信息汇编成
本书共8章，依次为蛋白质的简介，蛋白质的结构，蛋白质结构测定及预测的方法，蛋白质的能量学及稳定性，蛋白质结构动力学，非球状蛋白，膜蛋白，蛋白质与配体的相互作用...
本书是陆表蒸散遥感的理论著作, 系统阐述蒸散原理以及能量平衡各分量与影响蒸散的关键参量的模型、监测及观测方法。全书共9章, 第1章阐述蒸散原理 ; 第2-第8章分别介绍大气边界层、饱和水汽压差、空气动力学粗糙度、地表净辐射、地表土壤热通量、感热通量、潜热通量的影响因子、地面观测方法和遥感估算方法 ; 第9章介绍蒸散尺度转换...
该书系统介绍了数理医学概念、问题、方法及应用，是这个新领域的导引性著作。数理医学是一门数学、数据科学、信息科学与医学相交叉的学科，既着眼于解决智慧医疗中的棘手问题达到造福患者的目的，又着重提炼和研究数理医学中的基本数学问题和方法。该书既讨论成熟的原理和方法，又讨论一些前瞻性的问题和想法。期望读者能够通过本书的引导，进一步研究和丰富数理医学的基本原理和方法，共同推动这一新方向的发展和应用...
《无人组网集群协同测绘系统关键技术研究与应用》围绕国家智慧城市、水利、海洋、交通、市政等建设的重大需求和重大工程建设对基础地理信息资源快速获取的迫切需求，瞄准前沿，针对大型工程项目中无人机、无人船等智能无人平台高效协同测绘面临的技术挑战，系统地阐述了无人组网集群协同测绘系统的关键技术理论与方法，提出了同构／异构无人平台同域／跨域集群协同测绘的技术方法。主要内容包括：无人组网集群协同测绘系统关键技术研究的背景、目标和方法；无人组网集群协
本书对现代宇宙学研究里采用的想法和公式进行了详尽的、富有创造性的又全面的探讨。全书分为两大部分，每一部分都提供了详实的材料可供研究生一学期的学习使用。第一部分主要讲述的是各同向性和同质的普通宇宙；第二部分专注于从普通宇宙的脱离。作者在书中呈现了详细的宇宙现象分析计算，而非简单的陈述通过数值计算获得的结果。书里给出了诸如重组、微波背景极化、瘦体发生、引力透镜、结构形成和多场膨胀等主题的详细描述，而这些主题通常在宇宙学论文中会被简单处理。
本书是诺贝尔化学奖得主Linus Pauling的经典作品，自首版出版后深受读者欢迎，如今三次改版。书中以非数学的形式介绍了对分子和晶体的结构以及化学键的本质的综合研究成果，这是作者长期深耕化学键领域的成果集大成之作，行文风格简练直接，便于理解，每章附有相应练习，可供读者进行自我检测。第三版的新增内容包括详细的缺电子物质（如硼烷和二茂铁）的共振价键理论；金属和金属间化合物电子结构的化学理论；氢键在蛋白质和核酸结构中的作用；电中性原理；
天山造山带是中亚最令人瞩目的一条由陆陆会聚而形成的陆内造山带，是全球公认的研究大陆动力学的天然实验室。本书通过对10条野外路线典型构造进行精细解析研究，对断裂、褶皱、不整合等构造类型进行详细剖析，并对典型构造现象进行形成模式分析。对主要的路线，利用野外露头戴帽，对覆盖区构造样式也进行了解释。 本书可供从事油气地质勘探方向研究人员使用，也可作为高等院校相关专业师生参考用书...
本书是测绘地理空间信息理论的集大成者，全书共12章，详细阐述了测绘与地理空间信息学的近期新研究进展及典型应用，包括 第1章测绘与地理空间信息学发展历程，第2章测绘与地理空间信息时空基准，第3章 卫星导航与位置服务，第4章卫星重力探测与地球重力场，第5章航空航天摄影测量，第6章高分辨率遥感对地观测，第7章精密与特种工程测量，第8章海洋测绘与海道测量，第9章智能化地图制图与地图传播，第10章 地理空间信息分析与可视化，第11章 网络地理信
生物入侵是全球面临的三大棘手的生态环境问题之一，不仅影响生物多样性及生态系统结构与功能，而且影响着人类社会经济发展和生命健康。我国是生物入侵最严重的国家之一，入侵种数量众多，其中互花米草是肆虐我国滨海湿地的入侵植物，已在辽宁至广西沿海形成极其广泛的扩张局面。1979年，我国出于保滩促淤生态工程所需，引进互花米草。引进后虽然发挥了较好的生态功能，但是由于其独特的生物学特性和对环境条件的适应性，造成的负面影响日益彰显。本书以互花米草为例，
本书对海底观测网的技术内涵展开研究，分别探讨了海底观测定义、技术概述等定义。讨论了岸基系统、组网海缆及附件这些重要组成部分，同时对海底观测网络的电能供给、电能管理、通信与对时、故障诊断与隔离、终端传感与监测、系统集成与测试、海上施工与维护、海缆保养与维护等定义和技术原理进行了介绍。最后，本书还介绍了国内外海底观测网的应用技术和现状，列举了多个典型案例...
本册包括了137项海底地理实体，按照地理实体的地貌形态、规模大小和主从关系，可划分为 2 级，其中二级海底地理实体命名共6项（东海陆架沙脊群、钓鱼洼地、赤尾海台、钓鱼海底峡谷群、赤尾海槽、花东海盆），三级海底地理实体命名共131项。按照地理实体所在的海域和专名的命名体系，进一步划分了6大区域...
海洋拥有许多自然现象。海洋中的自然上升流把海底的营养物质带到海洋的上部，驱动初级生产力的产生，滋养了海洋中的各种生物，从而形成了一个完整的海洋生态系统。然而，随着人类活动的日益加剧，海洋生态环境不断遭到破坏，造成海洋生物锐减、海洋渔场衰退等不良后果。该专著重点聚焦海洋人工上升流技术，从人工上升流的环境效应出发，详述人工上升流技术的发展现状、控制方法、系统实现以及海域试验效果，并阐述了人工上升流在辅助大藻养殖以及促进海洋碳增汇等方面的探
《南海北部海域海底地理实体图集》包括了300余项海底地理实体，按照地理实体的地貌形态、规模大小和主从关系，可划分为4级，其中一级海底地理实体命名共6项（南海北部陆架、南海北部陆坡、北部湾陆架、南海西部陆坡、南海东部岛坡、南海海盆），二级海底地理实体命名共数十项，三级海底地理实体命名共200余项，四级海底地理实体命名共8项...
《中国海洋站海洋水文气候志？东海分册》丛书依据完整详实的海洋站观测数据，利用科学的统计分析方法，总结了东海沿海18个海洋站潮汐、海浪、海水表层温度、海水表层盐度、气温、气压等海洋水文气象要素的基本特征和变化规律，给出了风暴潮、海浪等海洋灾害和暴雨、冰雹、大风等灾害性天气对沿海的影响。同时，给出了东海沿海各水文气象要素的基本特征和变化规律，并进行了典型海洋灾害过程分析。本书对于海洋工程设计、环境评价、生态评估、预报减灾等具有重要的参考价
在《中华人民共和国国民经济和社会发展第十四个五年规划和2035年远景目标纲要》的指导下，我国正持续推进海洋能规模化利用。为总结我国海洋能技术进展，为推动我国海洋能产业发展提供决策支持，国家海洋技术中心研究国内外海洋能动态，对最近一年我国海洋能技术进展进行了梳理和总结，编辑成《海洋能开发利用技术进展 2021》一书。本书引用数据时间截至 2021 年 12 月底。全书共分5章，包括我国海洋能发展政策、技术进展、公共服务体系建设、国际海洋
本书共分8章，前5章为内孤立波的特征及常用观测手段介绍、内孤立波遥感成像原理与判定，南海及周边海域、东印度洋、西太平洋海域海洋内孤立波的遥感图像特征等，总体介绍了遥感观测技术在内孤立波探测研究上的应用；后3章以图集的形式分别展示了南海及周边海域、东印度洋、西太平洋海域海洋2010—2020年十年的内孤立波的遥感图像分布。本书资料较为可贵，具有很好的可读性和专业参考性。书中涉地图的图片已通过北京市审图中心审查并取得审图号...
本书内容体现系统性和全面性、知识性和科学性、新颖性和优选性的鲜明特点，系统和全面地阐述了微生物生态学的基本原理、研究进展，微生物在地球化学循环中的作用；归纳了平板计数、流式细胞术、高通量测序技术等微生物生态学的研究技术以及多种微生物群落多样性研究中的统计方法；解析了活性污泥、饮用水管道和景观水体中微生物生态特征以及结合案例分析微生态理论在高效菌群分离中的应用；介绍了环境微生物生态学中针对测序数据的多种高级统计分析方法...
本书以欧洲西北部二叠纪盆地为例，为分析复杂的致密气藏提供了一种综合学科研究法。虽然这一盆地有着悠久的勘探开发历史，但先前德国的研究工作重点集中在地震和电缆测井资料的整个盆地演化与基于岩心数据的储层成岩作用。此外，在对识别盆地内部多期构造元素的活化和区别同构造与二维构造复原建模及类型方面所做的研究工作也很少。因此，笔者使用的综合学科研究法包括地质和地球物理分析、遥感技术、盆地构造的二维变形后建模以及测井分析和岩心分析...
本书全面系统阐述了高精度大水深复杂地形空间多维信息监测技术的基本概念、基本原理、技术内容与技术创新。简述了大水深水陆测绘的基本理论，结合金沙江大型水利工程复杂水库河道特性，叙述了该项技术工作的基本内容与特点、技术方法体系、技术创新与进展，基于实践形成了测深基准场、带状河流坐标转等创新技术，形成了较完整的高精度大水深复杂地形空间多维信息监测技术体系，适用我国大中型水利工程复杂地形的水库河道综合监测...
本报告以总结2022年以来我国生命科学研究、生物技术和生物产业发展的基本情况为主线，重点介绍了我国在组学、脑科学与神经科学、合成生物学、非编码RNA、表观遗传学、结构生物学、免疫学、干细胞等领域的研究进展以及生物技术应用于医药、农业、工业、环境等方面的情况，分析了我国生物产业及细分领域的发展态势。报告以文字、数据、图表相结合的方式，全面展示了2022年我国生物技术与产业领域的产业发展、投融资、论文发表、专利申请以及2022年期间我国在
本书全面介绍了经典的和现代的网络流技术，包括综合的理论、算法与应用。主要内容包括：路径、树与周期，算法设计与分析，优选流与最小流算法，分派与匹配，最小生成树，拉格朗日松弛与网络优化等。书中包含大量练习题，拓展了本书的内容，便于教学...
本书将在总结我国海绵城市建设以及国内外雨水资源化利用现状的基础上，提出并构建我国雨水资源化利用经济、社会和生态效益评估方法，并提供评估案例。同时，针对京津冀区域，构建京津冀雨水资源化利用适宜模式，并计算此适宜模式下京津冀雨水资源化利用潜力，最终为京津冀雨水资源化利用提供理论和技术支撑...
本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种，它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化
南海是我国四大海域中矿产资源最为丰富的海区。本书以南海海域1：100万海洋区域地质调査工作所获取的实际资料及调查成果为基础，系统收集历年在南海进行的油气资源、天然气水合物资源、砂矿资源、深海多金属结核和结壳等调查成果资料，通过对大量资料的梳理、整合和综合研究，全面总结了南海油气、天然气水合物和固体矿产的资源分布特征、赋存规律与成藏-成矿主控因素，并对各类资源远费进行了评价和预测，对未来方向进行了分析。希望本书能为我国矿产资源战略研究、
硅藻分布广泛，生态习性多样，是十分良好的环境指示器，但分类鉴定的准确性将提高对环境的评价。本书详尽描述了云南高原九大湖泊的硅藻植物。全书分为三部分，第一部分介绍了九大湖泊硅藻研究的历史。第二部分介绍了硅藻的采集、处理、观察与鉴定。第三部分记述了九大湖泊具体属种，包括每种的学名、相关文献、形态分类特征及分布信息，并附有光学显微镜照片，部分种类浮游扫描电子显微镜照片。书后有学名索引和参考文献...
铀矿资源在康滇地轴广泛分布，且铀矿化类型丰富，有花岗岩型铀矿、火山岩型铀矿、砂岩型铀矿、碳硅泥岩型铀矿、变质岩型铀矿等，尤以变质岩型铀矿更为重要。近年来在扬子地台西南缘康滇地轴先后发现了一系列产于元古宙地层中的铀矿（化）。根据铀矿赋存地层和岩性，产于元古宙地层中的铀矿可以分为四种类型：①产于混合岩中的粗粒晶质铀矿及特富铀矿；②产于浅变质沉积岩中的铀矿；③产于变钠质火山岩中的铀矿；④产于苏雄组火山岩中的铀矿。通过晶质铀矿测年并结合前人研
由小RNA介导的RNA沉默是真核生物调控基因表达的保守机制。本书详细介绍了植物中不同种类小RNA（miRNA，siRNA和phasiRNA）产生机制，以及由不同小RNA介导的RNA沉默途径；阐述了RNA沉默在植物生长发育以及非生物胁迫过程中的重要作用；系统介绍了植物-病毒、植物-病原菌和植物-其它生物互作过程中，RNA沉默依赖的抗性途径及病原抑制RNA沉默过程；归纳总结了植物、动物和真菌中RNA沉默机制主要差异，并概述了原核生物中由g
本书将俄罗斯远东地区及200海里专属经济区看作为俄罗斯太平洋地区，介绍了该地区的综合特征，包括地区古地理环境的形成及其主要发展阶段等历史资料；对毗邻海、自然保护区、人口和经济等现状的详尽描述；自然资源状况、经济地理位置和地缘政治地位、国际关系、旅游和自然资源利用等地区长期发展的地理要素；政府制定的长期发展规划以及学术界对趋势与前景的若干评价...
内 容 提 要 连续介质力学的经典理论（经典连续介质力学）是近代力学的重要分支，它以统一的观点、严格的理论体系研究一般连续介质的变形和运动，是众多应用力学的理论框架和依据，也是解决复杂力学相关问题的理论基础。连续介质力学的高阶理论（广义连续介质力学）是近年来经典理论的扩展，已成为研究微结构材料、微结构、局部变形等有尺寸效应的力学问题的必要理论基础，得到广泛应用。张量理论是近代力学和物理学的重要数学工具，也是本书的数学基础。 本书包括三
本书首先介绍了海洋地球物理学的探测技术及其应用研究。首先，当今应用于海洋探测的船载地球物理技术和方法，包括基于多波束测深技术的海底浅层声探测技术在海底浅层探测中得到了广泛的应用，水面船只导航定位和水下定位系统为代表的导航定位技术的研究，行洋地震探测技术，海底放射性测量技术，海洋地热流探测技术以及海洋地球物理测井技术等在海洋探测中都得到了应用，取得了很好的探测成果。其次，发展十分迅速的基于AUV、HOV和ROV的进海底探测技术，这是一新
本书根据作者多年从事科技咨询评议和科技智库建设的经历，就如何提高决策咨询的科学性和价值进行了深入思考和系统总结。结合我国高质量发展对高水平科技咨询的迫切要求，在国内外首次提出硬咨询的理念框架，倡导科学研究向服务决策转化、智库工作向硬咨询转型，并通过言简意赅的要点和丰富详实的案例，提出了从咨询研究选题、咨询队伍组建、咨询研究方法到咨询报告文法与成果传播等各环节的方法论，最后给出了人工智能、大数据等新技术带动下的咨询研究新范式以及从科学普
本书研究内容主要是基于水声信号处理技术，实现对海洋生物叫声的分类、识别与跟踪，并将其用作海洋哺乳动物生态学研究的工具。全书共分为十章，分为三个部分，大致相当于三个主要学科：分别是水下声学，信号处理，生态学。分别详细介绍了这三个学科的基本概念和关键技术，作为一门交叉学科，本书成功的结合了物理、技术、生物学和综合演示，构成海洋鲸目动物被动声探测的理论框架...
本书首先介绍了利用遥感技术解译地质构造的基本理论背景、国内外研究现状及存在的问题，重点以鄂尔多斯西南缘千河流域为研究区域，阐述了利用遥感技术开展构造地貌研究的必要性；提出了基于张量投票耦合霍夫变换的地质线性体提取算法，从长度、密度和方位等角度分析了该区域线性构造空间展布规律及成因，同时利用分形理论探讨了构造意义；利用遥感数据提取纵剖面裂点，揭示千河流域瞬时河道地貌响应活动构造隆升过程；利用遥感数据提取横截面，揭示其地貌演化的地质意义；
本书收录了《中国古代天文历法表解》《浅释》《朔闰谱》《“甲子蔀”朔闰之推演法》《校释》《西周考年》《评荣孟源同志的》等文章...
本书共10章，内容包括：空间信息系统基础理论、空间信息系统的时空基准、空间信息系统数据的获取、多源异构空间数据的融合处理、空间数据模型与存储管理、数字高程模型、空间关系、空间分析与空间数据挖掘、空间数据多尺度变换与可视化表达、空间信息服务技术的发展...
刘争争
[日]熊田千佳慕 著,张勇 译
汪曾祺
宋瑞祥 著
老王子
梁实秋
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号：1101083394
营业执照出版物经营许可证 京出发京批字第直110071