自动化

办公自动化高级应用

《办公自动化高级应用》,作者:张萍 主编 出版社:科学出版社 ISBN:9787030693150。本书根据教育部制定的大学计算机科学素养基础课程教学的基本要求,结合目前大学非计算机专业学生的计算机实际水平与社会需求编写而成。通过对书中案例的学习,学生将具备解决实际问题的能力,满足社会的实际需要,为就业打下坚实的基础,成为办公达人。  全书分为12章,主要内容包括:第1~4章为Word编辑和实训,

工业生产自动化

《工业生产自动化》,作者:王威主编 出版社:科学出版社 ISBN:7030120922。本书力图从工业生产自动化技术的应用角度,面向生产与实际,介绍了各种当今常用的自动化装置和系统的组成原理、最新进展和发展趋势。

电气工程及其自动化专业综合改革成果集

《电气工程及其自动化专业综合改革成果集》,作者:刘美 主编 出版社:科学出版社 ISBN:9787030653826。本书是广东石油化工学院电气工程及其自动化专业综合改革试点项目、教育部 CDIO 及卓越计划试点项目的直接研究成果。本书介绍了广东石油化工学院电气工程及其自动化专业的发展历程和近年来取得的教育教学改革成果,汇编了广东石油化工学院电气工程及其自动化专业教师近年来在专业综合改革与实践过

遥感数据自动化处理方法与程序设计

《遥感数据自动化处理方法与程序设计》,作者:马建文等著 出版社:科学出版社 ISBN:9787030298607。本书通过精选作者在遥感数据自动化处理方法开发中的案例,重点突出物理原理与数学机制密切结合关键环节,体现自动化研究水平和质量。这些案例包括多种遥感数据自动配准、特殊目标自动融合识别、遥感邻近效应自动化校正、地震倒塌房屋自动识别、遥感影像中微弱信息自动提取等。

集成电路设计自动化

《集成电路设计自动化》,作者:蔡懿慈,周强,陈松 编著 出版社:科学出版社 ISBN:9787508856919。本书系统介绍集成电路设计自动化的理论、算法和软件等关键技术。首先介绍数字集成电路的设计流程、层次化设计方法及设计描述,重点介绍集成电路设计自动化的前端设计和后端设计中的关键技术与方法,包括高层次综合技术、模拟验证和形式验证技术、布图规划与布局技术、总体布线与详细布线技术、时钟综合

安全协议实施安全性自动化分析与验证

《安全协议实施安全性自动化分析与验证》,作者:孟博,王德军著 出版社:科学出版社 ISBN:9787030625069。《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽

大数据与制造流程知识自动化发展战略研究

《大数据与制造流程知识自动化发展战略研究》,作者:柴天佑等著 出版社:科学出版社 ISBN:9787030631404。《大数据与制造流程知识自动化发展战略研究》是中国工程院和国家自然科学基金委员会联合资助的中国工程科技中长期发展战略研究项目“大数据与制造流程知识自动化发展战略研究”成果。《大数据与制造流程知识自动化发展战略研究》从大数据与制造流程知识自动化的战略地位与应用价值出发,分析了流程工业

英汉汉英自动化专业词典

《英汉汉英自动化专业词典》,作者:中国科学院计算机语言信息工程研究中心编 出版社:科学出版社 ISBN:7030135555。本词典挑选和编译了自动化专业领域的相关词语85000余条,涉及军事、交通、通信、机电、航空、机械、计算机、工程技术、汽车、传感等25个应用领域。

自动化再制造基础与关键技术

《自动化再制造基础与关键技术》,作者:梁秀兵等著 出版社:科学出版社 ISBN:9787030614612。《中国制造2025》中指出,要全面推行绿色制造,大力发展再制造产业,实施高端再制造、智能再制造、在役再制造,推进产品认定,促进再制造产业持续健康发展。《自动化再制造基础与关键技术》结合作者多年来的研究工作,介绍了再制造工程的发展历程及智能再制造工程的基本理论体系,总结了高速电弧喷

变量筛选、模型分类及自动化建模方法

《变量筛选、模型分类及自动化建模方法》,作者:王惠文,孟洁著 出版社:科学出版社 ISBN:9787030375162。本书采用理论与实践相结合的方式,重点介绍了变量筛选、模型分类及自动化建模方法。在本书内容中,很多是直接来源于本书作者与其合作者在相关领域的研究工作,诸如关于变量多重相关对多元回归、主成分分析以及偏最小二乘回归等几种有代表性的多元分析模型的影响方式;基于Gram-Schmidt变换