XiaoMi-AI文件搜索系统
World File Search System描述语言
基于意图的正式轨迹描述语言
摘要 — 本文介绍了一种改进的意图相关形式语言层次结构，用于描述飞机轨迹。这些语言允许在不同级别上完整或部分地指定飞机轨迹，本文所述功能的扩展使其适用于定义更复杂的任务，例如无人驾驶汽车或军用飞机的任务。本文对每种语言的词汇、语法和图形表示细节进行了完整的描述，并通过一组具有不同粒度的飞行规范的清晰示例展示了它们的适用性。所描述的语言层次结构已被证明是一种适合描述具有不同详细程度和不同应用的飞机轨迹的框架。它的多功能性和灵活性通过一组识别特征操作示例的场景得到证明。索引词 — 空中交通管理；形式语言；飞机意图；飞行意图；轨迹计算
QHDL：量子计算的低级电路描述语言
变分的特征素[1]或新兴的量子机学习[9]，将计算分配给Quantum和经典部分，它们共同解决给定问题。与当今的松散集成的量子计算系统相比，在通用计算机上进行了经典的处理，我们设想，如图1所示，紧密整合的系统至少在这些部分中至少发生在量子处理器附近的专用硬件中的某些部分，变得更加可行。例如，这样的系统可能有助于处理具有低延迟和高带宽要求的实时或流数据，从重复的量子计算中进行更高级的统计收集，或者实施闭环杂交算法，其中量子计算部分地观察到量子计算，并将控制回到量子处理单元（QPU）量子（QPU）中，同时量化了量子量的量子，该量子量量子（QPU）量身定量，同时又有量子量。合适的硬件已经由其他人构建[12]，尽管重点不同。在这项工作中，我们专门针对经典部分和量子零件之间的高度优化的整合，这与诸如Qiskit或CIRQ之类的流行方法[6]。我们使用对序列进行的隐式公式，其中与QASM [2]和Quil [10]相比，进行基本操作而不是显式ISA方法。这项工作的主要贡献是第3节中QHDL语言的定义，以及概念验证QHDL/VHDL共同模拟环境的实施虽然Quingo [3]等现有框架可以通过基于指令的经典计算来处理量子计算的实时集成，但我们建议利用用于门或寄存器 - 转移级别建模的硬件说明语言的精细粒度计时功能。
带测量的量子电路描述语言的具体分类模型
在量子计算中，人们考虑一种特殊的存储器，其中数据以受量子力学定律支配的物体状态进行编码。量子数据的基本单位是量子比特，一般来说，量子存储器由可单独寻址的量子比特组成。根据不可克隆定理 [ 23 ]，量子比特是不可复制的对象。量子存储器的状态可以用复希尔伯特空间中的单位向量表示。量子比特的基本运算包括状态空间上的幺正运算（称为量子门）和测量，它们是返回经典布尔值的概率运算。量子计算的常用模型是量子电路的概念。量子电路由量子门和线组成。一条线代表一个量子比特，每个门连接到一条或多条线，是作用于相应量子比特的幺正运算。在该模型中，计算包括分配一个量子寄存器、应用一个电路（即按顺序的门列表），然后进行测量以返回经典数据。
