這本是“虎書”的ML語言描述版本（英文）。
《现代编译原理》全面讲述了现代编译器的结构、编译算法和实现方法，是Andreww．Apple的“虎书”——ModernCompilerImplementation——“红、蓝、绿”三序列之一。
这三本书的内容基本相同。
但是使用不同的语言来实现书中给出的一个编译器。
本书使用的是函數式的ML语言。
本书的另一个特点是增加了一些其他编译原理教科书没有涉及的内容。
前端增加了面向对象的程序设计语言、函数式程序设计语言等现代语言的编译实现方法，后端增加了针对现代计算机体系结构特征的一些比较成熟的优化方法。
这部分内容展现了现代商业编译器需解决的一些关键问题，开拓了学生的视野，为学生未来进行更深入的研究奠定了基础。
《现代编译原理》全面讲述了现代编译器的结构、编译算法和实现方法，是Andreww．Apple的“虎书”——ModernCompilerImplementation——“红、蓝、绿”三序列之一。
这三本书的内容基本相同。
但是使用不同的语言来实现书中给出的一个编译器。
本书使用的是函數式的ML语言。
本书的另一个特点是增加了一些其他编译原理教科书没有涉及的内容。
前端增加了面向对象的程序设计语言、函数式程序设计语言等现代语言的编译实现方法，后端增加了针对现代计算机体系结构特征的一些比较成熟的优化方法。
这部分内容展现了现代商业编译器需解决的一些关键问题，开拓了学生的视野，为学生未来进行更深入的研究奠定了基础。
2024/3/31 7:31:55
35.45MB
1
引入生物免疫系统的机理和约束控制的概念，本文提出了一种能够动态多目标多模态约束优化的免疫优化方法。
这种方法主要由环境检测，群体初始化和免疫进化三个模块构成。
一个模块是受到免疫监视的机理的启发而获得，其有效检测环境是否发生变化和确定环境的类型；
第二个模块依据检测结果产生初始群体；
第三个模块不同方向进化两个子群。
实验结果表明该方法能有效发现各个环境的一系列帕累托面。
这种方法主要由环境检测，群体初始化和免疫进化三个模块构成。
一个模块是受到免疫监视的机理的启发而获得，其有效检测环境是否发生变化和确定环境的类型；
第二个模块依据检测结果产生初始群体；
第三个模块不同方向进化两个子群。
实验结果表明该方法能有效发现各个环境的一系列帕累托面。
2024/3/13 7:29:46
128KB
1
作者:叶其孝沈永欢出版社:科学出版出版年:2006-1页数:1103定价:72.00元装帧:平装ISBN:9787030163448内容简介······《实用数学手册》共26章，在前17章中除保留了第1版中第1-17章的大部分内容外，同时也对这部分内容做了一些修改和增补，另外，在18-26章中修订和扩写了常微分方程和动力系统、科学计算、组合论、图论、运筹学、控制论、最优化方法、数学建模等内容，删去了第1版中的有限元方法、计算机基本知识、信息论等章节，同时也增加了有关有限差分法和动力系统、重要的多元分析等方面的内容，本手册内容比较全面、准确可靠、注重应用，同时注重编排技巧，并附有便于读者检索的比较详尽的索引。
目录······第2版前言第1版前言1初等代数2初等几何3三角学4解析几何5线性代数6微积分7复变函数8常微分方程与动力系统9偏微分方程论10微分几何11积分方程12变分法13概率论14近代数学选题15向量分析张量分析16积分变换17特殊函数18科学计算19组合论20图论21随机过程22数理统计23运筹学24控制理论25*优化方法26数学建模数学家译名表数学家译名表索引
目录······第2版前言第1版前言1初等代数2初等几何3三角学4解析几何5线性代数6微积分7复变函数8常微分方程与动力系统9偏微分方程论10微分几何11积分方程12变分法13概率论14近代数学选题15向量分析张量分析16积分变换17特殊函数18科学计算19组合论20图论21随机过程22数理统计23运筹学24控制理论25*优化方法26数学建模数学家译名表数学家译名表索引
2024/3/11 3:39:42
16.5MB
1
《最优化方法及其Matlab程序设计》较系统地介绍了非线性最优化问题的基本理论和算法，以及主要算法的Matlab程序设计，主要内容包括（精确或非精确）线搜索技术、最速下降法与（修正）牛顿法、共轭梯度法、拟牛顿法、信赖域方法、非线性最小二乘问题的解法、约束优化问题的最优性条件、罚函数法、可行方向法、二次规划问题的解法、序列二次规划法等。
设计的Matlab程序有精确线搜索的0.618法和抛物线法、非精确线搜索的Armijo准则、最速下降法、牛顿法、再开始共轭梯度法、BFGS算法、DFP算法、Broyden族方法、信赖域方法、求解非线性最小二乘问题的L.M算法、解约束优化问题的乘子法、求解二次规划的有效集法、SQP子问题的光滑牛顿法以及求解约束优化问题的SQP方法等，此外，《最优化方法及其Matlab程序设计》配有丰富的例题和习题，并在附录介绍了Matlab优化工具箱的使用方法。
设计的Matlab程序有精确线搜索的0.618法和抛物线法、非精确线搜索的Armijo准则、最速下降法、牛顿法、再开始共轭梯度法、BFGS算法、DFP算法、Broyden族方法、信赖域方法、求解非线性最小二乘问题的L.M算法、解约束优化问题的乘子法、求解二次规划的有效集法、SQP子问题的光滑牛顿法以及求解约束优化问题的SQP方法等，此外，《最优化方法及其Matlab程序设计》配有丰富的例题和习题，并在附录介绍了Matlab优化工具箱的使用方法。
2024/3/7 22:38:04
83KB
1
不同于传统的非制冷红外成像技术，提出了基于微电子机械系统(MEMS)的新概念光学读出非制冷红外成像技术。
它的光学读出系统基于空间刀口滤波原理，具有高灵敏度、高分辨率和高抗震性等优点，但同时也受到了反光板的弯曲变形、粗糙度等复杂因素的影响。
在大量实验数据的基础上，利用夫琅禾费近场衍射理论，建立了复杂因素下光学灵敏度的理论分析模型，详细分析了刀口滤波位置、反光板的长度、曲率半径、粗糙度、LED光源的强度以及扩展宽度等对光学灵敏度的影响，并提出了通过极限操作使系统的光学灵敏度最大化的光学优化方法。
它的光学读出系统基于空间刀口滤波原理，具有高灵敏度、高分辨率和高抗震性等优点，但同时也受到了反光板的弯曲变形、粗糙度等复杂因素的影响。
在大量实验数据的基础上，利用夫琅禾费近场衍射理论，建立了复杂因素下光学灵敏度的理论分析模型，详细分析了刀口滤波位置、反光板的长度、曲率半径、粗糙度、LED光源的强度以及扩展宽度等对光学灵敏度的影响，并提出了通过极限操作使系统的光学灵敏度最大化的光学优化方法。
2024/2/27 12:50:09
9.02MB
1
使用唯相位的方法实现阵列天线的波束赋形状，是使用基于DFP和BFGS变尺度优化算法来实现求值，是该算法的应用实例
2024/2/15 22:37:31
507KB
1
常见的数学建模因为是关于生活，学习中的数学建模，就联想到我们每学期会进行的选课，而毕业时要求是要修满一定的学分，所以，每个人都想上最少的课程，而得到要求的毕业学分，这样自己才能有更多的时间来安排一些额外的工作。
因此，这样的问题就涉及到最优化模型，利用最优化方法对问题进行求解就能够得到想要的结果，而其中涉及到的软件有Lindo软件
因此，这样的问题就涉及到最优化模型，利用最优化方法对问题进行求解就能够得到想要的结果，而其中涉及到的软件有Lindo软件
2024/1/13 0:04:47
70KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB