ライブかつセーフな自由選択ネットの分割アルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットのサブクラスである自由選択ネットは並行システムの本質である同時進行性と非決定性をともに陽に表現できるクラスであり,状態機械に同時進行性を許した状態機械の拡張としてみなすことができ,同様にマークグラフに非決定性を許したマークグラフの拡張としてみなすことができる.自由選択ネットにライブかつセーフという動的な制限を与えた自由選択ネット(LSFC)については多くの研究がなされている.LSFCネットは強連結な状態機械(Sコンポーネント)の集合への可分割性という構造的特徴をもつ,与えられたLSFCネットを被覆する極小なSコンポーネントの集合(S分割集合)を効率良く求めることができれば並行システム解析やその性能評価などにおいて有用な手法を導出することが可能となる.本論文ではLSFCネットのS分割集合を求める多項式オーダのアルゴリズムについて考察する.
- 社団法人電子情報通信学会の論文
- 1993-11-25
著者
-
熊谷 貞俊
大阪大学大学院工学研究科電気電子情報工学専攻
-
熊谷 貞俊
大阪大学大学院工学研究科
-
児玉 慎三
大阪大学工学部
-
児玉 慎三
近畿大学大学院工学研究科
-
李 東翊
大阪大学工学部電子工学科:光州科学技術院情報通信学科
-
西村 忠昭
大阪ガス株式会社
関連論文
- 大域的分岐解析に基づく大脳皮質視覚野錐体細胞モデルの構築
- [2010年]年頭にあたっての抱負
- 膵臓β細胞塊のインスリン分泌に及ぼす細胞内カルシウム貯蔵の影響
- A-2-12 心臓心室筋詳細モデルの大域的分岐構造に基づくイオンチャネル薬物感受性解析(A-2.非線形問題,一般講演)
- 非線形心筋細胞モデルの大域的分岐構造と刺激応答特性について(II)
- 非線形動的モデルを用いた心臓心室筋細胞の刺激応答特性と薬物感受性の解析(非線形問題)
- A-2-4 心室筋細胞におけるイオンチャネルコンダクタンスの活動電位持続時間に及ぼす影響(A-2. 非線形問題, 基礎・境界)
- マルチエージェントネットの可達空間生成アルゴリズム(コンカレントシステム, 一般)
- シーケンス制御システムのマルチエージェントネットモデル導出手法
- A-12-4 マルチエージェントネットによる制御システムのモデル化(A-12. コンカレント工学)
- 分散EMSにおけるエネルギー取引決定手法の評価
- A-12-8 多期間における分散EMSの最適運転計画問題(A-12. コンカレント工学,一般セッション)
- A-12-3 拡張ROOM法における先行子表編集のためのGUIの開発(A-12. コンカレント工学,一般セッション)
- 蓄電池による風力発電出力安定化システムの事業性検討
- 画像復元・補間問題の動径基底関数ネットワークによる解法
- 心筋細胞詳細モデルの大域的分岐構造とイオンチャネル薬物感受性について(II)
- 確率的埋め込み法によるデータクラスタリング
- 1次元写像力学系に基づくRandom Boolean Networkダイナミクスの解析
- Safety Critical Systemに対する強化学習適用に関する検討(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- MCEの群管理制御器:スケジュール完了時間の最適化とサービス範囲保証のためのパーキング戦略を適用したアルゴリズム(CSTコンペ・ソリューション発表,コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- 分散EMSにおけるエネルギー取引決定手法に対する市場指向プログラミングの適用
- 秘密分散共有法を用いた分散データベースシステムのマルチエージェントネットによる実現について(グラフ,ペトリネット,ニューラルネット及び一般)
- エージェントネットに基づくSOA検証用UMLシミュレータの提案(UML/開発方法論)
- 確率的手法による高次元データの低次元埋め込み
- 心筋細胞詳細モデルの大域的分岐構造とイオンチャネル薬物感受性について
- 動径基底関数ネットワークによる画像補間問題の単純解法
- A-12-10 複数市場が存在する分散EMSにおけるエネルギー取引決定手法の検討(A-12.コンカレント工学,一般講演)
- A-12-9 タブサーチを用いた自律分散型AGVの搬送計画手法(A-12.コンカレント工学,一般講演)
- CO_2排出量を考慮した分散EMSへの市場指向プログラミングの適用(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 環境負荷を考慮したエネルギー取引システムシミュレータにおけるJavaクラスの開発(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- 環境負荷を考慮したエネルギー取引システムのシミュレータの開発
- SA-7-5 マルチエージェントによる環境負荷を考慮した分散EMSの最適運用に関する研究(SA-7. 企業・社会活動におけるコンカレント技術)
- マルチエージェントによる環境負荷を考慮した分散EMSの最適運用に関する研究
- A-2-13 動径基底関数による画像補間に及ぼすランダムサンプリングの影響(A-2.非線形問題,一般講演)
- A-2-17 確率的手法を用いた高次元データの低次元埋め込み地図の作成(A-2.非線形問題,一般講演)
- 距離幾何学問題における確率的近接データ埋め込み法の拡張
- 確率的近接データ埋め込み法の分子構造決定問題への応用
- A-2-5 確率的近接データ埋め込み法の分子構造決定問題への応用(A-2. 非線形問題, 基礎・境界)
- 秘密分散共有法を用いた分散データベースシステムのマルチエージェントネットによる実現について(グラフ,ペトリネット,ニューラルネット及び一般)
- A-12-2 Safety Critical Systemにおける強化学習の適用に関する一考察(A-12.コンカレント工学,一般講演)
- マイクロ SMES による瞬時電圧低下補償装置の構成とその実験結果
- ライブかつセーフな自由選択ネットの分割アルゴリズム
- 自律分散ストレージシステムの自動修復機能の設計と実装(グラフ,ペトリ,ニューラルネット,及び一般)
- 自律分散ストレージシステムの自動修復機能の設計と実装(グラフ,ペトリ,ニューラルネット,及び一般)
- 秘密分散共有データベースにおける分散クエリ最適化問題について(コンカレントシステム,一般)
- マルチエージェントネットを用いた自律分散型FMSのコンカレント設計
- 自動倉庫システムのエージェント指向設計手法について
- 近況報告
- A-12-4 BPEL/UML動作検証用シミュレータの研究(A-12.コンカレント工学,一般講演)
- Activity hypergraphを使用したBPEL4WS/UML記述のシミュレーション手法の提案(コンカレントシステム, 一般)
- フローショップ型生産システムの電気回路モデルと感度解析
- A-12-4 生産システムの電気回路モデルと感度解析
- CST2000-5 生産システムの電気回路モデルと感度解析
- A-12-2 自律分散ストレージシステムの信頼性向上手法の検討(A-12. コンカレント工学)
- マルチエージェントによる自律分散ストレージシステムの設計と実装(コンカレント工学一般)
- A-12-7 秘匿性・信頼性を保証したストレージシステムのためのエージェントの設計
- 交通信号システムの自律分散制御のためのマルチエージェントモデルについて(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
- 秘匿性・信頼性を保証したストレージシステムのWebDAVフロントエンドの開発(コンカレント工学一般)
- マルチエージェントネットを用いたデマンドバスシミュレーションシステム
- 階層型マルチエージェントネットの通信機構について
- SA-7-9 マルチエージェントネットの分散シミュレーション
- 心筋細胞結合系を用いた活動電位伝播特性の解析
- A-2-25 心筋細胞結合系におけるパルス列伝播特性の解析(A-2.非線形問題,一般講演)
- A-2-12 膵臓β細胞モデルのパラメータ推定
- 雑音存在下でのカオス写像の確率分岐解析(非線形回路システム及び一般)
- 雑音存在下でのカオス写像の確率分岐解析(非線回路システム及び一般)
- Boolean Networkの1次元写像力学系を用いた統計的解析
- 遺伝子制御ネットワークの結合写像系によるモデル化と解析
- SA-7-2 Peer to Peerコラボレーションソフトウェアのためのデータ同期・管理手法の提案(SA-7. 企業・社会活動におけるコンカレント技術)
- A-2-14 結合写像系を用いた遺伝子制御ネットワークのモデル化(A-2.非線形問題,一般講演)
- Distance Geometry問題の大域的最適化による解法について
- 非線形心筋細胞モデルの大域的分岐構造と刺激応答特性について
- A-2-6 最適化手法によるタンパク質構造決定問題の並列計算(A-2. 非線形問題, 基礎・境界)
- 秘密分散共有法を利用した自律分散ストレージシステム(情報セキュリティ応用)
- 膵臓β細胞塊のインスリン分泌に及ぼす細胞内カルシウム貯蔵の影響
- 代数的画像再構成法における部分空間の直交性を利用した新しい並列計算法
- A-12-8 秘匿性・信頼性を保証したストレージシステムの WebDAV フロントエンドについて
- A-2-11 β細胞塊のグルコースに対する応答について
- SA-2-1 大域的に結合したペースメーカニューロン集団のリズム調節
- A-2-3 遅速ダイナミクスを持つ神経ケーブルのパルス列伝搬解析
- NLP2000-33 / NC2000-27 Hodgkin-Huxley型単一ニューロンによる活動電位波形学習について
- NLP2000-33 / NC2000-27 Hodgkin-Huxley型単一ニューロンによる活動電位波形学習について
- 時定数の変更されたHodgkin-Huxley方程式の分岐解析
- 時定数変化が生み出す Hodgkin-Huxley 神経方程式の非線形力学の多様性
- 神経細胞のHodgkin-Huxley方程式から心臓Purkinje線維のNoble方程式へ
- A-12-1 秘密分散共有法を用いた分散データベースシステムに関する研究(A-12.コンカレント工学,一般講演)
- 遺伝的アルゴリズムを用いたラインバランシング手法について(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
- 自律分散型AGVの搬送計画問題における初期割り当ての手法の評価(コンカレントシステム,一般)
- 自律分散型AGVの搬送計画問題における初期割り当ての手法の評価
- 搬送経路計画問題における初期割り当て手法に関する研究(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- A-12-3 自律分散型AGVの搬送計画問題における計算時間短縮法の提案(A-12.コンカレント工学,一般講演)
- 分岐限定法を用いた単一製品フローショップの生産資源計画
- SA-6-3 単一製品フローショップの生産システム計画に対するコンカレント手法
- 7. ペトリネットの FA 制御への応用 ( ネット指向パラダイムを求めて)
- CO2排出量を考慮したエネルギー取引システムに関する一考察
- A-12-6 生産システムのバッファ使用量に注目した状況依存エージェントの設計
- 秘密分散共有法を用いた分散データベースシステムにおける縦分割アルゴリズム(グラフ, ペトリ, ニューラルネット及び一般)
- A-12-2 秘密分散データベースシステムにおける離接クエリの最適化(A-12. コンカレント工学, 基礎・境界)
- A-12-1 分散EMSの最適運転計画ソフトウェアに関する研究(A-12. コンカレント工学, 基礎・境界)
- 秘密分散共有法を用いた分散データベースシステムにおける縦分割アルゴリズム(グラフ, ペトリ, ニューラルネット及び一般)