{"created":"2023-06-20T16:47:55.039917+00:00","id":19693,"links":{},"metadata":{"_buckets":{"deposit":"4b2df6ab-2eae-4085-be2b-525ed76739cc"},"_deposit":{"created_by":3,"id":"19693","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"19693"},"status":"published"},"_oai":{"id":"oai:kindai.repo.nii.ac.jp:00019693","sets":["14:2667:4459"]},"author_link":["33433"],"item_8_biblio_info_21":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2018","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"4","bibliographicPageStart":"1","bibliographic_titles":[{"bibliographic_title":"科学研究費助成事業研究成果報告書 (2017)"}]}]},"item_8_description_33":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"研究成果の概要（和文）：海上コンテナ輸送では，気象や貨物量の急激な変化など様々な要因を考慮し，使用する船や中継港などは輸送中に動的に決定される．本研究では，このような動的な物流計画を対象とし，コンテナ取扱の妥当性を自動的に判定する監視システムを開発した．本システムは，プロセス代数の一種である多重Ambient Calculus(MAC)で物流計画全体をモデル化し，RFID機器を用いて捉えたコンテナの挙動とモデルを比較することで，コンテナ取扱の妥当性を判定するものである．さらに本研究では，MACにより表現されるモデルが，動的に変化する物流システムの所期の性質を満たすことを自動的に確認するモデル検査システムを開発した．\n研究成果の概要（英文）：The vessels and hub ports used in maritime logistics of container are dynamically determined depending on various factors such as weather condition or the sudden increase of amount of containers.Aiming supervising such dynamically changing freight plans, we have developed a freight management system that can not only monitor the handling of containers with RFID devices but  also comfirms the correctness of it by modeling whole the freight plans with Multiple Ambient Calculus(MAC) that is a kind of process algebra.We have also developed a model checking system that  confirms the model satisfies the properties expected to the freight plan that dynamically changes.","subitem_description_type":"Abstract"}]},"item_8_description_36":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"研究種目：基盤研究(C);  研究期間：2015～2017;   課題番号：15K00040;   研究分野：情報学;   科研費の分科・細目：","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-15K00040/"}]}]},"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":"KATO,Toru"}]},"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":[{"nameIdentifier":"33433","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"00330233","nameIdentifierScheme":"研究者番号","nameIdentifierURI":" "}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-11-20"}],"displaytype":"detail","filename":"15K00040seika.pdf","filesize":[{"value":"2.9 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"15K00040seika.pdf","url":"https://kindai.repo.nii.ac.jp/record/19693/files/15K00040seika.pdf"},"version_id":"0ed4fa9d-331c-45f3-bc8d-f0f517214d3f"}]},"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"},{"subitem_subject":"Ambient Calculus","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":"多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究"},{"subitem_title":"A Handling Management System for Freight with Multiple Ambient Calculus and RFID Devices","subitem_title_language":"en"}]},"item_type_id":"8","owner":"3","path":["4459"],"pubdate":{"attribute_name":"公開日","attribute_value":"2018-11-20"},"publish_date":"2018-11-20","publish_status":"0","recid":"19693","relation_version_is_last":true,"title":["多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2023-06-20T21:35:55.584640+00:00"}