安全协议实施安全性自动化分析与验证
《安全协议实施安全性自动化分析与验证》,作者:孟博,王德军著 出版社:科学出版社 ISBN:9787030625069。《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽
自动化
英汉汉英自动化专业词典
《英汉汉英自动化专业词典》,作者:中国科学院计算机语言信息工程研究中心编 出版社:科学出版社 ISBN:7030135555。本词典挑选和编译了自动化专业领域的相关词语85000余条，涉及军事、交通、通信、机电、航空、机械、计算机、工程技术、汽车、传感等25个应用领域。
自动化再制造基础与关键技术
《自动化再制造基础与关键技术》,作者:梁秀兵等著 出版社:科学出版社 ISBN:9787030614612。《中国制造2025》中指出，要全面推行绿色制造，大力发展再制造产业，实施高端再制造、智能再制造、在役再制造，推进产品认定，促进再制造产业持续健康发展。《自动化再制造基础与关键技术》结合作者多年来的研究工作，介绍了再制造工程的发展历程及智能再制造工程的基本理论体系，总结了高速电弧喷
变量筛选、模型分类及自动化建模方法
《变量筛选、模型分类及自动化建模方法》,作者:王惠文，孟洁著 出版社:科学出版社 ISBN:9787030375162。本书采用理论与实践相结合的方式，重点介绍了变量筛选、模型分类及自动化建模方法。在本书内容中，很多是直接来源于本书作者与其合作者在相关领域的研究工作，诸如关于变量多重相关对多元回归、主成分分析以及偏最小二乘回归等几种有代表性的多元分析模型的影响方式；基于Gram-Schmidt变换
智能控制与智能自动化 : 第一届全球华人智能控制与智能自动化大会论文集 | 上卷
《智能控制与智能自动化 : 第一届全球华人智能控制与智能自动化大会论文集 | 上卷》,作者:(美)夏天长主编 出版社:科学出版社 ISBN:7030037464。本书收入论文443篇，分为智能系统和专家系统、智能控制、神经网络及其应用、模糊系统和模糊控制等22个专题，还有4篇附加论文。
自动化导论 | 2版
《自动化导论 | 2版》,作者:周献中主编 出版社:科学出版社 ISBN:9787030416483。本书遵循教学和认知规律，通过大量来自生活、生产和科技活动过程的案例，对控制的基础概念、自动控制的基本原理、自动化系统中的知识与技术体系、自动化技术的应用、信息化时代的控制等内容，由浅入深地进行了系统的、通俗易懂的介绍。特别地，本书虽然较多地引用了来自工程领域的例子，但由此形成的概念和方法也适用
楼宇自动化常见问题解析
《楼宇自动化常见问题解析》,作者:陈蕾主编 出版社:科学出版社 ISBN:9787030345677。本书以提问+回答的形式介绍了楼宇自动化方面的重要知识点，全书共9章，以智能楼宇的各子系统为主题组织内容，包括绪论、楼宇自动化基础、楼宇通信系统等。
