学术

由于要数学建模中需要解决一个三维装箱的问题，我经过搜寻选定了张德富教授等在计算机 学报上发表的《求解三维装箱问题的混合模拟退火算法》这篇论文作为解决问题的理论基 础。 该论文的摘要如下： 提出了一个高效求解三维装箱问题(Three Dimensional Container Loading Problem 3D-CLP)的混合模拟 退火 算法 .三维装箱问题要求装载给定箱子集合的一个子 集到容器 中 , 使得被装载 的箱子总体 积最大 .文中介绍 的 混合 模拟退火算法基于三个重要算 法 :(1)复合块生成算法 , 与传统算法 不同的是文中提出的复合块 不只包含单 一 种类 的箱子 , 而是可以在一定的限制条件下包含 任意种类的箱子 .(2)基础启发式算法 , 该 算法 基于块装 载 , 可以 按 照指定装载序列生成放置方案.(3)模拟退火算法,以复合块 生成和基础启发式算法为基础, 将装载序列作为可行 放置 方案的编码 , 在编码空间中 采用模拟退火算法进行搜 索以寻找问题的近似最 优解 .文 中采用 1 50 0 个弱异构 和 强异构的装箱问题数据对算法进行测试 .实验结 果表明 , 混合模拟退火算法的填充率超 过了目前已知的 优秀算法 . DOI号: 10.3724/SP.J.1016.2009.02147 ...

最近，我阅读了一篇名为 TransRepair: Automatic Testing and Improvement of Machine Translation 的研究论文。该论文介绍了一种名为 TransRepair 的方法，用于 在软件测试领域下自动测试机器翻译模型。下面，我将从几个方面对论文的内容进行总结， 并讨论其中的关键点。 TransRepair 简介 TransRepair 是一种用于自动检测和修复机器翻译软件一致性问题的方法。它提供了黑盒和 灰盒两种方法来解决机器翻译软件的一致性问题。TransRepair 的主要步骤包括生成测试用 例、创建测试准则和自动修复过程。该方法提供了清晰、严谨和详细的测试用例生成算法， 并采用了四种句子差异的量化方法进行比较。此外，TransRepair 还运用了结构一致性原理 作为断言，并提供了全面的实验设计和多样化的结果。 关键问题的理解 一致性问题是指机器翻译软件在处理一组具有相似语义和结构但某些特定词语上略有不 同的句子时，在对应翻译句集合中的某一句或几句中的某个或几个部分出现的语义、结 构不一致的现象。 TransRepair 生成测试用例的方法是对输入的原句进行词语替换，形成突变句组。为了 实现这一操作，TransRepair 使用了词向量模型来计算词语之间的关联性。在选择候选 词后，还会将其带入句子中进行成分分析，以确定句子的语义和语法是否发生较大变 化。 在验证测试用例输出句子对的一致性时，TransRepair 首先使用 Widiff 进行字符串成 分的差异性比较分析。为了增强相似度量化的可靠性，TransRepair 还构造了原句和翻 译句中涉及的差异成分的部分删除集合，并计算集合中每个元素之间的相似度，选择最 大相似值。论文中使用了四种不同的方法来量化相似度，其中部分方法与之前提到的 SIT 方法有相似之处。 论文中的实验设计具有独特的特点。它首先提出问题并对解决方法进行探讨，然后围绕 这四个问题设计实验并提供适当形式的实验数据。实验从多个角度论证了该方法的有效 性，包括准确度、有效性、修复能力以及与人工方式的对比等。实验数据的呈现直观易 懂。 TransRepair 在处理阈值上与 SIT 方法不同。它通过机器小步遍历运算来获得统计上 最优的阈值，并采用人工辅助和统计学分析的方式进行一致性判别，其阈值设定逻辑更 具说服力。而 SIT 方法的阈值设定大多依靠经验，说服力和可操作性较低。 在 TransRepair 中，自动修复可以分为黑盒和灰盒两种方式。黑盒对应于 Google Translate，由于该软件未开源，对于输入输出的相关参数了解有限，因此只能对输入 和输出本身进行操作。灰盒对应于 Transformer，它的源码和训练集可获取，因此可以 对其输出结果的可能性进行把握，并在训练集和模型结构上进行修复操作。 TransRepair 的优势在于对一致性问题的自动检测和修复。该方法具有高准确度、可行 性和可复现性，这与其准确的实施方法以及对现有方法缺陷的考虑和补充密切相关。然 而，该方法的效率较低，有效性仅限于一致性问题。 总体而言，论文 TransRepair 介绍了 TransRepair 方法作为一种有效的自动测试和改 进机器翻译软件的方法，特别解决了一致性问题。论文详细解释了该方法，并提供了实验证 据和比较分析。 ...

