交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

子流形基本对称张量泛函构造与变分

第二基本型是刻画子流形最核心的张量系统，本书利用基本的张量组合原理，从第二基本型出发构造了多种类型的基本对称张量，从代数意义上定义了多种新型子流形。同时，以基本对称张量为依据，构造了多类型的抽象泛函，.....

云南少数名族的数量认知及双语教育研究

本书记录了作者及学生对云南的几个典型少数民族的数量认知心理发展及双语数学课堂教育展开的一系列研究。全书共六章，第一章反思了近代心理学进行科学研究的范式，讨论用实验方法进行心理学研究的优点和局限性...

同济博士论丛 高钙粉煤灰基地聚合物及固封键合重金属研究

本书以CFA作为硅铝源原材料，以含钙废弃物FGDW和SL为矿物外加剂，以钠水玻璃和氢氧化钠配制复合化学外加剂，研制CFABG，包括CFA一元地聚合物、CFA－FGDW二元地聚合物和CFA－SL二元地聚合物，并用这些地聚合物固封键合重...

第五届全国模式识别及机器智能学术会议 论文集 下 用于三维特例跟踪的结构匹配法 中国科学院沈阳自动化研究所

新型介观晶体结构及形成机理的电子显微学研究

本书主要是关于通过电子显微学对新型介观晶体的结构特征和形成机理进行详细表征的研究，包括介孔材料的共结构导向法合成体系及以DNA分子为模板进行自组装矿化。第1章介绍了晶体学和电子显微学的概括，第2章是...

第五届全国模式识别及机器智能学术会议 论文集 下 多关节机器人运动学模型 中科院沈阳自动化研究所

二茂铁功能化配体的合成及电化学客体识别性能研究

在过去的20年里，二茂铁衍生物在超分子化学、电子传输材料及非线性光学材料等方面的巨大应用潜力引起了人们的极大兴趣。其中将二茂铁基与各种底物结合单元相连，以实现对客体电化学识别的研究，已成为超分子化学...

非结构网格计算格式研究及环境湍流模拟

本书是对非结构网格数值计算格式的性能研究方面及在环境水力学中应用的最新成果的专著。全书共分六章，首先针对对流项离散格式，基于SIMPLE类算法分别对UDS、CDS、HDS、PDS、Q-QUICK和NQ-QUICK格式等来综合研...

广义差集矩阵理论和正交表构造

广义差集矩阵理论是对正交表构造理论中的差集矩阵理论进行的全面推广，目的是为了把普通的差集矩阵理论推广成能够适用于构造混合水平正交表的新理论。这种推广以多边矩阵理论中的矩阵象理论为基础，分五个方面...