論文の概要: Ladder Logic Translation using Large Language Models in Industrial Automation

• arxiv url: http://arxiv.org/abs/2605.31458v1
• Date: Fri, 29 May 2026 15:51:22 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-01 20:56:50.715207
• Title: Ladder Logic Translation using Large Language Models in Industrial Automation
• Title（参考訳）: 産業自動化における大規模言語モデルを用いたラダー論理変換
• Abstract要約: 一般的な翻訳問題は、ミスマッチしたプログラミング環境、互換性のないラダー論理構造、ベンダーの形式的表現のセマンティック表現性の違いによる制限を強調している。 本稿では,この問題の数学的定式化,XML抽出,構造正規化,制約付き生成関数(LLM),TAA Portal Openness APIによるシステム統合をサポートするソリューションの詳細なアーキテクチャについて述べる。
• 参考スコア（独自算出の注目度）: 0.4460583138505674
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Ladder logic translation is an important problem in industrial automation because without it, it is difficult to switch Programmable Logic Controller (PLC) vendors. The prevailing translation problem highlights mismatched programming environments, incompatible ladder logic constructs, limitations in terms of differences in the semantic expressiveness of the vendor formalisms and integrated black-box proprietary engineering tools which are exemplified in our example case; Rockwell to Siemens PLC code translation. This work presents a mathematical formulation of the problem, the detailed architecture of a solution which supports XML extraction, structural normalization, constrained generative function (LLM), and system integration via the TIA Portal Openness API as rigorously engineered pipeline for automated translation of Rockwell Ladder Programs to Siemens S7 ladder programs. Finally, we present results that show that the translations retain high semantic consistency across instruction categories.
• Abstract（参考訳）: 遅延論理変換は産業自動化において重要な問題である。なぜなら、それなしではProgrammable Logic Controller (PLC)ベンダーを切り替えることは困難である。 一般的な翻訳問題は、ミスマッチしたプログラミング環境、互換性のないラグ論理構造、ベンダーの形式主義のセマンティック表現性の違いによる制限、そして私たちの例に例示されるブラックボックスのプロプライエタリなエンジニアリングツール、Rockwell to SiemensのPLCコード翻訳である。 この問題の数学的定式化,XML抽出,構造正規化,制約付き生成関数(LLM)をサポートするソリューションの詳細なアーキテクチャ,およびRockwell Ladder Programs から Siemens S7 への自動翻訳のための厳密な設計されたパイプラインとして TIA Portal Openness API によるシステム統合について述べる。 最後に,翻訳が命令カテゴリ間で高い意味的整合性を維持することを示す結果を示す。

関連論文リスト

• When LLMs Develop Languages: Symbolic Communication for Efficient Multi-Agent Reasoning [85.36421257648294]
  CoT(Chain-of-Thought)は、難しい推論タスクにおいて、大きな言語モデル(LLM)を改善する。 コミュニケーション言語シンボリズムルーティング(R)を提案する。 Rは、それぞれの言語シンボルフレームワークを、コンパクトなシンボル、使用規則、メッセージパス契約を備えた再利用可能なシンボルプロトコルとして扱います。 Rは、標準のCoTと比較してレイテンシ指向のトークンの補完を$3sim 6times$に削減する。
  論文  参考訳（メタデータ） (2026-06-28T12:02:42Z)
• How LLMs Fail and Generalize in RTL Coding for Hardware Design? [56.361436215029045]
  我々は,認知理論に触発された問題解決性に基づく新しい誤り分類法を導入する。 我々の分類学は、障害を構文、意味、解決可能な機能、解決不可能な機能タイプに分類する。
  論文  参考訳（メタデータ） (2026-04-26T14:34:49Z)
• EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR [14.681439854488765]
  EquivFusionはマルチモーダル回路の設計に適したエンドツーエンドの等価チェックツールである。 PyTorch、C/C++、Chisel、Verilog、ゲートレベルのネットリストなど、さまざまなエントリポイントを共通の中間表現に統合する。
  論文  参考訳（メタデータ） (2026-04-17T12:09:54Z)
