物理学 下 电学振动和波光学原理构造

量子基础构造原理解读

本书在回顾量子力学发展历史和基础内容的基础上，应用经典力学、数学物理方法、电动力学、统计力学及原子物理学的知识对量子力学中的量子概念进行了深入的数理解读，并对量子的基础构造原理问题的研究结果和分...

高效有限元构造与分析

稳定性基本理论与Lyapunov函数构造

仪器分析与检修

本书为全国电力职业教育规划教材。本书以岗位职业能力和职业技能鉴定为指导，结合中等职业学校电厂水处理与化学监督专业教学大纲与实施性教学计划，共编写了七章。本书主要内容包括分析仪器检修基础，电导率、pH...

幻方的构造与数量

幻方是以排列组合为基础的数学问题，常见的有对称幻方、泛对角线幻方等，国内外数学家有较多研究，但尚未有全面优化的解决方法。本书作者创造性地运用中国象棋中的兵步、士步、马步构造幻方，提供了一种通用的优化...

可展曲面的构造与插值研究

本书对可展曲面的构造与插值作了深入的探索和研究。对曲面造型技术做了综述，总结了函数曲面造型技术、隐式曲面造型技术、参数曲面造型技术以及近些年新发展起来的变形造型技术、细分曲面造型方法，以及基于物...

幻方研究与构造方法

本书内容包括三部分，第一部分介绍幻方通用衍生、特殊衍生，特别是引进“双行双列交换”；第二部分介绍了笔者根据幻方衍生原理，独创的生成全部N阶幻方的五步法，并且通过用部分均衡样品的计算得出六阶幻方总个数的....

函数构造的理论与应用 谢庭藩文集

本书共分成六个部分，主要研究的是用有限差的积分代替连续性模来给出Fourier级数绝对收敛的条件；Fouriei和Vall6ePoussin和以及Euler和对函数的逼近；多项式、逐段多项式以及插值多项武对函数的逼近，并系统综述了...

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

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