XiaoMi-AI文件搜索系统
World File Search System硬件设计
技术资格评估（TQE）
Subj # (old #) Title Offered Comments 6.5110 (6.820) Foundations of Program Analysis [xor 6.5120] Fall 6.S981 Introduction to Program Synthesis [xor 6.5110] Fall Not Offered AY24/25 6.5820 (6.829) Computer Networks Fall 6.5830 (6.830) Database Systems Fall 6.5900 (6.823) Computer System Architecture Fall 6.5940 Tiny ML高效的深度学习计算跌倒新6.5080（6.836）多项编程Spring 6.5120（6.822）有关程序的正式推理[XOR 6.5110] Spring 6.5610应用加密和安全性[XOR 6.5620] Spring 6.5660] 6.5660（6.858）6.858提供未知的6.5930（6.825）深度学习弹簧6.5950（6.S983）安全硬件设计Spring 6.8530也6.C85交互式数据可视化Spring Spring
N SUPERTROOP VIA I-PORT：分布式模拟...
脚，前提是将动力外骨骼集成到他的战斗服中以增强承重能力，一台与其他战斗人员联网的个人计算机，以及针对弹道、化学、热和定向能威胁的全身保护。首先部署的是最终战斗服的模拟——称为 ST，代表 SuperTroop——它可以为单个战斗人员提供进入高级分布式模拟的门户——称为 I-Port。然后，I-Port 将用于探索外骨骼、个人处理器、集成显示和控制机制以及保护和稳态子系统的要求。I-Port 还将生成人机界面的参数数据，这对于自信地进行硬件设计和构造至关重要。为了测试 ST/I-Port 的实用性，分析了巴拿马的正义事业行动，得出的结论是，ST/I-Port 设备的可用性可能降低了运营成本并提高了部队效率。描述了由 DARPA 牵头的开发计划。
GENCOD 项目：在 FPGA 目标上自动生成安全关键应用的硬件代码
为了用于商业航空运输，飞机需要获得由主管部门颁发的证书，以确认其符合所有适用的适航要求。认证是认证机构对飞机及其系统和设备符合要求的法律认可。具体而言，认证涉及设计评估过程，以确保其符合适用于该类产品的一套标准，从而证明其安全水平可接受。民用飞机认证是飞机制造商、系统设计者、LRU（或设备，包括硬件和软件）供应商（或申请人）和认证机构共同参与的过程。EASA [1] 和 FAA [2] 之间可以进行交叉认证。由于计算和集成需求的不断增加，数字设备（IP 知识产权、集成电路、ASIC 和 PLD 组件）在电子设备中的应用十分广泛。随着这些设备变得越来越复杂，飞机功能可能越来越容易受到硬件设计错误的不利影响。
加速量子后的RISC-V
摘要 - 在这项工作中，我们提出了超大等级密钥封装（Sike）机制的快速且富有效率的软件硬件实现。我们的软件硬件设计既可以实现软件的灵活性，又可以实现强烈计算硬件计算的有效性能。尤其是，我们的实施利用了以Xilinx FPGA为目标的新的且高度优化的硬件模块，用于添加，乘法和硬件软件控制。与一个小的RISC-V处理器结合，我们可以支持所有四个Sike参数集。在Virtex-7 FPGA上，此实现占3,492片，78个DSP和29 BRAMS，以对Sikep434，Sikep503，Sikep610，Sikep610和Sikep751在14.5、19.2、29.8、29.8和42.7 ms上进行封装和分解。尽管支持了所有四个参数集，但该设计具有文献中所有同级加速器的最佳区域时间产品。
迎接明天的挑战 - 罗德与施瓦茨
我们的解决方案包括：❙ 灵活的信号发生器解决方案，从创建复杂的脉冲信号到相位相干多通道雷达信号模拟的交钥匙解决方案❙ 高性能频谱分析仪和信号分析仪，内部分析带宽高达 500 MHz，使用¸RTO 1044 示波器作为外部 ADC 时，分析带宽高达 2 GHz❙ 脉冲测量，包括脉冲调制、趋势分析和脉冲间测量❙ 独特的网络分析解决方案，例如用于嵌入式 LO 群延迟测量、脉冲失真测量和使用四个内部源进行双变频设备❙ 具有出色相位噪声性能的信号发生器，用于在雷达和 EW 硬件设计和测试应用中生成数字调制信号或稳定的 LO 信号❙ 用于在开发和生产过程中快速表征 T/R 模块的完整测试解决方案
计算机科学中的逻辑1简介
逻辑是计算机科学的基础。鉴于计算机是由布尔电路构建的，这并不奇怪。但是，所谓的逻辑在计算机科学中的异常有效性远远超出了硬件设计：它适用于知识代表，编程语言理论，自动验证，复杂性理论，数据库和约束解决方案。将逻辑在计算机科学中的作用与微积分在物理和工程中的作用进行了比较。本课程将重点放在逻辑的基础上，而不是其计算机科学应用程序。我们主要将申请留在上述领域的后续课程中。但是，我们的重点是与计算机科学最相关的逻辑部分。特别是，我们使用计算课程模型中的概念（包括有限状态自动机和Post的对应问题问题）研究了可定义性问题。我们还将在命题逻辑中提出令人满意的问题，作为一个原型搜索问题，与第一年算法课程建立联系。
神经形态计算综述：模型和硬件
摘要 —“大数据”应用的爆炸式增长对传统计算机系统的速度和可扩展性提出了严峻挑战。由于传统冯·诺依曼机的性能受到 CPU 和内存之间越来越大的性能差距（“称为内存墙”）的极大阻碍，神经形态计算系统引起了广泛关注。生物学可信计算范式通过模拟神经元和突触电位的充电/放电过程进行计算。独特的尖峰域信息编码实现异步事件驱动的计算和通信，因此具有非常高的能源效率的潜力。本综述回顾了现有神经形态计算系统的计算模型和硬件平台。首先介绍神经元和突触模型，然后讨论它们将如何影响硬件设计。进一步介绍了几个代表性硬件平台的案例研究，包括它们的架构和软件生态系统。最后，我们提出了几个未来的研究方向。
使用讽刺和讽刺来使HRI
摘要在当今快速的技术进步时代，卷积神经网络（CNN）在许多领域都表现出了卓越的表现。作为深度学习的关键组成部分，CNN已被证明在各种应用程序中都非常有效。由于计算和存储要求，在现场可编程门阵列（FPGA）上部署CNN是一项具有挑战性的任务。本文对FPGA上的CNN部署进行了全面的审查，涵盖了CNN的历史并解释了关键层。对FPGA优化方法进行了一项调查，FPGA优化的方法是按类别概述的。对软件部署以及硬件设计进行了优化，以改善FPGA上的计算，进一步解锁了在资源受限设备上部署CNN的潜力。此外，本综述将详细介绍了在功耗限制下的申请示例。总的来说，这篇评论为研究人员提供了重要的参考价值，以了解CNNS架构，探索FPGA加速方法和应用程序前景。
使用神经场生成机器人能力图
操纵器的工作空间（定义为它可以达到的所有职位）是确定其操作适用于给定任务的重要方面。对于许多应用程序，有趣的是通过将能力措施分配给工作空间中的每个位置，例如Yoshikawa提出的可操作性指数[29]，从而生成所谓的能力图。能力图有助于许多随后的任务，例如运动计划[30，20，24]，本地化[21，23]，人体机器人相互作用[25，31]和硬件设计[14]。使用传统方法进行准确的能力图需要数小时才能计算[30，20]。尤其是在机器人形态会发生变化的情况下，例如在模块化机器人[27，1]或机器人设计[7，12]的背景下，计算复杂性因此大大限制了能力图的适用性。这项工作使用神经领域[26]来有效地生成各种串行操作器的能力图。在数值实验中，我们表明可以平均创建具有300,000多个查询位置的精确能力图。此外，我们表明我们的方法概括为分布样本。
FUZE VAF-M17 微控制器软件 - VTI
摘要：本文详细描述了引信 vAF-M17 的微控制器软件工作流程以及详细的硬件和软件架构。引信 vAF-M17 和保险启动器 vFI-M17 一起用于航空炸弹 MK-82、MK-84、BLU-109，具有与引信 FMU-139 相同的功能特性。引信 vAF-M17 的心脏和大脑是 8 位微控制器，它管理着整个操作。硬件和软件的设计主要强调操作安全性，以防止任何不良影响。为此，硬件设计考虑了安装在保险启动器内部的压差测量单元，该单元提供有关航空炸弹速度的信息。电子设备知道第一个安全条件已满足，并且航空炸弹已与飞机和飞行员保持一定距离，以执行引信所需的功能（通过爆炸激活炸弹内的炸药填充物）。另一个对正常运行至关重要的传感器是加速度计，它具有撞击检测的可能性，操作员可以预设所需的“g”值。