本书的第一部分涵盖了基本的计数工具，包括和与乘积的规则、二项式系数、递归、组合恒等式的双射证明、图论中的枚举问题、包含一排除公式、生成函数、评秩算法和后继算法。阅读这部分内容需要的数学先决条件最少，可用于本科高年级或研究生初级阶段的一个学期的组合学课程。这些材料对计算机科学家、统计学家、工程师、物理学家以及数学家来说都是有趣且有用的。 本书的第二部分包含了对代数组合学的介绍，讨论了群、群作用、排列统计、表格、对称多项式和形式幂级数。这里对对称多项式的表述比标准参考文献更具有组合性(希望更易于读者理解)。特别是一种基于反对称多项式和算盘的新方法对一些高级结果给出了基本组合证明，例如倍增的舒尔(Schur)对称多项式的皮耶里(Pieri)规则和利特尔伍德-理查森(Littlewood-Richardson)规则。第二部分假设读者拥

随机动力系统是一个入门较难的新兴领域。本书是这个领域的一个较为通俗易懂的引论。在本书的第一部分，作者从简单的随机动力系统实际例子出发，引导读者回顾概率论和白噪声的基本知识，深入浅出地介绍随机微积分，然后自然地展开随机微分方程的讨论。

本书将是关于分布式协调控制理论与应用的一部专著，系统地总结了网络化多机电系统分布式协调控制理论与应用技术，是作者多年来科研工作的总结。内容包括：基于无源性理论、终端滑模理论、以及观测器理论的网络多机电系统分布式协调控制器设计与分析；网络多机电系统的分布式自适应控制、分布式智能控制、以及分布式容错控制；多移动机器人编队控制；多发电系统的分布式优化调度与协调控制。

As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.

Initially, computer systems performance analyses were carried out primarily because of limited resources. Due to ever increasing functional complexity of computational systems and user requirements, performance engineering continues to play a major role in software development. This book assesses the state of the art in performance engineering. Besides revised chapters drawn from two workshops on performance engineering held in 2000, additional chapters were solicited in order to provide complete coverage of all relevant aspects. The first part is devoted to the relation between software engineering and performance engineering; the second part focuses on the use of models, measures, and tools; finally, case studies with regard to concrete technologies are presented. Researchers, professional software engineers, and advanced students interested in performance analysis will find this book an indispensable source of information and reference.

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study. This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.

本书结合我国生态文明建设的国家战略需求，依托国家重点研发计划“场地土壤污染成因与治理技术”重点专项（2019YFC1804303），紧密结合科研育人的内在要求，从培养高层次创新型人才知识结构需求出发，注重内容的理论性、系统性、前沿性和完整性。 主要内容包括裂隙介质概念、结构与特性、裂隙介质水动力学基础、裂隙介质中污染物基本传质过程、裂隙介质中污染物传质的数学模型、裂隙介质中污染物传质的数值模拟方法、裂隙孔隙双重介质传质过程、裂隙介质中污染物传质界面的演化规律等内容。 本书可作为地质、水利、矿山、土木、环境、交通、石油、人防、国防等专业教学用书，也可作为相关专业科技人员的参考用书。

本书共分为10章，详细介绍了 Lagrange 内插公式的概念及多种内插方法，讲述了插值法和数值微分、插值的误差估计、反内插法、多变量函数的内插法、分片拉格朗日多项式等内容。本书适合高等数学研究爱好者及大学教师、数学等相关专业的学生研读。

本教材试图从工科的角度介绍随机过程的基本概念和方法内容，特点是阅读的起点相对较低，使读者能够在较短的时间内了解随机过程的基础知识和主要内容，首先对于随机过程的基本思想进行详细的介绍，随后选择几种重要的随机过程进行重点介绍，而对于涉及较深数学知识的内容列出文献，便于感兴趣的读者进行追踪学习。

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Algorithm Engineering, WAE 2000, held in Saarbrücken, Germany in September 2000. The 19 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 30 submissions. Among the topics addressed are software repositories allowing for the use and experimentation with efficient discrete algorithms; novel uses of discrete algorithms; methodological issues on algorithms and data structures; and methodological issues on converting user requirements into efficient algorithmic and implementation solutions.

本书共分七章,主要介绍了微信群中的数学题,数值逼近论中的切比雪夫多项式及其性质，数值积分，特殊函数与切比雪夫多项式,平方逼近与均匀逼近中的切比雪夫多项式，关于苏联科学院数学研究所在函数逼近论方面的工作，圆上的Weissler对数不等式与Stieltjes矩量的极值问题等。 本书适合大学师生及数学爱好者参考使用。

The four-volume set comprising LNCS volumes 2350/2351/2352/2353 constitutes the refereed proceedings of the 7th European Conference on Computer Vision, ECCV 2002, held in Copenhagen, Denmark, in May 2002.The 226 revised full papers presented were carefully reviewed and selected from a total of around 600 submissions. The four books offer topical sections on active and real-time vision, image features, visual motion, surface geometry, grouping and segmentation, stereoscopic vision, structure from motion, shape, object recognition, color and shading, vision systems, statistical learning, robot vision, and calibration.

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Mining Web Data, WEBKDD 2001 held in San Francisco, CA, USA in August 2001. The seven revised full papers went through two rounds of reviewing an improvement. The book addresses key issues in mining Web log data for e-commerce. The papers are devoted to predicting user access, recommender systems and access modeling, and acquiring and modeling data and patterns.

