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.

本书是在“高等微积分”的水平上阐述数学分析中的论题，提供了从初等微积分向实变函数论及复变函数论中的高等课程的一种过渡，而且介绍了某些涉及现代分析的抽象理论．内容既涵盖我国大学的数学分析课程的内容，又包括勒贝格积分及柯西定理和留数计算等.本书条理清晰，内容精练，言简意赅，适合作为高等院校本科生数学分析课程的教材．

本书使用认知科学和学习理论的近期新研究成果，为您带来多感官的学习体验，它采用了丰富、可视、适于大脑工作的形式，而不是用过多的文字使您感到困倦。全书讲述iPhone 开发方面的相关知识。

《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

该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。

本书一书主要总结了算子集合的不变子空间性质，以及类紧算元的相关结果。在算子理论中，我们把紧的拟幂零算子称为Volterra算子。由Volterra算子组成的集合亦称为Volterra集合，如Volterra半群，Volterra代数等。在《公共不变子空间与紧型条件》的第一部分，我们主要讨论Volterra半群，Volterra李代数，Volterra约当代数的不变子空间问题，这些问题都曾经是算子理论、算子李代数中的经典公开问题，在1999-2005年左右得以解决，收录于《公共不变子空间与紧型条件》第一部分。在《公共不变子空间与紧型条件》的第二部分，我们讨论了幂零李代数生成Banach代数是否为Engel代数的这一公开问题，这也是算子李代数的经典问题，至今尚未完全解决，相关部分结果收录于第五章，随后我们把紧算子的相关性质向Banach代数中类紧元集合推广，给出了离散根的定义和性质，最后，我们给

《中国至2050年油气资源科技发展路线图(英文版)》内容简介：As one of the eighteen field-specific reports comprising the comprehensive scope of the strategic general report of the Chinese Academy of Sciences, this sub-report addresses long-range planning for developing science and technology in the field of oil and gas resources. They each craft a roadmap for their sphere of development to 2050. In their entirety, the general and sub-group reports analyze the evolution and laws governing the development of science and technology, describe the decisive impact of science and technology on the modernization process, predict that the world is on the eve of an impending S T revolution, and call for China to be fully prepared for this new round of S T advancement. Based on the detailed study of the demands on S T innovation in Chinas modernization, the reports draw a framework for eight basic and strategic systems of socio-economic development with the support of science and technology, work ou

分析已经成为这十年来的技术驱动力。诸如IBM、SAP、SAS、Teradata、Oracle、Microsoft和Dell等公司正在创建专注于分析的新型组织单元，帮助企业更加有效和高效地运营。决策者也正在使用更多的计算机化工具来支持他们的工作。消费者甚至都在直接或间接地使用分析工具来对购物、健康或医疗保健、旅游和娱乐等日常活动做出决定。

