Fugu-MT 論文翻訳(概要): A Dynamic Temporal Logic for Quality of Service in Choreographic Models

論文の概要: A Dynamic Temporal Logic for Quality of Service in Choreographic Models

arxiv url: http://arxiv.org/abs/2311.01414v1
Date: Thu, 2 Nov 2023 17:30:51 GMT
ステータス: 処理完了
システム内更新日: 2023-11-03 12:38:05.193352
Title: A Dynamic Temporal Logic for Quality of Service in Choreographic Models
Title（参考訳）: 振付モデルにおけるサービス品質のための動的時相論理
Authors: Carlos G. Lopez Pombo, Agust\'in E. Martinez Su\~n\'e, Emilio Tuosto
Abstract要約: 本稿では,g-choreographiesとCFSM(Communicating Finite State Machine)で構成されるコレオグラフィーモデルを用いて,メッセージパッシングシステムの品質(QoS)を表現・解析するフレームワークを提案する。 I) 局所計算の量的制約を特定するための非機能契約付きCFSMの拡張、(II) 通信プロトコルを規定するg-choreographyに対するシステムの特性を表現可能な動的時間論理、(III) 境界モデルチェックアプローチによる検証を可能にする論理の半決定性。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We propose a framework for expressing and analyzing the Quality of Service (QoS) of message-passing systems using a choreographic model that consists of g-choreographies and Communicating Finite State machines (CFSMs). The following are our three main contributions: (I) an extension of CFSMs with non-functional contracts to specify quantitative constraints of local computations, (II) a dynamic temporal logic capable of expressing QoS, properties of systems relative to the g-choreography that specifies the communication protocol, (III) the semi-decidability of our logic which enables a bounded model-checking approach to verify QoS property of communicating systems.
Abstract（参考訳）: 本稿では,g-choreographiesとCFSM(Communicating Finite State Machine)で構成されるコレオグラフィーモデルを用いて,メッセージパッシングシステムの品質(QoS)を表現・解析するフレームワークを提案する。 i) 局所計算の量的制約を規定する非機能的契約を持つcfsmsの拡張、(ii) qosを表現可能な動的時相論理、(iii) 通信プロトコルを規定するgコレオグラフィーに対するシステムの特性、(iii) 通信システムのqos特性を検証するための境界付きモデルチェックアプローチを可能にする、我々の論理の半決定可能性。

関連論文リスト

Semantic Communication and Control Co-Design for Multi-Objective Correlated Dynamics [33.18378000044136]
本稿では,相関システムのセマンティックダイナミクスを学習するための機械学習手法を紹介する。オートエンコーダ(AE)フレームワークでクープマン演算子を活用することにより、システム状態の進化は潜時空間で線形化される。信号時相論理(STL)は、システム固有の制御ルールを符号化するために、論理意味論的クープマン(LSK)モデルによって組み込まれている。
論文参考訳（メタデータ） (2024-10-03T08:38:54Z)
A Novel Spatiotemporal Coupling Graph Convolutional Network [0.18130068086063336]
本稿では,新しいグラフ・コンテンポラル・ネットワーク(GCN)に基づく動的推定器,すなわちスペース・カップリングGCN(SCG)モデルについて述べる。その結果、SCGは最先端技術と比較して精度が高く、ユーザやクラウドサービスへの強力な表現を学習できることを示した。
論文参考訳（メタデータ） (2024-08-09T02:02:01Z)
A process algebraic framework for multi-agent dynamic epistemic systems [55.2480439325792]
本稿では,マルチエージェント,知識ベース,動的システムのモデリングと解析のための統合フレームワークを提案する。モデリング側では,このようなフレームワークを実用的な目的に使いやすくするプロセス代数的,エージェント指向の仕様言語を提案する。
論文参考訳（メタデータ） (2024-07-24T08:35:50Z)
OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications [0.0]
観測ベース統計モデルチェック(OSM)フレームワークは、基本的なシステムコードから直接実行可能な形式モデルを構築するために開発された。これにより、プリコンディションシフト中の電子健康記録システムの未収量性能が保証される。
論文参考訳（メタデータ） (2024-03-03T00:03:34Z)
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems [1.7205106391379026]
MoCheQoSは、メッセージパッシングシステムのQoS特性を分析するための有界モデルチェッカーである。本研究は,MoCheQoSの適用性を評価するための2つのケーススタディである。
論文参考訳（メタデータ） (2023-11-02T17:31:31Z)
Discrete, compositional, and symbolic representations through attractor dynamics [51.20712945239422]
我々は,思考の確率的言語(PLoT)に似た認知過程をモデル化するために,アトラクタダイナミクスを記号表現と統合した新しいニューラルシステムモデルを導入する。我々のモデルは、連続表現空間を、事前定義されたプリミティブに頼るのではなく、教師なし学習を通じて、記号系の意味性と構成性の特徴を反映する、記号列に対応する引き付け状態を持つ離散盆地に分割する。このアプローチは、認知操作の複雑な双対性を反映したより包括的なモデルを提供する、AIにおける表現力の証明された神経弁別可能な基質であるニューラルダイナミクスを通じて、シンボル処理とサブシンボル処理の両方を統合する統一的なフレームワークを確立する。
論文参考訳（メタデータ） (2023-10-03T05:40:56Z)
Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文参考訳（メタデータ） (2023-06-21T07:34:27Z)
DG-STGCN: Dynamic Spatial-Temporal Modeling for Skeleton-based Action Recognition [77.87404524458809]
骨格に基づく行動認識のための新しいフレームワーク,すなわち動的グループ時空間GCN(DG-STGCN)を提案する。 DG-GCNとDG-TCNの2つのモジュールで構成される。 DG-STGCNは最先端の手法よりも一貫して優れており、しばしば顕著な差がある。
論文参考訳（メタデータ） (2022-10-12T03:17:37Z)
SpatioTemporal Focus for Skeleton-based Action Recognition [66.8571926307011]
グラフ畳み込みネットワーク(GCN)は骨格に基づく行動認識において広く採用されている。近年提案されている骨格に基づく行動認識法の性能は以下の要因によって制限されていると論じる。近年の注目機構に着想を得て,アクション関連関係情報を取得するためのマルチグラインド・コンテキスト集中モジュール MCF を提案する。
論文参考訳（メタデータ） (2022-03-31T02:45:24Z)
On the spatial attention in Spatio-Temporal Graph Convolutional Networks for skeleton-based human action recognition [97.14064057840089]
カルチャーネットワーク(GCN)は、スケルトンをグラフとしてモデル化することで、スケルトンに基づく人間の行動認識の性能を約束する。最近提案されたG時間に基づく手法のほとんどは、ネットワークの各層におけるグラフ構造を学習することで、性能を向上させる。
論文参考訳（メタデータ） (2020-11-07T19:03:04Z)
Modelling Weak-Coherent CV-QKD Systems Using a Classical Simulation Framework [0.0]
連続変数(CV)弱コヒーレント状態プロトコルは量子鍵分布(QKD)技術の広範な展開の候補として期待されている。本稿では,従来の光学系をモデル化するためのシミュレーションフレームワークを,弱いコヒーレントCV-QKDリンクのシミュレーションに利用できることを示す。
論文参考訳（メタデータ） (2020-04-30T11:34:19Z)

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