Spectral graph theory and some related algorithms in complex network

作者：  卢鹏丽著

出版社：国防工业出版社,2013

简介：《图谱理论与复杂网络相关算法》通过对图的邻接矩阵、Laplacian矩阵、signless Laplacian矩阵及关联矩阵性质的研究，证明了一些图类的谱确定性，发现并证明了几类不能由谱确定的同谱图类，拓宽了谱确定图类的范围；对复杂网络的社团结构提取算法进行了研究。全书共分6章，第1章给出了相关概念及符号表示，列举了已有的谱确定图类及图谱理论在计算机科学中的应用；第2章归类了图的谱性质，给出了后面证明中要用到的基本引理；第3章证明了似双星树的谱确定性；第4章证明了几类单圈图的谱确定性；第5章证明了几类双圈图的谱确定性；第6章研究了复杂网络社团发现算法。

矩阵论教程学习辅导与习题解答

作者：  杨丽宏，李斌主编

出版社：国防工业出版社,2013

简介：《矩阵论教程学习辅导与习题解答》是与林锰主编的《矩阵论教程》相配套的学习辅导书，按照《矩阵论教程》的章节顺序编排。每章由知识框架、学习要点、例题剖析、习题解答与补充习题五部分组成。书末附五份模拟综合测试题及其参考答案。

System modeling

作者：  穆歌[等]编著

出版社：国防工业出版社,2013

简介：　　系统建模是系统仿真的基础和关键步骤，决定了系统仿真的质量。《仿真科学与技术及其军事应用丛书：系统建模（第2版）》主要介绍系统建模相关理论和数学模型的建模方法，重点放在数学模型的建模方法上，内容包括定量建模方法：理论建模（连续系统建模方法和离散事件系统建模方法）、实验建模（基于系统辨识的建模方法、基于人工神经网络的建模方法和基于灰色系统理论的建模方法）；定性建模方法（基于模糊数学的建模方法、基于Kuipers的建模方法和基于SDG的定性建模方法）；定性与定量相结合的建模方法（基于系统动力学的建模方法和基于层次分析法的建模方法）。 　　《仿真科学与技术及其军事应用丛书：系统建模（第2版）》可供高等院校有关专业作为本科生和研究生教材或参考书，也可供科研人员和工程技术人员作为技术参考书使用。

蒙特卡罗方法在系统可靠性中应用

作者：  金星，洪延姬编著

出版社：国防工业出版社,2013

简介：　　近年来，在复杂工程系统和军用装备的系统可靠性分析中，亟待解决：①大型复杂的可修复系统可靠性分析方法；②小样本下可靠度和寿命的评估近似方法；③多种分析方法的适用性分析和方法选优。　　蒙特卡罗方法（随机模拟方法）在解决上述问题方面有独到的优势。因此，跟踪、消化、吸收和总结国内外相关理论与方法，结合多年来从事国防科研和研究生教学的经验与体会，紧密围绕系统可靠性分析需求，针对国内读者对相关著作迫切需要的现状，编著了《蒙特卡罗方法在系统可靠性中应用》。从蒙特卡罗方法的基本特点出发，以怎样解决系统可靠性分析问题为重点，通过工程应用背景突出的大量精选实例，系统、详细地讲解了要点和难点内容，旨在给读者一部有启发性、实用性的专业书籍。　　《蒙特卡罗方法在系统可靠性中应用》全书共分七章。第一章介绍随机变量的抽样模拟；第二章介绍蒙特卡罗方法的基本原理；第三章介绍不可修复系统的可靠性仿真；第四章介绍不可修复系统的减小方差技术；第五章介绍一般可修复系统的可用性仿真；第六章介绍编程计算技巧和文件说明；第七章介绍其他应用。

线性规划问题的新算法

作者：  吕彬，郭全魁，陈磊著

出版社：国防工业出版社,2013

简介：    吕彬、郭全魁、陈磊编写的这本《线性规划问题的新算法》共分8章，内容包括：线性规划问题与模型，线性规划问题的图解法与解的性质，正则形法的迭代步骤与证明，图形演示正则形法的求解路径，正则形法求解示例，单纯形法及其改进，正则形法与单纯形法的比较，有多个解的线性规划问题。 本书可作为运筹学、管理学、系统工程等专业的“线性规划”课程的研究生参考教材，也可供相关专业的院校教师、研究生和高年级本科生以及从事经济管理研究的人员作为参考用书。

高等数学专题辅导讲座

作者：  蔡高厅，邱忠文主编

出版社：国防工业出版社,2013

简介：    蔡高厅等编著的《高等数学专题辅导讲座(第3版)》的内容覆盖了现行理工类院校“高等数学”教学的全部内容。包括函数、极限、连续、导数、微分及其应用、不定积分、定积分及其应用、向量代数与空间解析几何、多元函数微分学及其应用、多元函数积分学、无穷级数和微分方程等。全书共分为8个单元33个专题进行辅导，内容丰富、例题详实、分析透彻、富于启发、文字通顺、便于自学。