WEKO3
アイテム
Probability meets Non-Probability via Complete IL-Semirings
http://hdl.handle.net/10232/12580
http://hdl.handle.net/10232/1258091cf4aef-4467-4ff1-9ea0-d8221873844b
名前 / ファイル | ライセンス | アクション |
---|---|---|
rikouken364.pdf (707.2 kB)
|
|
|
TSUMAGARI_phdthesis_2012.pdf (342.3 kB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2015-02-18 | |||||
タイトル | ||||||
タイトル | Probability meets Non-Probability via Complete IL-Semirings | |||||
言語 | en | |||||
著者 |
津曲, 紀宏
× 津曲, 紀宏 |
|||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||
資源タイプ | doctoral thesis | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
要約(Abstract) | ||||||
内容記述タイプ | Other | |||||
内容記述 | This thesis aims to provide a path to abstraction between probabilistic systems and non-probabilistic systems in order to put the verification methods for probabilistic systems into practical use. McIver et al have introduced a verification method for probabilistic systems using probabilistic Kleene algebras and their model of probabilistic systems. However it is difficult to put their method in practical use because their model of probabilistic systems still includes probabilistic components. Thus we have to find more abstract semantic domain excluded probabilistic components in order to enable their verification method to be put into practical use. This thesis offers multirelations -- extended binary relations -- as that abstract domain for probabilistic systems. And we generalize the model of probabilistic systems as probabilistic multirelations, then we consider probabilistic multirelations and non-probabilistic multirelations via an algebra called complete IL-semiring. Giving several Galois connections between them, we begin walking to abstraction for probabilistic systems. | |||||
言語 | en | |||||
要約(Abstract) | ||||||
内容記述タイプ | Other | |||||
内容記述 | 理工学研究科博士論文 (理学) ; 学位取得日: 平成24年3月23日 | |||||
言語 | ja | |||||
作成日 | ||||||
日付 | 2012-03-23 | |||||
日付タイプ | Issued | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
NDC | ||||||
主題Scheme | NDC | |||||
主題 | 410 | |||||
ファイル(説明) | ||||||
内容記述タイプ | Other | |||||
内容記述 | 学位論文の要旨, 学位論文本文 | |||||
言語 | ja | |||||
公開者・出版者 | ||||||
出版者 | 鹿児島大学 | |||||
言語 | ja | |||||
公開者・出版者 | ||||||
出版者 | Kagoshima University | |||||
言語 | en | |||||
備考 | ||||||
言語 | ja | |||||
値 | 【指導教員: 古澤仁准教授】 | |||||
学位記番号 | ||||||
値 | 理工研第364号 | |||||
学位名 | ||||||
言語 | ja | |||||
学位名 | 博士(理学) | |||||
学位名 | ||||||
言語 | en | |||||
学位名 | Doctor of Philosophy in Science | |||||
学位授与機関 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 17701 | |||||
言語 | ja | |||||
学位授与機関名 | 鹿児島大学 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2012-03-23 | |||||
学位授与番号 | ||||||
学位授与番号 | 甲理工研第364号 |