本书是作者及所在团队多年研究成果的总结和梳理，提炼了在目标体系分析领域重要的模型和方法，将网络理论、决策与优化理论、体系工程理论等一般性理论方法与目标体系分析这一重要问题相结合，从数学的角度给出了多种重要的模型和求解方法，采用仿真和实际案例给出实验过程和结果分析。 全书共分六章，包括目标体系分析问题以及相关概念，目标体系建模与分析的框架和基础理论方法，基于单层、双层网络阻断的模型和求解方法，基于故障树的模型和求解方法，基于贝叶斯网络的模型和求解方法，基于博弈论的模型和求解方法。

本书是作者及所在团队多年研究成果的总结和梳理，提炼了在目标体系分析领域重要的模型和方法，将网络理论、决策与优化理论、体系工程理论等一般性理论方法与目标体系分析这一重要问题相结合，从数学的角度给出了多种重要的模型和求解方法，采用仿真和实际案例给出实验过程和结果分析。全书共分六章，包括目标体系分析问题以及相关概念，目标体系建模与分析的框架和基础理论方法，基于单层、双层网络阻断的模型和求解方法，基于故障树的模型和求解方法，基于贝叶斯网络的模型和求解方法，基于博弈论的模型和求解方法。

操作系统是一种对计算机中各个设备和资源进行管理并给应用软件提供各种服务的系统软件，它的实现可分用户态和内核态两大部分。一般而言，操作系统的算法和设计的复杂性大多在内核态部分。因此，了解操作系统的内核实现对于了解整个操作系统是非常重要的。本书详细阐述操作系统的内核（也包括少量用户态部分），选择UNIX第6版的内核代码及少量用户部分代码、总计10000行作为讲解对象，由框架到细节、由基础到高级地进行讲述；在此过程中贯穿了操作系统中的各种知识和概念，比如内存管理、进程调度、中断和设备管理以及文件系统等，使得内容非常易于读者理解。选择UNIX作为讲解对象是因为它强大的生命力和应用的广泛性。在精妙的设计思想下，它具有小巧高效而健壮的内核、丰富的功能、易扩展的架构和良好的开放性。UNIX所定义的很多接口（比如

熟练使用命令行是管理员的技能之一，本书从命令行的角度全面讲解了如何对Windows进行管理。书中首先概述了命令行的一些基本概念与技术，之后将Windows管理任务进行分类，并通过大量翔实的命令行实例分别讲解，涵盖了Windows管理的主要工作。本书适合于WindowsServer2008、WindowsVista管理员，也可以供一般用户及命令行爱好者参考。

多智能体和多智能体技术是人工智能领域活跃的研究分支。本书在2014年度“中国智能体及多智能体系统”研讨会的基础上结集而成，全书共分12章，各章主题均是智能体领域的重点及热点问题，分别涉及智能体逻辑、一致性控制、拍卖、博弈论、复杂网络和自适应软件等。本书可供高等院校、科研院所计算机、自动化及相关专业的师生、科技工作者及相关企业的工程技术人员阅读参考。

本书是作者及所在团队多年研究成果的总结和梳理，提炼了在目标体系分析领域重要的模型和方法，将网络理论、决策与优化理论、体系工程理论等一般性理论方法与目标体系分析这一重要问题相结合，从数学的角度给出了多种重要的模型和求解方法，采用仿真和实际案例给出实验过程和结果分析。 全书共分六章，包括目标体系分析问题以及相关概念，目标体系建模与分析的框架和基础理论方法，基于单层、双层网络阻断的模型和求解方法，基于故障树的模型和求解方法，基于贝叶斯网络的模型和求解方法，基于博弈论的模型和求解方法。

本书通过精心设计的批处理实例，向广大读者展示了批处理在服务器管理配置中的灵活应用。全书共分14章，内容涵盖文件/文件夹管理、桌面/IE个性化设置、系统性能优化、系统管理与维护、系统安全、组策略与MMC、网络管理、网络安全、IIS服务器管理、终端服务器管理、DHCP服务器管理、IP安全服务管理、DNS服务器管理以及WINS服务器管理。本书是一线系统、网络、服务器管理人员的好帮手，所有的管理与配置工作都通过批处理来完成，极大地提高了管理员的工作效率。本书适合具有一定基础的系统管理/网络管理/服务器

《嵌入式系统经典丛书：实时嵌入式系统?设计原则与工程实践》融入了实时系统、嵌入式系统和软件工程的新概念和新主题，为开发实时嵌入式应用软件描绘了一幅完整的图像。在本书中，你不仅可以全面地理解与微处理器、中断和系统引导过程相关的概念，领略到实时建模和调度的重要性，而且也将学习建模文档、建模分析、设计模式和标准的一致性等软件工程实践。 本书分为四个部分，帮助你学习嵌入式系统的关键概念；第Ⅰ部分介绍了开发过程，包括微处理器和中断章节这是软件工程师的基本主题；第Ⅱ部分专门介绍了实时系统的建模技术；第Ⅲ部分讨论了软件体系架构的设计；第Ⅳ部分检验了软件的实现，并重点关注POSIX兼容的操作系统。 主要特色 ◆?涵盖了*新的UML标准(UML?2.4) ◆?超过20种具有代表性，可以在一个非常广泛的实时嵌入式系

《实例详解丛书：ARMCortex-M3嵌入式开发实例详解·基于NXPLPC17XX》共分为三部分，部分包含～3章，是有关Cortex-M3及LPC17XX的软、硬件基础部分。第二部分包含第4～13章，是有关LPC17XX的外设功能及实例部分。第三部分包含4、15章，是根据LPC17XX设计的两个综合实例。《实例详解丛书：ARMCortex-M3嵌入式开发实例详解·基于NXPLPC17XX》采用NXP的固件库进行讲解，具有标准化、软件设计稳定的特点。本书提供了大量经过验证的硬件原理图和应用程序代码，方便读者参考设计。

《电子与嵌入式系统设计丛书:8051软核处理器设计实战》深入浅出地介绍了基于8051的软核处理器设计。它包括8051的架构模型、111条指令的功能作用及其对应的Verilog描述，以及如何用Veriog语言构建8051欢核处理器的主体程序井向其中添加8051的111条指令。《电子与嵌入式系统设计丛书:8051软核处理器设计实战》全面详细地介绍了8051软核处理器的实现过程及其验证方法，井借助大量形象的比喻帮助读者理解。全书共分为7章：章是8051架构的描述；第2章介绍8051的指令集；第3章介绍8051中断与Keil开发工具；第4章介绍Verilog硬件描述语言基础；第5章介绍如何使用Verilog语宫进行设计；第6童介绍8051软核处理器设计流程；第7窜介绍8051软核处理器的验证与应用。

本书通过精心设计的批处理实例，向广大读者展示了批处理在服务器管理配置中的灵活应用。全书共分14章，内容涵盖文件/文件夹管理、桌面/IE个性化设置、系统性能优化、系统管理与维护、系统安全、组策略与MMC、网络管理、网络安全、IIS服务器管理、终端服务器管理、DHCP服务器管理、IP安全服务管理、DNS服务器管理以及WINS服务器管理。本书是一线系统、网络、服务器管理人员的好帮手，所有的管理与配置工作都通过批处理来完成，极大地提高了管理员的工作效率。本书适合具有一定基础的系统管理/网络管理/服务器