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

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

DNA计算及其在医学领域中的应用

本书面向生物计算的学科前沿，在现有DNA计算成果的基础上，从生命现象的本质特征来研究DNA计算的容错性、可复制性以及随机性，探讨了DNA计算在基因网络、自复制以及疾病检测中的应用，为DNA计算在生物医学领域上的...

原子论在材料科学中的应用

本书第1章提出了两个定义，十个公理，十个定理。第2章介绍了对于材料理解的一种具体手段，分子轨道法的一种--改进的Hückel计算方法。第3章通过电子光子的相互作用，展开了对材料结合、结构、物性及反应的基础理论...

计算智能改进方法及其在金融与环境领域中的应用

21世纪是智能科学、生命科学突飞猛进及其信息集成并融合应用的时代。随着新纪元时期的信息化、计算机网络和Internet技术的发展，人类已快步迈入信息化社会和网络经济的时代。众所周知，计算机是目前功能最强大...

形容词修饰语语义计算理论及其在对外汉语学习词典编纂中的应用

本书从计算词典学的角度，对现代汉语形容词修饰语进行了跨学科的研究：一、从语义学的角度，提出了一个“值—特征—实体”相联接的概念语义模型。二、从计算机科学的角度，研究了如何采用NLP技术从机读词典中自动...

计算智能及其在三维表面扫描机器人系统中的应用

本书分七章：第一章介绍了计算智能的发展历程、研究的内容；第二章建立了三维扫描表面机器人系统的数学模型；第三章建立了Motoman-HP3L机器人运动学仿真环境；第四章研究了利用同心圆求得圆心投影点的方法；第五章提...

符号计算的程序分析 在线性代数、矩阵论中的应用研究

随着计算机技术的飞速发展，计算机代数系统虽已被广泛地应用于科研、教学以及工程技术，其中比较有名的Maple，Mathematics，Matlab等，在线性代数及矩阵论的教学中应用研究的较少，不够深入。本书针对这方面进行比较深...

贝叶斯网络理论及其在军事系统中的应用

贝叶斯网络理论及其在军事系统中的应用

小波分析及其在数字图像处理中的应用