暂缺简介...

本书是关于形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书在定义和证明中使用了很多细节和直观说明，使用图来帮助阐明思想，并包含了大量的难度各异的示例和习题，以便读者确认和加深对内容的理解。本书适合作为计算机专业高年级本科生及研究生计算理论课程的教材和教学参考书。著名作者JohnHopcroft和JeffreyUllman在本书第1版出版30多年后再度合作，更新了这本经典著作，作者继续以简洁、直接的方式为读者介绍形式语言、自动机理论和计算复杂性理论。本书被世界许多著名大学作为计算理论课程的教材或推荐教学参考书，它同样适合作为计算机专业高年级本科生及研究生的教材。本书特点：形式化内容较少，使本科生更容易理解强调理论的现代应用用大量的图来帮助阐明思想在定义和证明中增加更多的细节和直观说明用特殊的文字框提供可能对读者有用的补充材料用难度各异的大量习题为读者提供更多的挑战提供PDA和图灵机的图形记号每章都包含大量的示例和习题，以帮助读者确认和加深对内容的理解

本书特色·从简单的例子出发，解释编码原理的基本概念。·最在限度地减少了对复杂的数学工具的使用。·每章的最后都提供了练习题，帮助读者理解怎样选用最适当的码以及怎样设计解码器等问题。·既可作为很好的教科书，又可作为很好的工具书。《差错控制编码》围绕信道编码理论、技术及其应用，对各种编码方法的工程应用背景及发展前景作了详尽系统的介绍。全书共分9章，主要内容包括：差错控制编码系统概述，卷积码的性能、生成以及原理，线性分组码的详细编解码方式，循环码的定义、特征、生成方法及其性能，本原多项式的概念，有限代数域，BCH码的定义、结构，里德-索罗门码的生成子多项式、编解码方法及韦尔奇-伯利坎普算法，计算分组码性能的各种方法，多级编码，迭代解码。本书构架了数据通信与信息理论之间的桥梁，条理清晰，重点突出，非常适合通信及电子工程专业的学习阅读，对相关领域的工程人员也会大有裨益。

本手册全面系统地介绍了设备管理的新观念、新思路和新方法，既是一本设备管理的工具书，又是一部现代设备管理概念开发的简明教程。内容包括企业设备管理的职能与机构设置，设备管理处息系统的基本模块设计，设备资产评估及基保值管理、设备的前期管理和日常管理，企业重点设备的使用与维护，设备的润滑管理，设备状态监测与故障诊断，设备的更新新改造，设备维修合同管理，特种设备及备件管理等内容。书中介绍的TPM、TNPM、RCM等设备维修模式和维修策略，内容涵盖当前设备管理最前沿的知识。附录中介绍了设备管理相关条例，设备管理常用表格。国际互联网上有关设备管理领域的站点等网络资源。本手册适合各类企业的设备管理人员、从事设备维护的工程技术人员、高等院校相关专业师生。

本书对迄今为止有关计算理论的实质性成果作了深刻、严格而又直观的论述，为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效的求解途径。它在透彻讲解图灵机的基础上，阐明了为什么会有计算机不可解的问题，会有计算机难解的问题；然后为当代实质性的计算机难解问题，即NP难度问题指明了得出高性能求解算法的现实途径——拟物、拟人途径；最后为设计算法与分析问题的复杂度提供了一个强有力的工具——有穷损害优先方法。＜br＞本书的内容经过不同组合可作为大学生、硕士生、博士生的教材，也可供有关的科技人员参考。

