如果函数求值被编码在软件组件中,那么很自然地会问是否可以使用函数求值组件自动计算导数。直到最近,数值求导数的标准方法是使用有限差分,本质上是用 h 来求 (1) 的右侧,h 是一个预先指定的小非零数。这种方法通常会给出一个近似值。近年来,计算机和计算机语言的进步使得开发出一种新方法来获得任何可编程函数的精确导数成为可能。术语自动微分 (AD) [17] 通常适用于从函数求值软件组件生成计算方案(也在软件中实现)的技术,该方案用于计算导数。这些技术已经发展并且仍在发展中,无论是在理论基础方面,还是在其实现的软件工程方面,这一点更为明显。相当成熟的 AD 软件实现出现在 20 世纪 90 年代初 [3],现在该过程有两种“形式”,即反向自动微分 [19] 和正向自动微分 [3]。
拉格朗日乘数法。(10)数列和级数:数列、数列的极限及其性质、正项级数、收敛的必要条件、比较检验法、达朗贝尔比率检验法、柯西根检验法、交错级数、莱布尼茨规则、绝对收敛和条件收敛。(6)积分学:积分学的平均值定理、反常积分及其分类、Beta 函数和 Gamma 函数、笛卡尔和极坐标中的面积和长度、笛卡尔和极坐标中的旋转立体的体积和表面积。(12)多重积分:二重积分、二重积分的求值、三重积分的求值、积分阶数的变换、变量的变换、二重积分的面积和体积、三重积分的体积。 (10)向量微积分:向量值函数及其可微性、线积分、面积积分、体积积分、梯度、旋度、散度、平面格林定理(包括矢量形式)、斯托克斯定理、高斯散度定理及其应用。 (10)教材,
9 月份,电力需求为 25,438 GWh,与去年同期(-1.3%)和 2022 年 9 月(-1.1%)相比有所下降。与 2023 年同期相比,外汇也下降了(-1.2%)。2024 年,电力需求(235,820 GWh)高于 2023 年同期(+2.1%),但低于 2022 年的累计数字(-2.3%)。电力需求值是在工作日数相同(21)且平均气温比去年 9 月低 1.3°C 的情况下实现的。经季节和温度影响调整后,该数字变化了 -0.4%。2024 年 9 月(与 2023 年 9 月相比)工业用电指数的年度趋势为负 -3.2%,原始数据为负。
12 月份的电力需求为 25,672 GWh,较去年 12 月 (+2.8%) 和 2022 年 12 月 (+4%) 有所增加。与 2023 年同期相比,外汇也有所下降 (-3.6%)。2024 年,电力需求 (312,285 GWh) 高于 2023 年同期 (+2.2%),但略低于 2022 年的累计数字 (-0.9%)。电力需求值是在工作日增加两个 (20 vs 18) 的情况下实现的,平均气温比去年 12 月低 1.6°C。调整日历和温度影响后,该数字代表了 +1.1% 的变化。2024 年 12 月 (与 2023 年 12 月相比) 工业用电指数的年度趋势为负 (-6.5%),原始数据为负。
先决条件:参见 COMS W1004 要点说明;COMS W1004 或讲师许可。如果已经获得 COMS W1007 学分,则不能计入学分。根据面向对象的设计模式和干净的编码实践,设计、记录、编码和测试强大的计算机软件的课程。以 Java 语言授课。面向对象的设计原则包括:用例;CRC;UML;javadoc;模式(适配器、构建器、命令、复合、装饰器、外观、工厂、迭代器、惰性求值、观察者、单例、策略、模板、访问者);契约设计;循环不变量;接口和继承层次结构;匿名类和空对象;图形小部件;事件和侦听器;Java 的对象类;泛型类型;反射;计时器、线程和锁
PC-12:FAR 23.221(a)(2) 抗旋转 (FOCA CQF 91-03) – PC-12 不符合基本的 FAR 23 失速要求,并且安装了推杆器,性能令人满意。当接近失速(推杆)时,摇杆器和音频警告会通知飞行员。由于飞机无法失速,因此它无法旋转。皮拉图斯提议修改 23.221 旋转要求,以:在操纵杆推杆启动速度下(断开连接时)演示滚转控制;使用操纵杆推杆同时应用旋转促进控制偏转;如果可能超出结构限制,则停止测试。FOCA 接受了该提议,因为飞机在操纵杆推杆操作时被证明具有抗旋转性,并且系统的可靠性超过了要求值(参见问题文件 B-1)。
复杂积分:柯西-古尔萨定理(凸区域)、柯西积分公式、高阶导数、莫雷拉定理、柯西不等式和刘维尔定理、代数基本定理、最大模原理、泰勒定理、施瓦茨引理。劳伦级数、孤立奇点、卡索拉蒂-魏尔斯特拉斯定理、亚纯函数、鲁什定理、反函数定理、留数、柯西留数定理、积分求值、黎曼曲面。线性系统的直接和迭代方法、特征值分解和 QR/SVD 因式分解、数值算法的稳定性和准确性、稀疏和结构化矩阵。有限元方法:边界值问题的有限元公式、一维和二维有限元分析。优化技术:遗传算法(GA)、人工神经网络(ANN)、粒子群优化(PSO)。
复变量函数。简要回顾荣誉课程大纲所包含的主题:解析函数、柯西-黎曼方程、复平面积分、柯西定理、柯西积分公式。刘维尔定理。莫雷特拉定理。泰勒和罗朗展开式的证明。奇点及其分类。分支点和分支割线。黎曼单。留数定理。留数定理在定积分求值和无穷级数求和中的应用。(11 讲)线性向量空间、子空间、基和维数、向量的线性独立性和正交性、格拉姆-施密特正交化程序。线性算子。矩阵表示。矩阵代数。特殊矩阵。矩阵的秩。初等变换。初等矩阵。等价矩阵。线性方程的解。线性变换。基的变换。矩阵的特征值和特征向量。凯莱-哈密尔顿定理。矩阵的对角化。双线性和二次型。主轴变换。(9 讲)
C 语言概述:C 语言的历史 – C 语言的重要性 – C 程序的基本结构 – 编程风格 – 字符集 – C 标记 – 关键字和标识符 – 常量、变量和数据类型 – 变量声明 – 定义符号常量 – 将变量声明为常量 – 数据溢出和下溢 – 运算符和表达式:算术、关系、逻辑、赋值运算符 – 增量和减量运算符、条件运算符、位运算符、特殊运算符 – 算术表达式 – 表达式的求值 – 算术运算符的优先级 – 表达式中的类型转换 – 运算符优先级和结合性数学函数。第二单元管理 I/O 操作:读写字符 – 格式化输入、输出 – 决策和分支:if 语句 - if else 语句 - if else 语句的嵌套 - else if 阶梯 – switch 语句 – ?: 运算符 – goto 语句 – while 语句 – do 语句 – for 语句 – 循环跳转。第三单元 数组:一维数组 – 声明、初始化 – 二维数组 – 多维数组 – 动态数组 – 初始化。 字符串:字符串变量的声明、初始化 – 读写字符串 – 字符串处理函数
4.1. 堆栈 4.1.1. 堆栈的表示 4.1.2. 使用数组演示堆栈的程序 4.1.3. 使用链表演示堆栈的程序 4.2. 代数表达式 4.3. 使用堆栈转换表达式 4.3.1. 从中缀转换为后缀 4.3.2. 将中缀转换为后缀表达式的程序 4.3.3. 从中缀转换为前缀 4.3.4. 将中缀转换为前缀表达式的程序 4.3.5. 从后缀转换为中缀 4.3.6. 将后缀转换为中缀表达式的程序 4.3.7. 从后缀转换为前缀 4.3.8. 将后缀转换为前缀表达式的程序 4.3.9. 从前缀转换为中缀 4.3.10. 将前缀转换为中缀表达式的程序 4.3.11. 从前缀转换为后缀 4.3.12.将前缀转换为后缀表达式的程序 4.4. 后缀表达式的求值 4.5. 堆栈的应用 4.6. 队列 4.6.1. 队列的表示 4.6.2. 使用数组演示队列的程序 4.6.3. 使用链表演示队列的程序 4.7. 队列的应用 4.8. 循环队列 4.8.1. 循环队列的表示 4.9. 双端队列 4.10. 优先级队列练习多项选择题