三大改善活动机制简洁高效，是保障精益取得成果的重要抓手，更是精益管理活动的重中之重。该机制是作者推行精益管理活动20多年实践精髓的总结。本书围绕三大机制，将这套历经检验、行之有效的方法系统地整理总结出来。全书共分五篇，分别对全员经验改善活动的定义、愿景、目标、路径和实战事例等内容进行叙述，并阐述了全员推行精益改善的三大机制的目的和措施，后讲述了课题改善中发现问题、分析问题和解决问题的逻辑、路径与方法。

This book addresses recent developments in mathematical analysis and computational methods for solving direct and inverse problems for Maxwell’s equations in periodic structures. The fundamental importance of the fields is clear， since they are related to technology with significant applications in optics and electromagnetics. The book provides both introductory materials and in-depth discussion to the areas in diffractive optics that offer rich and challenging mathematical problems. It is also intended to convey up-to-date results to students and researchers in applied and computational mathematics，and engineering disciplines as well.

《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速且自然地给出数学分析的坚实基础.在分析基础形式化系统下，给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明，这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等，基于实数的完备性定理，作为应用，进一步给出闭区间上连续函数的重要性质——有界性定理、*值定理、介值定理、一致连续性定理——的机器证明.另外，还给出张景中院士提出的第三代微积分——不用极限的微积分——的形式化系统实现.在我们开发的系统中，全部定理无例外地给出Coq的机器证明代码，所有形式化过程已被Coq验证，并在计算机上运行通过，体现了基于Coq的数学定理机器证明具有可读性和交互性的特点，其证明过程规范、严谨、可靠.该系统可方便地应用于数学分析相关理论的形式化构建.

本书内容共分十二章，一至九章主要介绍了加、减、乘、除、乘方、开方横式计算方法，除了文字叙述外，还通过例题示范计算过程。每一类别都配备了一定量的练习题，并在每章末附有答案，供练习时参考。第十章介绍了非十进制数的转换和运算，列举例题都采用横式完成，另辟蹊径。尽管日常计算用不到，但了解这些知识，对我们更深刻地认识和了解进制、解决所关联的问题是大有好处的；第十一章横式简算法综合应用题例，展示了横式简算法在综合解题中的具体应用和简便快捷的运算特点；第十二章方法活用主要介绍了从日常计算中总结出来的一些经典方法，有助于读者拓宽思路，提升能力。本书各部分独立成篇，既可以按顺序学习，也可以根据读者需要进行有选择的学习。

本书面向理工非数学类专业本科生。书中包含微积分在工程、管理及其他领域中的应用实例，通过对实际应用问题、数学建模例题的讲述，提高学生的学习兴趣并培养其应用数学知识解决实际问题的能力。本书配置丰富的数字资源，包括典型例题、习题讲解，每节预习检测，数学应用相关的选读材料等，读者登录数字课程平台或者扫描二维码即可浏览。本书上册内容包括一元函数微积分学、常微分方程初步；下册内容包括向量代数与空间解析几何，多元函数微积分学，无穷级数等。

In this thesis we construct an additive category whose objects are embedded graphs （or in particular knots） in the 3-sphere and where morphisms are formal linear combinations of 3-manifolds. Our definition of correspondences relies on the Alexander branched covering theorem [1]， which shows that all compact oriented 3-manifolds can be realized as branched coverings of the 3-sphere， with branched locus an embedded （not necessarily connected） graph. The way in which a given 3-manifold is realized as a branched cover is highly not unique. It is precisely this lack of uniqueness that makes it possible to regard 3-manifolds as correspondences. In fact， we show that， by considering a 3-manifold M realized in two different ways as a covering of the 3-sphere as defining a correspondence between the branch loci of the two covering maps， we obtain a well defined associative composition of correspondences given by the fibered product.

好玩的数学长作业，最生动的体验，最深刻的感悟。有心而新，一线教师17年实践探索，用项目式学习让孩子喜欢上数学！

本书系统介绍非线性优化的基础理论，内容包括非线性规划、非线性二阶锥优化、非线性半定规划的**性理论和经典的稳定性分析理论，稳定性分析主要包括Jacobian**性条件下的稳定性分析和Karush-Kuhn-Tucker系统的强正则性的刻画。为了刻画非线性二阶锥优化和非线性半定规划的理论，以较短的篇幅介绍了对偶理论、锥约束优化的**性理论与经典的稳定性结果，还介绍了Lipschitz连续优化和互补约束优化问题的**性必要条件。

《几何原本》是古希腊数学家欧几里得的一部不朽著作，集古希腊数学的成果和精神于一书。它既是数学巨著，又极富哲学精神，并第一次完成了人类对空间的认识。 《几何原本》自问世之日起，在长达两千多年的时间里，经历多次翻译和修订，自1842年第一个印刷本出版，至今已有一千多种不同的版本，流传甚广。 《几何原本》收录了原著13卷全部内容，包括5个公设，5个公理，23条定义和467个命题，即先提出公设、公理和定义，再由简到繁予以证明，并在此基础上形成了欧氏几何学体系。欧几里得这一演绎推理，后来成了用以建立知识体系的严格方式。这种思维范式的确立，对人类知识发展和形成的影响尤为巨大。

在旋进流形式下产生的流体动力不稳定性．称为涡流，在Francis水轮机尾水管的壁面上产生高压不稳定波动，导致了包括疲劳损坏在内的比较差的涡轮性能。该现象的建模和这个涡流系统的流体动力学不稳定性的数值研究是本书调研的任务。作为经典方法的替代方法，本书呈现了一种新的涡流流体解析法，该方法基于近的一种具有正交分解的谱配置的数学方法。本书呈现的数学模型可以恢复水轮机特性预测中的信息，而无须计算三维的不稳定流。本书提供了有价值的工具，可以在流道设计的早期阶段评估非设计运行状态下的水轮机性能。本书提供的数学工具为解决现代科学中出现的跨学科问题提供了可转移的知识，这些知识可以应用于许多不同的学科之中。