面向

面向自然语言信息处理的扩展三段论研究

《面向自然语言信息处理的扩展三段论研究》,作者:张晓君 著 出版社:科学出版社 ISBN:9787030627230。本书从自然语言信息处理的视角,主要介绍和阐释了关于扩展三段论的形式化研究成果,具体研究内容包括:三段论片段的完全性,居间广义三段论,模态三段论,关系三段论,带有完全布尔运算的关系三段论,带有动词的扩展三段论的有效性、可靠性、完全性和计算复杂性等内容。

面向互联网的虚拟计算环境

《面向互联网的虚拟计算环境》,作者:卢锡城等 出版社:科学出版社 ISBN:9787030488657。本书在互联网计算的背景下系统地研究“虚拟化”问题,阐述“按需聚合,自主协同”的互联网资源管理模型和方法,该模型和方法将计算机时代面向静态统一视图的资源组织模式拓展为互联网时代面向动态相对稳定视图的按需可伸缩的资源组织模式,将传统的基于集中控制的资源共享模式转换为自主协同的资源共享

面向2050年的资源型城市发展战略研究——以榆林市为例

《面向2050年的资源型城市发展战略研究——以榆林市为例》,作者:张文忠,杨扬,孙威 主编 出版社:科学出版社 ISBN:9787030643315。榆林位于陕北,地处黄土高原和毛乌素沙地的交界处,是一座典型的资源型城市,能源资源富集但生态系统脆弱,经济发展与生态保护的矛盾突出。面向国家提出的到 2050年基本实现现代化的目标,榆林迫切需要转型升级和高质量发展。本书回顾和总结了榆林的发展历史和经验

面向煤机装备的虚拟现实装配技术与系统

《面向煤机装备的虚拟现实装配技术与系统》,作者:王学文,谢嘉成 著 出版社:科学出版社 ISBN:9787030627070。本书以虚拟现实、“互联网+”等新一代信息技术与煤机装备深度融合为主线,进行了面向煤机装备的虚拟现实装配技术研究与应用系统开发。最终实现的系统包括煤机装备虚拟现实模型资源库、基于OSG的煤机装备虚拟装配方法与系统、基于UG的煤机装备虚拟装配方法与系统、煤机装备虚拟现实装配人机

面向计算机科学的数理逻辑 | 2版

《面向计算机科学的数理逻辑 | 2版》,作者:陆钟万著 出版社:科学出版社 ISBN:7030096576。本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。

面向需求变更的软件过程改进

《面向需求变更的软件过程改进》,作者:张璇 著 出版社:科学出版社 ISBN:9787030649355。在软件过程中,不同的实体,例如,需求、组件、体系结构、文档、产品和人等,都是相互依赖而存在的,其中任意实体发生变化,都可能导致其他相关实体的变化。各个实体之间的紧密联系导致变更成为软件过程风险的一个重要原因。因此,主动预测软件需求变更并积极开展软件过程改进,是保持和提升软件整体质

面向知识服务的科学数据组织研究

《面向知识服务的科学数据组织研究》,作者:何琳,常颖聪 著 出版社:科学出版社 ISBN:9787030640666。科学数据的组织是实现科学数据有效利用的重要手段之一。本书系统研究了科学数据的组织方法,重点关注科学数据元数据描述模型的构建方法、元数据元素的自动抽取方法以及基于本体的科学数据语义组织方法。本书以植物学基因表达实验为例,介绍从科学数据描述模型构建、抽取到发表的实践全过程。本书对于知识

面向水质领域的物联网监测与控制技术

《面向水质领域的物联网监测与控制技术》,作者:赵小强等 著 出版社:科学出版社 ISBN:9787030640970。本书的主要内容是作者多年来项目成果的总结,以科学研究和工程应用结合为特色。全面介绍水体质量监测领域的物联网技术,并围绕物联网水质监测和生物水质监测技术进行深入探讨,结合实际需求给出相关系统的设计和技术解决方案,最后结合作者多年来的科研经验,对高原寒区湖泊冰期水质及冰厚在线监测仪的

科技革命与中国的现代化 : 关于中国面向2050年科技发展战略的思考

《科技革命与中国的现代化 : 关于中国面向2050年科技发展战略的思考》,作者:中国科学院编 出版社:科学出版社 ISBN:9787030240774。本报告面向2050年中国实现现代化的宏伟愿景,从历史和未来走向的视角,分析了科技发展的演进和规律,阐释了科技对现代化建设的决定性作用,做出当今世界正处在科技创新突破和新科技革命前夜的战略判断,提出中国必须为新科技革命的到来做好准备。

生态农业原理与实践:引领面向可持续农业的系统转型

《生态农业原理与实践:引领面向可持续农业的系统转型》,作者:(法)A.韦策尔(Alexander Wezel) 主编;王丽丽等 译 出版社:科学出版社 ISBN:9787030683007。本书系统总结了近年来欧美国家生态农业的最新进展。1~4章介绍了欧洲、北美和拉丁美洲生态农业典型案例;5~7章阐述了杂草管理、转基因作物及生物防治在生态农业中的应用;8~9章介绍了如何开展生态农业评价;10~12