本书是人工智能专业最基础最全面的解读，作者陆汝钤院士在知识工程和基于知识的软件工程方面做了系统的、创造性的工作，是我国该领域研究的开拓者之一。倡导并主持完成了以软件的机械化生成和移植为目标的系列软件计划（XR计划），推动了当时国产机软件缺乏问题的解决。本书首次把异构型DAI和机器辩论引进人工智能领域。研究出基于类自然语言理解的知识自动获取方法，把ICAI生成技术推进到以自动知识获取为特征的第三代，并开发出基于知识的应用软件自动生成技术。在形式语义学方面研究了逻辑语义、代数语义和分布式语义，证明了任意Horn子句集的模型论语义和最小不动点语义的等价性；给出了能描述动态控制结构的基调式代数语义；把平面的Petri网扩展成多页的Petri/Riemann网（P/R网）作为进程模型，获得了演算的最大真并发结构。对于希望学习了解人工智能基础知识和算法的读者，又非常基础而全面的帮助。

本书重点介绍了阿拉善左旗境内发生的有毒有害植物中毒事件及其防治，对常见有毒有害植物的形态特征以图片形式展现，从认识这种植物开始，了解它的形态特征、有毒有害部位、药用价值、用途及生境与分布，比较直观的向广大农牧民普及基本知识。特别是缺医少药的牧区，许多有毒有害植物是传统的药用植物，具有一定药用价值。本书突出”实用性、科普性、面向基层”的主题，力求使本书具有普及有毒有害植物及放牧牲畜中毒防治实用技术的价值。

为紧跟时代和国际化空间美学、生活美学消费时尚，引领中国城市更新建设视野下的城市美学生活方式创新，打造城市空间美学生活样板，构建建筑美学生活创新模式。本书从城市设计、建筑设计、景观设计、美学艺术、文学艺术、市场营销、活动策划等不同角度，对城市更新和生活美学开展探讨，以期把握城市更新、更替建设的发展趋势，为中国城市更新的建设者提供更多可能性。

以通信、存储和计算为核心的信息基础设施已经渗透到政治、经济、军事、文化以及社会生活的各个层面，成为当代生产力发展和人类文明进步的强大动力。软件是信息基础设施的灵魂，随着人们对功能需求的不断增加，软件系统变得日趋庞大和难以驾驶，缺陷和漏洞难以避免，系统越来越脆弱，很多时候不以人们期望的方式工作，经常发生各种故障和失效，直接或间接地给用户带来损失。在开放动态网络环境中，如何保证复杂软件系统的可信性是近年来学术界和工业界非常关注的问题。本书以开放网络环境下复杂软件的可信性需求为背景，系统的研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题。重点论述了复杂软件系统及其组合可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信可信性保障方法等问题。并结合航空电子软件系统探讨了相关方法的实际应用。论著以国家关键应用领域中复杂软件系统的可信性主题为主攻目标，分析、研究和解决相关科学问题，旨在为提高国家重大工程中的软件可信度提供科学支撑。著述从可信性分析的角度入手系统论述复杂软件系统的分析与验证方法；系统的论述了形式化方法在复杂软件系统中建模、分析与验证的理论和方法；所论述的理论和方法具有一定的理论创新性；并结合航空电子软件系统这一典型的复杂软件系统进行所论述方法的实例分析，具有较高的理论意义和应用价值。本书面向软件工程、软件可信性方向的研究人员，软件工程方向的高年级研究生，和工业界对软件产品高可靠性有要求的技术人员。

在信息技术发展的带动下，我国的建筑工程施工信息化建设得到了飞速的发展与进步。建筑工程施工信息化技术的应用管理是一个非常复杂的过程，涉及到人员、设备、材料、资金等内容，做好该方面的工作，对于建筑工程的施工质量和施工安全都非常重要。《建筑工程施工信息化技术应用管理研究》根据工程的特点与工程的施工过程，分为安全技术防范、防火报警消防、综合布线、建筑设备监控、通信网络、有线电视、BIM技术应用等七个项目来实施。在建筑工程施工信息化技术的理论与实践探索等方面的内容进行了较为系统、全面地探讨，本书深入浅出、结构合理、有利于帮助读者加强理论修养。本书既适用于建筑电气、建筑设备、消防工程等专业学生的学习，也适合电子类专业和希望从事建筑工程施工信息化管理的人士阅读，尤其适合从事相关领域的管理人员和技术人员阅读。

