研究兴趣 形式化方法与人工智能:安全关键型学习系统 验证:顺序和并发软件的形式化验证、不变式生成 综合:程序代码的自动生成 约束求解:约束逻辑编程、决策程序、自动定理证明 建模:生物系统建模,例如基因调控
• PDES、MBSE WG(STEP、MoSSEC、INCOSE MoU) • LOTAR、MBSE WG(数据保存和重用) • Modelica 协会(MBD、语言、FMI、SSP) • NAFEMS(联盟、系统建模和仿真) • AFNeT(联盟、数字转型/stds) • prostep ivip(联盟、行业最佳实践) • AVSI(学术界、虚拟集成、PBR/PMM) • 其他:W3C、OMG、OASIS、OAIS、INCOSE,
掌握数学建模、系统建模、数值计算和算法推理等技能,以独立或在多学科小组/团队中解决计算机工程挑战;3. 理解和应用离散数学和计算;4. 定义复杂的工程问题,收集、分析数据和问题,开发模型并实施工程问题的解决方案;2. 分析、设计和优化管理硬件/软件计算机
PBIO 3940. 生态系统建模。3 学分。涵盖用于建模生态和环境系统的方法,重点是系统动力学和基于代理的建模。探索生态系统的复杂性,包括系统组件之间的突发特性和反馈。利用系统动力学软件 Stella 和基于代理的编程语言 Netlogo。先决条件:BCOR 2100 或 NR 2030 或生态学和/或进化论的同等中级课程。
第二单元需求工程:功能性和非功能性需求、软件需求文档、需求规范、需求工程、需求引出和分析、需求验证、需求管理、系统建模:上下文模型、交互模型、结构模型、行为模型、模型驱动工程。设计概念:设计过程、设计概念、设计模型和架构设计:软件架构、架构流派和架构风格。
分子物理电子产品高级数字设计工程数据挖掘生产工程研究和优化技术系统建模和模拟先进的生物制造应用物理物理原子物理量子量子量子量子量子量子量子量子量子量子量量化人工智能工程物理学物理学物理学物理学制造业(六西格码)计算机辅助制造
建模和仿真 (M & S) 是一种众所周知的科学工具,可用于在实际构建之前分析系统或预测其行为。尽管建模和仿真是工程领域中成熟的方法论工具,但公开文献中只有少数评论文章讨论建模和仿真的新兴主题,尤其是针对可再生和可持续能源系统。本评论严格审查了能源领域建模和仿真的最新进展,但对其在选定的可再生和可持续能源系统 (RSES) 中的方法、挑战和前景的见解很少。此外,基于样本内和样本外方法系统地讨论了 RSES 中的模型验证概念,同时强调了 RSES 中模型验证的关键要素的潜在数据源。此外,介绍了在支持国家和国际能源政策方面发挥重要作用的三大可持续能源系统模型,以揭示能源系统建模如何发展以应对 RSES 设计、运行和控制方面的挑战。本评论还全面评估了当前建模行为和评估 RSES 性能的方法、挑战和前景。最后,还强调了可再生和可持续能源系统建模需要进一步研究和发展的领域。
临时教员人数:05 访问教员人数:03 专业:控制系统、仪器仪表、电力系统、能源系统、电机、电力电子、电气驱动、照明工程。 教授科目:理论:1. 电力系统运行与控制 2. 先进过程控制与仪器仪表。3. 采矿电气技术,4. 电气和电子测量,5. 物理系统建模与控制,6. 照明科学、工程与设计,7. 其他部门的基础电气工程。学期:1. 电工技术实验室,2. DC-II/III(PES 的先进电力系统分析和电力系统运行与控制)学期,3. 控制系统仿真实验室,4. 过程控制和仪表实验室,6. 测量实验室,8. 物理系统建模与控制实验室,9. 数值仿真和应用工具实验室,10. 电机实验室,11. 新能源和可再生能源实验室,12. DC-I(状态变量分析)学期,13. 不同部门不同科室的基础电气工程实验室,14. CSI(离散和数字系统理论和先进过程控制与仪表)的 DC-II/III 学期,15. 先进过程控制与仪表实验室,16. 先进电力系统分析实验室。
ITEA2 Eurosyslib:“通过先进的 Modelica 库在系统建模和仿真方面处于欧洲领先地位” Systematic CSDL:“复杂系统设计实验室” ITEA2 MODRIO:“模型驱动的物理系统操作” FP7 TOICA:“飞机热整体集成概念” CS2 MISSION:“系统的生态设计”/“飞机系统集成的建模和仿真工具” DGAC ExceLab:“扩展的协作工程实验室”