课题基金 / 基金详情

A Handling Management System for Freight with Process Algebra

A Handling Management System for Freight with Process Algebra
具有过程代数的货运处理管理系统
批准号：
23500104
负责人：
KATO Toru
金额：
$2.66万
依托单位：
Kinki University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2011
资助国家：
日本
项目状态：
已结题
起止时间：
2011 至 2013
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23500104/
关键词：
サービス構築基盤技術物流システムプロセス代数モデル検査海上物流システムRFIDAmbient Calculus

项目摘要

项目成果

KATO Toru的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags
使用环境微积分和 UHF RFID 标签的货运处理管理系统
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [加藤暢, 樋口昌宏]
通讯作者： 樋口昌宏
多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査
使用弱仿拟等价进行模型检查，使用多个环境微积分进行物流描述
DOI： --
发表时间： 2012
期刊： 情報処理学会論文誌 : プログラミング
影响因子： --
作者： [樋口昌宏, 森田哲平, 加藤暢]
通讯作者： 加藤暢
多重Ambient Calculus を用いた物流監視システムの構築に関する研究
利用多种环境微积分构建物流监控系统的研究
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [橋本隆弘, 加藤 暢, 樋口昌宏]
通讯作者： 樋口昌宏
多重Ambient Calculusを用いた物流監視システムの構築に関する研究
多重环境微积分构建物流监控系统研究
DOI： --
发表时间：
期刊：
影响因子： --
作者： [笠間勇輝, 宮崎敏明, 橋本隆弘，加藤　暢，樋口昌宏]
通讯作者： 橋本隆弘，加藤　暢，樋口昌宏
共 9 条
    Fundamental study on sheet forging joining with flat function in dissimilar metal plate
    • 批准号：
      15K05740
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.16万
    • 财政年份：
      2015
    • 负责人：
      KATO Toru
    • 依托单位：
      Ishikawa National College of Technology
    A Handling Management System for Freight with Multiple Ambient Calculus and RFID Devices
    • 批准号：
      15K00040
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.75万
    • 财政年份：
      2015
    • 负责人：
      KATO Toru
    • 依托单位：
      Kindai University
    Fundamental researches of the joining strength mechanism research of the clinch joining to enable lightweighting structure
    • 批准号：
      24560174
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.33万
    • 财政年份：
      2012
    • 负责人：
      KATO Toru
    • 依托单位：
      Ishikawa National College of Technology
    Origin of Sangaku Performance and Study of its Influence in Various Drama, Performing Arts and Popular Rituals in China
    海外基金