Navier-Stokes方程边界形状控制的维数分裂方法及其应用
李开泰，黄艾香著2013 年出版444 页ISBN：9787030364494
本书给出适当的理论分析，如(1)给出的Euler－Lagrange方程，它是N-S方程和一个4阶椭圆型方程的耦合系统；(2)证明相应的无限维控制系统解的存在性，可动边界N-S方程解的存在性及解对边界几何的连续依赖性；(3)N-S方程对...
王能超编著2005 年出版230 页ISBN：7040160609
本书力图改革计算方法课程的教学体系。新的体系立足于数学思维而面向科学计算的实际需要，内容处理上突出数值算法的基本设计技术。本书运用算法设计技术设计了科学计算中的一些常用算法，并推荐高效算法设计的...
方瑞明著2010 年出版203 页ISBN：9787030286932
本书主要围绕电机智能设计的基本理论和方法，详细阐述了近年来形成的适于计算机辅助设计系统的点击智能设计方法。全书主要分为基础篇、技术篇和展望篇三大部分。...
谢飞鸿，张立杰著2015 年出版178 页ISBN：9787502045838
本书由六章构成，主要阐述了煤矿开采沉陷的计算方法、开采引起的地表变形的预测分析，以及开采沉陷对埋地管道的影响评价方法，论述了平地、山区条件下充分采动时主剖面的移动和变形值的可视化计算方法，包括下沉、...
冯平，李建柱著2017 年出版407 页ISBN：9787517052500
本书以海河流域各水文类型区的典型流域为研究对象，根据水文学的基本理论，采用多种方法、多学科交叉的研究途径，研究下垫面要素变化对洪水过程的影响程度。根据海河流域土地利用、植被覆盖等下垫面资料及水文、...
自然语言交流的计算机模型 数据库语义学下的语言理解、推理和生成
（德）罗兰德·豪塞尔著；冯秋香译2016 年出版411 页ISBN：9787100115186
第一部分介绍SLIM语言理论的基础框架。包括认知主体的外部界面，数据结构和算法。第二部分系统分析自然语言的主要结构，以英语在听话者和说话者模式下的释义推到为例。第三部分介绍英语断片，构建一个功能完整但...
