{"created":"2023-06-20T16:43:08.724745+00:00","id":13943,"links":{},"metadata":{"_buckets":{"deposit":"f43fe292-01bd-49ce-92ed-7130be8769a1"},"_deposit":{"created_by":3,"id":"13943","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"13943"},"status":"published"},"_oai":{"id":"oai:kindai.repo.nii.ac.jp:00013943","sets":["14:2667:2671:2672"]},"author_link":["3774"],"item_8_alternative_title_3":{"attribute_name":"その他（別言語等）のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"A Handling Management System for Freight with Process Algebra"}]},"item_8_biblio_info_21":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2013-01-01","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"4","bibliographicPageStart":"1","bibliographic_titles":[{"bibliographic_title":"科学研究費助成事業研究成果報告書 (2013. )"}]}]},"item_8_description_33":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"研究成果の概要(和文): 本研究では,物流システムに対する貨物の取扱いの形式的な監視を目的として, 物流システムをプロセス代数を用いてモデル化する方法の確立,及び貨物の移動が正しく行われているかを監視するシステムの開発を行った. モデル化のための記述方法の定式化においては, 既存のプロセス代数を拡張し, 物流システムのモデル化に特化した多重AmbientCalculusを提案した. これにより物流システムの持つ階層構造,並列性などが適切に表現できるようになった. さらに, 物流システムをモデル化した式と, UHF帯RFID機器を用いて検知した貨物の移動を対比させることにより取扱いの監視を行うシステムを構築した.              研究成果の概要(英文):  We have proposed a way of modeling freight system with a process algebra and constructed a handling management system for freights in order to establish a formal way to supervise how containers are treated during shipping. The Multiple Ambient Calculus(MAC) is a kind of process algebra which we have proposed to model fright systems for accurately describing nested structure and concurrency of fright systems. We also have constructed a handling management system that can supervise the treatment of containers by sensing movement of them using UHF RFID devices and comparing the movement to the model written in MAC recorded in RFID tags on the containers.","subitem_description_type":"Abstract"}]},"item_8_description_36":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"研究種目：基盤研究(C);  研究期間：2011～2013;   課題番号：23500104;   研究分野：総合領域;   科研費の分科・細目：情報学・計算機システム・ネットワーク","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/d/r/00330233.ja.html"}]}]},"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_version_type_12":{"attribute_name":"版","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"加藤,  暢"},{"creatorName":"カトウ, トオル","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"3774","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"00330233","nameIdentifierScheme":"研究者番号","nameIdentifierURI":" "}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-03-31"}],"displaytype":"detail","filename":"KAKEN_23500104seika.pdf","filesize":[{"value":"316.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"KAKEN_23500104seika.pdf","url":"https://kindai.repo.nii.ac.jp/record/13943/files/KAKEN_23500104seika.pdf"},"version_id":"1e062379-fe62-4171-b4ec-f1d47670209d"}]},"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":"物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究"}]},"item_type_id":"8","owner":"3","path":["2672"],"pubdate":{"attribute_name":"公開日","attribute_value":"2014-09-29"},"publish_date":"2014-09-29","publish_status":"0","recid":"13943","relation_version_is_last":true,"title":["物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-06-20T23:07:03.127410+00:00"}