《离散与连续空间中的搜索理论》讨论离散和连续空间中关于静止和运动目标的搜索策略,分析了目标的概率分布函数已知和未知的各种情况,重点介绍了搜索理论的基础知识和发展。《离散与连续空间中的搜索理论》共分6章。章介绍搜索理论的产生、发展过程及研究现状。第2章讨论针对静止目标的搜索策略及数学模型。第3章讨论分布函数未知情况下的搜索策略。第4章讨论针对运动目标的搜索策略,并尝试将搜索问题与控制理论结合起来进行讨论。第5章介绍系统的控制理论的一些基本原理以及与搜索理论的交叉点。第6章给出了搜索理论在经济学和无线网络管理领域的一些应用。最后对全书做了一个总结并给出关于进一步研究的一些建议。《离散与连续空间中的搜索理论》包括了许多实例和算法,以及一个示范性的仿真软件包。《离散与连续空间中的搜索理论》
本书系统地介绍了非线性化问题的有关理论与方法,主要包括一些传统理论与经典方法,如非线性化问题的性理论,无约束优化问题的线搜索方法、共轭梯度法、拟牛顿方法,约束优化问题的可行方法、罚函数方法和SQP方法等,同时也吸收了新近发展成熟并得到广泛应用的成果,如信赖域方法、投影方法等. 本书在编写过程中既注重基础理论的严谨性和方法的实用性,又保持内容的新颖性.该书内容丰富、系统性强,可作为运筹学专业的研究生和数学专业高年级本科生从事非线性化研究的入门教材或参考书,也可作为相关专业科研人员的工具参考书.
本书由“电子科技大学‘十二五’规划研究生教材建议基金”资助出版。本书简述形式语言的基本内容,包括文法的分类和语言间运算的封闭性;系统地论述有限自动机:有限状态自动机、下推自动机和图灵机(包括量子图灵机)的基础理论;从构造文法产生语言的角度和构造自动机识别语言的角度对语言进行讨论;介绍文法与等价的自动机之间的转换方法;并介绍有限自动机的一些典型应用。本书以新的思维方式为读者提供了一把钥匙,主要培养读者的独立思考能力,使用符号化的系统描述程序设计语言或自然语言的语法结构的能力,以及构造自动机的能力。