• LATA: A Tool for LLM-Assisted Translation Annotation [0.0]
  本稿では,専門家の判断に必要とされる,自動化と厳密な精度のギャップを解消する,LLMを利用した対話型ツールを提案する。 従来の統計的拡張性とは異なり、我々のシステムはテンプレートベースの Prompt Manager を採用しており、文のセグメンテーションとアライメントのために大きな言語モデル(LLM)を利用する。
  論文  参考訳（メタデータ） (2026-02-11T02:49:01Z)
• Finding the Translation Switch: Discovering and Exploiting the Task-Initiation Features in LLMs [69.28193153685893]
  大きな言語モデル(LLM)は、タスク固有の微調整なしでも、しばしば強力な翻訳能力を示す。 このプロセスをデミスティフィケートするために、スパースオートエンコーダ(SAE)を活用し、タスク固有の特徴を特定するための新しいフレームワークを導入する。 我々の研究は、LLMの翻訳機構のコアコンポーネントをデコードするだけでなく、内部モデル機構を使用してより堅牢で効率的なモデルを作成するための青写真も提供しています。
  論文  参考訳（メタデータ） (2026-01-16T06:29:07Z)
• Guess & Sketch: Language Model Guided Transpilation [59.02147255276078]
  学習されたトランスパイレーションは、手作業による書き直しやエンジニアリングの取り組みに代わるものだ。 確率的ニューラルネットワークモデル(LM)は、入力毎に可塑性出力を生成するが、正確性を保証するコストがかかる。 Guess & Sketch は LM の特徴からアライメントと信頼性情報を抽出し、意味的等価性を解決するためにシンボリック・ソルバに渡す。
  論文  参考訳（メタデータ） (2023-09-25T15:42:18Z)
• Chip-Chat: Challenges and Opportunities in Conversational Hardware Design [27.760832802199637]
  人工知能(AI)は、マシンベースのエンドツーエンド翻訳の能力を実証した。 LLM(Large Language Models)は、様々なプログラミング言語でコードを生成することができると主張している。 この「チップチャット」は、私たちが世界で初めて完全にAIで書かれたテープアウト用HDLだと信じているものになったと信じています。
  論文  参考訳（メタデータ） (2023-05-22T17:13:33Z)
• On ML-Based Program Translation: Perils and Promises [17.818482089078028]
  この研究は、教師なしのプログラム翻訳者とその失敗の理由を調査する。 入力が特定のパターンに従う場合、入力コードを前処理し、出力が特定のパターンに従う場合、出力を後処理するルールベースのプログラム突然変異エンジンを開発する。 将来的には、プログラムドメイン知識をMLベースの翻訳パイプラインに組み込むことができるエンドツーエンドのプログラム翻訳ツールを構想する。
  論文  参考訳（メタデータ） (2023-02-21T16:42:20Z)
• Examining Scaling and Transfer of Language Model Architectures for Machine Translation [51.69212730675345]
  言語モデル(LM)は単一のレイヤのスタックで処理し、エンコーダ・デコーダモデル(EncDec)は入力と出力の処理に別々のレイヤスタックを使用する。 機械翻訳において、EncDecは長年好まれてきたアプローチであるが、LMの性能についての研究はほとんどない。
  論文  参考訳（メタデータ） (2022-02-01T16:20:15Z)
• Logical blocks for fault-tolerant topological quantum computation [55.41644538483948]
  本稿では,プラットフォームに依存しない論理ゲート定義の必要性から,普遍的なフォールトトレラント論理の枠組みを提案する。 資源オーバーヘッドを改善するユニバーサル論理の新しいスキームについて検討する。 境界のない計算に好適な論理誤差率を動機として,新しい計算手法を提案する。
  論文  参考訳（メタデータ） (2021-12-22T19:00:03Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。