本书对药用高分子材料的研究、发展做了系统的介绍，简述了药用高分子材料的理论基础及应用实例，特别是对其在药物制剂中的应用原理、药用天然高分子及其衍生物、药用合成高分子、高分子药物进行了举例说明。在本书最后对药品包装与贮运材料进行了阐述，并列有相关法规，分类举例进行了说明。全书层次分明，重点突出，循序渐进对药用高子材料进行详细讲解，并附有图表以帮助读者理解，对学习药用高分子材料将颇有助剂。本教材供高等学校制药工程和药物制剂专业教学使用，也可用作医药学有关专业的教材或教学参考书，也可供药物制剂生产与科研单位技术人员参考。目录第一章绪论第一节高分子基本概念第二节药用高分子材料通论第二章高分子材料的结构与性能第一节概述第二节高分子结构第三节高分子的分子运动第四节高聚物的物理性能第五节高分子材料的力学性能第六节高分子材料的生物化学性能第七节高聚物的成型加工性能第三章高分子材料在药物制剂中的应用原理第一节高分子材料的界面性能第二节高分子与药物构成的复合结构类型第三节高分子辅料在药物制剂中的应用第四节药物经过聚合物的扩散第四章天然药用高分子材料及其衍生物第一节概述第二节多糖类天然药用高分子及其衍生物第三节蛋白质类天然药用高分子及其衍生物第五章药用合成高分子第一节概述第二节聚乙烯基类高分子第三节聚酯及可生物降解类高分子第四节聚醚类高分子第五节有机杂原子高分子第六节压敏胶材料第七节合成氨基酸聚合物第六章高分子药物第一节概述第二节天然与生物高分子药物第三节化学合成的高分子药物第七章药品包装与贮运材料第一节概述第二节药品包装与贮运材料的特殊性第三节药品包装包贮运高分子材料第四节常见的包装形式及包装材料的测试与评价第五节药品包装与贮运材料的成型加工工艺

《计算机应用基础》根据高等院校非计算机专业计算机基础课程的要求，参考全国计算机等级考试大纲，面向高等院校非计算机专业学生学习计算机基础知识而编写的教材，《计算机应用基础》包括：计算机基础知识、DOS操作系统、中文Windows XP、汉字输人方法、中文Word 2002、中文Excel 2002、中文Power Point 2002、计算机病毒及预访、计算机网络与Internet等内容。《计算机应用基础》在内容编写方面，结合计算机应用技术的发展和社会对人才知识结构的要求，侧重操作技能的讲述，突出实用性和易用性；注意从点到面，由浅人深；力求突出重点，简明易懂；每章后面都附有习题，便于巩固掌握各章知识点。因此，《计算机应用基础》除可供高等学校、高等职业技术学院作为教材使用外，还可作为计算机实用技术的培训教材使用。

本书介绍了作者在孤立子和可积系统方面的部分研究成果以及吴方法和符号运算在该领域的应用。全书共分五章，第一章给出了构造非线性发展方程多种形式行波解的两种直接而统一的算法，并在计算机代数系统中实现；第二章提出了利用齐次平衡法寻求非线性偏微分方程Backlund变换和相似解的两个新的应用；在第三章，直接从谱问题出发并利用泛函梯度，发展了生成非线性发展方程族及构造其零曲率表示的一般方法；在第四章，从一新的谱问题出发导出了一族覆盖多种著名方程的发展方程族，并证明了该方程族Liouville可积并拥有多Hamilton结构。第五章研究了微分方程及q-差分方程的Darboux变换和孤子解。＜br＞本书可作为数学或物理专业的高年级大学生和研究生教材，也可供专业研究人员参考。

本书利用了作者所开发的算法设计技术的最新分类，这种新的分类方法涵盖了众多经典算法，而采用过去的分类无法以一种一致的方式介绍这些算法。作为通用的问题解决工具，算法设计技术得以广泛的应用。尤其是将其应用到解决类似封面上那些流行的谜题时，会显示出其巨大的威力。本书包含了超过600个练习，包括一些利用万维多资源的练习。书中还包括了针对所有练习的提示，以帮助读者完全这些练习。AnanyLevitin是Villanova大学计算机科学系的教授。于2000年4月发表了“算法设计技术新途径”一文，获得业内高度认同。本书利用了作者所开发的算法设计技术的最新分类，这种新的分类方法涵盖了众多经典算法，而采用过去的分类无法以一种一致的方式介绍这些算法。作为通用的问题解决工具，算法设计技术得以广泛的应用。尤其是将其应用到解决类似封面上那些流行的谜题时，会显示出其巨大的威力。本书包含了超过600个练习，包括一些利用万维多资源的练习。书中还包括了针对所有练习的提示，以帮助读者完全这些练习。

非制冷热成像探测的应用覆盖了从民用到国防的诸多领域，如红外制导、目标侦察、火控跟踪以及安全警戒、大气检测等。由于其应用的广泛性，特别是在国防领域的重要应用，国内从20世纪90年代开始了相关研究。本书总结了作者十多年来在相关领域的研究成果，并介绍了当前研究的新进展。