オープンソース数式処理システムによる確率ペトリネットの定常状態解析(コンカレントシステム,一般)
スポンサーリンク
概要
- 論文の詳細を見る
著者は,既に,確率ペトリネットの定常状態解析を用いた,ソフトウェア開発組織における情報交換の効率の計算法を提案している.本論文では,オープンソース数式処理システムRisa/Asirによる,情報交換の効率の計算法を与える.連立一次方程式の求解や,情報交換の効率の極大値の計算を,Risa/Asirでどのように行なったかや,Risa/Asirが軽量なシステムであることにより得られた新たな知見などについて述べる.
- 2007-01-19
著者
関連論文
- データ付時間オートマトンの双模倣等価性の記号的検証法
- CMSの活用による地域住民間での危機管理情報の収集・共有システムに関する提案(セッション5 : コミュニティおよびコミュニケーション技術)
- 地域ポータルサイトにおけるCMSの実践的活用と今後の課題(若手の会口頭発表(1))
- 地図サービスとCMSの連携による安全情報共有システム(セッション3:地域と安全)
- CMSの活用による地域住民間での危機管理情報の収集・共有システムに関する提案(セッション5 : コミュニティおよびコミュニケーション技術)
- CMSの活用による地域住民間での危機管理情報の収集・共有システムに関する提案(セッション5 : コミュニティおよびコミュニケーション技術)
- 複数時間オートマトンによる仕様記述と検証
- 共有メモリ型並列計算機上での正則な項書換え系の一実装法
- 規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
- Modular Confluence of Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides
- 部分項の評価順が指定できる項書換え系とその性質について(計算機構とアルゴリズム)
- 地域住民向け地図ベースの防災情報集積・共有システムの開発と評価
- 街のバリアフリー情報共有マップシステムのフィールド実験
- カードイメージによる街の情報共有マップの防災分野への応用に関する検討(セッション3 : 情報共有・流通システム)
- カードイメージによる街のバリアフリー情報共有マップシステムのフィールド実験と評価(情報共有,コミュニティ)
- 街のバリアフリー情報共有マップシステム構築に関する研究
- ディレクトリサービスを利用した都市情報の分散型データベース構築に関する検討(:インターネット応用システムの構築と運用管理)
- 都市データの分散データベース構築に関する検討
- オープンソース数式処理システムによる確率ペトリネットの定常状態解析(コンカレントシステム,一般)
- オープンソース数式処理システムによる確率ペトリネットの定常状態解析
- 確率ペトリネットによる組織パターンの検証(ソフトウェア工学の基礎)
- 定理証明技法を用いたユースケースの追加支援システムの研究(学生セッション I_要求獲得・分析)
- 都市データの分散データベース構築に関する検討
- ソフトウェアプロセスの時間オートマトンおよび時間モジュールによる記述法の比較