课程
这里列出的课程描述并不能保证某一特定学期的课程。请参阅澳门威尼斯人注册上公布的课程时间表，以确认实际授课的课程以及具体的课程会议日期和时间。
- ENG EC 674：优化理论2
本课程介绍最优化问题和算法，强调问题的表述、基本方法和潜在的数学结构。我们将涵盖经典理论和最新技术。我们将涉及的主要主题是：1。线性规划理论与算法。2. 介绍组合问题和处理棘手问题的方法。3. 非线性规划导论。4. 网络优化概论。优化技术在科学和工程中有许多应用。举几个例子：*通信网络中的最佳路由。传感器网络中的传输调度和资源分配。*生产系统的生产计划和调度。*车队管理。*航空公司的空中交通流量管理。*制造和通信系统的最优资源分配。*最优投资组合选择。*代谢网络通量的分析和优化。*蛋白质对接。先决条件：线性代数的工作知识和一定程度的数学成熟度。与ENG EC 674， ENG SE 524， ENG EC 674相同。学生不能同时获得两门课程的学分。 - 英语EC 700：电气和计算机工程本科高级主题先决条件：澳门威尼斯人注册网站研究生站或导师同意。-当前对电气和计算机工程感兴趣的高级课题。
- 本科先决条件：（ENGEC501或ENGME501或ENGSE501） -本课程旨在介绍（严格处理）最优和鲁棒控制的基础知识。它将大致分为两部分。第一部分将涵盖鲁棒控制的各个方面，包括模型约简、H_2和H_∞控制以及不确定系统的反馈控制。第二部分将深入澳门威尼斯人注册网站研究最优控制，包括线性二次调节器、变分法、极大值原理和Hamilton-Jacobi-Bellman方程等主题。与ENG ME 701和ENG SE 701相同。学生不能同时获得两门课程的学分。
- 本科先决条件：(ENGEC505) -在离散和连续时间的动态估计的状态空间理论。由白噪声驱动的线性状态空间模型，卡尔曼滤波及其性质，最优平滑，非线性滤波，扩展和二阶卡尔曼滤波，以及顺序检测。应用于雷达，声纳，最佳多目标跟踪，参数识别。
- 英语EC 707：雷达遥感本科先决条件：电磁波，模拟和离散信号处理的经验，或同意的讲师。-雷达系统原理和雷达信号分析，重点是环境遥感。主题包括天线基本原理、波在各种介质中的传播/散射、雷达方程、雷达横截面、目标特性、模糊函数、雷达系统组件、脉冲压缩技术和孔径合成。重点强调的系统包括探地雷达、合成孔径雷达（SAR）、气象雷达、非相干散射雷达和激光雷达。
- engec708：先进的过程控制本科先决条件：（ENGEC402或ENGEC501或ENGME507）或同等学历与导师的许可。-毕业要求：。-过程控制与现代控制理论的综合澳门威尼斯人注册网站研究。包括过程建模和仿真、线性和非线性动力学分析、执行器和测量的评估和选择、单变量和多变量系统的控制结构设计以及控制算法设计。从各种过程控制应用中抽取的例子。
- 本科先决条件：（ENGEK500） ENGEK381和engec402或engec501。-通过动态规划介绍顺序决策。最优性原理作为动态系统最优控制和马尔可夫决策问题的统一方法。控制理论和运筹学的应用包括线性二次问题、离散卡尔曼滤波、库存控制、网络、投资和资源分配模型。通过连续逼近和策略迭代，次最优控制和涉及函数逼近和学习的神经网络应用的自适应控制和数值解决方案。与工程ME 710和工程SE 710相同。学生不能同时获得两门课程的学分。
- 本科先决条件：（ENGEC513或ENGEC535或ENGEC527） -本课程旨在使学生能够了解计算机系统和体系结构的最新发展。讲座涵盖了广泛的最新主题，如多核系统中的内存管理、硬件多线程、异构系统、现代操作系统、大规模系统架构、虚拟化、数据中心管理、计算系统中的能源意识、系统可靠性以及新兴领域，如量子计算和神经形态计算。这些概念通过阅读澳门威尼斯人注册网站研究论文和涉及计算机系统设计和分析的实践作业来加强。
- 本科先决条件：(ENGEC516) -选自时频分布，参数信号建模，高分辨率频谱估计，多速率信号处理，多维信号处理，自适应信号处理，DFT计算的替代算法，符号和基于知识的信号处理。从语音、图像、通信和生物医学应用中选择的应用示例。
- 本科先决条件：(ENGEC516 & ENGEC505) -从间接和噪声数据中重建图像和估计多维场的原理和方法；正则化病态逆问题的一般确定性（变分）和随机（贝叶斯）技术；问题结构（数据和模型）与计算效率的关系典型的大型图像处理问题对求解方法可行性的影响；成像和计算视觉中的问题，包括断层扫描和表面重建。电脑作业。
- engec719：统计学习理论本科先决条件：（ENGEC414或ENGEC503）；本科必修课程：(ENGEC505) -机器学习的经典和当代理论。主题/重点可能会根据讲师的喜好在不同的年份发生变化。需要一个涉及计算机实现学习或推理算法的项目，并伴有或支持理论分析
- 本科先决条件：（ENGEC516或ENGEC505或ENGEC520）或同等学历-多维采样/滤波回顾，人类视觉系统，信息论基础。运动分析：检测，估计，分割，跟踪。图像序列分割。图像序列的光谱分析。视频增强：降噪，超分辨率。视频压缩：变换，量化，熵编码，错误恢复。视频压缩标准（H.26X和MPEG家族）。图像序列压缩与分析的未来趋势。作业和项目将需要MATLAB编程。
- engec724：先进的优化理论和方法本科先决条件：（ENGEC524）澳门威尼斯人注册网站同意-介绍先进的优化技术。强调非线性优化和该领域的最新发展。主题包括：无约束优化方法，如梯度、共轭方向、牛顿和准牛顿方法；梯度投影法、可行方向法、屏障法、内点法等约束优化方法；对偶理论与方法；凸性;并介绍其他高级主题，如半定规划，增量梯度方法和随机逼近算法。应用程序从控制，生产和产能规划，资源分配，通信和神经网络问题。与ENG ME 724和ENG SE 724相同。学生不能同时获得两门课程的学分。
- 本科先决条件：（enggek500或ENGEC505）澳门威尼斯人注册网站同意-使用排队网络分析产品形式和非产品形式网络的性能建模，性能评估的数值方法，排队系统的近似模型，排队网络的优化设计和控制。来自制造系统、计算机系统和通信网络的应用。与ENG ME 725和ENG SE 725相同。学生不能同时获得两门课程的学分。
- 最近发展了用信息理论方法来分析和设计计算机算法。以前的信息理论或算法理论的知识是不需要的，虽然可取的。主要议题包括算法的复杂性；P E NP和NP？困难的问题;信息论的基本概念，最优编码；信息论方法排序，顺序统计，二叉搜索，决策树，哈希，布尔函数的最小化，测试，和类似的问题；并设计了高效的计算机算法。
- 本科先决条件：（ENGME411或CASCS330）或等效的优化或算法课程。-求解离散决策空间优化问题的算法。回顾线性规划和对偶性。讨论了先进的网络优化算法和矩阵优化。NP-Hard优化问题的近似算法。子模块的优化。与ENG SE 732相同。学生不能同时获得两门课程的学分。
- ENG EC 733：离散事件和混合系统本科先决条件：（ENGEK500）或同等学历；澳门威尼斯人注册网站同意-回顾系统理论基础，区分时间驱动和事件驱动的动力学。离散事件和混合系统建模：自动机、混合自动机、Petri网、基本排队模型和随机流模型。蒙特卡罗计算机模拟：基本结构和输出分析。基于马尔可夫决策过程理论的分析、控制和优化技术及其在调度、资源分配和机会博弈中的应用。摄动分析和快速学习方法在通信网络、制造系统和命令控制中的应用。与ENG ME 733和ENG SE 733相同。学生不能同时获得两门课程的学分。
- 工程EC 734：混合系统本科先决条件：（ENGSE501或ENGEC501或ENGME501）或澳门威尼斯人注册网站的同意。-本课程详细介绍混合系统，混合系统是结合连续动力学（由微分方程建模）和离散动力学（由自动机建模）的动力系统。涵盖的主题包括建模、仿真、稳定性分析、验证和控制这些系统。本课程包含了自然和人造环境的几个应用，从生物学中的基因网络，到航空电子和汽车控制中的网络嵌入式系统，以及机器人的运动规划和控制。与ENG ME 734和ENG SE 734相同。学生不能同时获得两门课程的学分。
- 纳米医学：原理和应用纳米科学和技术在生物医学问题上的应用已经产生了一个应用领域，从用于成像和治疗的纳米粒子到用于疾病诊断的生物传感器。纳米医学是一个快速发展的领域，它利用纳米材料和技术的新特性来快速推进我们对人类生物学和医学实践的理解。本课程的重点是纳米材料的基本性质、合成和表征，以及它们在纳米医学中的应用，包括：用于药物输送和成像的微和纳米颗粒、用于体外诊断的微流体、用于生物应用的纳米材料和平台。生物医学应用包括癌症、心血管疾病和传染病。与ENG BE 745相同。学生不能同时获得两门课程的学分。
- 本科先决条件：（ENGEC330）假设熟悉命题逻辑，基本概率论和基本图形算法，并具有一种编程语言（如c++， Python）的经验。本课程将介绍计算机辅助验证与综合的基本理论，以建立可证明可靠的计算机系统。涵盖的主题包括逻辑规范、建模形式化、验证技术和归纳综合策略。本课程特别关注演绎推理（逻辑推理和约束解决）和归纳推理（从数据中学习）之间的相互作用。我们还将调查这些技术在硬件、软件、网络物理系统、机器人和生物学等广泛问题中的应用。
