WikiEdge:ArXiv速遞/2025-03-18
摘要
- 原文標題：Why Personalizing Deep Learning-Based Code Completion Tools Matters
- 中文標題：為什麼個性化基於深度學習的代碼補全工具很重要
- 發佈日期：2025-03-18 12:26:06+00:00
- 作者：Alessandro Giagnorio, Alberto Martin-Lopez, Gabriele Bavota
- 分類：cs.SE
- 原文連結：http://arxiv.org/abs/2503.14201v1
中文摘要：基於深度學習（DL）的代碼補全工具通過實現高級代碼生成，徹底改變了軟件開發。這些工具利用從大量代碼庫中訓練的模型，捕捉通用的編碼模式。然而，針對特定組織或開發者微調這些模型以提升其在這些主體上的性能的影響尚未被探索。在本研究中，我們通過提供堅實的實證證據填補了這一空白。具體而言，我們考慮了來自兩個組織（Apache 和 Spring）的 136 名開發者、兩種模型架構（T5 和 Code Llama）以及三種模型規模（6000 萬、7.5 億和 70 億可訓練參數）。T5 模型（6000 萬、7.5 億）在超過 2000 個開源項目上進行了預訓練和微調，排除了目標組織的數據，並與在組織和開發者特定數據集上微調的版本進行了比較。對於 Code Llama 模型（70 億），我們比較了在線公開的預訓練模型與通過參數高效微調在組織和開發者特定數據集上微調的同一模型的性能。我們的結果表明，組織和開發者特定的額外微調都能提升預測能力，其中前者表現尤為突出。這一發現在（i）兩個目標組織（即 Apache 和 Spring）和（ii）完全不同的模型規模（從 6000 萬到 70 億可訓練參數）中具有普遍性。最後，我們展示了在組織特定數據集上微調的 DL 模型能夠達到與預訓練代碼模型相同的補全性能，而後者規模約為前者的 10 倍，從而在部署和推理成本上實現了顯著節省（例如，需要更小的GPU）。
摘要
- 原文標題：An Assessment of the UK Government Clean Energy Strategy for the Year 2030
- 中文標題：英國政府2030年清潔能源戰略評估
- 發佈日期：2025-03-18 14:48:06+00:00
- 作者：Anthony D. Stephens, David R. Walwyn
- 分類：eess.SY, cs.SY
- 原文連結：http://arxiv.org/abs/2503.14309v1
中文摘要：2024年，英國政府就其能源系統脫碳計劃發佈了兩項引人注目的聲明：承諾投入220億英鎊在蒂賽德和默西塞德建立碳捕集與封存中心，並發佈了《清潔電力2030行動計劃》。本文質疑這兩項計劃的有效性，認為它們未能充分考慮風能和太陽能發電高度波動性的影響。通過使用考慮這些波動性的未來英國電力系統動態模型，研究表明《清潔電力2030行動計劃》高估了風能和太陽能在電力系統中脫碳的能力，尤其是在其規模相對於電力系統需求增加時。更重要的是，動態模型顯示，大部分可實現的脫碳效果來自於將風力發電從目前的約10吉瓦增加到約20吉瓦。將風力發電僅增加到20吉瓦，而不是行動計劃中提議的30吉瓦，可以將提議的成本減半，節省約1200億英鎊，而在脫碳效果上幾乎沒有損失。此外，動態模型顯示，英國7.5天的天然氣儲存能力與其大陸鄰國認為必要的儲存能力相比顯得嚴重不足。本文還表達了對2008年《氣候變化法案》的擔憂，該法案要求英國實現任意的脫碳目標，導致政府顧問提出了一些未經證實且因此具有高度風險的技術解決方案。
摘要
- 原文標題：Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
- 中文標題：置信衝擊：雙曲偏微分方程求解器的形式化正確性證明
- 發佈日期：2025-03-18 04:08:07+00:00
- 作者：Jonathan Gorard, Ammar Hakim
- 分類：cs.LO, cs.NA, math.NA, physics.comp-ph
- 原文連結：http://arxiv.org/abs/2503.13877v1
中文摘要：一階雙曲偏微分方程（PDEs）系統在計算物理學中無處不在，常用於流體湍流、衝擊波、電磁相互作用甚至廣義相對論現象的模擬。這些方程在非線性情況下通常難以數值求解，因為它們即使在初始數據平滑的情況下也容易形成不連續性，這可能導致數值算法變得不穩定、違反守恆定律或收斂到物理上不正確的解。在本文中，我們介紹了一種新的形式化驗證流程，用於在Racket中構建此類算法，允許用戶為指定的方程系統構建定製的雙曲PDE求解器，生成可驗證實現該求解器的低級C代碼，並生成關於實現的各種數學和物理正確性屬性的形式化證明，包括L^2穩定性、通量守恆和物理有效性。我們概述了如何使用一個完全尊重浮點算術代數結構的自定義定理證明和自動微分框架生成這些正確性證明，並展示了生成的C代碼如何用於運行獨立模擬或集成到更大的計算多物理框架（如Gkeyll）中。