模型检测 【工业技术】

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

数据模型记分卡 【工业技术】

本书介绍了Steve Hoberman的经典理论——数据模型计分卡。全书分为3各部分，共计16章内容。第一部分介绍了数据建模及验证，包括数据建模、数据模型质量、数据模型计分卡概述等；第二部分介绍了数据模型计分卡理...

从制造中心到科创中心 上海发展转型理论和实践探索 上海社会科学院应用经济研究所40周年 【经济】

上海科创中心建设是一条与其他国家和地区不同的发展路径模式：英国和欧洲大陆的科创中心，是在科学革命和技术革命原创地，在产业革命的基础上成为科创中心；美国是在前沿科技成果产业化过程中，形成产业优势，再到科.....

萃取技术 模型篇 【经济】

当前组织面临很多不确定性，很多问题都是新问题，很难依靠过去的内部经验作为指导，所以学会探求外部经验的方法至为重要。萃取技术是一种方法技能，面对组织的问题可以萃取外部经验，再结合内部实际情况，做出相应的.....

概率图模型 基于R语言 【数理化】

概率图模型结合了概率论与图论的知识，在人工智能、机器学习和计算机视觉等领域有着广阔的应用前景。本书讲解了如何掌握概率图模型PGM，如何理解计算机通过贝叶斯模型来解决现实世界的问题，如何选择合适的R包、...

遥感模型弱敏感参数反演方法 【工业技术】

本书内容包括面向对象的反演策略、主被动遥感协同、时间序列建模、前向模型地形效应修正、弱敏感参数反演等。同时，结合作者团队近年在多云雾山丘地区遥感定量应用的研究实践，给出西南地区的土地连续变化监测...

园林景观场景模型设计 【工业技术】

本书主要是以风景园林场景模型设计中，对场景中案例的空间组织、结构、形式语言等方面,在设计和构建中容易忽视的问题，进行分析研究。至于模型的材料，制作中的工艺流层书中不做评述。全书190余个案例,内容较为...

民营企业市场业务员胜任力新型模型及培训创新体系研究 【经济】

高达模型制作技巧指南 【工业技术】

本书旨在为广大高达模型爱好者更形象化的展现心目中的高达。重点介绍高达模型制作可能用到的部分工具、油漆种类、涂装技巧、特殊效果涂装等。为了不让大家觉得无从下手或者一开始把整个模型都乱做一遍而造...

新创理论安全模型 【环境安全】

本书共8章，主要内容包括：理论安全模型的建模理论、系统安全新模型、安全信息认知与传播新模型、安全大数据新模型、事故致因新模型、行为安全管理新模型、城市群公共安全资源共享新模型、安全文化新模型。本...