本书首先回顾了当前技术设计师、记者和研究人员使用的术语和理由，随后描述了智能城市发展的三种模式 从零开始建设型智慧城市、改造型智慧城市和社交型智慧城市 并提供了每种模式的实例。本书涵盖了传感器、公共wifi、大数据和智能手机应用程序等各种技术和方法，还讨论了开发人员如何设想建成环境、技术和城市基础设施、公民和公民参与之间的交互。研究过世界各地智慧城市的作者认为，智慧城市开发商应该与当地社区居民更紧密地合作，认识到他们与城市的原有关系，认识到技术修复的局限性。
中国战略性新兴产业 新材料 丛书是中国材料研究会组织编写的，被新闻出版广电总局批准为 十二五 国家重点出版物出版规划项目。丛书共16分册，涵盖了新型功能材料、高性能结构材料、高性能纤维复合材料等16种重点发展材料。本分册为《碳/碳复合材料》。本书在总结近年来国内外相关研究与应用开发成果的基础上，基于作者团队的研究成果，系统论述了碳/碳复合材料的概念与特点、主要制造工艺、组织结构与性能特征、抗氧化与抗烧蚀技术、产业发展背景及战略意义、主要任务及应对策略等。本书针对影响碳/碳复合材料产业发展面临的关键基础科学和技术难题与应对策略，引用了大量的文献资料，突出了该领域的研究热点和未来发展趋势。本书内容系统、先进，适合我国碳/碳复合材料产业相关的基础科学和技术领域的科技工作者参考，也可作为高校
本书是根据我国当前对培养高素质、高水平、国际化人才的需求，在总结和吸取多年教学改革经验的基础上，参考国内外同类教材编写而成的。本书根据本学科知识的逻辑性、系统性、规律性，在不同阶段、不同环节中，对学生进行不同程度的空间思维能力、构型能力、创新能力、使用现代化工具和解决复杂工程问题能力的培养，其主要特点是：采用全新的国家标准；建立独特的结构体系；实操案例全部为工程应用内容，适用性强。本书的主要内容有：零部件构形设计，机械零部件的三维造型与装配设计基础，机械零部件二维表达与AutoCAD2018辅助设计基础，机械零部件测绘与案例及面向工程应用的案例实操。本书适合作为普通高等院校工程类专业教材，也可供工程技术人员参考。
本书通过精炼的语言将JSP基础知识呈现给读者，每章中含有众多案例，并且每章都配有漫画，通过这种方式不仅可以提升读者的编程能力，还可以极大地带动读者的阅读兴趣。在学习完每章之后，读者可以通过课后习题和上机案例加深对每章知识点的理解和记忆。 本书共分为11章，分别介绍了Web开发技术概述、JSP简介、JSP基本语法、JSP内置对象、JSP与JavaBean、Servlet、MVC模式、在JSP中使用数据库、JSP文件操作、在JSP中使用XML、SSM项目整合案例等内容。 本书可作为高等院校计算机相关专业的课程学习教材，也适合Java技术的爱好者参考学习。
本书介绍了数值方法的理论及实用知识，并讲述了如何利用MATLAB软件实现各种数值算法，以便为读者今后的学习打下坚实的数值分析与科学计算基础。本书内容丰富翔实，教师可以根据不同的学习对象和学习目的选择相应的章节，形成理论与实践相结合的学习策略。书中的每个概念均以实例说明，同时还包含大量的习题，范围涉及多个不同领域。通过这些实例进一步说明数值方法的实际应用。本书的突出特点是强调利用MATLAB进行数值方法的程序设计，可提高读者的实践能力并加深对数值方法理论的理解；同时它的覆盖范围广，包含数据方法的众多研究领域，可以满足不同专业和不同层次学生的需求。 本书概念清晰、逻辑性强，可作为大专院校计算机、工程和应用数学专业的教材和参考书。
本书介绍了使用Pro/ENGINEER野火版2.0进行模具设计的过程和方法，内容包括软件使用环境的配置、模具设计流程、一般分型面的设计、型芯设计、滑块设计、斜销设计、破孔修补、一模多穴的模具设计、浇道系统（流道和水线）设计、开模模拟、利用着色和裙边的方法设计分型面、模具设计的修改、模座设计、模具分析、塑料顾问模块的使用等。 在内容安排上，本书主要通过大量的实例对Pro/ENGINEER模具设计的核心技术、方法与技巧进行讲解和说明，这样的安排可增加本书的安实用性和可操作性；在写作方式上，本书紧贴软件的实际操作界面，采用软件中真实的对话框、操控板、按钮等进行讲解、使初学者能够直观、准确地操作软件、从而尽快地上手、提高学习效率。 本书内容全面、实例丰富、讲解详细、图文并茂，可作为广大工程技术人员学习Pro/ENGINEE模具设
本书全面介绍了图论的基本概念、基本概念、基本定理和算法，帮助读者理解并掌握图的结构和解决图论问题的技巧，另外，书中包含很多图论的新研究成果，并介绍了一些悬而未决的图论问题，证明与应用并举是本书的一个重要特点，书中对所有定理和命题给出了完整的证明，同时讨论大量的实例和应用，并提供了1200多道习题。 本书可以作为高等院校数学系本科生和研究生、计算机专业和其他专业研究生的图论课程教材，也可以作为有关教师和工程技术人员的参考书。
本书为复旦大学研究生教学用书，书中全面介绍网络信息安全的基本原理和实践技术。在部分“网络安全概述”中先简介TCP/IP协议，然后分析目前常见的各种安全威胁，指出问题根源，提出网络安全的任务；第二部分“安全框架与评估标准”介绍一些经典的网络安全体系结构，并介绍了国际和国内对网络安全的评估标准和有关法规；第三部分“密码学理论”着重介绍密码学，从传统密码技术到对称密码体系、公钥密码体制以及密钥分配与管理、数字签名、数据隐写与电子水印等；第四部分为“安全技术和产品”，全面介绍身份认证、授权与访问控制、PKI/PMI、IP安全、E-mail安全、Web与电子商务安全、防火墙、VPN、安全扫描、入侵检测与安全审计、网络病毒防范、系统增强、安全应急响应、网络信息过滤、网络安全管理等技术，内容基本涵盖目前主要的安全技术。在每
本书通过四部分介绍了计算机科学方面的知识：计算机硬件、软件、数据组织和计算理论等。本书还包含了数据压缩、算法分析、网络安全、设计模式、面向对象数据库系统、遗传算法和公开密钥加密等新内容。本书对这些内容的论述深浅适当，文字通俗易懂而又保持简练和准确；每一节都带有精心挑选的习题；给出的插图也颇具匠心，能够很好地表现书中阐述的内容。 本书可作为计算机科学专业的教材，也适合于其它专业的师生使用。
本书系统、完整地叙述湍流的基本理论和近代的湍流数值模拟方法。全书共8章，具体内容包括湍流的统计和测量、湍流运动的基本方程、均匀各向同性湍流、简单剪切湍流、标量湍流、湍流直接数值模拟、雷诺平均统计模式、湍流大涡数值模拟。书中总结了近年来国内外湍流前沿和热点问题研究的进展，并融入了作者多年来的教学经验和学术成果。 本书可作为工程力学、流体力学、空气动力学、航空工程、工程热物理、热能工程、核能工程、环境科学和工程、水利工程等专业研究生教材和科研人员的参考书。
在这个科学技术飞速发展的时代，程序设计是大学生在使用计算机时必须具备的能力。本书面向广大非计算机专业的程序设计初学者，由浅入深地讲述了C语言的设计方法。同时，还阐述了程序设计的基本方法和面向对象程序设计的基本知识。 本书根据初学者的特点，按照学生的认知规律精心策划，力求使用通俗易懂的语言、丰富的图形及例题介绍比较抽象的概念和逻辑。对于其中比较难于理解的算法，还提供了动画演示(可通过http://www.tupwk.com.cn/downpage/index.asp下载)。 本书内容深入浅出，循序渐进，便于自学。可作为非计算机专业C程序设计课程的教材，也可以作为相关培训班的教材。
基本信息 商品名称： 实用矩阵分析基础 出版社： 国防工业出版社发行部 出版时间： 2018-06-01 作者： 时宝 译者： 开本： 16开 定价： 49.00 页数： 345 印次： 1 ISBN号： 9787118114706 商品类型： 图书 版次： 1
《热能与动力机械制造工艺学》是根据 新颁布实施的专业目录和新组建的动力工程类专业教学指导委员会拟定的“热能与动力机械专业指导性教学计划”及教材编写规划的要求编写的。 按照本专业课程改革的新思路，《热能与动力机械制造工艺学》除了讲授热能与动力机械制造工艺的基本理论和知识（公差标准和尺寸链、机械加工质量、典型表面加工、机床夹具、零件制造工艺规程编制、装配、机械制造系统自动化等）外，还编入铸造、锻造、焊接工艺的基本理论知识，非金属材料加工与成形，生产过程质量的管理与控制等。在限定容量内力求讲述较新、较全的零件加工制造工艺基本教学内容是《热能与动力机械制造工艺学》的特色之一。 《热能与动力机械制造工艺学》为高校“热能与动力机械专业”的专业课教材，也可作为其他非机械加工专业制造工艺
赵才其，赵玲主编的《结构力学（第2版高等学校土木建筑专业应用型本科系列规划教材）》共12章，其中 ～8章即绪论、平面体系的几何构造分析、静定结构的内力分析、静定结构的位移计算、力法、位移法、渐近法、影响线及其应用为基本内容，一般需安排64学时；第9～12章即矩阵位移法、结构的动力分析、结构的稳定分析、结构的极限分析为专题内容，各校可根据具体情况选学，一般需安排48学时左右。 全书内容精练，通俗易懂，便于自学，并配有教学课件，方便教师教学。既重视基本概念、基本原理的讲解和基本方法的训练，又注重理论知识与应用背景的结合，以及本学科 成果及发展趋势的介绍。 本书既可作为普通高校本科土木工程专业（包括建筑工程、道路桥梁及工程管理等专业方向）以及水利工程、港口航道工程等相近专业的教材， 适合于各类
本书首先介绍了MATLAB语言程序设计的基本内容，在此基础上系统介绍了各个应用数学领域的问题求解，如基于MATLAB的微积分问题、线性代数问题的计算机求解、积分变换和复变函数问题、非线性方程与*化问题、常微分方程与偏微分方程问题、数据插值与函数逼近问题、概率论与数理统计问题的解析解和数值解法等。还介绍了较新的非传统方法，如模糊逻辑与模糊推理、神经网络、遗传算法、小波分析、粗糙集及其分数阶微积分学等领域。 本书可作为一般读者学习和掌握MATLAB语言的教科书，也可作为高校理工科各类专业的本科生和研究生学习计算机数学语言的教材和参考书，可供科技工作者、教师等作为学习和应用MATLAB语言解决实际数学问题的参考资料，还可作为读者查询某数学问题求解方法的手册。
类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是*读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究
