计算系统的形式语义 下 【工业技术】

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

计算系统的形式语义 上 【工业技术】

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

广义线性模型引论 【数理化】

本书系统阐述广义线性模型的基本理论、方法及其应用，其中主要包括了理论与应用的近期发展。全书共分六章。第一章概括了广义线性模型的基本理论和方法。第二章介绍了广义线性模型中极大似然估计理论。第三章...

非线性模型预测控制方法 【工业技术】

本书主要介绍作者团队在非线性模型预测控制方面的研究成果。具体包括第1章 背景、现状与挑战；第2章 求取预测控制的终端状态约束集；第3章 求取预测控制的终端代价函数；第4章 鲁棒预测控制方法；第5章 跟踪问题中...

基于MATLAB的电气工程 计算机仿真技术与CAD 【工业技术】

多层次冲突图模型研究 英文版 【工业技术】

本书介绍了多层次冲突图模型及其应用。运用严格的定义和定理对模型进行构建，同时针对每一类模型提供了相关的案例进行分析。多层次冲突图模型能够为冲突中的决策者提供全局视角下的冲突解决方案，是有效解决现...

信息安全等级保护测评量化模型 【工业技术】

我国开展信息系统安全等级保护工作几年来，建立了有效的信息安全测评认证体系，为保障我国的信息安全发挥了重要作用。这项工作也必将引领我国信息安全测评方法与技术的发展。目前在信息安全等级保护测评中缺乏...

面向应急管理的人工社会构建与计算实验 【政治法律】

本书首先从人工社会的基本思想开始论述，阐述人工社会的基本概念，及其发展与应用。在此基础上，论述面向应急管理的人工社会、计算实验与平行执行的ACP方法。对ACP方法的基本思想和框架，及其目前的应用和将在应急...

大宗商品资产战略配置模型研究 【经济】

本书的理论重点不在于为商品资产进行定价，而在于找出影响商品资产投资收益波动的影响因素。这些因素将会影响到商品资产配置的决策，而资产配置的好坏将直接关系到国际投资风险收益的大小。因此本研究将从国际...

民法典“占有与本权章”建议稿 条文说明、案例模型和理论阐释 【其他书籍】