2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
格致方法·定量研究系列 定序因变量的LOGISTIC回归模型
2018 年出版162 页ISBN：9787543228788
《定序因变量的logistic回归模型》系格致方法·定量研究系列之一种。本书以展示来自儿童早期追踪研究的实例开始，其中的主要因变量虽然不是李克特量表，但其对早期读写和算术熟练度的测量还是定序的。作者进而...
2018 年出版273 页ISBN：9787302502852
本书的内容流畅易读，提供数据输出以及输入一般性的应用，包含文档以及数据库的存取，另外也提供基本函数运用以及图表绘制的介绍，并从金融实务、统计模型、数学计算三个热门领域来介绍信息处理分析以及实用的案例...
2016 年出版229 页ISBN：9787562952053
本书阐述了群众工作的新格局与社区工作者的角色功能定位，建构了社区工作者群众工作能力模型，提出了社区工作者群众服务能力要求、群众事务管理能力的要求和政策能力的要求，同时提出了社区工作者群众工作信息化...
2018 年出版240 页ISBN：9787115484192
本书开篇先简要回顾了乐高公司推出的5个有代表性的火车套装，并对它们从驱动组件、轨道、典型组件等方面进行了评测点评。紧接着介绍了搭建火车系统用到的零件以及主要搭建技巧。之后分别介绍了车轮、传动与...
2018 年出版211 页ISBN：9787111595779
本书是燕山大学国家冷轧板带装备及工艺工程技术研究中心彭艳教授课题组根据多年丰富的科学研究和工业应用成果编写而成。全书共8章，详细介绍了板带轧机稳定运行动力学模型搭建技术，并介绍了轧机动力学模型的...
2017 年出版192 页ISBN：9787300234038
本书以高等数学在社会生产生活中的实际运用为背景，在剖析案例的过程中融入数学知识，赋予枯燥的数学公式与模型以生命力，调动学习者自主学习、多元思考的积极性与创造精神。本书由8个教学模块中的多个应用实践...
2018 年出版202 页ISBN：9787568263603
本书共11章，分别是产品模型制作概述、纸质模型制作、泡沫塑料模型制作、石膏模型制作、油泥模型制作、ABS模型制作、玻璃钢模型制作、金属模型制作、木质模型制作、手板模型制作及3D模型打印技术。通过对本...
2018 年出版244 页ISBN：9787561570883
分层贝叶斯模型以分层结构进行建模，具有易于扩展性、灵活性等特点，从而成为时空统计模型的核心方法之一。本书对分层贝叶斯模型进行理论拓展，探讨同时将时间与空间维度信息融入模型的构建过程，研究我国高血压时...
2018 年出版170 页ISBN：9787564641061
本书主要内容包括极弱胶结岩体基本物理与力学性质试验研究、极弱胶结岩体再生结构的形成与力学性质试验研究、极弱胶结岩体本构模型与参数辨识研究、极弱胶结地层巷道围岩演化规律研究及工程实例，全书内容丰...
2018 年出版348 页ISBN：9787302491439
网络大数据是指“人、机、物”三元世界在网络空间（Cyberspace）中彼此交互与融合所产生并在互联网上可获得的大数据，简称网络数据。本书提出了开放知识网络的概念，以概率论、图论、矩阵分析、组合优化等为模型基...
2018 年出版178 页ISBN：9787509583234
本书借鉴了国内资金流量表的理论和思想，运用各个国家国际收支平衡表的数据，编制了国际资金流量表（IFOF），来综合测度全世界所有国家的对外资本流动情况，深入研究各个国家之间资本流动的状况。IFOF将某年度各个国家...
2018 年出版89 页ISBN：9787508854380
本手册汇集了851条中国常见灌木物种的生物量估算模型，其中480条为著者通过”中国灌丛生态系统固碳现状、变化和机制”课题研究所构建，另外371条为著者通过收集、评估、筛选我国自1989年以来的大量灌木生物量...
世界技能大赛技术标准转化项目教材 数据库模型分析与商务软件开发
2018 年出版131 页ISBN：9787566824837
本教材是根据世界技能大赛商务软件解决方案项目技术标准转化为专业课程所开发的配套教材，参照世赛的出题模式和企业软件开发过程，共设置了三个任务，一是应用UML为车辆调度系统建模，二是应用数学逻辑基础设计车...
史上最简单的问题解决手册 高效能人士做决定的51个思考模型 升级版
2018 年出版167 页ISBN：9787515351353
这是一本工具书，罗列了51个最佳的决策模型，针对每一个问题可能存在的情境，提供了简明的解决思路，让你清楚所处状况，从而协助你做出各式各样的关键决定。除了以文字扼要地说明每个模型以外，更用一目了然的图示让读...
普通高等教育“十三五”规划教材 数学物理方程 模型方法与应用
2017 年出版300 页ISBN：9787030562104
保持我国现行教材中理论性强、方法多样、技巧和实例丰富等特点，再结合国外教材中强调建模、应用和计算机等特点，理论、方法、建模、应用、计算机互相渗透与补充。不仅使学生受到严格的数学思维方式的训练，而且...
2018 年出版138 页ISBN：9787302509653
本书一共十一个章节，从模型制作的意义、重要性到不同种类模型的制作方法，阐述产品模型制作与表现是现代工业产品设计过程中的关键环节，在设计阶段发挥着重要作用。通过产品模型制作能够使设计师逐渐具备空间形...
2018 年出版332 页ISBN：9787121339028
本书是作者在长期讲授遥感课程的基础上编写而成的。书中从遥感本质出发，对遥感图像的物理模型、几何模型、数据模型等数学和物理模型进行了由浅入深的阐述，在图像处理方法上则对光谱变换、空间变换、几何校正...
2017 年出版100 页ISBN：9787121325236
随着服务计算技术的蓬勃发展，服务质量愈发成为重要的需求，并呈现多样化特性。本书以理论模型、量化分析和优化技术为重点，从性能、可信赖性和能耗三个维度，开展服务质量的多属性评价和优化研究。以随机模型为主...