本教材为医学美容技术专业双元育人活页教材系列之一，编写团队对第一版教材进行了全面调整和 新。在教材内容设计和组织上，对接1+X美容光电仪器操作职业技能等级证书标准、光电仪器操作技能竞赛标准。教材共分4个单元，32个任务及3个附录。其中每个任务【学习目标】中补充了任务蕴含的思政教育目标，突出课程思政的重要性和针对性；增加了【情景导入】内容，素材均选自岗位一线与任务相关的典型案例或常见问题，起到承上启下、激发学习兴趣的作用，让学生带着问题进入学习；课后复习改为【任务评价】，丰富了评价的形式和内容，既检验了学习本任务的效果，又拓展了学生学习的方式和视野。在编写过程中，我们坚持以通俗易懂、简洁实用为宗旨，在情景化的模式下，遵循理论知识及原理够用，重点培养技能操作及案例分析能力， 加贴近岗位能力培养需求。本教材可以作为医学美容技术专业、中医美容及美容美体等相关专业教材使用，1+X美容光电仪器操作职业技能等级证书考试用书，同时适合各类美容职业教育培训及企业员工培训使用。

本书在编写上既反映了医学影像学的发展现状，也突出了当前医学影像学的发展趋势，让读者 直观形象地了解到现阶段影像学的 进展，为临床诊断提供了科学依据。书中针对常见疾病的的影像学检查方法、影像学征象、常见病变的诊断与鉴别诊断等做了详细介绍。本书将基础理论与临床实践相结合，是一本集 性、前沿性和可操作性于一体的影像学图书，适用于广大影像科医师，也可作为临床医师选择影像检查方法、学习疾病影像表现的参考书。

儿童是祖国和民族的未来。在我国复兴大业的征途中，儿童少年的身心健康是重中之重：这本图书必将引起专业领域内对于儿童精神科医生培养的探讨和关注，进而使 多的患儿和他们的父母直接获益。我国在册的儿童精神科医生只有500人左右，医患比例严重偏低，许多城市甚至没有专门的儿童精神科门诊，90%的患儿不能得到及时有效的干预（或者是在神经科等科室、长年“低效”甚至“无效”的求医）——本书在培养儿童精神科医生方面，意义重大：本书知识全面、系统、理论结合实际，紧跟当下儿童精神医学的热点、难点，提高儿童精神相关从业人员的专业水平、使医生们能将图书内容运用于临床诊治，是本书信心值拉满的担当。 本书由 （四大儿童少年精神卫生中心）、国外相关专业 专家参与编写，以生物－心理－社会三维立体医学模式为基础，以新的视角来研究、总结、叙述儿童精神医学的问题。对儿童心理行为保健及常见的精神疾病的防治等方面的问题、紧跟 前沿，进行了全新的阐述。全书包括儿童少年精神医学的基础理论，分类，神经心理发育，发育评定与临床检查，发育、精神与行为障碍，治疗和预防等共七篇四十四章，并随着学科日新月异的 新，开放性地对内容进行同步调整，如品行障碍章节增加对立违抗性障碍内容；在适应障碍后增加应激相关、创伤后应激障碍；独生子女心理卫生增加同胞竞争等内容，代表了我国儿童少年精神医学领域的 水平。

本书分为影像学基础与临床影像两部分，基础部分简要介绍了医学影像成像理论，包括X线成像理论、CT成像理论、MR成像理论及超声成像理论的内容，临床影像部分以X线影像、CT影像、MR影像及超声影像为骨架，具体包括肌肉骨骼系统疾病的x线影像、五官疾病的CT影像、颅脑疾病的MR影像、乳腺疾病的MR影像、甲状腺疾病的超声影像及妇产科疾病的超声影像内容。本书适合广大影像科医师、技师及临床医师选择影像检查方法、学习疾病影像表现时参考使用。

本书内容包括基础知识、技法技巧、任务实践、作品赏析四个部分，力求在短时间内解决室内手绘效果图表现技法的训练难点，从而在未来的实际工作中完成与客户的快速沟通，迅速地展现设计的 解决方案。本书适合作为高职高专室内设计专业学生的专业用书。