本书系统阐述模糊逻辑标准完备性证明的各种方法和理论,为初学者尽可能多的提供理论和技术上的细节,使其能尽快进入这一课题的研究工作。特别地,较为详细的介绍了作者在这些方面所做的工作,对IUL完备性的证明进行了详细的论述,并针对主算法的最困难部分给出了实例,这在一般地论文写作是不可能的。
本书以ANSYSWorkbench2020为操作平台详细介绍了ANSYSWorkbench软件的功能和应用,可以使读者在掌握软件操作的同时掌握解决相关工程领域实际问题的思路与方法。全书分为5部分,共19章,第1部分(第1-4章)从ANSYSWorkbench2020平台的各个功能模块着手,介绍了常用命令的使用,以及几何
互易定理是电磁学最重要的理论之一,在通信、天线信号传输、电磁成像等诸多领域有着非常广泛的应用。《BR》本书系统地梳理了目前已发现的洛伦兹互易方程、Feld-Tai互易方程等“能量型”方程。在此基础上,提出并推导了动量互易方程、互动量方程等“动量型”方程。
本书对博弈论中的主要数学模型进行了比较全面的介绍,然后应用非线性分析的理论和方法,进行了比较深入的研究。全书内容包括数学预备知识、矩阵博弈与两人零和博弈、双矩阵博弈与n人非合作有限博弈、n人非合作博弈、广义博弈、数理经济学中的一般均衡理论、Nash平衡点存在性定理的一些应用、主从博弈、多目标博弈、广义多目标博弈、完美平
《光子晶体:控制光流:原书第二版》为光子晶体领域的经典教科书。第1章对《光子晶体:控制光流:原书第二版》进行了综述。第2章描述了混合介质系统的宏观电磁理论,证明描述磁场的方程是哈密顿方程。基于此事实,第3章对磁场行为做出了描述。第4~6章分别研究了一维、二维、三维光子晶体的电磁特性,阐述了光子带隙的物理起源,以及与之相
本书论述变指标函数空间理论的**进展。全书内容包括:变指标函数空间和模空间的基本性质;Hardy-Littlewood极大算子在变指标Lebesgue空间、变指标Herz型空间和变指标加权Lebesgue空间上的有界性,以及度量测度空间上的极大算子在变指标空间上的有界性;多重奇异积分算子在变指标空间上的有界性;常指标加
本书是根据作者近五年在西南大学教授线性代数及相关课程和从事科研工作的经验,以及阅读科技读物的感悟写成的。本书力求用兼具浅白和科技的语言介绍线性代数中的抽象概念,包括线性方程组、矩阵、向量、特征值与特征向量以及二次型,进而揭开这些概念自身的本质特征和概念之间关系的面纱。本书在内容编排和处理方法上采用更直接、更简捷、更具有
《有机化学》分为两部分:第一部分为理论部分,即基础知识,包括绪论,烷烃,烯烃与二烯烃,炔烃,脂环烃,对映异构,芳香烃,卤代烃,醇、酚、醚,醛和酮,羧酸及其衍生物,有机含氮化合物,杂环化合物,糖,氨基酸、蛋白质和核酸;第二部分为实验部分,包括基本的有机实验技能和实训项目,即熔点的测定和温度计的校正;常压蒸馏和沸点的测定;
本书是“十二五”普通高等教育本科国家级规划教材《有机化学实验》(第二版)的修订版,主要内容包括有机化学实验的一般知识、有机化合物合成的基本技术、有机化合物的分离和提纯、有机化合物的物理性质测定和波谱分析、基础合成实验、天然产物的提取、提高性合成实验。本版在继续保持前二版的编写体系及特色的基础上,更新了有关有机化合物合成
本书主要介绍了有机合成中自由基试剂、亲核试剂、亲电试剂等参与的有机合成的几个方面以及金属有机化学简史。第1章主要介绍了自由基试剂参与的有机反应包括自由基试剂的分类及其参与的加成、取代、重排和氧化还原反应。第2章主要介绍了亲核试剂参与的有机反应包括脂肪类碳原子参与的亲核反应、碳杂原子多重键参与的亲核反应及芳香亲核试剂参与