{"created":"2023-06-20T16:46:32.619513+00:00","id":18049,"links":{},"metadata":{"_buckets":{"deposit":"704908ff-afcc-4270-99b0-877219fe669c"},"_deposit":{"created_by":29,"id":"18049","owners":[29],"pid":{"revision_id":0,"type":"depid","value":"18049"},"status":"published"},"_oai":{"id":"oai:kindai.repo.nii.ac.jp:00018049","sets":["14:2667:4296"]},"author_link":["4188"],"item_8_biblio_info_21":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2016","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"4","bibliographicPageStart":"1","bibliographic_titles":[{"bibliographic_title":"科学研究費助成事業研究成果報告書 (2015)"}]}]},"item_8_description_33":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"研究成果の概要（和文）：物流計画の記述に適用するためのAmbient Calculusの拡張として多重アンビアント計算(MAC)、混合型時間アンビアント計算(HTAC)を策定し、その応用として物流計画の記述スタイルの検討、モデル検査手法、物流監視システムの構築法について検討した。記述スタイルについてはHTACを対象にプロセス式が物流計画として妥当とみなせる条件を提示した。モデル検査手法についてはHTACを対象として、合同的性質を活用した検査の効率化手法を検討した。物流監視システムの構築についてはMACによる物流記述を対象にUHF帯RFID機器を利用した監視システムの構築および模擬的な監視実験により実現性を確認した。\n研究成果の概要（英文）：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.","subitem_description_type":"Abstract"}]},"item_8_description_36":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"研究種目：基盤研究(C);  研究期間：2013～2015;   課題番号：25330095;   研究分野：総合領域;   科研費の分科・細目：","subitem_description_type":"Other"}]},"item_8_description_37":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"subitem_description":"Research Paper","subitem_description_type":"Other"}]},"item_8_description_41":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_8_publisher_14":{"attribute_name":"出版者 名前","attribute_value_mlt":[{"subitem_publisher":"近畿大学"}]},"item_8_relation_11":{"attribute_name":"著者 外部リンク","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25330095/"}]}]},"item_8_text_10":{"attribute_name":"著者 役割","attribute_value_mlt":[{"subitem_text_value":"研究代表者"}]},"item_8_text_7":{"attribute_name":"著者(英)","attribute_value_mlt":[{"subitem_text_language":"en","subitem_text_value":"HIGUCHI, Masahiro"}]},"item_8_text_8":{"attribute_name":"著者 所属","attribute_value_mlt":[{"subitem_text_value":"近畿大学理工学部; 教授"}]},"item_8_text_9":{"attribute_name":"著者所属(翻訳)","attribute_value_mlt":[{"subitem_text_value":"Kindai University"}]},"item_8_version_type_12":{"attribute_name":"版","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_be7fb7dd8ff6fe43","subitem_version_type":"NA"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"樋口, 昌宏"},{"creatorName":"ヒグチ, マサヒロ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-10-17"}],"displaytype":"detail","filename":"25330095seika.pdf","filesize":[{"value":"85.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"25330095seika.pdf","url":"https://kindai.repo.nii.ac.jp/record/18049/files/25330095seika.pdf"},"version_id":"ac7bb516-dec7-4837-a721-27d7e4d09ac4"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"仕様記述","subitem_subject_scheme":"Other"},{"subitem_subject":"プロセス代数","subitem_subject_scheme":"Other"},{"subitem_subject":"時間制約","subitem_subject_scheme":"Other"},{"subitem_subject":"モデル検査","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"research report","resourceuri":"http://purl.org/coar/resource_type/c_18ws"}]},"item_title":"Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築"},{"subitem_title":"Extension of the Ambient Calculus and Freight Management Systems based on it","subitem_title_language":"en"}]},"item_type_id":"8","owner":"29","path":["4296"],"pubdate":{"attribute_name":"公開日","attribute_value":"2016-10-17"},"publish_date":"2016-10-17","publish_status":"0","recid":"18049","relation_version_is_last":true,"title":["Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築"],"weko_creator_id":"29","weko_shared_id":-1},"updated":"2023-06-20T22:10:42.487819+00:00"}