树和偏序理论的模型论研究

本书主要介绍树和偏序理论模型论研究的最新成果，包括带根节点的有向树、无向树理论，以及有最小元的树形偏序理论的量词消去及相关模型论性质。全书共分六章。第一章介绍一阶逻辑的预备知识；第二章介绍量词消去...

研究生教材 高等光学教程：光学的基本电磁理论

本书以光的电磁理论为基础，系统地介绍了光学的基本概念和基本知识，其内容涉及到干涉和衍射的基本原理、薄膜光学、光的相干性理论、傅里叶光学和晶体光学 。本书理论分析深刻，内容涉及面广，可供需要深入学习经...

主动采样与标注估计技术研究及应用

本书共分为5章.第1章概述了主动学习中样例选择方法，并对噪声-标注主动学习模型进行定义，给出了多标注者或大规模未标注样本环境下的主动学习问题。第2章主要讨论了多标注者环境下的准确度估计问题，给出了如何...

悖论问题的认识论研究

本书是一部关于探讨如何将描述论运用于解决悖论问题的理论著作。第一部分是开始研究问题之前的铺垫，主要介绍了什么是描述论、描述与规定的关系、描述的性质和规则；第二部分是用描述论展开对悖论的分析，阐明悖...

第五届全国模式识别及机器智能学术会议 论文集 上 印刷体汉字识别中极相似字区别的研究 中国科学院沈阳自动化研究所

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

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

微纳尺度下固液界面流动阻力影响因素的研究

本书基于固液界面上表面电荷、边界滑移、纳米气泡等影响液体流动阻力的因素，采用各种扫描探针显微镜对界面上的因素进行纳米尺度的测量，通过纳米尺度的力、变形、振动及分散度等和表征方面展开，创新性地提出了...

H-矩阵 张量 的判定及其Schur补研究

本书专门研究具有广泛应用背景的H-矩阵（张量）的数值判定方法及其应用。全书共分五章，内容包括H矩阵（张量）的基本性质与预备知识，H-矩阵的直接判定方法及迭代判别算法、几类特殊H-矩阵的Schur补对角占优度及特征值...

区间数理论的研究及其应用

由于人们使用不确定性数学方法描述不确定性问题时：一方面、由于测量、计算所带来的数据误差，以及信息不完全带来的数据不完全，表示特征行为的原始数据往往不是一个确定的数，而是一些区间数；另一方面，人们对事物.....

数学教育研究与测量

本书分上、下篇。上篇以五个问题（什么是数学教育研究？为什么要进行数学教育研究？如何进行数学教育研究？数学教育研究的类别？如何提高数学教育研究的质量？）为大方向，围绕“如何确定研究问题？怎样查阅文献？如......