XiaoMi-AI文件搜索系统
World File Search System验证任务
德国联邦国防军验证任务中心
由于没有军事住宿，因此已在盖伦基兴的城市酒店预订了房间。课程名额分配后，每位参与者或负责部门可以通过电子邮件自行预订酒店房间（office@cityhotel-geilenkirchen.de）。预订时，必须指定关键字“BwVCTraining”。住宿费用须由学员自行承担。含早餐的单人间价格为每晚 82 欧元。不应通过一般互联网门户进行预订，因为特殊条件将不被考虑。有关酒店的更多信息，请访问网站。
bcav：基于BERT和CNN笔记本电脑的集成在Clef 2024
抽象生成的AI作者身份验证旨在识别给定文本中人类撰写的文本。本文介绍了我们针对PAN 2024生成AI作者身份身份验证任务的方法。我们将这项任务框起来是单个文本的二进制分类问题。最初，我们利用数据增强技术来平衡最初的不平衡数据集并在单个文本上训练了模型。此外，我们采用了正则辍学方法来进一步优化模型训练。对于给定的文本，该模型分别处理每个文本以进行推理。最后，使用完全连接的层进行分类，选择具有较高人类自作者评分的文本作为答案。我们的方法在官方测试集上的平均得分为0.99。
MakerSat-1 在轨聚合物降解结果
MakerSat-1 是一颗 1U 立方体卫星，是西北拿撒勒大学 (NNU) 和 Made In Space (MIS) 的一项概念验证任务。它展示了国际空间站 (ISS) 上立方体卫星的微重力增材制造。它是第一颗专门设计为 3D 打印且在微重力下轻松组装的卫星。其结构框架于 2017 年 8 月在 ISS AMF 打印机上 3D 打印而成。2019 年末，MakerSat-1 被装载到 SEOPS Hypergiant Slingshot 部署器中，然后于 2019 年 12 月 5 日搭乘 SpaceX CRS-19 Dragon 发射到国际空间站。2020 年 1 月 31 日，该部署器安装在 Cygnus NG-12 航天器的舱门上，从国际空间站出发，升至 300 英里高的轨道。 2020 年 2 月 1 日，MakerSat-1 和其他立方体卫星从 Slingshot 发射升空并进入轨道。在部署后的四个月内，MakerSat-1 一直在研究 3D 打印聚合物样品在轨道空间环境中的耐久性。本文报告了这些科学数据的结果。
6G卫星前体 - 打开轨内6G实验室
7C.082 5G连接的汽车7C.084 5G汽车天线原型和演示Q3 2023 5G.07 - 5G HUB用于空气验证Q2 2023 7C.086终端示范5G 5G NEW - NR-5G NER-drive Drifornwore（N）卫星验证验证任务3E.019超过5G（B5G）端到端解决方案和服务的开放可重编程的可隔离空间基础设施床Q3 2023 3E.011 6G卫星前体Q1 2023 5G.09 - 5G.09 - 5G超过5G（B5G）和6G 3A.184超过5G（B5G）和6G（B5G）和6G（B5G）卫星Q2 2023 3A.185超出5G（B5G）和6G 3D网络的光谱共享技术
空间辐射分析实验（ESRA）
空间辐射分析实验 (ESRA) 是洛斯阿拉莫斯国家实验室建造的最新演示和验证任务，重点是测试下一代等离子体和高能粒子传感器。ESRA 有效载荷的主要动机是尽量减少尺寸、重量、功率和成本，同时仍提供必要的任务数据。ESRA 将通过测试和在轨操作来展示这些新仪器，以提高其技术就绪水平，从而支持技术和任务目标的发展。该项目将利用商用现成的 CubeSat 总线以及商用卫星地面网络来降低与传统 DemVal 任务相关的成本和时间表。该系统将与国防部空间测试计划共乘发射，插入地球同步转移轨道，并允许观测地球辐射带。 ESRA 任务由两个科学有效载荷和多个子系统组成：宽视场等离子体光谱仪、高能带电粒子望远镜、高压电源、有效载荷处理器、飞行软件架构和分布式处理器模块。ESRA CubeSat 将测量 GTO 环境中的等离子体和高能带电粒子群，其中离子的能量范围从 ~100 eV 到 ~1000 MeV，电子的能量范围从 100 keV 到 20 MeV。
用于验证的可扩展编程工作流程...
摘要 —混合量子-经典工作流已成为执行变分算法和其他量子模拟技术的标准方法，这些技术是噪声中型量子 (NISQ) 计算机的关键应用。验证这些模拟是一项重要任务，有助于衡量量子计算机发展的进展，而经典模拟可以作为实现这一目标的工具。具有可量化误差界限的精确和更具可扩展性的近似方法都可用于验证任务，其中适用的指标包括与可计算的基本事实的距离、误差模型与数据的拟合质量等。在这里，我们提出了一个库扩展，其中包括基于可在高性能计算机上执行的可扩展混合工作流的量子模拟验证方法。我们提供使用基于张量网络和稳定器模拟器的近似方法来限制 NISQ 硬件上量子模拟的误差的示例。索引术语 —量子计算、量子编程
自主航天器检查带有自由无人机的检查
摘要 - 本文描述了概念验证任务，该任务表明了一个多代理系统，该系统对航天器持续的损害进行视觉检查。由无人机（UAV）模拟的自由飞行卫星自动飞行在模拟空间模块周围飞行，以最大程度地利用搜索空间进行损坏。自由球员负责独立协调其航班，以避免在执行任务任务时与太空模块碰撞。模拟空间模块表面上的损坏分析是使用每个自由传单的视频实时执行的。三维建模是离线部署的，以补充和改善损害检测。这种方法证明了部署真实空间系统进行损害检测的可行性，其中2D分析可以快速确定感兴趣的区域和3D可视化可以产生一个可提供人为毫无用处的虚拟环境，并具有深度的透视图，以进行进一步研究。
使用小型无人机进行施工工程量估算
多个交通运输部 (DOT) 报告称，他们使用无人机系统 (UAS) 作为不同施工阶段的多项任务的工具，例如施工前测绘和测量、施工进度跟踪、质量控制、数量估算、交通控制检查/监控和安全检查。几乎所有州交通运输部都在使用小型无人机系统 (小型 UAS) 来提高安全性并更快更好地收集数据 (AASHTO 2019)。UAS 的快速增长市场刺激了其在经济各个领域的应用扩展 (Zhou 2018)。小型 UAS 用于各种数量估算/验证任务，包括土方工程、库存和铺路估算。施工量估算是基础设施建设项目中一项重要的成本项目。由于土方工程和库存在很大程度上受不稳定施工条件的影响，因此它们可能会影响施工期间的成本控制。对业主和承包商来说，准确估算实际的土方工程、库存和铺路量都很重要。
在 cocotb/ 中启用 SystemVerilog 验证 IP 的重用...
摘要 — 本文介绍了一种利用 cocotb 和 pyuvm 框架集成已建立的 SystemVerilog 验证 IP (SV-VIP) 来增强 Python 验证生态系统的新策略。基于 Python 的环境在验证社区中逐渐获得认可，人们正在探索其成为未来验证流程主流的潜力。这种方法利用了已建立的 SystemVerilog 生态系统，可以在 Python 设置中有效重用 SV-VIP。通过利用直接编程接口 (DPI-C) 和 ctypes 库，我们的方法可确保 Python 测试台和 SV-VIP 之间的无缝集成。这种集成不仅利用了 Python 的简单性和可读性，还增强了其处理复杂硬件验证任务的能力。本文通过两个实际实现说明了这种方法。它展示了 Python 作为一种强大且适应性强的验证语言不断发展的意义，并弥合了软件灵活性和硬件验证需求之间的当前鸿沟。
在半导体设计中将AI和机器学习与UVM集成
摘要：人们认为人工智能（AI）和机器学习（ML）与通用验证方法（UVM）的结合已被认为是为了使半导体设计革新，从而使过程更加有效，更准确。AI和ML策略在需要自动确认时间与以前与人类错误混合的过程中自动确认的应用中最有效。因此，这些技术能够浏览大量数据，以获取算法认为的算法可能是设计弱点，而这些弱点可能不容易被人眼辨别出来。它还支持验证任务，并同时提高验证结果的质量。反过来，文献综述表明了当前发展的程度，以及该新兴领域中其余的研究空隙。这些论文表明，AI/ML可以通过自动化常规验证并给出时间效率的预测来减少时间。例如，决策可以应用于设计智能测试案例，在验证方面，该智能测试案例可以提供比手动范围更好的覆盖范围。也可以通过使用ML算法来确定需要比验证需要更多的凭证工作的区域来处理测试覆盖数据。将AI/ML模型集成到UVM环境中的通用和特定方法是用狂热的细致性详细阐述的。