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) 链接
斯伦贝谢的早期人工智能应用
大规模并行 3-D 单程地震偏移 SLCS 购买了两台 Thinking Machines Corporation 连接机（最初是 CM-200，后来是 CM-5）。这些机器最初旨在用于 AI 应用，源自 20 世纪 80 年代初 Danny Hillis 在麻省理工学院 (MIT) AI 实验室的博士研究。购买它们是为了支持 SLCS 的 3-D 建模（参见“基于物理的计算机图形学”部分）。然而，最重要的成果之一是开创性的地震处理方法。大规模并行性使 3-D 单程深度偏移变得实用 [33]。在此之前，对于典型的地震勘测（磁带上输入的 1TB 数据），典型的 3D 处理序列可能需要在大型超级计算机上花费大约 30 周的时间，而仅偏移处理就需要 4 到 5 周的处理时间。新系统实现了近 10 倍的效率提升。现代地震处理集群并非完全不同：它们利用与 CM-5 数字信号处理器相当的 GPU，但性能和内存要高出几个数量级，并且集群机器之间具有高带宽、低延迟的行业标准互连。
电子与计算机专业荣誉学士学位...
BECS 44213 无线通信和网络 3 COC 新 BECS 44223 区块链和加密货币 3 O - C 新 BECS 44233 计算机图形学和可视化 3 C - C 新 BECS 44243 高性能计算 3 O - O 新 BECS 44253 计算机科学新兴技术 3 C - C 新 BECS 44263 机器学习 3 OOO 新 BECS 44273 游戏开发 3 C - O 新 BECS 44283 高级数据库 3 O - O 新 BECS 44414 电力电子学 4 CC - 新 BECS 44424 CMOS VLSI 系统设计 4 OC - 新 BECS 44434 电子学专题 4 OO - 新 BECS 44443 RF 和微波电路设计 3 OO - 新 BECS 44453 工业电子学 3 OO - 新BECS 44462 工业自动化 2 OO - 新 BECS 44716 工业培训 6 C - O 新 BECS 44472 电子产品设计与制造 2 OO - 新 BECS 43816 研究项目（小组） 6 C - - 新 5 & 6 BECS 43033 高级实验室 I 3 - C - 新
内容 - OSU CSE - 俄亥俄州立大学
介绍页 愿景与使命声明 II 董事长致辞 III 年度成就 ========================== 1 教职员工亮点 1 学生亮点 4 校友亮点 5 CSE 年度颁奖宴会 8 CSE 新闻 10 C.A.S.T.倡议 11 学生 ===================================== 12 获得博士学位 12 获得学士学位 15 学生组织 18 研究 ===================================== 19 人工智能 19 计算机图形学 22 网络 24 软件工程 26 系统研究小组 28 研究补助金和奖项 39 学术和研究人员 =================== 44 教职员工 44 E MERITUS 任命 51 访问助理教授 51 兼职教职员工 51 联合任命 51 研究人员 52 讲师 53 兼职讲师 54 咨询与行政=================== 55 本科学术咨询办公室 55 行政人员 56 计算机服务 57 外部咨询委员会 58 事实与报告 ============================= 60 课程列表 62 主持演讲与演示 63 出版物66 特邀报告 74 技术报告 75 教师搜索报告 78
Microsoft Word - Daescu - Erik Jonsson 工程与计算机科学学院跨学科课程 SE-2
CS 4141 数字系统实验室 CS 4314 智能系统分析 CS 4315 智能系统设计 CS 4334 数值分析 CS 4337 编程语言的组织 CS 4341 数字逻辑与计算机设计 CS 4349 高级算法设计与分析 CS 4352 人机交互 I CS 4353 人机交互 II CS 4361 计算机图形学 CS 4365 人工智能 CS 4375 机器学习简介 CS 4384 自动机理论 CS 4386 编译器设计 CS 4389 数据与应用安全 CS 4390 计算机网络 CS 4391 计算机视觉简介 CS 4392 计算机动画 CS 4393 计算机与网络安全 CS 4394 现代操作系统的实施 CS 4395 人类语言技术 CS 4396 网络实验室 CS 4397 嵌入式计算机系统 CS 4398 数字取证 CS 4485 计算机科学项目 EE 4325 VLSI 设计简介 SE 4347 数据库系统 SE 4376 面向对象编程系统 SE 4399 计算机科学/软件工程高级荣誉学位
自动室内建筑物重建...
从点云进行室内重建是摄影测量、计算机视觉和计算机图形学领域的热门话题。由于房间平面图复杂以及视线遮挡，从点云重建室内场景具有挑战性。现有的大多数方法都是处理静止地面激光扫描点云或 RGB-D 点云。在本文中，我们提出了一种从移动激光扫描点云自动重建室内 3D 建筑模型的方法。该方法包括 2D 平面图生成、3D 建筑建模、门检测和房间分割。我们方法的主要思想是根据对点分布的观察将墙体结构分为内墙和外墙两种不同类型。然后我们利用基于图切割的优化方法来解决标记问题，并根据优化结果生成 2D 平面图。随后，我们利用基于 α 形的方法在 2D 投影点云上检测门，并利用平面图分割单个房间。实验表明，该门检测方法可以达到 97% 的识别率，房间分割方法可以达到正确的分割结果。我们还在合成数据上评估了重建精度，这表明我们的方法的精度与最先进的方法相当。
无处不在的凝视感应与交互 - DROPS
本报告记录了为期三天的达格斯图尔研讨会 18252“无处不在的凝视感应和交互”的计划和成果。光学设备的小型化和计算机视觉的进步以及更低的成本点导致凝视感应功能在计算系统中的集成度增加。眼动追踪不再局限于控制良好的实验室环境，而是进入日常环境。因此，本次达格斯图尔研讨会汇集了计算机图形学、信号处理、可视化、人机交互、数据分析、模式分析和分类方面的专家，以及在不同学科中使用眼动追踪的研究人员：地理信息系统、医学、航空、心理学和神经科学，以探索未来的应用并确定可靠凝视感应技术的要求。这促进了对话，并允许：（1）计算科学家了解记录和解释凝视数据所面临的问题；（2）凝视研究人员考虑现代计算技术如何潜在地促进他们的研究。会议还讨论了有关凝视感应和交互的普遍部署的其他问题，例如在日常环境中部署凝视监测设备时的道德和隐私问题。
作者 技术 - ERIC
摘要 国际上对新信息技术 (NIT) 在高等教育教学、培训、研究和管理中的现状概述包括 25 篇论文：“NITS 对高等教育的影响”(C. Calude 和 M. Malitza)；“人工智能的教育意义”(M.A. Roden)；“论知识理论”(L. Iliev)；“计算机技术与教育”(L. P. Steier)；“新信息技术：人工智能的作用”(G. S. Pospelov)；“认知科学和信息技术对大学生活中人权和价值观的挑战”(M. Pellery)；“斯坦福大学的计算机：概述”(P. Suppes)；“白金汉大学个人电脑在教育中的应用”(J. E. Galletly)；“最终用户计算——对大学组织的挑战”(P. Baumgartner 和 S. Payr)； “信息学和计算机应用对高等教育内容和方法的影响”（H. Mohle）；“瑞士高等教育中的信息学”（摘自联邦教育和科学部发布的一份关于信息学的报告）；“寻找科学教育中的知识模式”（A. Kornhauser）；“医学教育计算”（D. Ingram）；“计算机模拟患者——C.A.S.E.S.，用于构建计算机患者的软件”（H. A. Verbeek）；“微型计算机在统计教育中的应用：白金汉的经验”（E. Shoesmith）；“学院的计算机图形学课程
使用分割形状合并方法重建建筑物
梁 M.K.和杨，Y.H. （1990_. 曲线拟合中的动态条带算法。计算机视觉、图形和图像处理，51：146-165。Overby，J.，Bodum，L.，Kjems，E.和Iisoe，P.M.（2004）。自动3D建筑物重建使用霍夫变换从机载激光扫描和地籍数据中重建。国际摄影测量、遥感和空间信息科学档案，35(B3)：296-301。Peternell, M. 和 Steiner, T. (2004)。分段平面物体的重建从点云重建建筑物模型。计算机辅助设计。36:333-342。Rau, J.Y. 和 Chen, L.C. (2003)。从三维线段重建建筑物模型。摄影测量工程与遥感，69(2):181-188 . Schealbe，E. (2004)。通过特定正交投影中的直线检测从机载激光扫描仪数据生成 3D 建筑物模型。国际摄影测量、遥感和空间信息科学档案，XXXV(B3):249-254。Schroder，F. 和 Robbach，P . (1994). 管理数字地形模型的复杂性。计算机与图形学，18:775-783。Sugihara, K. 和 Hayashi, Y. (2003). 通过集成半自动生成 3-D 建筑模型CG 和 GIS。国际地球科学和遥感研讨会，6:919-3921。Vosselman, G. 和 Dijkman, S. (2001)。从点云和平面图重建 3D 建筑模型。国际摄影测量、遥感和空间档案信息科学,34(3/W4):37-43。
气象与海洋学系
理论： PO-101 气候物理学和动力学 20 80 100 4 PO-102 物理气象学 20 80 100 4 PO-103 大气动力学 20 80 100 4 PO-104 物理海洋学 20 80 100 4 实践： PO-105 气象学计算 20 80 100 4 PO-106 FORTRAN 编程 20 80 100 4 PO-107 口试 - 50 50 2 总计 120 530 650 26 第二学期 理论： PO-201 动力海洋学 20 80 100 4 PO-202 地球物理流体动力学 20 80 100 4 PO-203 气象学和海洋学仪器 20 80 100 4 PO–204 天气学 20 80 100 4 实践： PO–205 海洋计算 20 80 100 4 PO–206 观测技术 20 80 100 4 PO–207 口试 - 50 50 2 总计 120 530 650 26 第三学期 理论： PO–301 数值天气预报 20 80 100 4 PO–302 海气相互作用 20 80 100 4 PO–303 印度洋动力学 20 80 100 4 PO–304 沿海和河口过程 20 80 100 4 实践： PO–305 物理海洋学 20 80 100 4 PO–306 天气学气象学 20 80 100 4 PO-307 口试 - 50 50 2 PO-308 计算机图形学 ( MOOC I) - - 100 2