XiaoMi-AI文件搜索系统
World File Search System控制软件
2025/26 冬季学期
模块 ID 模块标题 教师组描述 1212328 模型检查 Katoen 软件建模与验证（计算机科学 2） 链接 1212646 并发理论 Noll 软件建模与验证（计算机科学 2） 链接 1212341 可满足性检查 Ábrahám 混合系统理论 链接 1215686 基于模型的软件工程 Rumpe 软件工程（计算机科学 3） 链接 1222882 基于模型的系统工程 Rumpe 软件工程（计算机科学 3） 链接 1215755 作为物联网一部分的车辆数字生命周期 Fischer 软件工程（计算机科学 3） 链接 1212349 通信系统工程 Thißen 研究中心计算机科学/ COMSYS 链接 1227956 工业网络安全 Henze 工业合作中的安全和隐私 链接 1212675 语义网 Decker 信息系统和数据库（计算机科学 5） 链接 1211393 知识库的逻辑 Lakemeyer 基于知识的系统 链接 1215692 数据库的实现 Geisler 数据流管理和分析 链接 1211903 生物信息学简介 Berlage 生命科学信息学 链接 1229157 社会和技术变革 Geffner 机器学习和推理（计算机科学 6） 链接 1230106 自动语音识别基础 Schlüter 机器学习和人类语言技术 链接 1212336 无限计算和游戏 Löding 离散系统的逻辑和理论（计算机科学 7） 链接 1212310 计算机图形学的基本技术 Kobbelt 计算机图形学、几何和多媒体（计算机科学 8） 链接 1215862 基于物理的动画 Bender 计算机动画 链接 1216861 数据科学简介 van der Aalst 过程和数据科学（计算机科学 9） 链接 1211914 网络技术入门 Schroeder 学习技术 链接 1229150 业务流程建模与计算 Leemans 业务流程管理基础与工程 链接 1227457 业务流程管理基础 Leemans 业务流程管理基础与工程 链接 1212666 逻辑控制软件的形式化方法 Kowalewski 嵌入式软件（计算机科学 11） 链接 1215720 高性能计算简介 Müller 高性能计算（计算机科学 12） 链接 1211909 虚拟现实 (VR I) 简介 Kuhlen 虚拟现实与沉浸式可视化 链接 1215744 机器学习 Leibe 计算机视觉（计算机科学 13） 链接 1211921 计算机视觉 2 Leibe 计算机视觉（计算机科学 13） 链接1229347 后量子密码学 Unruh 量子信息系统 (计算机科学 15) 链接
无人驾驶人工智能技术及应用
摘要：无人机 (UAV) 是一种自主空中平台，具有基本飞行能力，包括起飞和降落程序、导航、路线跟踪和任务执行。无人机在各个领域用于民用和军用目的，执行超越人类能力的任务。这些飞行器具有多种硬件和软件配置，包括起飞和降落系统、导航模块、应急响应机制、传感装置、成像仪器和能源供应系统等基本组件。无人机具有飞行管理、目标识别和任务分析能力，可利用从预加载数据集、控制中心和实时环境线索收集的数据。无人机利用各种人工智能 (AI) 算法自主处理瞬时数据，结合人工神经网络、图像处理算法、学习算法和优化技术等方法。本文分析了无人机使用的数据分析方法和 AI 技术。此外，还实现了使用卷积神经网络 (CNN) 算法的图像处理应用程序来提供对象识别。用 Python 语言开发的应用程序的物体识别率经计算为 0.7107，准确率达 0.7107。这一发现表明，通过使用人工智能算法分析通过机载传感器获取的图像，可以提高无人机执行目标获取、避障和防撞等关键操作的能力。关键词：无人机、人工智能、机器学习、图像处理、物体识别简介近年来，人们十分关注以信息技术 (IT) 为基础的系统进步，这些系统旨在为超越人类能力或承担巨大风险的事业提供支持。这些系统主要被称为机器人系统或人工智能系统。“机器人”一词在捷克语中意为“繁重而乏味的劳动”，最早由卡雷尔·恰佩克于 1921 年创造。“机器人技术”一词最早由科幻小说作家艾萨克·阿西莫夫于 1950 年使用。机器人技术是一种软件和硬件系统，用于根据编程指令控制、拆卸和组装机器人对象（Ozfırat，2009 年）。在机器人系统的架构中，有物理组件，包括机械、电气、电子和计算模块，以及软件组件，例如操作系统、控制软件、通信协议和特定于任务的软件（Cosar，2023 年）。术语“机器人”和“机器人技术”经常互换使用，但它们确实有一些概念上的区别。“机器人”通常是指一个可以自行移动的实体，而“机器人”则涵盖了构成这种实体的系统。随着人工智能的加入，这些系统变得自主，能够独立收集数据、学习和解决问题。当机器人系统能够模仿人类行为，展示出执行这些行为的能力时，它就表明了它的智能和学习能力。