天才机器人博士韩光世自从做了机器人叛乱的噩梦后，就开始对自己亲手制造的机器人产生了怀疑。当他走进自己的研究室点了咖啡和面包片，准备吃早餐时，意想不到的事情发生了……韩博士为什么会拿花盆砸坏送餐的电梯机器人？在机器人餐厅，韩博士为什么会变得歇斯底里？当韩博士被机器人警察带到警察局后，在那里会发生什么奇......
本书分前后两个部分。前一部分主要讨论神经计算的基本概念原理及几个主要的神经网络模型。后一部分是作者在德国图宾根大学攻读博士学位期间及近来的一些研究成果。本书配光盘1片。...
本书主要包括两部分内容：一是对MMP的基本功能的介绍；二是通过MMP的运行实例介绍数学机械化的基本理论与最新进展，特别是在方程求解与机器证明方面的结果。此外，本书还收录了大量的例子，并且都在MMP上实现。本书既可以作为MMP的使用手册，又可作为科研人员、教师与研究生了解数学机械化基本方法与最新成果的......
本书为高等学校皮革制品专业统编教材，系统论述了皮革制品生产机器及设备的工作原理、参数选择、使用方法和维护方法，反映了现代皮革制品机器及设备的发展水平。...
本书共有八章，在立论于可操作与可计算的代码和程序之上，提供了大量手脑并用、创新学习和推衍证伪的原创性材料。...
本书对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式模型、基于格语法的形式模型、基于词汇主义的形式模型、语义自动处理的形式模型、语用自动处理的形式模型、隐马尔可夫模型、统计机器翻译的形式模型。《自然语言处理的形式模型》......
本手册汇集、筛选了国内外近年来的大量资料、标准，并进行了新的综合，旨在为人机工程原理应用于工程设计实际提供指导，并提供具体的设计准则、设计方法、设计数据和应用实例。其内容涵盖了普通人机工程学的基本內容，包括人的生理、心理因素，视觉显示系统、操作系统、通信系统、报警系统、计算软硬件界面、控制室、工作站......
《非线性系统理论》主要介绍非线性系统的基本理论和一些最新进展。内容包括：近代数学基础、非线性系统基本理论、系统的可控性和可观测性、局部分解、反馈线性化、解耦控制、系统的镇定、Euler-Lagrange系统控制和Hamilton系统控制等。 《非线性系统理论》注重概念及主要理论的讲述，理论联系实际......
本书主要讲解最新的EDA设计软件NI Multisim 10的使用方法，包括功能概述、基本操作、元件库描述、仪器仪表的使用、基本分析方法等综合性内容，并具体讲解了NI Multisim 10在电路分析、模拟/数字电路、集成运放、电子电路设计、射频电路、电子测量、电源电路、单片机仿真、VHDL仿真、V......
智能卡是一种集成电路卡(ic card)，广泛地应用于金融、身份证和社会保障等领域，它继承了磁卡以及其他ic卡的所有优点，并有极高的安全、保密、防伪能力。本书对三种ic卡(存储器卡、逻辑加密卡和智能卡)、rfid标签和磁卡的物理结构、逻辑特性、实现方法、测试技术和应用系统等进行了较为全面的论述，较详......
本书主要内容包括PSpice A/D软件介绍及使用说明，如何创建一个基本的电路文件，直流工作点分析和小信号转移函数分析，直流扫描、第二参数扫描和灵敏度分析，波形分析窗口说明，频率响应分析和噪声分析，暂态分析和傅里叶分析，修改元件模型参数，温度分析和参数调制分析，蒙特卡罗分析和最坏状况分析，数字电路和......
本书较详细地介绍了无线通信系统的各主要电路，主要内容有：串并联选频电路、放大电路、谐振电路、调幅及解调电路、调频及解调电路和自动控制电路等，对各电路进行了定性和定量分析。 本书可作为高等学校通信、电子和信息类专业本科专科学生的教材，也可以作为相关行业技术人员和研究人员的参考书。...
