Apr, 2024

QRscript：在 QR 码中嵌入编程语言以支持决策与管理

PDF
TL;DR编码一门编程语言到 QR 码中的二进制表示，并通过虚拟机反向执行，以实现将设备和物体变得更智能化的方法。该研究提出了一种名为 QRscript 的编程语言，旨在产生非常紧凑的目标二进制代码，并介绍了一个特定的子语言用于编码决策树。研究通过一个与工业网络设备配置相关的示例展示了所提出技术的潜力，并详细说明了所有的翻译步骤。
programming languageqr codebinary representationvirtual machinecompact target binary code
发现论文，激发创造
  • $Classi|Q\rangle$ 桥接经典 - 量子编程差距的翻译框架

    引入了 $Classi|Q angle$ 这个翻译框架的想法，将高级编程语言（如 Python 或 C++）翻译成低级语言（如量子汇编），以实现经典计算和量子计算的连接，为量子软件工程的持续努力提供了蓝图，并讨论了未来对 $Classi|Q angle$ 的改进，包括支持其他量子语言、改进优化策略和与新兴量子计算平台的集成。

    Jun, 2024

  • t$|$ket$\rangle$ : 面向 NISQ 设备的可重定向编译器

    介绍了由 Cambridge Quantum Computing Ltd 开发的量子软件开发平台 t|ket>, 其核心是一种语言无关的优化编译器，旨在为各种 NISQ 设备生成代码，具有多种功能，旨在最小化设备错误的影响。编译器经过了广泛的基准测试，在电路优化和量子位路由方面的比竞争对手表现更优。

    Mar, 2020

  • 使用编译器表示进行代码翻译

    本文提出了一种新的方法，使用低级别的编译器中间表示 (IR) 来提高代码的翻译质量，不同于使用传统转换方法的手工指定规则，使用神经机器翻译 (NMT) 方法进行翻译，并将 IRs 作为中间变量，能够在 C ++，Java，Rust 和 Go 语言中获得自然的翻译结果，平均提高正确翻译数 11％，在一些语言对中高达 79％，同时还将 IRs 用作翻译的中间枢轴。

    Jun, 2022

  • 递归视觉编程

    通过递归的视觉编程方法来应对编码解决视觉问答任务，简化生成的代码、提供更高效的问题解决能力以及更好管理复杂的数据结构，并通过广泛实验验证了该方法的有效性。

    Dec, 2023

  • 层次化量化表征用于脚本生成

    本文提出了一种使用自编码器模型来编码和生成脚本的方法，其潜在空间由分层的分类变量定义，利用向量量化的方法实现了连续的嵌入，该模型在多个标准任务上表现优异，并允许实现比之前基于语言模型的方法更低的困惑度评分。

    Aug, 2018

  • C4Q：一个针对量子的聊天机器人

    C4Q 是一个聊天机器人，使用预训练的大型语言模型发现和分类用户请求，然后使用自己的引擎生成准确的答案，使量子计算更易于非专业人士使用。

    Jan, 2024

  • 朝向量子软件建模语言

    采用一组基于 UML 的最小扩展元素实现量子软件的建模语言，不仅可用于扩展其他软件建模语言，也可以成为全新语言的基础，并可抽象地建模任何一部分量子软件，最后展示了一小组示例来验证这些扩展的效力。

    Jun, 2020

  • 低资源编程语言伪代码生成的知识转移

    该论文提出通过迭代回译的方法，借助已有的高资源编程语言（C++）的代码 - 伪代码数据，将训练好的 C++-to - 伪代码模型迁移到没有对应数据的遗留编程语言（C）上，从而实现对其代码的自动描述，取得了 23.27% 的成功率提升。

    Mar, 2023

  • 基于神经符号和跨语言中间表示的零 - shot 代码克隆

    本文提出了神经符号方法，通过中间表示（IR）和 UnixCoder 优化，实现了 COBOL 代码克隆任务，取得了 12.85 MAP@2 的表现提升。

    Apr, 2023

  • 实用量子指令集架构

    介绍了一种针对经典 / 量子计算的抽象机器架构和名为 Quil 的量子指令语言，提供了具体实现和针对该架构的重要算法，并且能够支持最近的经典 / 量子算法的便携式描述。

    Aug, 2016