XiaoMi-AI文件搜索系统
World File Search System并行程序
k计算机和超级计算机fugaku
K计算机及其后继超级计算机“ Fugaku”是世界一流的超级计算机，它们是由88,192和158,976个相互联系的节点组成的大规模平行计算机。通过富士通开发的互连技术使这种100k节点的可伸缩性成为可能。技术的分区和虚拟圆环功能可以防止多个并行程序之间的通信干扰和支持每个并行程序中通信模式的优化，以确保稳定的通信性能，并允许分区即使在tain tain失败的节点上也可以使用以获得高可用性。本文介绍了K计算机和超级计算机Fugaku中使用的高维度的互连技术。
使用人工智能分配蛋白质的二级结构
摘要 有关蛋白质结构分配的知识丰富了对蛋白质结构和功能的理解。准确可靠的结构分配数据对于二级结构预测系统至关重要。自 80 年代以来，基于氢键分析和原子坐标几何的各种方法以及随后的机器学习已用于蛋白质结构分配。然而，当蛋白质文件中存在缺失原子时，分配过程变得具有挑战性。我们的模型开发了一个名为 DLFSA 的多类分类器程序，用于使用卷积神经网络 (CNN) 分配蛋白质二级结构元素 (SSE)。一种快速高效的基于 GPU 的并行程序从蛋白质文件中提取片段。这项工作中实现的模型使用蛋白质片段子集进行训练，分别达到 88.1% 和 82.5% 的训练和测试准确率。我们的模型仅使用 C α 坐标进行二级结构分配。该模型也在一些全长蛋白质上成功测试。基于片段的研究结果证明了应用深度学习解决方案解决结构分配问题的可行性。
推进集成人工智能的并行编程，提高效率和自动化程度
摘要。本文深入探讨了人工智能 (AI) 在并行编程中的蓬勃发展，强调了其改变计算效率和开发人员体验格局的潜力。我们首先探讨了并行编程在现代计算中的基本作用及其带来的固有挑战，例如任务分配、同步和内存管理。人工智能的出现，尤其是在机器学习和深度学习中，为这些挑战提供了新颖的解决方案。我们讨论了人工智能在自动创建并行程序中的应用，重点是自动代码生成、自适应资源管理和增强开发人员体验。本文研究了特定的人工智能方法——遗传算法、强化学习和神经网络——及其在优化并行编程各个方面中的应用。此外，我们深入探讨了将这些人工智能方法结合起来以产生协同效应的前景，强调了提高效率和准确性的潜力。我们还强调了将人工智能技术与现有开发工具相结合的重要性，旨在将人工智能的好处带给更广泛的开发人员。本文最后展望了未来的研究方向，包括开发适应并行编程中不同任务和环境的自适应 AI 模型。这些进步有望使并行编程更加强大、更易于访问和更高效，为计算能力和创新的新时代铺平道路。
occam 用户组 - transputer.net
IfiI n 封面上穿着奇装异服的家伙——拿着玻璃纳米砖的人——是比尔·罗斯科，他代表牛津大学计算实验室从代表女王的牛津郡郡尉手中接过女王技术成就奖。这个奖项和 Inmos 的配套奖项是对团队努力取得实际效益的肯定：形式方法的朋友们将欢迎这些奖项，因为它们是对合理工程实践和合理数学研究协同作用的认可。我们应该尽我们所能利用这种宣传来吸引人们对“正确行事”的好处的关注。如果您还不知道，您可以在第 74 页找到该奖项背后的故事。如果您觉得这有点英国地方主义，您还会在本通讯中发现通常的投稿分布。为了顺应 90 年代的新地理形势，让我向您提供一份关于保加利亚（第 20 页）和日本（第 30 页）的平行事物的报告；以及来自康奈尔和莫斯科、硅谷和香港、埃克塞特和东京、布宜诺斯艾利斯和“波罗的海某地”等遥远地方的贡献。明年春天在加利福尼亚举行的用户组联合会议（Transputing 1991）即将召开，会议征文详情可在第 14 页找到。委员会还征集您的想法，用于同时举行的研讨会和教程，事实上，您提出的任何使这次会议取得成功的好主意都将受到委员会的欢迎。谁知道呢，我们甚至可能在那里看到 HI。代表大都市 occam 用户组发言，请允许我提请大家注意，我们打算组建一个新的特别兴趣小组，专门负责 occam 语言的开发（第 38 页）。有很多事情正在发生，部分原因是我们需要一种比现在更高级别的并行程序表达方式，部分原因当然是新一代 transputer 和类似设备的潜在能力。如果有足够多的人感兴趣，新小组将在约克会议上开会（第 6 页）。最近的硬件开发似乎一直在全力追求性能，在带有 i860 的 transputer 板（例如，参见第 83 页）和微型 TRAM 上的一些非常“坚固”的高性能存储和 transputer 块（例如，参见第 80 页）之间展开竞争。如果您正在寻找一种经济实惠的方式来玩转电子计算机 - 在我的家乡，“play”的发音是“teach” - 埃克塞特会议以及其他一些会议上的焦点无疑就是 CSA 的电子计算机教育套件（见第 34 页和第 72 页）。
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) 链接