《石油精炼工艺手册:脱氢、加氢处理与氢化工艺(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版。《石油精炼工艺手册:脱氢、加氢处理与氢化工艺(影印版)(英文版)》深入讲解了当今的炼油技术、工艺和方法，并介绍了复合环保要求的燃料和石化中间以及石油炼制工艺的发展成果。

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

是不是准备把你的静态：HTML页面上升到新高度，想要使用PHP和MySQL构建数据库驱动的网站？《Head First PHP MySQL(中文版)》正是你需要的实践指南，可以让你很快地建立并运行动态网站。你可以具体动手构建真实的应用，包括从一个视频游戏高分公告板到一个在线约会网站等大量应用。读完《Head First PHP MySQL(中文版)》，你将学会如何验证表单，使用会话ID和cookie、完成数据库查询和联接、处理文件I／O操作等。我们认为，你的时间如此宝贵，不应过多地浪费在与新概念的斗争中。通过使用认知科学和学习理论的近期新研究成果，你将享受一种多感官学习体验，《Head First PHP MySQL(中文版)》采用了一种专门为你的大脑而设的丰富格式娓娓道来，而不是长篇累牍地说教，让你昏昏欲睡。

《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

杰弗里·英格拉姆·泰勒爵士（1886—1975）是流体动力学和波动理论的物理学家、数学家和专家，他被认为是20世纪伟大的物理科学家之一。在1958—1971年间出版的四卷科学论文集中，收集了近200篇杰弗里·英格拉姆·泰勒的论文。本卷为第一卷，主要给出了固体力学方面的论文，包括柔性问题及皂膜法的解决、肥皂膜在确定空心轴扭转和弯曲中的应用、伯特兰和开尔文关于脉冲的定理之间的关系等内容。本书适合高等院校数学和力学领域的研究者和研究人员及感兴趣的爱好者参考阅读。

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.

本书是一部英文版的数学专著。早期的经典力学、微积分和常微分方程是不大区分的，其理想目标是求出运动方程的显式解，Newton关于二体问题的求积，从引力定律推出了Kepler通过观察发现的行星运动三定律，被认为是人类理性的伟大胜利，求显式解努力的顶点，是发现了一些以技巧著称的完全可积系统的范例，如Jacobi关于椭球面上测地线的积分，C.Neumann关于受二次位势力作用的球面谐振子，以及几种类型的可积陀螺。这些例子中的运动，多属于周期或概周期运动，Jacobi，Kovaleskage等出色地运用了椭圆积分及代数曲线工。本书属于天体力学范畴，天体力学研究在法国有优良的传统，以三L著称的法国著名数学家拉普拉斯、拉格朗日和勒让德都曾醉心于此。

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

Java 9及其新特性丰富了Java语言的内涵，这是开发者们很广泛使用的语言之一。Java 9通过与Jigsaw集成，从而特别强调了模块化。本书是你精通该语言的一站式指南。你可以从中获得Java 9相关的概览和新特性解释，并了解新API和增强部分的重要性。某些Java 9的新特性是开创性的，如果是有经验的程序员，你将能够把企业级应用变得更精炼。本书提供了在Java平台开发上应用Java 9相关新知识以及更多信息的实用指南。该书有助于提高生产力，让你的应用变得更快。通过学习Java很好实践，你将成为组织里的百晓生。

本书与时俱进，携近期新的库和最现代的编程思维为你丝丝入扣的介绍了专业数据科学必不可少的技能。不用再惧怕理论知识，书中提供了编写算法和处理数据所需的最关键的实用知识，只要有最基本的经验就可以了。你可以在书中找到洞悉复杂的数据所需的全部分析工具，还能学到如何选择正确的算法来解决特定的问题。通过与各种真实问题的亲密接触，你将学会如何应用机器学习方法来处理常见的任务，包括分类、预测、市场分析以及聚类。

本书为全英文专著。中文书名为：无黏结预应力环锚衬砌传力机制和特性中文内容简介：国内外大量重要水利枢纽、市政工程以及长距离调水工程存在压力隧洞，如中国南水北调穿黄隧洞和引松工程、日本地下水系工程、巴基斯坦塔贝拉水利枢纽引水洞以及缅甸萨尔温江电站压力隧洞等，其支护的设计和施工难度远大于无压隧洞。本书涉及的新型无黏结预应力环锚衬砌，高效地利用了锚索高强抗拉性和混凝土抗压性，且可不依赖于围岩条件而独立承载，能为解决覆盖层薄、地质条件差且内水压力高的大直径压力隧洞的支护难问题提供新途径。为保证环锚衬砌的长期运行安全，促进环锚衬砌技术推广应用，在现有数据调查分析基础上，将其应用于实际工程，综合运用理论分析、数值模拟、室内试验和现场试验等多种方法，对其力学特性、结构形式、施工方法和质量控

机器学习所涉及的复杂统计学知识困扰了很多开发者。知晓统计学知识可以帮助你为给定的问题构建强壮的机器学习优化模型。《机器学习统计学（影印版）》将教你机器学习所需的实现复杂统计计算的相关内容，可以从中获得监督学习、无监督学习、强化学习等背后的统计学知识。你将看到讨论机器学习相关统计学内容的真实案例并熟悉它们。还能学到用于实现建模、调参、回归、分类、密度采集、向量处理、矩阵等的相关程序。学完该书，你会掌握机器学习所需的统计学知识。并且能够将所学新技能应用于任何行业问题。