• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

《专业导论》课程教学大纲. 1 《C 语言程序设计》课程教学大纲. 8 《离散数学》课程教学大纲. 18 《机器学习》课程教学大纲. 30 《数字电子技术》课程教学大纲.39 《数据结构》课程教学大纲. 46 《面向对象程序设计》课程教学大纲.55 《算法设计与分析》课程教学大纲.64 《数据科学基础》课程教学大纲.75 《现代操作系统》课程教学大纲.84 《计算机网络原理》课程教学大纲.94 《计算机组成与结构》课程教学大纲.106 《数据库系统原理》课程教学大纲. 116 《学科前沿》课程教学大纲.129 《计算机接口技术》课程教学大纲.137 《软件工程》课程教学大纲.144 《IT 项目管理》课程教学大纲. 157 《嵌入式系统设计》课程教学大纲.166 《工程伦理》课程教学大纲.174 《专业英语》课程教学大纲.181 《编译原理》课程教学大纲.188 《计算机图形学》课程教学大纲.198 《Python 程序设计》课程教学大纲.206 《大数据技术原理与应用》课程教学大纲.214 《云计算与虚拟化技术》课程教学大纲.223 《并行分布式计算》课程教学大纲.232 《数字媒体技术》课程教学大纲.242 《高性能框架技术》课程教学大纲.249 《云计算技术》课程教学大纲.257 《软件测试技术》课程教学大纲.266 《移动应用开发技术》课程教学大纲.274 《Web 前端开发技术》课程教学大纲.287 《软件建模与分析》课程教学大纲.310 《智能算法及应用》课程教学大纲.319 《最优化方法》课程教学大纲.325 《图形图像处理技术》课程教学大纲.334 《深度学习》课程教学大纲.343 《机器人技术》课程教学大纲.353 《计算机视觉》课程教学大纲.359 《自然语言处理》课程教学大纲.369 《数字孪生技术》课程教学大纲.376 《脑与认知科学》课程教学大纲.384 《现代制造技术》课程教学大纲.391 《逆向工程》课程教学大纲.399 《虚拟现实技术》课程教学大纲.405

单纯形法的矩阵描述 对偶问题的提出 线性规划的对偶理论 对偶问题的经济解释－影子价格 对偶单纯形法 灵敏度分析(选讲) 掌握WinQSB软件求解对偶规划

针对碳钢在连铸结晶器内的凝固过程,考虑铸坯和铜板间接触状态,建立了完全热力耦合的二维热-弹塑性有限元模型.利用MARC商用软件包在微机上求解,模拟出了连铸结晶器区域热和力学状态,特别是铸坯和结晶器壁界面状态,包括铸坯表面温度、界面热流和气隙分布规律等.本模拟工作可以为优化结晶器锥度,开发高拉速曲面结晶器提供理论依据和技术基础

针对露天矿山运输路面的扬尘问题,对复合抑尘剂进行了研究及现场应用.通过理论分析和实验,研制出两种性能优良的复合抑尘剂,并对这两种抑尘剂进行了性能测试和对比分析.采用FLUENT软件,对露天矿山运输路面的粉尘运移规律进行了数值模拟,确定了最佳粉尘监测点.现场实验表明,本文研制的复合抑尘剂能使粉尘质量浓度控制在4mg·m-3以下,有效抑尘时间为6 h

在对钢管中频加热过程进行理论分析的基础上,从麦克斯韦方程组和导热微分方程出发,考虑了材料物理性能随温度变化对加热过程的影响,使用Ansys软件建立了钢管电磁-热耦合分析的有限元模型,对钢管中频感应加热问题进行了数值模拟计算.计算结果中工件外表面温度与实测温度相差5.19%,吻合较好.提出了感应透热深度的概念,并以此区分钢管内感应加热区域和热传导区域.根据模拟结果讨论了钢管感应透热深度及温度分布的影响因素,并证明了双线圈感应加热工艺在工件温度分布、热效率及频率分配方面的合理性

《科技论文写作》 《高等数学 A》 《工程制图 A1》 《工程制图 A2》 《工程制图 A2 上机实验》 《土木工程材料》 《土木工程材料实验》 《理论力学 B》 《大学物理 C》 《物理实验 C》 《材料力学 B》 《材料力学实验》 《线性代数 B》 《概率论与数理统计 B》 《工程测量》 《工程测量实验》 《结构力学 A1》 《结构力学 A2 》 《结构力学 A2 上机》 《电工学基础 B》 《C 语言程序设计》 《C 语言程序设计》（实验） 《土木工程概论》 《房屋建筑学 A》 《房屋建筑学课程设计》 《土力学》 《工程地质》 《混凝土结构设计原理》 《工程结构试验》 《工程结构试验》实验 《基础工程》 《土木工程施工》 《混凝土与砌体结构设计》 《钢结构》 《高层建筑结构》 《建筑结构抗震》 《专业英语》 《结构设计软件应用》 《岩体力学》 《隧道工程》 《岩土工程勘察及测试技术》 《地下结构施工》 《地下建筑结构》 《地基处理》 《岩土设计软件应用》 《城市轨道交通工程》 《桥梁工程》 《路基路面工程》 《道路勘测设计》 《道路与桥梁工程施工》 《钢结构及钢桥》 《桥梁设计软件应用》 《施工测量实验》 《弹性力学及有限元》 《建筑设备》 《建筑机械》 《建设法规》 《土木工程数值分析方法》 《钢筋混凝土特种结构》 《工程造价》 《工程项目管理》 《工程监理》 《土木工程检测技术及评价》 《土木工程检测技术及评价》（实验） 《桥梁抗震与抗风设计》 《认识实习》 《工程测量实习》 《混凝土结构课程设计》 《钢结构课程设计》 《基础工程课程设计》 《挡土结构课程设计》 《桥梁工程课程设计》 《路基路面工程课程设计》 《土木工程施工组织课程设计》 《生产实习》 《毕业设计》

第1章 Multisim电路仿真软件简介 第2章 仿真基础Ⅰ（放置元件-电路图编辑-仿真-报告） 第3章 仿真基础Ⅱ（元器件库、虚拟仪器） 第4章 仿真基础Ⅲ（仿真分析方法） 第5章 应用于电路分析

lInformation System Development in Theory 理论上的信息系统开发 lWinburg Mini Case Study 一个小型案例研究 lLessons of the Winburg Mini Case Study 这个小型案例研究的教训 lTeal Tractors Mini Case Study 第二个小型案例研究 lIteration and Incrementation 迭代和增量 lIteration: The Newton–Raphson Algorithm 迭代: 牛顿-拉普森算法 lThe Winburg Mini Case Study Revisited 再次探讨第二个小型案例 lOther Aspects of Iteration and Incrementation 迭代和增量的其他方面 lManaging Iteration and Incrementation 管理迭代和增量 lMaintenance Revisited 再论维护

管理学 会计学 经济法 微观经济学 宏观经济学 统计学 组织行为学 新生研讨课 人力资源管理 管理信息系统 财务管理 市场营销学 运营管理 公司战略管理 公司治理 社会调查理论与方法 创新能力训练 电子商务实务与案例分析 ERP 沙盘模拟实训 商务礼仪 税法 商务谈判实务与案例 管理沟通 保险学 统计分析软件与应用 财经写作 国际商务 领导科学与艺术 投资项目评估 公共关系学 企业文化与企业伦理 现代物流管理 国家公务员制度 企业经营策划 工商管理案例分析 计算机实用技能 创业管理 企业经营决策模拟 工商管理专业实训