《普通车工技能训练》是根据教育部关于中等职业教育教学改革的意见，按照四川省中等职业示范学校骨干专业特色发展和专业教学课程建设体系要求，为了培养中职学校学生具有适应职业的能力及科学合理地安排中职专业技能实践教学活动，让学生达到操作技能型人才的要求，而组织编写的。 本书的主要特点有： （1）按照模块式项目化理念组织教材编写，书中每个项目均有任务要求，实训项目尽量实例化、实用化、规范化，让学生明确实训教学目标，并且轻松掌握技能操作要领和提高操作水平。 （2）本书以岗位模拟的教学环境和实训工件及企业订单为载体，探索实行教、学、做、检的“四位一体”技能教学模式，以培养学生熟练掌握车工基本技能为目标，突出了相应岗位基本技能和综合核心技能的训练。 （3）本书项目设置由浅入深、循序渐进，将专业理论工艺知识、加工步骤等以通俗的操作口诀融入技能训练中，培养学生学习兴趣，让学生感到学有所用，达到理论和实践有机结合。 （4）本书采用“三类四元”，即单一实训项目、综合实训项目、订单产品三类技能考核内容和学生、小组、教师、企业四元测评的技能评价模式，分为五个模块实训，以便科学、有序地开展专业车工技能实训教学。

本书基于国内外新近相关文献，从人工智能的视角，围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。具体内容如下：第1章是导论；第2～5章是本书研究的基础；第6～8章阐释了正则命题动态逻辑的形式系统、可判定性、完全性和计算复杂性；第9章探讨了非正则命题动态逻辑；第10章介绍了动态逻辑的一些变种；第11～17章是命题动态逻辑的扩展系统，这些系统分别使用了程序量词、互模拟和逻辑等值程序、Petri网、无缩并无切割规则的矢列演算、多类型显示演算、有穷多个命题变元，以及存储、恢复和并行合成算子对命题动态逻辑进行的扩展；第18章研究了从交流更新逻辑到命题动态逻辑的程序转换器。本书适合现代逻辑、计算机科学、人工智能和系统工程等领域以及对命题动态逻辑及其扩展系统感兴趣的教师、研究生和科研人员阅读。

暂缺简介...

高能激光武器具有打击速度快、精度高、能量密度大、效费比高等特点，具有“快、准、狠”的独特优势，可对武器装备进行“外科手术”式的精准打击，但由于高能激光能量密度大，对装备能够“击中即毁”，且国内外鲜有参考资料，防护涂层材料研制难度大。在不影响装备主体结构的条件下，采用涂层技术是高能激光防护的有效手段，编者结合多年的教学与科研经验，参考了大量的国内外新教材和有关文献，编写了《国之重器出版工程 高能激光防护材料技术》，使之更能符合当前前沿领域的教学和科研的需要。该书较为系统全面地介绍了高能激光防护材料技术的基本理论及研究方法。该书将理论与实践相结合，展开介绍了基于不同原理的高能激光防护材料技术，并针对不同防护原理给出了实际案例，从而深入浅出地阐述了多种防护材料技术方法。《国之重器出版工程 高能激光防护材料技术》可作为高等学校工科及理工科部分专业的教材使用，也可供教师、广大科技工作者及研究人员参考。

本文集收录了中国石油冀东油田公司等单位近期科研成果，包括地质勘探、油田开发、工程技术等方面内容，具有较高的理论水平和实践指导意义，对我国复杂油气田的勘探与开发具有一定的参考价值。本书可供油田地质人员、开发人员、工程技术人员和石油院校相关专业师生参考使用。

本书浓缩了近十年来东海盆地西湖凹陷石油地质研究的**地质研究成果与理论，主要包括如下五章内容。第一章系统论述了盆地区域地质背景、地质构造特征与演化规律；第二章系统刻画了西湖凹陷层序地层发育特征与主要沉积体系的空间展布规律及演化；第三章系统分析了西湖凹陷煤系烃源岩的发育、演化及生烃特征；第四章深入分析了不同地区、不同类型有利成藏的石油地质条件及成藏特征；第五章全面总结西湖凹陷油气藏模式，提出具有西湖凹陷的特色成藏理论。

