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

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

暂缺简介...

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

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

本书是关于构造方阵型加幻方与乘幻方的方法介绍。这套方法易学易记，并经过数学论证，可以较好地解决幻方构造入门难和构造难的问题。幻方源于我国2000多年前的洛书。公元13世纪，宋代数学家杨辉对幻方进行了系统研究，创造了“斜排易更”构图法，至今仍是构造奇数阶幻方的最简明方法。与其相比，本构造法适用范围广，操作灵活，且经过数学论证，适用于中小学生（四则运算、平均值、参数方程、方程组、数学建模等），学编程的大学生以及工艺品生产商等。

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

暂缺简介...

本书基于1949—2021 年期间的欧洲中期天气预报中心高分辨率海洋水文气象逐月和逐日再分析数据、卫星遥感数据（交叉标定多平台风矢量分析数据，CCMP）、日本的全球大洋环流模型所模拟的海流数据（OFES）、中国气象局上海台风研究所（CMASTI）及美国的联合台风警报中心（JTWC）提供的热带气旋数据，对西北太平洋和北印度洋海域开展云量、气温、风、浪、海表面温度、表层流等要素以及影响该海域的热带气旋、温带气旋等强天气系统的诊断计算及特征分析，采用统计分析与天气学相结合的方法给出上述海域的分析评价结果及对应的成果图件。本书采用的数据和分析方法均为海洋气象学通用，分析结论真实可靠，具有较强的参考应用价值。

本书结合作者多年的教学与设计实践，以企业产品开发设计流程为基础，介绍了产品设计手绘以及计算机辅助表现的实用技法，书中列举了大量的产品设计表现图例，通过图例及表现技法流程的展示，按照由浅入深、循序渐进的原则，采取图文并茂的形式展开详细讲解，使读者能够快速理解产品设计表现的目的、要点及方法。全书共六章，内容包括产品工业设计表现概述、透视及阴影原理与方法、产品设计草图的表现技法、产品设计效果图表现技法、产品设计的模型表现技法和产品计算机辅助设计表现技法。本书理论与方法并重，图文并茂，适于高等院校工业设计、产品设计类本科生以及研究生使用，同时也可以作为从事工业产品设计的职业设计师及其他相关学科的人员参考和使用。