文書・図像類

Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築

Icons representing 文書・図像類

Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築

Material type
文書・図像類
Author
樋口, 昌宏
Publisher
近畿大学
Publication date
2016
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General)：

研究種目：基盤研究(C); 研究期間：2013～2015; 課題番号：25330095; 研究分野：総合領域; 科研費の分科・細目：Research Paperapplication/pdf

Related materials as well as pre- and post-revision versions

https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25330095/

Detailed bibliographic record

Summary, etc.：

研究成果の概要（和文）：物流計画の記述に適用するためのAmbient Calculusの拡張として多重アンビアント計算(MAC)、混合型時間アンビアント計算(HTAC)を策定し、その応用として物流計画の記述スタイルの検討、モデル検査手法、物流監視システムの構築法について検討した。記述スタイルについて...

Search by Bookstore

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • Kindai University Academic Resource Repository

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
    Kindai University Academic Resource Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
文書・図像類
Title
Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築
Author/Editor
樋口, 昌宏
Author Heading
樋口, 昌宏
Publication, Distribution, etc.
近畿大学
Publication Date
2016
Publication Date (W3CDTF)
2016
Alternative Title
Extension of the Ambient Calculus and Freight Management Systems based on it
Periodical title
科学研究費助成事業研究成果報告書 (2015)
Pages
1-4