本教材是测绘工程、地理信息工程、遥感科学与技术、智能建造、环境工程、交通工程等专业的测量学基础课程配套教材。整部教材共分为11章,第1章介绍测量学的起源、内涵、任务与发展,第2章介绍坐标系统与测量的基本内容,第3章介绍测量误差及处理方法,第4章介绍水准测量,第5章介绍角度和距离测量,第6章介绍 GNSS测量与定位,第7章介绍平面和高程控制测量,第8章介绍地形图与地形测量,第9章介绍数字测量前沿技术,第 10章介绍数字地形图应用,第 11章介绍工程测量及应用。本教材以测量学的基本原理、测绘新技术、应用新领域为主要内容,力图超越传统测量学教材编写的桎梏,为相关专业学生提供一本前沿性教材,供测绘高等教育和专业人士参考。
本书是经典的离散数学教材,被数百所大学广为采用。本科教学版缩减了篇幅,保留的主要内容包括:逻辑和证明,集合、函数、序列、求和与矩阵,计数,关系,图,树,布尔代数。 取材广泛,除包括定义、定理的严格陈述外,还配备大量的例题、图表、应用实例和练习。第8版做了与时俱进的更新,成为更加实用的教学工具。 可作为高等院校数学、计算机科学和计算机工程等专业的教材,也可作为科技领域从业人员的参考书。 本书是介绍离散数学理论和方法的经典教材,被数百所高校采用,获得了极大的成功。第8版做了与时俱进的修改,同时更新了配套教辅资源,成为更加实用的教学工具。本科教学版缩减了篇幅,适用于数学、计算机科学、计算等
本书系统讲解了机器人学的理论知识,主要内容包括:空间位姿的描述和变换、操作臂的正运动学和逆运动学、操作臂的雅可比、操作臂动力学、轨迹规划、操作臂的机构设计、操作臂的线性和非线性控制、操作臂的力控制、机器人编程语言和离线编程。此外,各章末包括不同难度的习题、编程练习和MATLAB练习。本书可作为高等院校相关专业的教材和参考书,也可供相关技术人员参考。
本书在《材料力学(第2版)》基础上改编而成。增加作者微课视频等电子资源,在每章节中以二维码的形式呈现。本书主要内容包括轴向拉伸与压缩、剪切、扭转、弯曲、应力状态分析、强度理论组合变形、能量法、压杆稳定、动载荷及疲劳强度等。每章附有思考题、习题及习题答案。附录中介绍了截面图形几何性质及平面应力条件下的应变分析,提供了型钢表(包括H型钢)。本书注重工程背景的介绍和工程实例的引人,从更有利于教学的角度出发,内容力求做到层次分明、论述严谨、详略适当、例题和习题难易适中。 本书可作为普通高等院校土木工程和机械工程等专业 材料力学 课程的教材,也可用作教师及有关工程技术人员的参考书。
本书讲述了有关数论大量有趣的知识,以及数论的一般方法和应用,循序渐进地启发读者用数学方法思考问题,此外还介绍了目前数论研究的某些前沿课题。本书采用轻松的写作风格,引领读者进入美妙的数论世界,不断激发读者的好奇心,并通过一些精心设计的习题来培养读者的探索精神与创新能力。
《计算机科学导论》是国外计算机等IT相关专业本科生的一本基础课教材,也是一本非常经典的计算机入门读物。作为一本百科全书式的计算机专业基础入门读物,书中涉及计算机科学的方方面面。虽然读者对象是计算机专业的学生,但这本书深入浅出,引人入胜,勾画出计算机科学体系的框架,为有志于IT行业的学生奠定计算机科学知识的基础,架设进一步深入专业理论学习的桥梁。
本书是系统介绍软件工程理论的经典教材,共包含四个部分:第壹部分(第1~9章)是对软件工程的一般性介绍,介绍了软件工程的一些重要概念(如软件过程和敏捷方法),描述了基本的软件开发活动(从需求规格说明一直到系统演化);第二部分(第10~14章)关注软件系统可依赖性和信息安全等重要话题;第三部分(第15~21章)介绍更高级的软件工程话题;第四部分(第22~25章)介绍一系列的管理话题,关注技术管理问题。本书适合作为软件和系统工程专业本科生或研究生教材,同时也是软件工程师难得的参考书。
本书涵盖了软件测试的方方面面:软件测试如何适应软件开发过程,基本的和高级的软件测试技术,在常见的测试任务中运用测试技能,使用自动化提高测试的效率,测 试工作的计划和文档化,有效地报告发现的问题,衡量测试工作的成效和产品的改进, 测试和质量保证的区别,寻求软件测试员的工作。 本书适合软件测试人员及希望未来从事软件测试的其他专业人员阅读,也适合高等 院校相关专业的学生及教师参考。
本教括 城市设计认识:流变与内涵 城市设计价值:理念和价值观 城市设计对象:空间与类型 城市设计方法:调研与分析 城市设计编制:目标与内容 城市设计管控:路径与实践 共6章内容,适用于高等学校城乡规划专业的师生、相关行业从业人员和政府管理人员。
本书不仅详细叙述了拓扑线性空间,包括若干子类局部凸空间、赋范空间、内积空间的公理系统、结构属性及其之上的强弱拓扑、共轭性,还深入论述了该学科离不开的几个专题,即形式上更为一般的三大基本定理与泛函延拓定理, Banach代数特别是Gelfand变换的基本理论,紧算子及其谱理论,自伴算子的谱理论,无界正常算子的谱理论以及Bonsall的闭值域定理,不变子空间的Lomonosov定理等;而且给出了以上基本理论的丰富多彩的应用,包括完整的关于广义函数、Fourier变换及其偏微分方程基本解的论述,对于Tauber型定理的应用,von Neumann的平均遍历定理,算子半群的Hille-Yosida定理并应用于发展方程等。
本书在编写上力求理论联系实际,密切结合专业,图文结合,深入浅出,便于自学。主要内容有:制图规格及基本技能,视图、剖面图和断面图的画法及尺寸标注,房屋建筑施工图及结构施工图的有关内容、绘制方法与识读,建筑给水排水工程图的内容、绘制方法与识读,AutoCAD绘图与BIM简介等。在机械图部分,介绍了标准件和常用件、零件图和装配图等的画法以及机械图和房屋图在图示方式上的异同点等。本书可作为高等院校土木工程、智能建造、给水排水工程等专业或相近专业的 工程制图 课程的教材,也可供工程技术人员参考或有关人员自学。与本书配套使用的有《建筑工程制图习题集(第7版)》。
《国外电子电气经典教材系列:微机电系统基础(原书第2版)》第1版被翻译成3种文字出版发行,并已被美国一些著名大学作为教科书,在MEMS领域享有较高声誉。全书共分15章。第1、2章概括了基本传感原理和制造方法;第3章讨论了当今MEMS实践中所必需的电学和机械工程基本知识;第4~9章分别描述了静电、热、压阻、压电、磁敏感与执行方法,及其相关的传感器与执行器;第10~11章详细介绍了微制造中常用的体微机械加工和表面微机械加工技术,而器件制造方法则插入到实例研究中;第12章讨论了工艺技术的综合应用;第13章介绍了与聚合物有关的MEMS制造技术;第14章讨论了微流控原理及应用。根据这些敏感与执行方法以及制造方法;第15章选择了MEMS商业化产品实例进行介绍。 《国外电子电气经典教材系列:微机电系统基础(原书第2版)》循序渐
本书结合当前我国建筑工业化发展现状,参照了新的规范、标准和国内外学者新的研究成果,系统地介绍了不同结构体系的装配式建筑的设计、构件制作、施工等而对装配式建筑的减隔震技术、BIM技术的应用以及济性分析行了全面地介绍,层次清晰、结构合理、内容全面。本书主要内括:绪论、装配式建筑标准化设计、装配式建筑结构体系、装配整体式混凝土结构设计、预制混凝土构件制作与安装、装配式钢结构设计与施工、装配式竹木结构设计与施工、装配式建筑减隔震、装配式建筑中的BIM技术应用、装配式建筑的成本效益分析、工程实例等。
本书是国家一流课程、国家精品资源共享课程的配套教材。本书根据新法律法规以及国家工程管理专业规范要求,结合工程合同管理的新研究、教学改革和实践,总结了工程合同管理的结构体系和基本要点,界定了工程合同管理课程的性质、定位以及教学目标、内容和教学方法。本书全面、系统地介绍了建设工程合同管理导论,合同法律基本原理,建设工程合同管理策划,建设工程招标与投标,建设工程监理合同及管理,建设工程勘察设计合同及管理,建设工程施工合同及管理,建设工程总承包合同及管理,建设工程全过程咨询合同及管理,建设工程物资采购合同及管理,FIDIC土木工程合同及管理,建设工程索赔及管理的主要内容,并附有与教材配套的数字资源。 本书可作为全国高等学校工程管理、工程造价等本科专业的教材使用,也可供相关专业的科技人员以
本书是分析领域内的一部经典著作。主要内容包括:抽象积分、正博雷尔测度、LP-空间、希尔伯特空间的初等理论、巴拿赫空间技巧的例子、复测度、微分、积空间上的积分、傅里叶变换、全纯函数的初等性质、调和函数、*大模原理、有理函数逼近、共形映射、全纯函数的零点、解析延拓、HP-空间、巴拿赫代数的初等理论、全纯傅里叶变换、用多项式一致逼近等。另外,书中还附有大量设计巧妙的习题。本书体例优美,实用性很强,列举的实例简明精彩,基本上对所有给出的命题都进行了论证,适合作为高等院校数学专业高年级本科生和研究生的教材。
本书全面介绍高维概率的理论、关键工具和现代应用,涵盖Hoeffding不等式和Chernoff不等式等经典结果以及Matrix Bernstein不等式等现代发展,还介绍了基于随机过程的强大方法,包括Slepian、Sudakov和Dudley不等式等工具,以及基于VC维数的通用链和界。全书使用了大量插图,包括协方差估计、聚类、网络、半定规划、编码、降维、矩阵补全、机器学习、压缩感知以及稀疏回归的经典和现代结果。
本教材在第四版的基础上,全面参考水资源利用与保护的相关成果与进展,结合新修订的技术标准与规范,对教材内容进行了全面系统修编与增补。教材全面介绍了水资源利用与保护的理论与方法,补充和完善了地下水资源评价、供水资源水质评价和节水理论与技术等章节内容。突出教材内容和结构的系统与完整。 本教材系统性强,理论性与实用性统一,可作为高等学校给排水科学与工程(给水排水工程)专业教材,也可作为环境科学、环境工程专业教材或教学参考书,还可供相关专业科技人员参考。
《代数(英文版.第2版)》由著名代数学家与代数几何学家michaelartin所著,是作者在代数领域数十年的智慧和经验的结晶。书中既介绍了矩阵运算、群、向量空间、线性算子、对称等较为基本的内容,又介绍了环、模型、域、伽罗瓦理论等较为高深的内容。本书对于提高数学理解能力,增强对代数的兴趣是非常有益处的。此外,本书的可阅读性强,书中的习题也很有针对性,能让读者很快地掌握分析和思考的方法。 作者结合这20年来的教学经历及读者的反馈,对本版进行了全面更新,更强调对称性、线性群、二次数域和格等具体主题。本版的具体更新情况如下: 新增球面、乘积环和因式分解的计算方法等内容,并补充给出一些结论的证明,如交错群是简单的、柯西定理、分裂定理等。 修订了对对应定理、su2 表示、正交关系等内容的讨论,并把线性
本教材介绍了城乡规划常用的定量分析技术方法及其应用。内容分为基础篇、提高篇和应用篇,由浅入深,从操作技术基础到编程开发应用,涵盖ArcGIS、遥感、SPSS、Matlab和Python等多种工具在城市规划中的应用。具体包括GIS空间分析、ENVI遥感图像处理、数理回归统计、Python空间建模和人工智能技术应用等,并附有操作数据与程序代码。除传统规划空间数据分析外,本教材还介绍了公交刷卡数据、街景数据和房价数据的爬取方法与分析应用。以案例串讲形式贯穿全书,充分面向读者,采用逻辑归纳、技术路线阐释,使得技术方法易懂且适用。本教材可作为城乡规划、交通规划等相关领域和专业的本科生、研究生教材,也适用于城乡规划设计的一线工作人员。