本书是理论计算机科学领域的名作,是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分,分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性(包括NP完全问题)和编程语言的语义等主题,并展示了它们之间如何相互关联。 本书是计算机及相关专业高年级本科生和研究生的理想教学参考书,对于计算机领域的专业人士也是很好的技术参考书。
《深入了解Linux虚拟内存管理》内容涵盖物理内存、页表管理、进程地址空间、引导内存分配器、物理页面分配、非连续内存分配、Slab分配器、高端内存管理、页面帧回收、交换管理、共享内存虚拟文件系统等部分。Linux在的普及还不成熟,而关于内核方面的中文资料却又都偏向大而全,细节部分描述得相当不够。这些书籍往往由于篇幅问题而仅仅选择性地讲解内核源代码,不少读者无法真正吃透内核的实际实现方式,存在看不下去或不能理解等问题。还有的书籍代码注释较为粗略,省去了很多内核实现细节,初、中级水平的读者阅读起来也有困难。而另有一部分内核书籍由于时代久远,很多系统调用方面,特别是与硬件相关的代码使读者产生不少疑问,对于中、高级内核开发人员以及在较新内核版本下进行开发的人员就略显不足了。 一次较为偶然的机会我在
本软件是依据现行的法兰设计规范,采纳众多工程师的建议,基于AutoCAD的各种版本,全面采用ARX技术开发的法半二维图集。主要内容包括:国家标准法兰、机械行业标准法兰、化工行业标准法兰、石油化工行业标准法兰、铸铁法兰、铜合金及复合法兰、管法兰连接用紧固化、压力容器法兰、管法兰(美国ASMEA标准)等。本软件功能强大、图库丰富、中文界面、易学易用,全面兼容AutoCAD 2000/2004/2005/2006中英文版。 本软件可供从事机械相关工作的科研、设计、制造及销售人员和相关专业的大中专院校师生使用。
本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图录机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。 本书是理论计算机科学方面的教材之珂作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图录机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。 本书是理论计算机科学方面的教材之珂作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
《深入了解Linux虚拟内存管理》内容涵盖物理内存、页表管理、进程地址空间、引导内存分配器、物理页面分配、非连续内存分配、Slab分配器、高端内存管理、页面帧回收、交换管理、共享内存虚拟文件系统等部分。Linux在的普及还不成熟,而关于内核方面的中文资料却又都偏向大而全,细节部分描述得相当不够。这些书籍往往由于篇幅问题而仅仅选择性地讲解内核源代码,不少读者无法真正吃透内核的实际实现方式,存在看不下去或不能理解等问题。还有的书籍代码注释较为粗略,省去了很多内核实现细节,初、中级水平的读者阅读起来也有困难。而另有一部分内核书籍由于时代久远,很多系统调用方面,特别是与硬件相关的代码使读者产生不少疑问,对于中、高级内核开发人员以及在较新内核版本下进行开发的人员就略显不足了。 一次较为偶然的机会我在
《工业管道及阀门维修问答》为“机械设备维修问答丛书”之一,在2009版基础上进行了修订。《工业管道及阀门维修问答》仍以问答形式,主要介绍靠前外工业管道及阀门的现状与趋势,工业管道及阀门维修、安装的基本知识,管道布置和常用管材、管件及件,管道的修理及安装,阀门的修理及安装,以及管道的试压与防腐保温,管道故障及维护等知识。
本书基于作者在工作实践中经历的数十个实战案例撰写而成。全书分九章,阐述了第四次工业,对中国智能制造个五年进行了回顾并展望制造强国战略的第二个五年规划,总结了当今中国制造业实践智能制造的六大方面共33个误区,详细分析了每个误区的特征、产生的根本原因及如何走出这些误区。每个误区中列举的案例都具有广泛的代表性,紧扣企业实际需求。本书对即将要实践智能制造的企业有非常大的参考价值,能够让后来者少走弯路,甚至不走弯路。
机械结构设计与选用是机械设计的重要组成部分。本书以图、表、文结合的方式,讲解了常用机械结构的一般选用原则和选用中应该注意的问题。主要内容包括:盘类零部件结构选用技巧、轴系零部件结构选用技巧、连接结构选用技巧、减速器结构选用技巧、杆类构件结构选用技巧、机架结构选用技巧、弹簧结构选用技巧、密封结构选用技巧、常见技巧型机构与结构。书中列举了大量的结构选用实例,以较好、较差对比图例,、次选对比关系,以及不宜、等建议,力求给读者提供更直接、更实用的参考。本书可为机械行业从业人员提供帮助,也可供高校相关专业师生学习参考。
本书介绍了19个典型的驱动电路设计案例,内容包含LED点阵驱动电路系统设计、LED荧光灯驱动电路系统设计、液晶显示器驱动电路系统设计、数码管驱动电路系统设计、MOS管驱动电路系统设计、蜂鸣器驱动电路系统设计、继电器驱动电路系统设计、扬声器驱动电路系统设计、霓虹灯驱动电路系统设计、L298N电机驱动电路系统设计、脉冲变压器驱动电路系统设计、H桥电机驱动电路系统设计、脉冲调制电机驱动电路系统设计、步进电机驱动电路系统设计、有刷直流电机驱动电路系统设计、IGBT驱动电路系统设计、双极性三极管对管驱动电路系统设计、电磁阀驱动电路系统设计、晶闸管驱动电路系统设计。这些案例均来源于作者多年的实际科研项目,因此具有很强的实用性。通过对本书的学习和实践,读者可以很快掌握常用驱动电路设计的基础知识及应用方法。