| 講演抄録／キーワード |
| 講演名 |
2007-01-26 14:15
オープンソース数式処理システムによる確率ペトリネットの定常状態解析
○服部 哲（北陸先端大） |
| 抄録 |
（和） |
著者は，既に，確率ペトリネットの定常状態解析を用いた，ソフトウェア開発組織における情報交換の効率の計算法を提案している．本論文では，オープンソース数式処理システム Risa/Asir による，情報交換の効率の計算法を与える．連立一次方程式の求解や，情報交換の効率の極大値の計算を，Risa/Asir でどのように行なったかや，Risa/Asir が軽量なシステムであることにより得られた新たな知見などについて述べる． |
| （英） |
We have already proposed a method to measure efficiency of an information flow in a software development organization. Efficiency is calculated by using the steady state analysis of a stochastic petri net. In this paper, we propose a method to calculate efficiency by using an open source computer algebra system, Risa/Asir. We show, for example, a method to solve linear equations and a method to compute a maximal value of efficiency. We also show a new fact that revealed by a light-weight system, Risa/Asir. |
| キーワード |
（和） |
確率ペトリネット / 定常状態解析 / 数式処理システムRisa/Asir / / / / / |
| （英） |
Stochastic Petri Net / Steady State Analysis / Computer Algebra System Risa/Asir / / / / / |
| 文献情報 |
信学技報, vol. 106, 2007年1月. |
| 資料番号 |
|
| 発行日 |
2007-01-19 (CST) |
| ISSN |
Print edition: ISSN 0913-5685 |
| PDFダウンロード |
|
| 研究会情報 |
| 研究会 |
MSS |
| 開催期間 |
2007-01-26 - 2007-01-26 |
| 開催地（和） |
機械振興会館 |
| 開催地（英） |
Kikai-Shinko-Kaikan Bldg. |
| テーマ（和） |
コンカレントシステム、一般 |
| テーマ（英） |
Concurrent systems, etc. |
| 講演論文情報の詳細 |
| 申込み研究会 |
MSS |
| 会議コード |
2007-01-CST |
| 本文の言語 |
日本語 |
| タイトル（和） |
オープンソース数式処理システムによる確率ペトリネットの定常状態解析 |
| サブタイトル（和） |
|
| タイトル（英） |
Steady State Analysis of Stochastic Petri Nets Using Open Source Computer Algebra System |
| サブタイトル（英） |
|
| キーワード(1)（和/英） |
確率ペトリネット / Stochastic Petri Net |
| キーワード(2)（和/英） |
定常状態解析 / Steady State Analysis |
| キーワード(3)（和/英） |
数式処理システムRisa/Asir / Computer Algebra System Risa/Asir |
| キーワード(4)（和/英） |
/ |
| キーワード(5)（和/英） |
/ |
| キーワード(6)（和/英） |
/ |
| キーワード(7)（和/英） |
/ |
| キーワード(8)（和/英） |
/ |
| 第1著者 氏名（和/英/ヨミ） |
服部 哲 / Satoshi Hattori / ハットリ サトシ |
| 第1著者 所属（和/英） |
北陸先端科学技術大学院大学 (略称： 北陸先端大)
Japan Advanced Institute of Science and Technology (略称： JAIST) |
| 第2著者 氏名（和/英/ヨミ） |
/ / |
| 第2著者 所属（和/英） |
(略称： )
(略称： ) |
| 第3著者 氏名（和/英/ヨミ） |
/ / |
| 第3著者 所属（和/英） |
(略称： )
(略称： ) |
| 第4著者 氏名（和/英/ヨミ） |
/ / |
| 第4著者 所属（和/英） |
(略称： )
(略称： ) |
| 第5著者 氏名（和/英/ヨミ） |
/ / |
| 第5著者 所属（和/英） |
(略称： )
(略称： ) |
| 第6著者 氏名（和/英/ヨミ） |
/ / |
| 第6著者 所属（和/英） |
(略称： )
(略称： ) |
| 第7著者 氏名（和/英/ヨミ） |
/ / |
| 第7著者 所属（和/英） |
(略称： )
(略称： ) |
| 第8著者 氏名（和/英/ヨミ） |
/ / |
| 第8著者 所属（和/英） |
(略称： )
(略称： ) |
| 第9著者 氏名（和/英/ヨミ） |
/ / |
| 第9著者 所属（和/英） |
(略称： )
(略称： ) |
| 第10著者 氏名（和/英/ヨミ） |
/ / |
| 第10著者 所属（和/英） |
(略称： )
(略称： ) |
| 第11著者 氏名（和/英/ヨミ） |
/ / |
| 第11著者 所属（和/英） |
(略称： )
(略称： ) |
| 第12著者 氏名（和/英/ヨミ） |
/ / |
| 第12著者 所属（和/英） |
(略称： )
(略称： ) |
| 第13著者 氏名（和/英/ヨミ） |
/ / |
| 第13著者 所属（和/英） |
(略称： )
(略称： ) |
| 第14著者 氏名（和/英/ヨミ） |
/ / |
| 第14著者 所属（和/英） |
(略称： )
(略称： ) |
| 第15著者 氏名（和/英/ヨミ） |
/ / |
| 第15著者 所属（和/英） |
(略称： )
(略称： ) |
| 第16著者 氏名（和/英/ヨミ） |
/ / |
| 第16著者 所属（和/英） |
(略称： )
(略称： ) |
| 第17著者 氏名（和/英/ヨミ） |
/ / |
| 第17著者 所属（和/英） |
(略称： )
(略称： ) |
| 第18著者 氏名（和/英/ヨミ） |
/ / |
| 第18著者 所属（和/英） |
(略称： )
(略称： ) |
| 第19著者 氏名（和/英/ヨミ） |
/ / |
| 第19著者 所属（和/英） |
(略称： )
(略称： ) |
| 第20著者 氏名（和/英/ヨミ） |
/ / |
| 第20著者 所属（和/英） |
(略称： )
(略称： ) |
| 第21著者 氏名（和/英/ヨミ） |
/ / |
| 第21著者 所属（和/英） |
(略称： )
(略称： ) |
| 第22著者 氏名（和/英/ヨミ） |
/ / |
| 第22著者 所属（和/英） |
(略称： )
(略称： ) |
| 第23著者 氏名（和/英/ヨミ） |
/ / |
| 第23著者 所属（和/英） |
(略称： )
(略称： ) |
| 第24著者 氏名（和/英/ヨミ） |
/ / |
| 第24著者 所属（和/英） |
(略称： )
(略称： ) |
| 第25著者 氏名（和/英/ヨミ） |
/ / |
| 第25著者 所属（和/英） |
(略称： )
(略称： ) |
| 第26著者 氏名（和/英/ヨミ） |
/ / |
| 第26著者 所属（和/英） |
(略称： )
(略称： ) |
| 第27著者 氏名（和/英/ヨミ） |
/ / |
| 第27著者 所属（和/英） |
(略称： )
(略称： ) |
| 第28著者 氏名（和/英/ヨミ） |
/ / |
| 第28著者 所属（和/英） |
(略称： )
(略称： ) |
| 第29著者 氏名（和/英/ヨミ） |
/ / |
| 第29著者 所属（和/英） |
(略称： )
(略称： ) |
| 第30著者 氏名（和/英/ヨミ） |
/ / |
| 第30著者 所属（和/英） |
(略称： )
(略称： ) |
| 第31著者 氏名（和/英/ヨミ） |
/ / |
| 第31著者 所属（和/英） |
(略称： )
(略称： ) |
| 第32著者 氏名（和/英/ヨミ） |
/ / |
| 第32著者 所属（和/英） |
(略称： )
(略称： ) |
| 第33著者 氏名（和/英/ヨミ） |
/ / |
| 第33著者 所属（和/英） |
(略称： )
(略称： ) |
| 第34著者 氏名（和/英/ヨミ） |
/ / |
| 第34著者 所属（和/英） |
(略称： )
(略称： ) |
| 第35著者 氏名（和/英/ヨミ） |
/ / |
| 第35著者 所属（和/英） |
(略称： )
(略称： ) |
| 第36著者 氏名（和/英/ヨミ） |
/ / |
| 第36著者 所属（和/英） |
(略称： )
(略称： ) |
| 講演者 |
第1著者 |
| 発表日時 |
2007-01-26 14:15:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
MSS |
| 資料番号 |
CST2006-41 |
| 巻番号（vol） |
vol.106 |
| 号番号（no） |
no.502 |
| ページ範囲 |
pp.19-24 |
| ページ数 |
6 |
| 発行日 |
2007-01-19 (CST) |
|