范畴论是一种高度抽象的数学理论,《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》着重介绍范畴论的基础概念和基本性质。主要内容包括6章:章着重介绍范畴的基本定义及其运算,第2章讨论范畴中的特殊态射与特殊对象,第3章讨论范畴中的各类极限,第4章讨论函子与自然变换,第5章讨论范畴中的“伴随”现象,第6章讨论计算机科学中的范畴。建议在阅读《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》内容时,将第3~5章作为重点进行学习;同时,建议将第5章的内容作为难点进行学习。 《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》适合作为高等学校计算机科学或软件理论领域研究生的教材,也适
本非线性系统的研究近年来受到越来越广泛的关注,国外许多工科院校已将“非线性系统”作为相关专业研究生的学位课程。本书是美国密歇根州立大学电气与计算机工程专业的研究生教材,全书内容按照数学知识的由浅入深分成了四个部分。基本分析部分介绍了非线性系统的基本概念和基本分析方法;反馈系统分析部分介绍了输入-输出稳定性、无源性和反馈系统的频域分析;现代分析部分介绍了现代稳定性分析的基本概念、扰动系统的稳定性、扰动理论和平均化以及奇异扰动理论;非线性反馈控制部分介绍了反馈线性化,并给出了几种非线性设计工具,如滑模控制、李雅普诺夫再设计、反步设计法、基于无源性的控制和高增益观测器等。此外本书附录还汇集了一些书中用到的数学知识,包括基本数学知识的复习、压缩映射和一些较为复杂的定理证明。本书已根据
本书详细介绍了Creo Parametric 3.0中各种工具命令的使用方法及技巧,包括动力学分析、动画制作、结构分析和热力学分析模型的创建及分析过程。本书章介绍了使用该软件进行分析的3种模式:FEM模式、集成模式和独立模式。重点以集成模式为讲解对象,介绍了机构动力学和有限元分析。第2~5章介绍了动力学分析模块的建立和环境的设置,动力学分析和动画制作等。第6~9章介绍了机构结构分析和热力学分析模型的建立及分析过程。每个知识点都使用了命令讲解结合具体实例的方法,帮助读者更加快速有效地掌握软件的使用。本书可作为机械设计技术人员学习基于Creo Parametric 3.0进行机械结构有限元分析的入门与实践的书籍,也可作为大专院校机械类专业的教材或教学参考书。
《电脑报(2018年合订本)》精心筛选全年电脑报精品文章,包含60多次专题深度策划,为你深度解读2018年产业界、人工智能、区块链等科技潮流;还一贯保持有2000余篇科技、互联网、手机、电脑使用方法与技巧文萃。 《电脑报(2018年合订本)》除了上述实用干货外,还额外精心策划了64个页码的专题内容,内容更为丰富更为新鲜,是科技界及互联网爱好者的百科大全。重新组织海量实用信息,全面提升阅读体验,内容全面涵盖智能手机、平板电脑、笔记本电脑、数码相机、PC电脑等方面,全面展现业界动态。 《电脑报(2018年合订本)》还荟萃新潮电脑及数码设备的使用方法与技巧,是电脑及数码设备用户工具手册。
可编程控制器(PLC)是工业自动化控制中一个非常重要的控制部件,由于其具有极高的可靠性且应用极为方便,因此正在外迅速普及并高速发展。本书以三菱FX2N专业的PLC为例,系统地介绍了PLC的原理及指令系统,用了大量的实例说明指令的应用,并且还有量的习题供读者练习,可以做到边学边练。 本书的重点是强调PLC的实际应用,实用性强,通俗易懂,内容全面,可以作为大专院校电气控制、机电一体化或相关专业的教学用书,也可作为PLC用户的培训教材及工程技术人员的参考书。
本书主要介绍常用机械工程常用词汇,内容包括数学,数学表达式和方程式,物理学,化学,机械制图、公差与配合,理论力学,材料力学,机械原理,机械零部件,金属材料与热处理,互换性和技术测量,电工学,切削加工,液压传动,计算机与优化设计,数控机床,铸造,压力加工,焊接,工业噪声。本书编排合理,内容实用,查询方便,是一本参考性极强的工具书。
本书是本阐述计算机系统设计中的基本原理和抽象的教材,是麻省理工开放式课程计划(MIT Open Courseware)中“计算机系统工程”课程的主教材。计算机系统的基本原理横跨于操作系统、网络、数据库、分布式系统、程序设计语言、软件工程以及计算机体系结构等方面。通过详细分析每个基本原理的案例,本书演示了如何应用这些原理和抽象来解决实际的计算机系统设计问题。
一个人说话,另一个人倾听,我们想当然地认为它是理所当然的,我们大多数人也都认为自己是一个比实际上更好的倾听者。但很多时候,人们似乎都不听彼此说话: “他希望我能听听他的困难,可是却对我的难处不闻不问。” “她老是在抱怨。” “我weiyi一次知道他发生了什么事,还是在他告诉别人的时候不小心听见的。他为什么从不对我说这些?” “我没法子同她说话,她太挑剔了。” …… 夫妻情愫的日渐淡漠、亲子关系的剑拔弩张、朋友同事之间的疏离冷落,长期的沟通不良(甚至不沟通)往往是主因,而罪魁祸首正是“听障”:一方或双方不愿倾听。为什么我们与家庭成员、浪漫伙伴、同事或朋友交谈时常常没有连接?情绪反应如何阻碍真正的交流? 说与听,是沟通的两大要件;但大家都急着说,却少有人用心听。威廉玛丽学院的心理学教授麦克??P.
国家自然科学基金委员会工程与材料科学部、第十一届设计与制造前沿国际会议ICFDM2014编著的《国家自然科学基金机械工程学科2013年度结题项目成果汇编》收编了由项目负责人提供的2013年度国家自然科学基金委员会机械工程学科(E05)结题的各类国家自然科学基金项目结题成果简介。《国家自然科学基金机械工程学科2013年度结题项目成果汇编》内容包括资助项目简介,主要研究进展、创新点及已取得的研究成果,展示了近几年来机械工程学科基础研究的学术动态与发展趋势。
GO法是一种以成功为导向的系统概率分析技术,和常用的故障树方法一样,适用于系统可靠性,可用性、安全性和风险性分析,是一种有效的系统可靠性分析方法。本书详细介绍了GO法的概念和基本原理,论述了GO法的基本算法和新的发展,通过大量算例和实例说明GO法的应用方法和具体分析过程。本书可作为高等院校可靠性专业的教学参考书,也可作为从事可靠性工作的研究人员和工程技术人员的参考书。
《海量点云数据处理理论与技术》共分8章。章绪论,简要介绍海量点云处理技术的基础理论、方法以及主要内容。第2章介绍海量点云数据的预处理,包括点云数据的获取方案,点云的去噪、压缩、配准方法,以及点云空洞的插值方法。第3章介绍海量点云数据的重建方法,系统介绍常用的点云重建算法与特点,并详细介绍基于特征和基于切片的点云重建方法。第4章介绍点云数据及模型的质量评价,从理论和实际两方面对点云质量进行分析,总结点云配准过程中的误差传播模型,系统地归纳三维模型的质量评定方法。第5章介绍点云数据处理技术,详细介绍外常用的海量点云数据处理软件以及三维图像库。第6章介绍地面三维激光扫描仪在隧道监测领域的应用,系统介绍基于三维激光扫描技术的隧道点云数据获取、处理及变形分析方法。第7章介绍地面三维激光扫描仪在