计算模型导引

本书主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科...

数学模型与计算

本书内容包括：数学建模概论，Mathematica软件包，Lindo软件包，Matlab基础知识，优化问题与计算，数据拟合与随机模拟，判别分析与计谑，矩阵博弈模型与计算，Markov过程与计算等。...

工程过程模型化及计算机控制

焊接辊锻机架计算模型研究总结报告

模型论及其在计算机科学中的应用

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...

实用运筹学 模型、方法与计算

本书介绍实用运筹学的模型、方法与计算的相关知识。

位置计算 无线网络定位与可定位性

本书源自作者十年来在无线定位领域科研工作的总结，包含无线定位的基础知识、技术特点、解决方案、以及前沿研究成果。本书按照物理测量、位置计算、数据处理这条主线来安排内容，着重讨论了物理测量、单跳位置...

计算机基因学 基于家族基因的网格信任模型

本书着眼于网格信任模型和技术架构，对在网格中信任模型如何具体的实现和应用进行了系统性的探究。将家族基因技术应用在网格信任模型中，并进行了一些有益探索性的应用，具有理论和现实意义。从该书中所描述的研...

生化反应过程模型化及计算机控制

数学规划模型建立与计算机应用