論文の概要: Acyclic and Cyclic Reversing Computations in Petri Nets
- arxiv url: http://arxiv.org/abs/2108.02167v1
- Date: Wed, 4 Aug 2021 16:50:14 GMT
- ステータス: 処理完了
- システム内更新日: 2021-08-05 13:21:07.311405
- Title: Acyclic and Cyclic Reversing Computations in Petri Nets
- Title（参考訳）: ペトリネットにおける非循環・循環反転計算
- Authors: Kamila Barylska, Anna Gogoli\'nska
- Abstract要約: 可逆計算は、計算中の任意の時点において逆順に実行することで、実行された操作の任意のシーケンスを無効にすることが可能な、従来にない計算形式を構成する。
我々は,Reversing Petri Nets (RPNs) を有界なColoured Petri Nets (CPNs) に変換する構造的手法を提案した。
RPNでは3つの逆転意味論が可能である: バックトラック(最近実行されたアクションの逆転)、因果逆転(すべての効果が無効になった場合にのみ作用が逆転できる)、因果逆転(以前に実行されたアクションは逆転できる)。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Reversible computations constitute an unconventional form of computing where
any sequence of performed operations can be undone by executing in reverse
order at any point during a computation. It has been attracting increasing
attention as it provides opportunities for low-power computation, being at the
same time essential or eligible in various applications. In recent work, we
have proposed a structural way of translating Reversing Petri Nets (RPNs) - a
type of Petri nets that embeds reversible computation, to bounded Coloured
Petri Nets (CPNs) - an extension of traditional Petri Nets, where tokens carry
data values. Three reversing semantics are possible in RPNs: backtracking
(reversing of the lately executed action), causal reversing (action can be
reversed only when all its effects have been undone) and out of causal
reversing (any previously performed action can be reversed). In this paper, we
extend the RPN to CPN translation with formal proofs of correctness. Moreover,
the possibility of introduction of cycles to RPNs is discussed. We analyze
which type of cycles could be allowed in RPNs to ensure consistency with the
current semantics. It emerged that the most interesting case related to cycles
in RPNs occurs in causal semantics, where various interpretations of dependency
result in different net's behaviour during reversing. Three definitions of
dependence are presented and discussed.
- Abstract（参考訳）: 可逆計算は、計算中の任意の時点において逆順に実行することで、実行された操作の任意のシーケンスを無効にすることができる、従来の計算形式である。
低消費電力計算の機会を提供すると同時に、様々なアプリケーションに必須または適しているため、注目を集めている。
近年,可逆計算を組み込んだペトリネットの一種であるReversing Petri Nets (RPNs) を,従来のペトリネットの拡張である境界付きColoured Petri Nets (CPNs) に変換する構造的手法を提案している。
RPNでは3つの逆転意味論が可能である: バックトラック(最近実行されたアクションの逆転)、因果逆転(すべての効果が無効になった場合にのみ作用が逆転できる)、因果逆転(以前に実行されたアクションは逆転できる)。
本稿では,RPNからCPNへの変換を正当性の公式な証明で拡張する。
さらに, RPNへのサイクル導入の可能性についても論じる。
RPNで許容されるサイクルの種類を分析し、現在のセマンティクスとの整合性を確保する。
RPNのサイクルに関連する最も興味深いケースは因果意味論において発生し、依存関係の様々な解釈が逆転中に異なるネットの振る舞いをもたらす。
依存の3つの定義を提示し、議論する。
関連論文リスト
- A Reversible Perspective on Petri Nets and Event Structures [0.0]
イベント構造は並列計算の基盤モデルとして登場した。
イベント構造は、プロセスが以前の計算を解除できる可逆性に対処するために拡張されている。
可逆因果ネットと呼ばれる文脈的ペトリネットのサブセットを導入する。
論文 参考訳（メタデータ） (2023-12-27T20:47:48Z) - Formal Translation from Reversing Petri Nets to Coloured Petri Nets [0.0]
ペトリネットの逆転は、最近提案されたペトリネットの拡張であり、バックトラック、因果逆転、因果逆転の3つの主要な可逆性を実装している。
我々は,トークンがデータ値を運ぶ従来のペトリネットの拡張であるColoured Petri Nets (CPNs) モデルに,RPNのサブクラスから構造的変換を提案する。
本稿では,同一型の複数のトークンをシステム内に存在させるモデルである個別トークン解釈の下で,RPNをトークン乗法で扱うように拡張する。
論文 参考訳（メタデータ） (2023-11-01T16:28:38Z) - Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。
最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。
シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
論文 参考訳（メタデータ） (2023-10-05T07:10:40Z) - Recurrence Boosts Diversity! Revisiting Recurrent Latent Variable in
Transformer-Based Variational AutoEncoder for Diverse Text Generation [85.5379146125199]
変分自動エンコーダ(VAE)はテキスト生成において広く採用されている。
本稿ではトランスフォーマーをベースとしたリカレントVAE構造であるTRACEを提案する。
論文 参考訳（メタデータ） (2022-10-22T10:25:35Z) - A Taxonomy of Recurrent Learning Rules [1.4186974630564675]
時間によるバックプロパゲーション(BPTT)は、リカレントニューラルネットワーク(RNN)のトレーニングにおけるデファクトスタンダードである
E-propはこれらのアルゴリズムの因果的、局所的で効率的な代替案として提案された。
BPTT から RTRL を導出し,直観的・明確化を図った。
論文 参考訳（メタデータ） (2022-07-23T07:03:42Z) - Bayesian Recurrent Units and the Forward-Backward Algorithm [91.39701446828144]
ベイズの定理を用いることで、ユニットワイド・リカレンスとフォワード・バックワードアルゴリズムに類似した後方再帰を導出する。
その結果得られたベイジアン再帰ユニットは、ディープラーニングフレームワーク内で再帰ニューラルネットワークとして統合することができる。
音声認識の実験は、最先端の繰り返しアーキテクチャの最後に派生したユニットを追加することで、訓練可能なパラメータの点で非常に低コストで性能を向上させることを示唆している。
論文 参考訳（メタデータ） (2022-07-21T14:00:52Z) - Approximate Fixed-Points in Recurrent Neural Networks [10.031004070657122]
リカレントニューラルネットワークは、音声処理や言語処理で広く使われている。
過去に依存するため、これらのモデルをトレーニングするための標準的なアルゴリズムは効率的に並列化できない。
本稿では,リカレントニューラルネットワークが非線形方程式系の固定点として再構成可能であることを示す。
論文 参考訳（メタデータ） (2021-06-04T11:33:34Z) - Backpropagation Through Time For Networks With Long-Term Dependencies [0.0]
backpropagation through time(bptt)は、recurrent neural networks(rnn)内でチューニングされたパラメータを更新する技術である。
本稿では,個別ループと複数ループの相互作用に対して,それぞれ「離散フォワード感度方程式」とその変種を用いることを提案する。
このソリューションは正確であり、ネットワークのパラメータを次のステップごとに変更することができますが、Jacobianの計算が必要です。
論文 参考訳（メタデータ） (2021-03-26T15:55:54Z) - Variance Penalized On-Policy and Off-Policy Actor-Critic [60.06593931848165]
本稿では,平均値と変動値の両方を含むパフォーマンス基準を最適化する,オン・ポリティィおよびオフ・ポリティィ・アクター・クリティカルなアルゴリズムを提案する。
提案手法は, アクタ批判的かつ事前の分散-ペナライゼーションベースラインに匹敵するだけでなく, リターンのばらつきが低いトラジェクトリも生成する。
論文 参考訳（メタデータ） (2021-02-03T10:06:16Z) - Activation Relaxation: A Local Dynamical Approximation to
Backpropagation in the Brain [62.997667081978825]
活性化緩和(AR)は、バックプロパゲーション勾配を力学系の平衡点として構成することで動機付けられる。
我々のアルゴリズムは、正しいバックプロパゲーション勾配に迅速かつ堅牢に収束し、単一のタイプの計算単位しか必要とせず、任意の計算グラフで操作できる。
論文 参考訳（メタデータ） (2020-09-11T11:56:34Z) - NP-PROV: Neural Processes with Position-Relevant-Only Variances [113.20013269514327]
位置関連性オンリーバリアース(NP-PROV)を有するニューラルプロセスと呼ばれる新しいメンバーを提案する。
NP-PROVは、その位置の関数値に関係なく、コンテキストポイントに近いターゲットポイントが小さな不確実性を持つという仮説を立てている。
我々は, NP-PROVが有界分散を維持しつつ, 最先端の可能性を実現することができることを示す。
論文 参考訳（メタデータ） (2020-06-15T06:11:21Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。