人工智能逻辑是用逻辑方法和成果研究智能主体如何处理知识的学问，主要研究主体的常识推理。这种推理具有非单调性和信息不完备性。 本讲义分别介绍了三种主要的人工智能逻辑：缺省逻辑、非单调模态逻辑和限定逻辑。缺省逻辑的主要思想是在经典逻辑中增加刻画常识推理的缺省推理规则，由此形成的扩张概念刻画了主体的信念集及其变化。非单调模态逻辑是用“知”和“信”那样的认识论算子研究主体的认知状态，用具有反思性质的稳定集概念刻画主体的认知状态。限定逻辑的主要思想是合理限定通常的谓词逻辑所描述的谓词，从而合理限定这样的谓词指称的类的外延以排除反常的对象，因此限定逻辑在形式上提供一般的方法来极小化任意选出的谓词或者由谓词构成的公式，从而在直观上刻画了主体常识推理的能力。 本讲义内容丰富，知识面广，表
本书可作为大学数学、力学和计算机等专业的“计算方法”教材以及理工科硕士研究生的“数值分析”教材。本教材介绍计算机上常用的数值计算方法，主要包括非线性方程求根、线性代数方程组直接法和迭代法、插值逼近、拟合逼近、数值微积分和常微分方程数值解等内容。全 书深入浅出，层次分明，部分理论证明和全书内容独立，便于根据不同学时和要求进行取材和教学。
统计学习理论是研究利用经验数据进行机器学习的一种一般理论，属于计算机科学、模式识别和应用统计学相交叉与结合的范畴，其主要创立者是本书的作者Vladimir N. Vapnik。统计学习理论的基本内容诞生于20世纪60~70年代，到90年代中期发展到比较成熟并受到世界机器学习界的广泛重视，其核心内容反映在Vapnik的两部重要著作中，本书即是其中一部，另一部是“The Nature of Statistical Learning Theory”（《统计学习理论的本质》）。 由于较系统地考虑了有限样本的情况，统计学习理论与传统统计学理论相比有更好的实用性，在这一理论下发展出的支持向量机（SVM）方法以其有限样本下良好的推广能力而备受重视。 本书是对统计学习理论和支持向量机方法的全面、系统、详尽的阐述，是各领域中研究和应用机器学习理论与方法的科研工作者和研究生的重要参考资料。
《公共安全管理系列图书：西方公共安全管理》是《公共安全管理系列图书》中的一个分册。在美国和澳大利亚等西方国家，经过30多年的发展，公共安全管理从理论到实践都进入了成熟时期。《公共安全管理系列图书：西方公共安全管理》介绍了西方主要国家公共安全管理的历史进程、基本概念和基本理论，剖析了它们的各个系统的管理内容和程序，揭示了管理周期中不同阶段的管理内容和方法，并且分析了西方国家公共安全管理中的得失，使读者可以窥视西方国家公共安全管理的全貌。特别是对于西方国家体制上的安排，以及操作性较强的管理手段和方法，依据大量的手材料，做了详细的解析。 鉴于我国的公共安全管理还处在起步子时期，《公共安全管理系列图书：西方公共安全管理》对我国从事公共安全管理的领导干部、相关机构管理人员、科研和教学人
本书以详尽和丰富的资料，从理性智能体的角度，全面阐述了人工智能领域的核心内容，并深入介绍了各个主要的研究方向，是一本难得的综合性教材。全书分为八大部分：部分“人工智能” ，第二部分“问题求解” ，第三部分“ 知识与推理” ，第四部分“规划” ，第五部分“不确定知识与推理” ，第六部分“学习” ，第七部分“通讯、感知与行动” ，第八部分“ 结论” 。 本书既详细介绍了大量的基本概念、思想和算法，也描述了各研究方向的进展，同时收集整理了详实的历史文献与事件。因此本书适合于不同层次和领域的研究人员及学生，可以作为信息领域和相关领域的高等院校本科生和研究生的教材或教学辅导书目，也可以作为相关领域的科研与工程技术人员的参考书。
本书紧密结合工程实践，以测试工程各环节为主线，依托LabVIEW平台环境，详细阐述了测试工程原理、实际应用经验以及LabVIEW测试软件编程等。全书共分8章，内容包括LabVIEW介绍、测试信号与检出、信号软硬件处理、测试信号传输与总线、测试管理、网络化测试以及测试数据分析与判断等；针对测试工程各环节，分别介绍了LabVIEW中的对应功能及实现，并提供了精心设计的典型样例，以帮助读者更好地理解和掌握测试工程技术及LabVIEW相关功能和工具。 本书既可作为大专院校测控技术、仪器仪表、机械电子、计算机应用等专业高年级学生和研究生的教学用书，也可供测试工程设计研发、使用维护及相关领域的工程技术和研究人员参考。
《Unix结构分析：核心代码的结构和算法（修订本）》从操作系统原理出发，以UNIX系统V为背景，全面系统地分析UNIX系统核心代码的结构与算法。全书分六部分21章。部分文件系统，分四章介绍UNIX文件、文件系统和系统缓冲区的抽象数据结构以及对抽象数据结构的操作，包括有关文件的系统调用。第二部分存储管理，分四章介绍存储管理的硬件基础、系统空间、系统空间、进程空间和物理内存的管理。第三部分进程管理，分五章介绍进程的结构与状态，进程的创建执行与终止、进程调度、中断与异常的处理以及进程通讯。第四部分输入输出子系统，分四章介绍进程与输入输出子系统的接口、设备驱动程序的过程概述、系统生成以及核心代码中的汇编程序。
本书全面论述了供应链的起源、现状、具体的运作方法以及发展的趋势，给出了供应链管理的基本决策框架、关键管理要素以及实际运做方式。 概念明确、内容全面，视角宽广，案例丰富。可作为MBA以及其他管理类专业的教材，也可作为企业管理的培训教材，还可供有关从业人员作为专业参考书阅读。 本书作者通过潜心研究400多部专著及论文，并对50多位全球知名企业的高管进行访谈，总结出企业创造切实可行的竞争优势的12种驱动力，并清晰地告诉读者：供应链管理概念不是一种时尚，而是当今动态的全球市场环境下获得竞争优势不可或缺的战略。书中列举了全球众多企业的实践案例，帮助学生，业内人士有效地理解与实施供应链管理战略。
本书系统地介绍了用有限单元法及声固耦合原理在汽车的设计阶段预测汽车车内噪声水平的方法。内容包括：声学模态，结构模态的分析计算，作为振动源的悬架系统和发动机系统的建模，车内噪声的预估，结构板件的声学贡献分析及噪声品质的优化设计等。本书还介绍了汽车噪声预测的其他方法，如边界元法，统计能量分析法。书中以大量成功的工程实例说明了本书所阐述技术的应用方法，内容新颖、详实，是汽车虚拟设计的一个重要分支。
本书全面系统地介绍了由香农于1948年提出的信息论与编码理论的主要内容，以及近几十年来该领域的一些重要研究成果。作者首先在引言中向读者简单介绍了信息论与编码理论的基本思想；部分讲解了香农信息论与编码理论的主要内容，如熵和信息量的基本概念与性质，以及信道编码定理和信源编码定理；第二部分介绍了一些基于香农编码理论的信道和信源编码方法，具体包括线性码、循环玛、BCH和RS码、卷积码等信道纠错编码，以及变长信源编码等。本书内容丰富翔实，对基本概念和基础理论的阐述清晰明了，同时也充分反映了相关领域的研究进展情况。 本书适合作为高等院校信息与通信工程专业研究生或本科生的教材或参考书。书中提供的几十道例题和几百道习题也有助于具有概率论和线性代数知识的人自学。
随着我国经济技术的发展和服饰文化水平的提高，皮革制品在国民经济中占据越来越重要的地位，皮革制品的教育也有了飞速的发展。但由于目前专业教育教材的匮乏，在程度上限制了皮革制品专业教育发展的脚步。为了更好的发展皮革制品教育事业，提高我国皮革制品行业的设计和制作水平，我们编写了《箱包设计与工艺》这本书。
人工智能逻辑是用逻辑方法和成果研究智能主体如何处理知识的学问，主要研究主体的常识推理。这种推理具有非单调性和信息不完备性。 本讲义分别介绍了三种主要的人工智能逻辑：缺省逻辑、非单调模态逻辑和限定逻辑。缺省逻辑的主要思想是在经典逻辑中增加刻画常识推理的缺省推理规则，由此形成的扩张概念刻画了主体的信念集及其变化。非单调模态逻辑是用“知”和“信”那样的认识论算子研究主体的认知状态，用具有反思性质的稳定集概念刻画主体的认知状态。限定逻辑的主要思想是合理限定通常的谓词逻辑所描述的谓词，从而合理限定这样的谓词指称的类的外延以排除反常的对象，因此限定逻辑在形式上提供一般的方法来极小化任意选出的谓词或者由谓词构成的公式，从而在直观上刻画了主体常识推理的能力。 本讲义内容丰富，知识面广，表
本书是《C#网络应用编程基础》的姊妹篇。是在《C#网络应用编程基础》介绍的基础知识之上，进一步讲解利用C# 进行各种高级应用编程的方法和技巧。全书语言简洁，重点突出，思路清晰，实用性强。 本书共分8章。主要内容包括C#多线程处理、TCP、UDP、SMTP和POP3的高级应用以及P2P应用编程，网络数据加密与解密的方法，三维设计与多媒体编程方法，同时还有与本书配套的上机实验指导、电子教案、所有例题与习题的源程序和习题参考解答。 本书可作为高等院校计算机及相关专业高年级学生的教材，也适合有的C#语言编程基础，想利用VS2005和C#进行更复杂的高级应用编程的人员阅读。
