人工智能
-
数理逻辑基础与粒计算闫林《数理逻辑基础与粒计算》由两部分内容组成。前四章作为第一部分,讨论了数理逻辑的基础知识,其中包括经典命题演算、经典谓词演算和非经典的模态逻辑,讲解的特点是始终贯穿形式推理在自然推理系统与公理系统中相互等价这条主线。第二部分由后两章构成,内容基于逻辑知识之上,是对第一部分内容的应用和扩展,由作者近年的科研成果作为支撑,其中包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。《数理逻辑基础与粒计算》面向从事计算机科学、自动控制及相关专业的科研人员和科技工作者,特别是从事人工智能、粒计算研究的读者。《数理逻辑基础与粒计算》可作为研究生的教材或阅读材料,也可供本科高年级学生阅读。 -
可编程控制器实训指导范次猛可编程控制器的应用几乎覆盖了所有工业企业,是工业现代化的一个重要标志。《21世纪高职系列教材:可编程控制器实训指导》以松下FP1系列可编程控制器为主,通过十四个项目系统地介绍PLC在工业企业中的应用,并通过实际操作掌握可编程控制器的使用方法、编程技巧,从而提高读者对PLC控制系统的设计与应用能力。《21世纪高职系列教材:可编程控制器实训指导》可作为高职高专电气工程类、机电一体化类专业学生的实训教学用书,也可作为工程技术人员学习PLC的参考书。 -
智能管理技术与方法倪志专、李锋刚、毛雪岷《智能管理技术与方法》是关于智能管理、智能管理系统的技术与方法的著作,涉及智能管理的基本理论、智能优化技术、机器学习、数据挖掘、多Agent技术、知识管理和分形管理技术等。《智能管理技术与方法》涉及的方法翔实、具体,内容新颖,融入了近年来在学术界和工程界普遍关注的诸多热门课题。智能科学与技术是信息科学技术的核心、现代科学技术的前沿和制高点,对它的研究使人类自我了解和自我控制,对它的应用使日常管理工作可以提高到一个新的高度。智能科学与技术在管理信息系统中的应用具有很高的理论价值和实际意义。《智能管理技术与方法》可作为高等学校信息管理与信息系统、计算机科学和技术、电子商务、信息安全、计算科学、自动化等专业研究生用书和高年级本科生参考教材,也可以供相关领域研究人员参考。 -
计算机控制系统徐文尚 主编《21世纪全国高等院校自动化系列实用规划教材:计算机控制系统》阐述了计算机控制系统的基本概念,总结了计算机控制系统的分析方法和具有实用价值的设计方法,介绍了正在蓬勃发展的总线控制技术和网络技术系统,简要介绍了计算机控制系统的设计和实现,形成了一套较完整的、充实而又实用的计算机控制系统分析和设计的基本体系,力求层次分明、结构简练、主题突出、避免知识堆积。《21世纪全国高等院校自动化系列实用规划教材:计算机控制系统》既可以作为高等院校自动化专业的教材,又可以作为相关专业教材或教学参考用书,还可以作为科技工作者的知识更新与继续学习的参考书籍。 -
计算机控制与仿真技术杨立 主编《普通高等教育“十一五”国家级规划教材:计算机控制与仿真技术(第2版)》以当前流行的仿真软件——MATLAB 7和Simulink 6.0为基础,融合了控制原理和系统仿真等相关知识及应用技术。全书共10章,主要内容包括控制与仿真的一般知识、控制系统的数学模型及性能分析、控制系统仿真原理及算法、MATLAB 7使用基础、控制系统的MATLAB 7建模、控制系统的MATLAB 7仿真、Simulink 6 .0使用基础、Simulink 6.0控制系统仿真、智能控制系统的设计与仿真、控制系统的计算机仿真实例分析等。本书融入了作者多年教学和科研实践的经验及体会,在讲述典型知识的基础上侧重实际应用,内容讲解深入浅出,相关知识层次清晰,体现出模块化处理的特点,强调专业知识与工程实践相结合,注重专业技术与实践技能的培养。 本书面向应用技术型专业及高职高专层次,可作为计算机应用、电气工程、自动化以及机电一体化等专业的学生学习计算机控制与仿真技术的教材,也可作为从事相关领域的工程技术人员学习和应用的参考书。 -
自动测试技术柳爱利、周绍磊 编著《自动测试技术》系统地介绍了自动测试系统设计过程中涉及的理论与方法。全书内容分为四部分:第一部分介绍了自动测试系统的典型结构并介绍了信号采集与分析及仪器设备的总线接口等基础知识;第二部分介绍了自动测试系统软件设计的相关内容;第三部分介绍了自动测试系统开发平台的设计;第四部分对动态测试技术、局域网型自动测试系统及故障诊断等测试领域的新技术进行了深入探讨。《自动测试技术》各部分内容的论述都依据自动测试领域已经制定的相关国际标准、规范,以提高自动测试系统的标准化程度。《自动测试技术》的论述有利于读者从总体上把握自动测试的理论体系,适于为自动测试领域的工程技术人员提供技术参考,也可以作为高等院校相关专业的研究生、高年级本科生学习测试与诊断技术的参考书。 -
现代检测与控制技术张志君、于海晨、宋彤 编著《高等学校规划教材:现代检测与控制技术》较全面系统地介绍了现代检测与控制技术的基本内容,深入浅出地讲述了工业生产中有关变量的检测及控制方法、应用特点,以及在设计、运行中的知识要点。全书共分两篇9章,第1篇为检测技术篇,包括1~4章,介绍了检测技术的基本概念,测量过程的误差及处理,传感器与参数检测,现代检测系统的构成及虚拟仪器。第2篇为控制技术篇,包括5~9章,介绍了自动控制技术的基本知识,内容有自动控制系统构成及性能指标,控制器规律及参数整定,并对先进控制技术、计算机控制系统、现场总线控制系统进行了分析和讨论。《高等学校规划教材:现代检测与控制技术》在编写过程中,尽量避免运用高深的数学理论,更加重视工程概念和在实际问题中的应用,目的是使用较少的学时使学生对于控制原理、现代检测技术的基本概念、基本方法、系统构成具有全貌的了解。书中对于控制与检测的新技术、新成果进行了介绍,以使学生了解该领域部分前沿知识和技术,以适应21世纪人才的培养。为便于教学和自学,《高等学校规划教材:现代检测与控制技术》提供多媒体教学课件,配有习题与解答供教师与学生参考。《高等学校规划教材:现代检测与控制技术》即可作为工科院校非自动化类本科生学习检测与控制技术的教材,也可作为工程技术人员参考书。 -
无线传感器网络技术李晓维 主编,徐勇军,任丰原 副主编本书从项目团队当前正在开展的主要研究方向出发,介绍了无线传感器网络相关的若干关键技术。内容涵盖无线传感器网络的网络支撑技术(物理层、MAC、路由协议,协议标准)、服务支撑技术(时间同步,节点定位,容错技术、安全设计,服务质量保证)及应用支撑技术(网络管理,操作系统以及开发环境)等方面,主要介绍无线传感器网络技术的相关原理及方法等,给广大读者进行系统学习及深入研究提供参考。 -
基于IEC61131-3标准的控制系统及应用林小峰 等著IEC 61131-3标准是国际电工委员会(IEC)制定的工业控制编程语言的标准。IEC 61131-3标准在工业控制领域中产生了重要影响,并且成为PLC,DCS,IPC,CNC和SCADA的编程系统事实上的标准。应用IEC 61131-3标准已经成为工业控制领域的趋势。本书从理论和实践两个方面,系统地介绍了IEC 61131-3标准的背景知识、基本内容、工作原理,5种编程语言和编程要领;详细地介绍了由IEC 61131-3标准构成的PLC,IPC,DCS,ARM7,DSP嵌入式系统,以及在采用该标准的系统中实现模糊控制、专家控制、神经网络控制、预测控制等先进控制的方法,并提供了采用IEC 61131-3标准的工程应用实例。 本书可供科研院所的科技人员、工矿企业的工程技术人员、控制器生产厂家的研发人员、控制系统集成人员学习和参考,也可作为大专院校相关专业的教材或参考书。 -
慧鱼创意机器人设计与实践教程曲凌 编《慧鱼创意机器人设计与实践教程》以慧鱼构件为基础,系统介绍创意机器人制作所涉及到的基础知识、主要构件组成、机器人机构的设计、控制程序开发环境LLWin的使用和PLC控制等问题,并配以相应的练习题和一些作品实例。读者通过阅读《慧鱼创意机器人设计与实践教程》,可从零基础开始,到最终能够设计和动手制作出功能各异、形象生动的各类创意机器人。《慧鱼创意机器人设计与实践教程》以德国慧鱼公司的基础产品作为主要对象,结合大、中学校创新实践课程改革,强调自主创意、动手实践、机电控制、传感等多项技术综合,具有一定的先进性、启发性和实用性。《慧鱼创意机器人设计与实践教程》可作为使扇慧鱼教具教学的高等院校机器人设计与制作等选修课教材,也可作为喜欢制作简易机器人却没有任何理论和实践基础的各界爱好者的自学参考书。
