論文の概要: An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
- arxiv url: http://arxiv.org/abs/2412.08233v1
- Date: Wed, 11 Dec 2024 09:31:40 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-12-12 14:03:06.298652
- Title: An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
- Title(参考訳): モーデ形式化による分散再構成言語協奏曲Dの概要
- Authors: Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard,
- Abstract要約: モーデ形式化による分散化再構成言語 Concerto-D の概要を提案する。
Concerto-Dは関連する作業と比較して2つのパラメータを改善している。
私たちはMaude形式仕様言語に依存しています。これはロジックの書き直しに基づいており、結果として並列モデルを記述するのに完全に適しています。
- 参考スコア(独自算出の注目度): 0.0
- License:
- Abstract: We propose an overview of the decentralized reconfiguration language Concerto-D through its Maude formalization. Concerto-D extends the already published Concerto language. Concerto-D improves on two different parameters compared with related work: the decentralized coordination of numerous local reconfiguration plans which avoid a single point of failure when considering unstable networks such as edge computing, or cyber-physical systems (CPS) for instance; and a mechanized formal semantics of the language with Maude which offers guarantees on the executability of the semantics. Throughout the paper, the Concerto-D language and its semantics are exemplified with a reconfiguration extracted from a real case study on a CPS. We rely on the Maude formal specification language, which is based on rewriting logic, and consequently perfectly suited for describing a concurrent model.
- Abstract(参考訳): モーデ形式化による分散化再構成言語 Concerto-D の概要を提案する。
協奏曲Dは、既に公開された協奏曲言語を拡張している。
Concerto-Dは、エッジコンピューティングやサイバー物理システム(CPS)のような不安定なネットワークを考える際の単一障害点を回避する、多数のローカル再構成計画の分散調整と、セマンティクスの実行性を保証するMaudeによる言語の機械的形式的意味論である。
論文全体を通して,CPSの実事例研究から抽出した再構成を用いて,協奏体-D言語とその意味を例示する。
私たちはMaude形式仕様言語に依存しています。これはロジックの書き直しに基づいており、結果として並列モデルを記述するのに完全に適しています。
関連論文リスト
- Handling irresolvable conflicts in the Semantic Web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme [0.0]
本稿では,RDF と SPARQL でよく知られた Deontic Traditional Scheme を実装した新しいオントロジーを提案する。
提案するフレームワークは,一階述語だけでなく,最も広く使われている知識表現言語であるRDFで符号化されている。
それは、様々なタイプの解決不可能な矛盾、違反、およびデオン的モダリティと文脈的制約の間の相互作用をモデル化し、推論するための構造を提供する。
論文 参考訳(メタデータ) (2024-11-29T18:33:28Z) - Word-wise intonation model for cross-language TTS systems [0.0]
提案手法は,自動データマークアップとテキスト音声合成システムへの応用に適している。
キーとなるアイデアは、単語中の強勢音節の異なる配置と結びついた変動性の部分的除去である。
提案モデルは,テキストから音声への韻律記述のツールとして,あるいはバックボーンとして使用することができる。
論文 参考訳(メタデータ) (2024-09-30T15:09:42Z) - TransVIP: Speech to Speech Translation System with Voice and Isochrony Preservation [97.54885207518946]
カスケード方式で多様なデータセットを活用する新しいモデルフレームワークTransVIPを提案する。
本稿では、話者の音声特性と、翻訳過程における音源音声からの等時性を維持するために、2つの分離エンコーダを提案する。
フランス語と英語のペアに関する実験により、我々のモデルは、現在最先端の音声音声翻訳モデルよりも優れていることを示した。
論文 参考訳(メタデータ) (2024-05-28T04:11:37Z) - Guiding the PLMs with Semantic Anchors as Intermediate Supervision:
Towards Interpretable Semantic Parsing [57.11806632758607]
本稿では,既存の事前学習言語モデルを階層型デコーダネットワークに組み込むことを提案する。
第一原理構造をセマンティックアンカーとすることで、2つの新しい中間管理タスクを提案する。
いくつかのセマンティック解析ベンチマークで集中的な実験を行い、我々のアプローチがベースラインを一貫して上回ることを示す。
論文 参考訳(メタデータ) (2022-10-04T07:27:29Z) - Latent Topology Induction for Understanding Contextualized
Representations [84.7918739062235]
本研究では,文脈的埋め込みの表現空間について検討し,大規模言語モデルの隠れトポロジについて考察する。
文脈化表現の言語特性を要約した潜在状態のネットワークが存在することを示す。
論文 参考訳(メタデータ) (2022-06-03T11:22:48Z) - Dialogue Meaning Representation for Task-Oriented Dialogue Systems [51.91615150842267]
タスク指向対話のための柔軟かつ容易に拡張可能な表現である対話意味表現(DMR)を提案する。
我々の表現は、合成意味論とタスク固有の概念のためのリッチな意味論を表現するために、継承階層を持つノードとエッジのセットを含んでいる。
異なる機械学習ベースの対話モデルを評価するための2つの評価タスクを提案し、さらにグラフベースのコア参照解決タスクのための新しいコア参照解決モデルGNNCorefを提案する。
論文 参考訳(メタデータ) (2022-04-23T04:17:55Z) - Cross Modification Attention Based Deliberation Model for Image
Captioning [11.897899189552318]
画像キャプションのためのユニバーサル2パスデコードフレームワークを提案する。
シングルパス復号モデルが最初に入力画像に応じてドラフトキャプションを生成する。
次に、検討モデルが研磨処理を行い、ドラフトキャプションを洗練して画像記述を改善する。
論文 参考訳(メタデータ) (2021-09-17T08:38:08Z) - Towards a Semantics for Hybrid ASP systems [9.143661393612927]
我々は抽象理論と構造化理論の概念を導入し、ASP.NETと統合することを正式に詳細化します。
次に、この概念を用いて、Clingoの理論推論フレームワークのセマンティックキャラクタリゼーションを正確に評価し、制約付きHere-and-thereの論理と対応性を確立する。
論文 参考訳(メタデータ) (2021-08-06T11:21:50Z) - Bridging the Modality Gap for Speech-to-Text Translation [57.47099674461832]
エンド・ツー・エンドの音声翻訳は、ある言語における音声を、エンド・ツー・エンドの方法で他の言語におけるテキストに変換することを目的としている。
既存のほとんどの手法では、音響表現と意味情報を同時に学習するために、単一のエンコーダを持つエンコーダ・デコーダ構造を用いる。
本稿では,音声とテキスト間のモダリティギャップを埋めることで,エンドツーエンドのモデル性能を向上させることを目的とした音声翻訳モデルのための音声テキスト適応手法を提案する。
論文 参考訳(メタデータ) (2020-10-28T12:33:04Z) - Constructing a Family Tree of Ten Indo-European Languages with
Delexicalized Cross-linguistic Transfer Patterns [57.86480614673034]
我々は,デレクシカル化転送を,解釈可能なツリー・ツー・ストリングパターンとツリー・ツー・ツリーパターンとして定式化する。
これにより、言語間移動を定量的に探索し、第二言語習得の問い合わせを拡張することができる。
論文 参考訳(メタデータ) (2020-07-17T15:56:54Z) - End-to-end speech-to-dialog-act recognition [38.58540444573232]
本稿では,音声を直接ダイアログに変換するエンド・ツー・エンドのモデルを提案する。
提案モデルでは,対話行動認識ネットワークは,その潜在層において,音声から単語へのASRモデルと結合する。
ネットワーク全体がエンドツーエンドで微調整されている。
論文 参考訳(メタデータ) (2020-04-23T18:44:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。