钻石被誉为“宝石之王”，是自然界中天然存在的最坚硬的物质，是化学成分最简单、处理方法却最复杂的宝石，同时也是宝石学中研究最深入、使用尖端且昂贵科学仪器的宝石品种。 全球市场对钻石的需求高昂，且优质的钻石十分稀缺，钻石品级间的价差巨大。因此，有企业瞄准了优化处理市场，专业进行钻石的优化处理。至今，钻石的优化处理研究已有近百年的历史。钻石市场上也常出现各种各样复杂的、未经披露处理方法的钻石产品。而通过高压高温退火（即“HPHT处理”）已成为改善钻石色级、提升其商业价值的最重要手段。虽然检测技术在不断革新，针对各种处理方法的分析仪器也在不断更新换代，但对HPHT处理钻石的检测鉴定工作依然面临着非常严峻的挑战。《高温高压处理钻石的技术与鉴别》为HPHT-Treated Diamonds：Diamonds Forever的引进版译著，由德国因加·A.多布里那斯（Inga A.Dobrinets）、俄罗斯维克托·G.文斯（Victor G.Vins）、美国亚历山大·M.扎伊采夫（Alexander M.Zaitsev）著。本书是第一本根据对已发表数据和作者工作经验，对经HPHT处理的钻石的性质进行全面综述的书。书中既有对早期研究技术发展的回顾，也有运用现代科技手段精准鉴定的方法介绍。从钻石的基本性质、晶体结构和缺陷的演化机制，详细分析了HPHT处理钻石的选材和前处理、处理的工艺方法和技术条件，深入讨论了如何使用光学显微镜和光谱学方法、荧光特征等进行鉴别的方法和需要关注的细节要点，为HPHT处理钻石的鉴别提供了系统性方案和建议。另外，对高温高压处理钻石的商业市场也进行了预测与研判。正如作者的编写目的所言：“帮助读者应对钻石高温高压处理技术发展带来的挑战，从科学、技术、商业的角度，加深读者对钻石的高温高压处理的认识，为其实际鉴别提供更可靠的依据和准则。”本书语言和术语通俗易懂，具有宝石学基础的人员都可理解，非常适合于宝石从业人员和宝石鉴定、研究机构的技术人员，以及本科及以上学历的珠宝专业学生。从事金刚石材料合成、处理工作和研究的人员也能从中受益。

“重庆近代城市历史研究丛书”，在选题上继续关注传统史学的重大领域，尤其关注那些至今尚没有系统成果的重要领域，比如城市空间、金融、新闻、地图、国际文化交流等；从微观视角入手，研究那些具有典型重庆个性现象的历史领域，比如防空洞、码头、兵工企业等；还从新的史学研究前沿切入，比如用影像史学、数字史学、心理史学、遗址遗迹考据的方法等，研究重庆近现代历史；还期待对独特的城市档案（如巴县档案）和海外史料新发掘基础上的选题。“为城市存史，为市民立言，为后代续传统，为国史添篇章”是我们研究城市历史的理念，也是我们40年前出发的初心。

本书对“互联网+人工智能+大数据+”时代的内涵进行了解读，分析了工业云产生的背景，提出了工业云的内涵、概念模型与特征，研究了工业云的发展现状和趋势。阐述了工业云体系架构与技术体系框架以及工业云系统总体技术、工业云平台技术和工业云基础支撑技术与应用技术；分析了国内外已有的工业云平台，重点阐述了作者团队研发的工业云平台——INDICS；总结了工业云的实施方法、评估方法、运行模式和范例集。提出了工业云发展展望。

本论文集汇集了董石麟院士四十多年来在各类空间结构体系创新、结构形态、理论分析、设计计算、节点构造、施工安装、模型试验与工程应用等多方面的科技成果，从一个侧面记录了我国空间结构从无到有、从小到大、从大国奔向强国的发展和应用的历程。文集共精选了150篇论文，分“空间结构总论”、“网架结构”、“网壳结构”、“索穹顶结构”、“弦支穹顶结构、张弦结构和斜拉结构”以及“空间结构节点”六个部分。本论文集可供建筑空间结构工程设计、科研、施工和管理人员使用，也可作为高等院校土建类相关专业教师、高年级本科生和研究生的参考书。