XiaoMi-AI文件搜索系统
World File Search Systemarxiv
COSPAS-SARSAT 和 EPIRB 的网络安全 - arXiv
两种类型的卫星星座为 COSPAS-SARSAT 服务，即低地球轨道搜索和救援 (LEOSAR) 和地球静止轨道搜索和救援 (GEOSAR)。LEOSAR 卫星星座有五颗卫星，轨道周期约为 100 分钟。当 LEOSAR 系统检测到遇险警报时，它会使用多普勒处理技术计算遇险事件的位置，然后在进入地面站视野时转发该数据。四颗 GEOSAR 卫星在相对于地球的轨道上保持静止。在收到任何信标信号后，它们会中继遇险信息。COSPAS-SARSAT 支持三种不同类型的信标系统，即紧急定位发射机 (ELT) [5]、个人定位信标 (PLB) [6] 和紧急位置指示无线电信标 (EPIRB) [7]。
量子控制机器 - arXiv
因式分解、搜索和模拟等任务的量子算法依赖于控制流，例如分支和迭代，这些控制流取决于叠加数据的值。控制流的高级编程抽象，例如开关、循环、高阶函数和延续，在经典语言中无处不在。相比之下，许多量子语言不提供叠加控制流的高级抽象，而是需要使用硬件级逻辑门来实现这种控制流。造成这种差距的原因是，虽然经典计算机使用可以依赖于数据的程序计数器来支持控制流抽象，但量子计算机的典型架构并不类似地提供可以依赖于叠加数据的程序计数器。因此，可以在量子计算机上正确实现的完整控制流抽象集尚未建立。在这项工作中，我们对可以在量子计算机上正确实现的控制流抽象的属性进行了完整的描述。首先，我们证明，即使在程序计数器处于叠加态的量子计算机上，也无法通过将经典条件跳转指令提升到叠加态来正确实现量子算法中的控制流。该定理否定了将控制流的一般抽象（例如 𝜆 演算）直接从经典编程提升到量子编程的能力。作为回应，我们提出了在量子计算机上正确实现控制流的必要和充分条件。我们引入了量子控制机，这是一种指令集架构，其条件跳转被限制为满足这些条件。我们展示了这种设计如何使开发人员能够使用程序计数器代替逻辑门来正确表达量子算法中的控制流。
对象检测和跟踪-ARXIV
有效而准确的对象检测是计算机视觉系统开发的重要主题。随着深度学习技术的出现，对象检测的准确性大大提高。该项目旨在集成现代技术以进行对象检测，目的是通过实时性能实现高精度。在许多对象识别系统中，对其他计算机视觉算法的依赖是一个重要的障碍。在这项研究中，我们完全使用深度学习技术完全解决了端到端对象检测问题。使用最困难的公开数据集对网络进行培训，该数据集用于年度项目检测挑战。需要对象检测的应用程序可以使系统的快速而精确的发现受益。1。简介对象检测是与计算机视觉和图像处理相关的众所周知的计算机技术。随着深度学习技术的出现，对象检测的准确性大大提高。它重点是检测数字图像和视频中某个类别（花，动物）的对象或实例。有各种应用，包括面部识别，角色识别和媒体计算器。1.1十年前的问题陈述，许多计算机视觉问题已经达到了饱和点。但是，由于深度学习技术变得越来越流行，因此这些问题的准确性已大大提高。图像分类器阳离子被视为图像类别的预测指标，是主要问题之一。图像本地化是一项相当具有挑战性的任务，系统必须预测图像中单个对象的位置类（对象周围的边界框）。对象检测是最具挑战性的问题（此项目），因为它同时结合了本地化和分类。在这种情况下，图片将是系统的输入，系统将生成一个边界框以及与图像中每个对象匹配的功能。
人工智能和机器人 - arXiv
如今，“人工智能”一词涵盖了机器的整个概念，即在操作和社会影响方面都具有智能的机器。预计到 2024 年，人工智能市场将达到 3 万亿美元，行业和政府资助机构都在大力投资人工智能和机器人技术。随着我们周围信息的可用性不断增长，人类将越来越依赖人工智能系统来生活、工作和娱乐。鉴于人工智能系统的准确性和复杂性不断提高，它们将被用于越来越多样化的领域，包括金融、制药、能源、制造、教育、交通和公共服务。据预测，人工智能的下一阶段是增强智能时代。无处不在的传感系统和可穿戴技术正在推动智能嵌入式
人工智能和机器人技术 - arXiv
如今，“人工智能”一词涵盖了机器的整个概念，即在操作和社会影响方面都具有智能的机器。随着人工智能市场规模预计到 2024 年将达到 3 万亿美元，行业和政府资助机构都在大力投资人工智能和机器人技术。随着我们周围信息的可用性不断增长，人类将越来越依赖人工智能系统来生活、工作和娱乐。鉴于人工智能系统的准确性和复杂性不断提高，它们将用于越来越多样化的领域，包括金融、制药、能源、制造、教育、交通和公共服务。据预测，人工智能的下一阶段是增强智能时代。无处不在的传感系统和可穿戴技术正在推动智能嵌入式的发展
双曲线图像文本表示 - arXiv
基线。我们主要与 CLIP（Radford 等人，2021 年）进行比较，后者在欧几里得空间中的单位超球面上嵌入图像和文本。CLIP 使用 4 亿个图像-文本对的私有数据集进行训练。一些后续工作重新实现了 CLIP 并使用可公开访问的数据集，如 YFCC（Thomee 等人，2016 年）、概念标题（Changpinyo 等人，2021 年；Sharma 等人，2018 年）和 LAION（Schuhmann 等人，2021 年；2022 年）；值得注意的例子是 OpenCLIP（Ilharco 等人，2021 年）、SLIP（Mu 等人，2022 年）、DeCLIP（Li 等人，2022 年）和 FILIP（Yao 等人，2022 年）。我们开发了 CLIP 基线并使用单个公共数据集 RedCaps（Desai 等人，2021 年）对其进行训练，以便于重现。我们最小的模型使用 8 × V100 GPU 在不到一天的时间内进行训练，并且明显优于最近使用 YFCC（Mu 等人，2022 年）的 CLIP 重新实现。
数据驱动的航空航天工程 - arXiv
数据科学，尤其是机器学习，正在迅速改变科学和工业格局。航空航天业准备利用大数据和机器学习，它们擅长解决飞机设计和制造中出现的多目标、约束优化问题。事实上，机器学习中的新兴方法可以被认为是数据驱动的优化技术，这些技术非常适合高维、非凸和约束的多目标优化问题，并且随着数据量的增加而得到改进。在这篇评论中，我们将探讨将数据驱动的科学和工程融入航空航天业的机遇和挑战。重要的是，我们将重点关注安全关键应用对可解释、可泛化、可说明和可认证的机器学习技术的迫切需求。这篇评论将包括回顾、对当前最先进技术的评估以及展望未来的路线图。我们将在航空航天设计、制造、验证、确认和服务领域的关键挑战背景下探讨最新的算法和技术趋势。此外，我们将通过航空航天行业的几个案例研究来探索这一领域。本文件是华盛顿大学和波音公司密切合作的成果，旨在总结过去的努力并概述未来的机会。
科学数据论文arxiv
公共成像数据集对于癌症成像中自动化工具的开发和评估至关重要。不幸的是，许多不包括注释或图像衍生的特征，使其下游分析变得复杂。基于人工智能的注释工具已被证明可以实现可接受的性能，因此可用于自动注释大型数据集。作为丰富NCI成像数据共享（IDC）中可用的公共数据的努力的一部分，在这里，我们在这里介绍了AI生成的注释，用于两种计算机断层扫描图像的胸部，NSCLC-radiomics和国家肺肺部筛查试验的两部计算机图像。使用公开可用的AI算法，我们得出了有风险的胸腔器官的体积注释，它们相应的放射线特征以及解剖学地标和地区的切片级注释。由IDC在IDC中公开可用的注释，其中DICOM格式用于协调数据并实现公平的原则。注释伴随着启用云的笔记本，以证明其使用。这项研究强大了对大型，可公开访问的策划数据集的需求，并证明了如何使用AI来帮助癌症成像。
![arXiv:1905.12508v2 [astro-ph.EP] 2019 年 7 月 9 日](/simg/g:\will\search\icon\source\4\47089ac039671e7e9e52834bc92884358a383af8.webp)
arXiv:1905.12508v2 [astro-ph.EP] 2019 年 7 月 9 日
上下文。罗塞塔号航天器上的 OSIRIS 相机在彗星 67P/Churyumov-Gerasimenko (67P) 的彗发内测量的尘埃亮度相位曲线呈现出显著的 U 形。目的。我们的目标是将这些相位曲线与暂时模拟的尘埃样本的相位曲线进行比较，以评估可能导致这种形状的关键尘埃特性。方法。在实验室和微重力条件下，使用 PROGRA2 仪器对可能代表彗星尘埃颗粒的不同物理特性和成分的样本进行了光散射测量。结果。我们发现，最近开发的一系列行星际尘埃类似物的亮度相位曲线（用于拟合内黄道云的极化特性及其随太阳中心距离的变化）与 67P 的亮度相位曲线非常相似。关键的尘埃特性似乎与成分和孔隙度有关。结论。我们得出结论，67P 亮度相位曲线的形状与大量有机化合物（至少 50% 的质量）和蓬松聚集体（尺寸范围为 10 至 200 µ m）的存在有关。我们还证实了这颗木星族彗星的尘埃颗粒与内黄道云中的颗粒之间的相似性。
![arXiv:2001.01577v1 [cs.AI] 2020 年 1 月 6 日](/simg/g:\will\search\icon\source\c\c540f901a2b09ee65c6df18aad932233961fdfea.png)
arXiv:2001.01577v1 [cs.AI] 2020 年 1 月 6 日
强化学习 (RL) 近年来已成为一个日益活跃的研究领域。尽管有许多算法可以让代理有效地解决任务，但它们往往忽略了与当前任务相关的先前经验可能存在的可能性。对于许多实际应用而言，代理从头学习如何解决任务可能不切实际，因为这通常是一个计算量很大的过程；然而，在实践中可以利用先前的经验使这些问题变得易于处理。在本文中，我们提出了一个通过学习可重复使用的选项来利用现有经验的框架。我们表明，在代理学习了解决少量问题的策略后，我们能够使用从这些策略生成的轨迹来学习可重复使用的选项，从而使代理能够快速学习如何解决新的和相关的问题。