《控制论中的矩阵计算》主要介绍控制论中几个典型矩阵计算问题的数值解法。全书共分7章，内容包括：矩阵分析基础、控制系统概论、矩阵指数的计算、Lyapunov方程的数值解法、代数Riccati方程的数值解法、非对称代数Riccati方程的数值解法、极点配置问题的数值解法。《控制论中的矩阵计算》在内容上，力求向读者展示这一领域既基本又重要的知识、方法和技巧以及的进展。《控制论中的矩阵计算》在叙述表达上，力求清晰易读，便于教学与自学。《控制论中的矩阵计算》可作为综合、理工科、高等师范院校计算数学、应用数学、工程计算等专业高年级本科生和研究生的或教学参考书，也可供从事科学与工程计算的科技人员参考。

离散事件系统是指其状态变量只在某些离散时间点上发生变化的系统。大多数离散事件系统本质上属于人造系统，即包含人为规则或人为机制的“非物理型”系统。本书共12章。章概述，从概念上讨论DEVS的内涵及其特征；第2章通过三个简单的实例讨论了DEVS建模与仿真的各个步骤，以便读者了解DEVS建模与仿真的基本要素，还对目前流行的离散事件系统建模与仿真软件进行了介绍；第3章介绍主要的数学基础，即概率论与数理统计的基本知识；第4章介绍变量建模及其检验方法；第5章介绍仿真中产生变量的方法和技术；第6章从系统角度讨论建模与仿真问题；第7章对四类策略，即事件调度法、活动扫描法、三阶段法，以及进程交互法，分别进行了规范化讨论；第8章讨论了单系统仿真运行结果分析及实验设计技术；第9章讨论多系统比较技术，还介绍了基于仿真的优化技术

本书阅读本书只需具备微积分和线性代数的部分基础知识。本书可作为科技人员和本科生通俗易懂的入门参考书．可帮助读者学会以自己的想法建立简单数学模型，并利用模型对自己或其他人的结论进行解释。为此，书中给出了生物学、生态学、经济、医药、农业、化学、电力、机械以及加工工艺等不同领域的多个详细范例。《数学建模与仿真--科学与工程导论》根据作者长期在科学与工程领域的建模与仿真工作经验编写而成，给出了一些基本问题的答案。比如：什么是数学模型？数学模型有哪些种类？针对某个特定问题应该选择什么模型？什么是仿真、参数评估和确认等？本书大量引用了免费开源软件。包括3DCFD软件和结构力学模拟软件在内的软件，读者可在互联网上免费获得的CAELinux一Live—DVD中使用(可以在多数计算机和操作系统上运行)。

本书系统地阐述了以状态空间方法为主的线性系统的时间域理论。全书共分十二章：章介绍与本书密切相关的一些数学基础知识；第二章介绍线性系统的数学描述：第三章至第五章阐述线性系统的分析理论，分别介绍线性系统的运动分析、能控性和能观性分析以及稳定性分析：第六章至第十章阐述线性系统的设计理论，分别介绍线性系统的极点配置和特征结构配置、镇定与渐近跟踪、线性二次型控制、解耦控制、状态观测器等设计问题；第十一章概括性地介绍离散线性系统理论：第十二章介绍鲁棒性的概念和几个基本的鲁棒控制问题。本书结构清楚、层次分明、论述严谨、重点突出，注重基本概念、基本原理和基本方法。在内容上以基本的分析和设计问题为主，同时介绍了线性系统理论的一些新进展和作者的一些相关研究成果。本书可作为高等工科院校自动控制及

数学是研究现实世界数量关系和空间形式的科学，是一种思维方式，在它的发展历史长河中，一直与各种应用问题紧密相关。本书是为各类本专科院校开展数学建模活动和参加全国大学生数学建模竞赛的指导培训而编著的，是笔者在使用多年的指导培训讲义基础上结合的竞赛题修订而成的。内容包括：数学建模概述、初等数学建模方法示例、预测类数学模型、评价类数学模型、优化类数学模型、概率类数学模型、多元统计分析模型、方程类数学模型、图与网络模型以及如何准备全国大学生数学建模竞赛。同时它对以往在全国大学生数学建模竞赛以及其他数学建模竞赛中出现过的几类主要数学模型进行了归纳总结。

《谁排 ?:关于评价和排序的科学》是关于评分和排名科学的著作。它是搜索排序姊妹篇的第二本。主要内容有：排名概述、梅西法、科利法、基纳法、埃洛体系、马尔可夫法、攻防评分法、基于重新排序的排名方法、分差、用户偏好评分、处理平局、加入权重、“假如……会怎样”的问题与敏感性、排名聚合、比较排名的方法、数据等。《谁排 ?:关于评价和排序的科学》可作为数学、计算机、网络技术、管理学和数据科学等专业的参考书，也可作为教材使用。

本书根据经济管理类专业的特点，系统地介绍运筹学的主要内容和方法，同时列举了大量来自经济管理的实际案例，在对案例进行分析的基础上讨论了如何建立数学模型，并用Excel电子表格对所建立的模型进行求解和分析。考虑到经济管理专业的特点，我们抛弃了不必要的公式推导和理论证明。本书可作为高等院校经济管理类专业的本科生、研究生或MBA的，也可供系统工程、工业工程等专业的本科生或研究生参考。

本书由“电子科技大学‘十二五’规划研究生教材建议基金”资助出版。本书简述形式语言的基本内容，包括文法的分类和语言间运算的封闭性；系统地论述有限自动机：有限状态自动机、下推自动机和图灵机(包括量子图灵机)的基础理论；从构造文法产生语言的角度和构造自动机识别语言的角度对语言进行讨论；介绍文法与等价的自动机之间的转换方法；并介绍有限自动机的一些典型应用。本书以新的思维方式为读者提供了一把钥匙，主要培养读者的独立思考能力，使用符号化的系统描述程序设计语言或自然语言的语法结构的能力，以及构造自动机的能力。

整数规划是运筹学与化理论的重要分支之一，整数规划模型、理论和算法在管理科学、经济、金融工程、T业管理和其他领域有着广泛的应用，本书主要介绍经典的线性整数规划理论和算法，同时简单介绍近年发展起来的非线性整数规划理论，主要内容包括：线性和非线性整数规划问题和模型、线性规划基础、全单模矩阵、图论和网络流问题、算法复杂性理论、分枝定界算法、割平面方法、多面体和有效不等式理论、整数规划对偶理论、0-1二次整数规划与SDP松弛、0-1多项式整数规划等。 本书适合运筹学、管理科学、应用数学和工程类专业的高年级本科生和研究生作为整数规划的教材和参考书，读者只需具有高等数学基础就可以阅读。

本书系统地介绍了非线性化问题的有关理论与方法，主要包括一些传统理论与经典方法，如非线性化问题的性理论，无约束优化问题的线搜索方法、共轭梯度法、拟牛顿方法，约束优化问题的可行方法、罚函数方法和SQP方法等，同时也吸收了新近发展成熟并得到广泛应用的成果，如信赖域方法、投影方法等． 本书在编写过程中既注重基础理论的严谨性和方法的实用性，又保持内容的新颖性．该书内容丰富、系统性强，可作为运筹学专业的研究生和数学专业高年级本科生从事非线性化研究的入门教材或参考书，也可作为相关专业科研人员的工具参考书．