本书系统介绍锥约束优化的**性理论与增广Lagrange方法,主要内容包括变分分析的相关基础、约束集合的切锥与二阶切集、对偶理论、非线性锥约束优化的一阶**性条件和二阶**性条件、三类重要的锥约束优化的**性条件、凸规划的内点算法以及非凸半定规划的增广Lagrange方法的收敛速度估计等.
本书系统地介绍运筹学中的主要内容,重点陈述应用最为广泛的线性规划、对偶理论、整数规划、非线性规划、动态规划、图与网络、决策分析、博弈论、库存论、排队论与模拟等定量分析的理论和方法。阅读本书只需微积分、线性代数与概率统计的一些基本知识。本书是教学改革项目“基于信息技术平台的运筹学立体化教材”的成果,配备有完整和立体化教学包,包括教师手册、多媒体课件、习题案例答案、补充习题及其答案、教学案例库、考试测评系统、在线支持等。
《数理统计及其在数学建模中的实践(使用MATLAB)》从数理统计分析在数学建模中的应用以及在MATLAB中的实现出发,介绍概率论与数理统计分析的基本概念、典型应用及使用MATLAB进行实际建模分析的基本方法和应用。本书将概率论与数理统计的建模方法与MATLAB典型应用融为一体,既从理论上介绍了数理统计基础的基本原理、数理统计知识在数学建模中的使用方法,又详细讲解了该部分知识在MATLAB环境下的实现方法,并给出了大量的典型实例分析。 《数理统计及其在数学建模中的实践(使用MATLAB)》主要内容包括:利用MATLAB制作统计报告或报表、数据处理与统计作图、统计估计、参数检验、方差分析、回归分析与数据拟合、马尔可夫链、数理统计建模实验设计等。书中从数学建模的角度出发描述了通过数理统计数学建模的一般方法步骤,既有理论推导又详
《运筹学方法与模型(第2版)》由傅家良编著, 介绍了运筹学中线性规划、目标规划、整数规划、网 络规划、网络计划技术、 动态规划、排队论、存储论、决策分析和排序问题等 分支的基本概念和方法,并把各 种运筹学求解方法归纳成接近于程序语言的算法步骤 ,本书特别重视各个运筹学分 支对数学模型的建立,配备了相当数量的应用例题, 使读者充分理解建立数学模型 是一种艺术,本书力求深入浅出,注重应用,每章结 尾都配有一定数量的习题,部分 习题还附有答案。 《运筹学方法与模型(第2版)》可作为大专院校 交通运输管理类、经济管理类和理工类其他有关专业 的本 科生、研究生的教材或教学参考书,也可作为各类专 业人员的自学参考书。
运筹学的思想和方法用精简的语言来描述,就是建立某个问题的数学模型并求其 *值 或 小值 。在经济、管理以及各种工程技术问题中,这样的问题比比皆是。但是,运筹学的模型和方法在实际应用时大多数都是计算非常烦琐的,如果不与计算机技术相结合,则较难将其应用到解决实际问题中去。MATLAB 是当前好的科学计算语言之一,在本书中,一方面继续保留相关理论和方法的描述;另一方面则对书中所涉及的所有算法给出相应的MATLAB 程序。本书将运筹学的基本内容按照数学模型分成线性模型、非线性模型和*模型分别加以叙述。其中,线性模型包括线性规划、运输问题、目标规划、整数规划、图与网络流规划等;非线性模型包括无约束非线性规划、约束非线性规划以及存储论中的非线性问题等;*模型主要包括排队论。本书可作为应用数学、经济、管理类以及工程
本书详细阐述脉冲微分系统的理论及*研究成果,主要包括具有界滞量或无穷延滞的脉络泛函微分系统的基本理论,脉冲微分系统的几何理论、稳定性理论和边值问题,以及脉冲偏微分系统的振动理论等。 本书可作为理工科大学数学系、应用数学和其他有关专业的大学生、研究生、教师以及有关的科学工作者的参考书。
博塞克斯编著的《抽象动态规划(国际知名大学原版教材)/信息技术学科与电气工程学科系列》采用一种简洁的方式介绍动态规划的理论与方法。首先把动态规划的核心问题表述为一类抽象影射的不动点问题,然后将决定不动点问题求解难度的主要因素概括为上述抽象投影射的两个性质,接着顺序讨论了各种典型情况下的相应不动点问题的主要性质和求解方法。
《非对称作战数学建模与仿真分析》是在总结作者近年教学心得和科研成果的基础上写作的一部学术性较强的军事技术理论著作,其目的是为探究非对称作战活动规律、发展完善非对称作战理论、指导非对称作战运用提供支持。《非对称作战数学建模与仿真分析》共分10章。第1章和第2章主要论述非对称作战的基本概念和主要特征,作战基本要素非对称运用的表现形式以及作战的非对称运行机理;第3章~第10章是《非对称作战数学建模与仿真分析》的核心内容,建立了综合评价模型、多目标规划模型、指数法模型、兰彻斯特方程模型、突变分析模型、基于多智能体的作战仿真模型、基于复杂网络和数据场理论的作战仿真模型,并进行了非对称作战仿真实验系统设计及典型应用分析。
本书系统地介绍了线性算子半群的基本理论及其在发展方程中的应用。全书共分为八章:前两章是预备知识;第三章介绍C0半群和解析半群的基本理论;第四章介绍半线性发展方程的抽象结论;第五章和第六章分别介绍半线性抛物型方程和波动方程;第七章介绍分数幂算子、分数幂空间和拟线性抛物型方程;第八章介绍Schrōdinger方程。本书的特点是强调应用和实例。书中内容深入浅出,文字通俗易懂,并配有适量难易兼顾的习题。 本书可作为偏微分方程、动力系统、泛函分析、计算数学、控制论方向与理工科相关方向研究生的教材和教学参考书,亦可作为数学、工程等领域的青年教师和科研人员的参考书。
本书介绍自然约束语言NCL及其开发平台POEM。全书共6章,其中第1章简要介绍NCL语言与求解系统;第2章和第3章介绍NCL语言的基本体系和原理方法,内容包括NCL的词法、语法及语义等;第4章介绍NCL语言的开发平台POEM的使用方法;第5章介绍如何用NCL语言进行建模及求解;第6章介绍NCL语言在工业优化中的部分应用。 本书可作为高等院校及科研院所研究运筹学、物流优化、人工智能和软件方向的教师和研究生的科研参考书。针对如何用NCL语言及其开发平台POEM求解运筹学组合优化问题,本书可作为企事业单位中从事生产制造、物流信息化、人力资源优化等工作的IT人员研究计划、排程与优化的指导书,也可以作为POEM软件平台配套的参考手册。
《证据网络推理学习理论及其应用》提出并建立了一套完整的证据网络理论和方法体系,对证据网络的定义、结构建模、参数表示、不同参数模型下的推理及证据网络参数和结构学习的相关理论和方法展开了深入论述。《证据网络推理学习理论及其应用》共分为7章,内容包括:不确定性建模理论,不确定性推理方法,证据网络提出的价值与意义,证据网络模型的基本概念、特点、关键要素和建模流程,证据网络的结构与参数,证据网络的推理问题,不同参数模型下的推理策略与算法,证据网络参数学习模型与计算方法,证据网络信度规则模型库结构学习,以及相关应用研究等。《证据网络推理学习理论及其应用》主要面向管理科学与工程、控制科学与工程、信息技术等领域的学者及研究生,也可供相关领域的研究人员阅读参考。
《普通高等教育"十二五"规划教材:运筹学》通过介绍运筹学的基本理论和基本方法,让一些工科专业的本科生或研究生了解运筹学的研究范畴和研究思想;通过大量的例子介绍如何针对工科专业的多种实际问题,建立优化模型、分析和解决问题;同时通过大量的例子介绍了利用优化软件建立优化模型、分析和解决优化实际问题的方法。
介绍运筹学是近几十年发展起来的一门新兴学科,它主要运用数学方法研究各种系统的优化途径和方案,为决策者提供各种决策的科学依据.它也是高等院校经济管理类专业的一门重要专业基础课.本书基于运筹学这门学科的理论体系,同时考虑到经济管理类专业的特点,选编了线性规划、整数规划、目标规划、动态规划、图与网络分析、存贮论等运筹学的基本内容,论述了这些分支的基本原理和基本方法,同时注意了它们的应用.本书力求深入浅出、通俗易懂,每章后面都附有习题,便于自学.本书可作为高等院校经济管理类专业本科生、研究生的教材或教学参考书,也可供应用数学、系统工程、理工类专业本科生、研究生及各类经济管理工作者和科技人员参考.
该教材主要是针对全国工程硕士专业学位研究生运筹学课程教学所编写,主要内容包括: 绪论、线性规划及其应用、运输规划及其应用、整数规划及其应用、目标规划及其应用、非线性规划及其应用、存储论及其应用、图论与网络优化及其应用、排队论及其应用、对策论及其应用和决策论及其应用等章节.其中每一章都包括问题的工程背景、问题的数学原理、问题的LINGO求解方法、应用案例分析和应用案例练习等内容.书中的所有案例和练习全部是来自各工程领域的实际问题,共包含50多个应用案例和100多个应用练习问题.后给出了LINGO软件使用方法简介. 本书适合作为相关各工程领域的工程硕士专业学位研究生运筹学课程教材,也适合工科各专业的大学本科生和非运筹学专业研究生的运筹学课程教学使用或作为参考教材,也可供从事相关研究工作的工程技术
《运筹学模型及其应用》主要介绍了运筹学的基本理论及其在工程实际中的应用。教材在系统地介绍运筹学基本模型、基本算法、经典实例的同时,以解决工程实际中的运筹学案例为主线,以lingo软件的使用为手段,从问题的模型建立、算法设计、模型求解到结果分析,全面而深刻地探究实践、认识、再实践、再认识的认知过程。全书共11章,内容包括绪论、线性规划模型、运输问题模型、整数规划模型、多目标规划模型、图与网络模型、动态规划模型、存储模型、排队模型、决策模型、对策模型等。书中配有大量训练题并在附录中给出了参考答案。书后光盘刻录了本书中所有实例和案例求解的lingo程序。 《运筹学模型及其应用》既可作为高等院校数学、管理及工科各专业本科学生、研究生的教材,也可作为数学建模培训用书,还可供工程技术人员参考使
本书由“电子科技大学‘十二五’规划研究生教材建议基金”资助出版。本书简述形式语言的基本内容,包括文法的分类和语言间运算的封闭性;系统地论述有限自动机:有限状态自动机、下推自动机和图灵机(包括量子图灵机)的基础理论;从构造文法产生语言的角度和构造自动机识别语言的角度对语言进行讨论;介绍文法与等价的自动机之间的转换方法;并介绍有限自动机的一些典型应用。本书以新的思维方式为读者提供了一把钥匙,主要培养读者的独立思考能力,使用符号化的系统描述程序设计语言或自然语言的语法结构的能力,以及构造自动机的能力。
本书是普通高等教育“十一五”*规划教材,在第二版的基础上修订完善而成。第三版除尽力保持前两版的特点,进一步阐明概念和方法的实际意义,提高了全书的系统性,加强了对学生运用计算机解决实际问题能力的训练。 本书的主要内容为:绪论,线性规划,整数线性规划,非线性规划,动态规划,图与网络分析,网络计划技术,排队论,决策分析,对策论等。第三版增加了有广泛应用的“网络计划技术”一章,对有些章节内容根据需要进行了增删修改,将习题分为(A)、(B)两部分,可供不同的需要选择难度不同的习题。另外将运用多年的应用实例及相关程序整理完善后附书同步发行。 本书可作为数学与应用数学专业的运筹学课程教材,也可作为管理、系统工程等专业的专业课程教材。