@techreport{oai:kindai.repo.nii.ac.jp:00018049,
 author = {樋口, 昌宏},
 month = {},
 note = {研究成果の概要（和文）：物流計画の記述に適用するための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., 研究種目：基盤研究(C);  研究期間：2013～2015;   課題番号：25330095;   研究分野：総合領域;   科研費の分科・細目：, application/pdf},
 title = {Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築},
 year = {2016},
 yomi = {ヒグチ, マサヒロ}
}