XiaoMi-AI文件搜索系统
World File Search System软件语言
NUREG/CR-6463，“审查用于核电站安全系统的软件语言指南。最终报告。”
介绍了用高级语言编写的安全系统软件的编程和审计指南。这些指南源自从相关标准和研究文献中收集的对软件安全至关重要的问题框架。这些指南针对以下高级语言提供了特定语言的改编版本：Ada、C/C++、可编程逻辑控制器 (PLC) 梯形逻辑、国际电工委员会 (IEC) 标准 1131-3 顺序功能图、Pascal 和 PL/M。报告的附录包括指南的表格摘要和有关所选语言的其他信息。
明尼苏达州计算机产业的诞生
1968 年，UNIVAC 开始着手创建自己的软件语言。MAPPER 最初是为 UNIVAC 418 计算机创建的，后来被调整用于其他计算机，并主要在内部使用。最终，一位客户在参观工厂时注意到了这款软件，并要求在他们计划购买的 1100 系列计算机上使用该软件。该软件易于使用，开创了当时的多种方法，后来成为该公司商业销售的主要产品。MAPPER 在该公司的伊根工厂继续使用，Unisys 仍以商业信息服务器 (BIS) 的名称使用它。
自我效能感
计算思维对于发展学生以系统的方式分析复杂问题的能力，制定适当的策略来解决这些问题以及有效地应用这些解决方案的技术非常重要。在这种情况下，数学建模活动涉及通过数学来解决复杂的现实生活，这是一种在学生中发展这些技能的有效方法。本研究的目的是研究数学建模活动对学生计算思维（CT）自我效能的影响。这项研究的参与者是伊斯坦布尔一所学术水平公立学校的英语预科学生。研究中使用的建模活动是通过考虑计算思维技能的步骤来重组的。在这些步骤中，python软件语言在“算法思维”步骤中使用，学生通过python将其问题解决系统转化为软件语言。作为一种数据收集工具，除了活动外，CT自我效能量表还用作测试前和测试后。数学建模活动被应用于研究小组的高中预科课程，并在此过程中评估了学生CT自我效能感的变化。结果表明，建模活动导致学生的CT自我效能显着提高。发现，学生在诸如解决问题，分析思维和算法思维之类的子方面感觉更有能力。这些发现表明，数学建模活动是发展计算思维技能的强大工具。总而言之，这项研究表明，数学建模活动应更广泛地纳入中学课程中，以发展计算思维技能，并引起人们对在此过程中专业支持的重要性。
计算机工程课程 - 2024 年秋季
学分 先决条件/共同条件 ECSE 307 线性系统与控制 4 P - ECSE 206、ECSE 210 ECSE 335 微电子学 4 P - ECSE 331 ECSE 403 控制 4 P - ECSE 307 ECSE 408 通信系统 4 P - ECSE 205、ECSE 308 ECSE 412 离散时间信号处理 3 P - ECSE 206 ECSE 415 计算机视觉简介 3 P - ECSE 205、（ECSE 206 或 ECSE 316） ECSE 416 电信。网络 4 P - （ECSE 250 或 COMP 250）和 ECSE 205 和（ECSE 308 或 ECSE 316）ECSE 420 并行计算 3 P - ECSE 427 ECSE 422 容错计算 3 P - ECSE 324 和（ECSE 250 或 COMP 250）ECSE 428 软件工程实践 3 P - （ECSE 321 或 COMP 335）ECSE 435 混合信号测试技术 3 P - ECSE 206，ECSE 335 ECSE 439 软件语言工程 3 P - （ECSE 321 或 COMP 303）ECSE 508 多智能体系统 3 P - ECSE 205 或同等学历 ECSE 510 随机系统的过滤和预测 3 P - ECSE 500，ECSE 509 或同等学历ECSE 544 计算摄影 4 P - ECSE 205，ECSE 206
计算机工程课程 - 2022 年秋季
学分 先决条件/共同条件 ECSE 307 线性系统与控制 4 P - ECSE 206、ECSE 210 ECSE 335 微电子学 4 P - ECSE 331 ECSE 403 控制 4 P - ECSE 307 ECSE 408 通信系统 4 P - ECSE 205、ECSE 308 ECSE 412 离散时间信号处理 3 P - ECSE 206 ECSE 415 计算机视觉简介 3 P - ECSE 205、（ECSE 206 或 ECSE 316） ECSE 416 电信。网络 4 P - （ECSE 250 或 COMP 250）和 ECSE 205 和（ECSE 308 或 ECSE 316）ECSE 420 并行计算 3 P - ECSE 427 ECSE 422 容错计算 3 P - ECSE 324 和（ECSE 250 或 COMP 250）ECSE 428 软件工程实践 3 P - （ECSE 321 或 COMP 335）ECSE 435 混合信号测试技术 3 P - ECSE 206，ECSE 335 ECSE 439 软件语言工程 3 P - （ECSE 321 或 COMP 303）ECSE 508 多智能体系统 3 P - ECSE 205 或同等学历 ECSE 510 随机系统的过滤和预测 3 P - ECSE 500，ECSE 509 或同等学历ECSE 544 计算摄影 4 P - ECSE 205，ECSE 206
通过现场情景测试口语流利程度
语言“学习”计算机 多种计算机硬件和软件语言翻译解决方案接收用户的提问或话语，并使用统计数据和各种专有方法分析对话上下文，然后输出语音。算法可以通过将输入与语言上下文（来自数据库）相匹配来衡量学习者的水平。该系统可用于购物、信息等上下文中。商业上，这种方法可用于多语言便携式翻译器，其中手动以母语搜索被动数据库，以获得目标语言的输出。 数字助理应用程序 其他提供数字助理的产品在设备的内存中存储。节点和动作可以将词组组合起来用于特定目的（在餐厅、酒吧、车站点餐）。推断动作，然后由人工智能执行任务（例如，程序调用）。目的是通过将单词与特定发音关联起来来减少错误。 基于工具集的对话理解系统 许多语音解决方案都基于处理器和内存系统指令。例如，这些技术响应语音输入并在屏幕上为用户显示结果，特别是作为文本或语音搜索的输出（即电影或音乐领域）。 使用智能设备基于情境感知的外语习得和学习 其他产品则基于语言学习和服务，这些语言学习和服务来自用户的真实世界数据和他/她的兴趣，并使用调度程序、设置学习时间的信息将语言学习内容发送到设备。推送的内容包括与学习者相关的内容的示例对话和带有附加视频、多媒体内容的真实生活情境，以增加学习者的兴趣。 具有 STT 和 TTS 的智能人机对话框架 这一创新领域涉及一种具有情感的多语言语音处理器，用于控制室需要对某种情况做出响应的现场情况（例如紧急情况、灾难、非法侵入）。它使用 STT 和 TTS 来提供来自现场查询的响应。使用视觉和/或音频提示进行语言教学的系统和方法 教学方法提供语言指令 - 语音片段 - 音素、单词 - 特别适用于具有直接指令的车辆，通常称为汽车导航系统。它不旨在重现情景或对话，本质上只是教学。两种语言自由对话系统和语言学习方法 STT 意图识别用于将 STT 转换为目标语言并分析意图。然后使用输出执行任务，例如移动地图或调用代理来检索信息 - 例如广告内容、音乐应用程序。
DTF-620 表格说明
PAL § 3102-e(1)(b) 下的新兴技术是指：1) 先进材料和加工技术，涉及开发、修改或改进一种或多种材料或方法，以生产具有改进性能特征或特殊功能属性的设备和结构，或激活、加速或以其他方式改变化学、生化或医学过程。此类技术包括但不限于以下内容：金属合金、金属基体和陶瓷复合材料、先进聚合物、薄膜、膜、超导体、电子和光子材料、生物活性材料、生物加工、基因工程、催化剂、废物减排和废物处理技术；2) 工程、生产和国防技术，涉及基于知识的控制系统和架构、先进的制造和设计流程、设备和工具，或推进、导航、制导、航海、航空和航天地面和机载系统、仪器和设备。此等技术包括但不限于下列各项：计算机辅助设计与工程、计算机集成制造、机器人与自动化设备、集成电路制造与测试设备、传感器、生物传感器、信号与图像处理、医疗与科学仪器、精密加工与成型、生物与遗传研究设备、环境分析、补救、控制与预防设备、国防指挥与控制设备、航空电子与控制装置、导弹与航天器推进装置、军用飞机、航天器以及监视、跟踪与防御预警系统；3）用于生产电子、光电子、机械设备和带有交互式媒体内容的电子发行产品的电子和光子器件及部件。此等技术包括但不限于下列各项：微处理器、逻辑芯片、存储芯片、激光器、印刷电路板技术、电致发光、液晶、等离子和真空荧光显示器、光纤、磁信息与光信息存储、光学仪器、透镜与滤波器、单工与双工数据库以及太阳能电池； 4）涉及先进计算机软件和硬件、可视化技术和人机界面技术的信息和通信技术、设备和系统。这些技术包括但不限于：操作和应用软件、人工智能、计算机建模和仿真、高级软件语言、神经网络、处理器架构、动画和全动态视频、图形硬件和软件、语音和光学字符识别、大容量信息存储和检索、数据压缩、宽带交换、多路复用、数字信号处理、和光谱技术；5）生物技术是涉及对生物体进行科学操作的技术，特别是在分子和亚分子遗传水平上，以生产有助于改善植物、动物和人类生活和健康的产品；以及与这些改进相关的科学研究、药理学、机械和计算应用和服务。此类应用和服务所包含的活动应包括但不限于替代 mRNA 剪接、DNA 序列扩增、抗原转换、生物增强、生物富集、生物修复、染色体步行、细胞遗传工程、DNA 诊断、指纹识别和
2026 年暑假
模块 ID 模块标题 教师组描述 1212650 概率编程 Katoen 软件建模与验证（计算机科学 2） 链接 1212330 静态程序分析 Noll 软件建模与验证（计算机科学 2） 链接 1215684 函数式编程基础 Giesl 编程语言与验证 链接 1212339 混合系统建模与分析 Ábrahám 混合系统理论 链接 1216957 软件语言工程 Rumpe 软件工程（计算机科学 3） 链接 1215688 高级互联网技术 Wehrle 通信与分布式系统（计算机科学 4） 链接 1212346 移动互联网技术 Thißen 学习中心计算机科学/ COMSYS 链接 1229308 Linux 内核编程 Gouicem 操作系统 链接 1231539 工业数据安全 Henze 工业合作中的安全和隐私 链接 1226146 数据流管理和分析 Geisler 数据流管理和分析 链接 1228568 人工智能中的动作和规划：学习、模型和算法 Geffner 机器学习和推理（计算机科学 6） 链接 1222468 机器人中的不确定性 Hofmann 机器学习和推理（计算机科学 6） 链接 1230105 自动语音识别搜索 Schlüter 机器学习与人类语言技术 链接 1227996 图机器学习：基础和应用 Morris 图机器学习 链接 1226911 逻辑和计算机科学中的不动点和归纳法 Löding 离散系统的逻辑和理论（计算机科学 7） 链接 1215696 几何处理 Kobbelt 计算机图形学、几何和多媒体（计算机科学 8） 链接 1223639 形状分析和 3D 深度学习 Kobbelt/Lim 计算机图形学、几何与多媒体（计算机科学 8） 链接 1212692 视觉计算中的物理模拟 Bender 计算机动画 链接 1216958 业务流程智能 van der Aalst 过程与数据科学（计算机科学 9） 链接 1220136 高级流程挖掘 van der Aalst 过程与数据科学（计算机科学 9） 链接 1215751 学习技术 Schroeder 学习技术 链接 1227457 业务流程管理基础 Leemans 业务流程管理基础与工程 链接 1215690 嵌入式系统 Kowalewski 嵌入式软件（计算机科学 11） 链接 1220524 高级微控制器编程与调试 Stollenwerk 嵌入式软件（计算机科学 11） 链接 1212353 功能安全和系统可靠性 Kowalewski 嵌入式软件（计算机科学 11） 链接 1215722 性能和并行程序的正确性分析 Müller 高性能计算（计算机科学 12） 链接 1216838 并行和以数据为中心的编程的概念和模型 Terboven 高性能计算（计算机科学 12） 链接 1212688 虚拟现实的高级主题 (VR II) Kuhlen 虚拟现实和沉浸式可视化 链接 1211912 高级机器学习 Leibe 计算机视觉（计算机科学 13） 链接 1215724 计算机视觉 Leibe 计算机视觉（计算机科学 13） 链接 1230246 量子计算简介 Unruh 量子信息系统（计算机科学 15） 链接 1230345 近期量子计算 Unruh 量子信息系统（计算机科学 15） 链接 4026526 强化学习和基于学习的控制 Trimpe 机械工程中的数据科学 (DSME) 链接