我之前阅读了 Structure-Invariant Testing for Machine Translation 这篇论文，它提 出了一种关于机器翻译软件系统鲁棒性问题的检测方法。下面我将从几个方面详细介绍我对 其中内容的理解。 主要内容 SIT 是关于机器翻译软件系统鲁棒性问题的检测方法。这种方法利用了一个蜕变测试中的蜕 变关系，即"结构不变性"。通过选择原始句子、生成相似句子、从翻译软件获取结果、进行 成分解析并量化句子差异、根据设定的阈值筛选并发现问题，SIT 可以高效地检测出机器翻 译软件系统的鲁棒性问题。根据实验结果，SIT 在 19 秒内可以处理 2k+句子，并且对于 Google/Bing Translate 的准确度达到了 70%。然而，仍有提升的空间，可能是由于阈值选 择的原因。 对几个关键问题的理解 为什么机器翻译软件存在鲁棒性问题？ 机器翻译软件系统的核心模块通常采用深度学 习方法或技术。深度学习模型中每层的维度较高，导致训练模型在向量空间中对不同标 签区域的界定可能模糊不清。当输入值接近边界时，稍微做出微小改变可能导致模型输 出剧烈变化。 什么是结构不变性？ 结构不变性是指经过对某种语言的句子进行一些特定且微小的词 单位修改后，其语义和语法上的结构在转换为对应翻译后通常保持不变。结构不变性是 研究机器翻译软件系统相关问题的经验和统计学意义上的一个切入点。 为什么要引入结构不变性？ 引入结构不变性是为了进行蜕变测试，以探索机器翻译软 件系统的鲁棒性问题。引入结构不变性的目的有两个：一是由于自然语言关系和变化复 杂多样，难以得到一种通用的测试定理作为基准进行测试，因此通过控制变量，得到类 似于经验或统计意义上正确的起点，展开测试研究；二是自然语言相关测试的测试用例 难以人工构建，引入结构不变性可以方便地利用现有少量样本生成大量测试用例。 如何利用结构不变性生成语义与语法相似的语句？ 在 SIT 中，使用了 BERT 模型来生 成语义与语法相似的语句。SIT 依赖于 BERT 的大型语料训练以及遮罩和双向反馈学习 等技术，以抑制词语替换后整个句子的语义改变或不符合语法和使用习惯等问题。SIT 通过在 BERT 之后增加一个轻量级的分类器来辅助生成预备替换词语的候选列表。 如何量化句子的差异以判断机器翻译软件系统是否存在鲁棒性问题？ SIT 使用了三种 方法来量化句子差异：字符串差异分析、成分解析树分析和依存解析树分析。SIT 直接 对翻译软件的输出结果进行以上三种分析，并对它们的效果进行比较。然而，这三种句 子差异分析方法都有一定的局限性，可以在进一步的工作中探索综合使用这三种方法进 行判定的方式。 SIT 具有哪些优势？有哪些不足？ 在论文中，作者讨论了 SIT 的优势和不足。总的来 说，SIT 的优势在于其能够检测多种类型错误（未翻译、过度翻译、错误调整、逻辑不 清）。然而，我认为其测试用例的生成方式、错误量化和检测方法相对粗糙，导致实验 下准确性并不高。修复和阈值设定需要人工参与，这也是其另一个不足之处。 SIT 可以有哪些应用？ SIT 主要应用于对运用了 AI 模型的机器翻译软件系统进行鲁 棒性测试。通过 SIT 的自动检测和人工修复训练样本，机器翻译软件的鲁棒性可以得 到提升。 总结 SIT 是一种检测机器翻译软件系统鲁棒性问题的方法。通过选择原始句子、生成相似句子、 获取翻译结果、进行成分解析和量化句子差异，SIT 可以高效地检测机器翻译软件系统的鲁 棒性问题。实验结果显示，SIT 可以在 19 秒内处理 2k+句子，并且对于 Google/Bing Translate 的准确度达到了 70%。然而，仍有改进的空间，可能是由于阈值选择的原 因。SIT 利用 BERT 模型生成语义和语法相似的语句，并使用三种方法来量化句子差异。总 体而言，SIT 的优势在于能够检测多种类型的错误，但其测试用例生成方式和检测方法仍有 改进空间。SIT 主要应用于对应用 AI 模型的机器翻译软件系统进行鲁棒性测试，并通过自 动检测和人工修复训练样本来提升鲁棒性。 ...