文献

J-GLOBAL ID：201802240512063392   整理番号：18A1943841

並列性を持つスケールシステムの時間Petriモデルの特性をチェックするための技術プロセスの関係ツールについて【JST・京大機械翻訳】

About the Relational Tool of Technological Process for Checking Properties of Time Petri Model of Scale System with Parallelism

著者 (1件)： Dereza Alena (V.I. Vernadsky Crimean Federal University, Taurida Academy (Academic Unit) of V.I. Vernadsky Crimean Federal University, Simferopol, Russian Federation)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： RusAutoCon  ページ： 1-5  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 人工知能技術の利用の範囲を拡大することは,現実世界のシステムで実行されるとき,予備的な設計の作成を含む。それは,将来のシステムのために必要な特性と安全性基準の実現可能性を保証する。設計ツールとして,時間Petriモデルを提案し,条件付きイベント構造における投影スケーリングシステムの並列および非同期プロセスの複雑なマッピングを提供し,それは研究者にとって明白である。時間Petriモデルの状態の基礎方程式の助けによるそのようなモデルの特性の研究は,小さな次元の実際のシステムに対してさえ,計算可能性の問題に直面する。本研究では,状態の基本方程式における時間Petriモデルの要素の時間的および構造的関係を表示する,特別なツールのプログラム実装のための数学的基礎の開発について述べた。このツールの特異性は,研究中のモデルの構造と機能の論理の関係に関する情報の付加的な飽和である。導入された追加は,線形均一Diophantine方程式の解いたシステムのサイズを減少させることを可能にし,一方,その構造不変量によってモデルの特性を確立するときに得られた結果の信頼性を維持した。このような装置の適用の最大効率は,モデリングと解析における成分アプローチの使用により構築された「連続的に同期した」時間Petriモデルのクラスに対して明らかにされる。このツールのプログラム実装は,統計解析のための大量の時間Petriネットを研究することを可能にする。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 不変量 ,  統計解析 ,  線形性 ,  安全基準 ,  計算可能性 ,  モデリング ,  Petriネット ,  信頼性 ,  *人工知能
準シソーラス用語： 特異性 ,  基礎方程式 ,  設計ツール , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (5件)： スケール ,  モデル ,  チェック ,  プロセス ,  ツール