There are nine chapters in this book. The first chapter gives some introduction. The second chapter gives some mathematical preliminaries for the convenience of the subsequent theoretical analysis. The third to sixth chapters focus on the formation flight objective; and the distributed control algorithms are proposed in the cases of switching topology， distance based topology， parametric uncertainties and actuator faults， respectively. The seventh to ninth chapters focus on the formation tracking objective， In the seventh and eighth chapters， two distributed control algorithms are developed over undirected and directed topologies， respectively. In the ninth chapter， an output-feedback distributed control algorithm is developed in the absence of velocity and angular velocity information. This book is written for the readers who are working on the areas of aviation， robotics， aircraft， etc.

本书系国家自然科学基金重大研究计划“视听觉信息的认知计算”的出版成果。本书为《视听觉信息的认知计算》的英文版。本书从人类的视听觉认知与神经机理出发，围绕认知过程的“表达”与“计算”的基本科学问题，重点开展“感知的基本特征、表达与整合”“感知数据的机器学习与理解”“多模态信息协同计算”等三个核心科学问题的研究，发展和构建新的计算模型与算法，为提高计算机对非结构化感知信息和海量异构信息的理解能力及计算效率提供科学支撑。

多值映射理论作为数学中的一个单独领域形成于20世纪中期，并且很快在数学经济、微分方程理论、微分游戏理论、凸分析和极值问题理论、广义动力系统以及很多其他数学领域中得到了大量应用。目前，存在多种研究多值映射不动点的方法，例如度量法以及拓扑法。 在多值映射领域中同样也占有重要位置的是连续分割和逼近的存在问题。本书提出了解决这些问题的简单方法，并研究了所证明理论在非线性分析的各种问题中的部分应用。本书可供对多值映射理论感兴趣的数学家以及非线性分析领域的专业人士参考使用。

《层状和梯度材料断裂力学的边界元法和应用(英文版)(精)》介绍了作者(肖洪天、岳中琦)近十几年来发展的新型边界元法，以及采用建议方法分析层状和梯度材料断裂力学特性的研究成果。 新型边界元法基于层状各向同性材料基本解和双层横观各向同性材料基本解，采用子域和单一区域边界元法分析断裂力学问题，引入可描述裂纹很好应力场和位移场变化特点的单元，采用沿材料梯度方向分层的方法逼近梯度材料力学参数的变化。采用建议方法计算了梯度材料中不同类型三维裂纹的应力强度因子，并分析了裂纹扩展。获得梯度材料力学和几何参数对裂纹应力强度因子和裂纹扩展的影响。 《层状和梯度材料断裂力学的边界元法和应用(英文版)(精)》首先介绍了弹性力学和断裂力学的基础知识，简单且完整地介绍了层状材料的基本解。在接下来的几章里，发展了基于层

《Complexes and the Cohen-Macaulay Property(复形与Cohen-Macaulay性质）》共分为7章。第一章包含了关于深度、Krull维数以及CM性质等的一些核心结果或者基本事实；其中关于标准代数的CM性与分次CM性的等价性、序列CM性的代数描述两部分内容十《Complexes and the Cohen-Macaulay Property(复形与Cohen-Macaulay性质）》的特色和贡献。第二章是讨论单纯复形的基本事实，特别是描述了两个代数不变量（由复形构造的面环的深度、Krull维数）与复形的拓扑不变量之间的确切关系）。第三章讨论复形的shellable性质，特别是详细推出其用restrictionmap进行的等价刻画、与d-可分性之间的等价关系，是对于shellable性质的深刻描述和讨论。第四章介绍了如何由拓扑复形构造代数链复形，介绍相应的导出同调群，并重点介绍了近代文献中有较多应用的Koszul复形以及三种常用复形的详尽构造。第五章是《Complexes and

本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量，突破传统学科界线的束缚，进行不同学科间有效的交叉融合；针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应，呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献，为我国由地学大国变为地学强国提供切实可行的突破口。

于19世纪50年代的一个半世纪里，这是第一次有人从“形式逻辑”的基本框架出发，对这个经典理论体系所作的一次“体系性”反思、梳理、批判和重建。书中所出现不同于经典理论的所有材料、或者提出的独立研究结果，除了添加的与“数值分析”相关的研究结果以外，全部源自于笔者自担任上海交通大学自然科学基础研究组负责人的近20年来已经完成的独立研究工作。

本书将是关于分布式协调控制理论与应用的一部专著，系统地总结了网络化多机电系统分布式协调控制理论与应用技术，是作者多年来科研工作的总结。内容包括：基于无源性理论、终端滑模理论、以及观测器理论的网络多机电系统分布式协调控制器设计与分析；网络多机电系统的分布式自适应控制、分布式智能控制、以及分布式容错控制；多移动机器人编队控制；多发电系统的分布式优化调度与协调控制。

本书为《单量子态的探测及相互作用》的英文版。单量子态，是指量子体系中的单光子、单电子、单原子、单分子、聚集体中的准粒子等单粒子量子态，以及聚集体中多粒子凝聚所形成的宏观量子态（如玻色-爱因斯坦凝聚态、超导或超流量子态）等。本书呈现了单量子态及其量子效应的研究，直接对单粒子量子态和宏观量子态等进行高精度的精密探测；结合理论，理解和掌握量子态的特性和量子过程的基本规律，在此基础上发展新的量子器件构筑技术和量子探测手段，以提升我国基础研究的水平，解决与我国信息和能源技术实现跨越式发展的一些重大需求相关的问题。