基于多元表征的初中代数变式教学研究 【文化科学教育体育】

本书是关于初中代数“以学论教”的教学研究，借助西方倡导的多元表征来发展中国传统的数学变式教学，以学生代数思维和创新意识为目标，建立基于本理论体系下的初中代数教学理论模型和实践策略。...

基于布尔代数的比较法导论 【数理化】

《基于布尔代数的比较法导论》一书以系统而又清晰的方式介绍了比较法的基础知识，并提供应用指导。它涵盖了当今这一领域绝大部分的重要问题，是比较方法教材中最为重要的一本。作者丹尼尔·卡拉曼尼（Daniele Ca...

非线性偏微分方程的解析解 【数理化】

本书给出了微分几何中的AC=BD模式，并利用吴微分特征列法，给出某些定理的机械化证明。给出了一般形式的Riccati方程多种形式的解，进而提出了求非线性偏微分方程孤波解的机械化方法，此方法可以将非线性微分方程的...

非线性常微分方程若干边值问题的研究 【数理化】

本书是作者近年来研究成果的总结。在介绍拓扑度基本理论的基础上，对带p-Laplace算子的边值问题在多种边界条件下，给出了有解性和多解性的判断依据，展示了边值问题的研究技巧和方法。...

可分离的连续线性规划及其推广模型 【数理化】

本书主要研究关于可分离的连续（时间）线性规划及其推广模型的理论和算法。我们发现在某些合理的假设下，可分离的连续线性规划与它的对偶问题存在强对偶关系，据此，我们提出了一种求解可分离的连续线性规划的可满足...

论非线性发展方程求解中辅助方程法的历史演进 【数理化】

本文从“吴消元法”的发明得到启示，利用“新方法论”对2009年以前的辅助方程法和试探函数法有关的大量文献进行认真比较和仔细分析研究，获得了这两种方法的构造性和机械化性。在第四章中总结了试探函数法的构...

线性规划问题的统一建模与快速算法 【数理化】

本书共分八章，第一章介绍了线性规划问题的一般模型及各种形式；第二章总结了求解线性规划问题的一般方法；第三章分析了“定界对偶算法”的求解思路和迭代步骤；第四章阐述了将多种类型的优化问题化为变量具有上下...

基于细胞神经网络的非线性时滞系统自适应控制 【工业技术】

本书研究带有时滞的细胞神经网络的稳定性问题，根据Lyapunov稳定性理论给出全局渐近稳定和指数稳定的稳定性新判据；研究多输入多输出非线性系统的神经网络辨识与控制。针对具有三角结构的单输入单输出非线性时...

产品几何技术规范（GPS）系列标准应用问答丛书 几何误差检测问答 【工业技术】

本书根据最新和现行国家标准，以问答的形式，简明扼要地论述了关于几何误差检测的基本概念，各种几何误差特征的定义与评定方法，基准与基准体系的建立与体现，形状、方向、位置和轮廓误差及跳动等各种几何误差特征的...

高等几何 【其他书籍】