WEKO3
アイテム
Ａｍｂｉｅｎｔ Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築
https://kindai.repo.nii.ac.jp/records/18049
https://kindai.repo.nii.ac.jp/records/18049f91e7c0f-2a50-48c9-a084-a3a6c2a5e666
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
25330095seika.pdf (85.8 kB)
|
|
| Item type | 研究報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2016-10-17 | |||||
| タイトル | ||||||
| タイトル | Ａｍｂｉｅｎｔ Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築 | |||||
| タイトル | ||||||
| タイトル | Extension of the Ambient Calculus and Freight Management Systems based on it | |||||
| 言語 | en | |||||
| 著者 |
樋口, 昌宏
× 樋口, 昌宏 |
|||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 仕様記述 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | プロセス代数 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 時間制約 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | モデル検査 | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
| 資源タイプ | research report | |||||
| 著者(英) | ||||||
| 言語 | en | |||||
| 値 | HIGUCHI, Masahiro | |||||
| 著者 所属 | ||||||
| 値 | 近畿大学理工学部; 教授 | |||||
| 著者所属(翻訳) | ||||||
| 値 | Kindai University | |||||
| 著者 役割 | ||||||
| 値 | 研究代表者 | |||||
| 著者 外部リンク | ||||||
| 関連名称 | https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25330095/ | |||||
| 版 | ||||||
| 出版タイプ | NA | |||||
| 出版タイプResource | http://purl.org/coar/version/c_be7fb7dd8ff6fe43 | |||||
| 出版者 名前 | ||||||
| 出版者 | 近畿大学 | |||||
| 書誌情報 |
科学研究費助成事業研究成果報告書 (2015) p. 1-4, 発行日 2016 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 研究成果の概要（和文）：物流計画の記述に適用するためのAmbient Calculusの拡張として多重アンビアント計算(MAC)、混合型時間アンビアント計算(HTAC)を策定し、その応用として物流計画の記述スタイルの検討、モデル検査手法、物流監視システムの構築法について検討した。記述スタイルについてはHTACを対象にプロセス式が物流計画として妥当とみなせる条件を提示した。モデル検査手法についてはHTACを対象として、合同的性質を活用した検査の効率化手法を検討した。物流監視システムの構築についてはMACによる物流記述を対象にUHF帯RFID機器を利用した監視システムの構築および模擬的な監視実験により実現性を確認した。 研究成果の概要（英文）：We investigated the Multiple Ambient Calculus(MAC) and Hybrid Timed Ambient Calculus(HTAC) for specifying freight systems. We proposed a condition for HTAC formulae considered as freight specifications. We also proposed a model checking algorithm based on a congruence relation of HTAC formulae. For constructing freight management systems, we constructed a distributed freight management system based on MAC using UHF RFID devices and conducted a preliminary experiments. |
|||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 研究種目：基盤研究(C); 研究期間：2013～2015; 課題番号：25330095; 研究分野：総合領域; 科研費の分科・細目： | |||||
| 資源タイプ | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | Research Paper | |||||
| フォーマット | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | application/pdf | |||||
