课题基金 / 基金详情

Extension of the Ambient Calculus and Freight Management Systems based on it

Extension of the Ambient Calculus and Freight Management Systems based on it
环境演算的扩展和基于它的货运管理系统
批准号：
25330095
负责人：
HIGUCHI Masahiro
金额：
$1.33万
依托单位：
Kinki University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25330095/
关键词：
仕様記述プロセス代数時間制約モデル検査物流監視時間的性質

项目摘要

项目成果

HIGUCHI Masahiro的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
多重Ambient Calculus を用いた海上物流監視システムのための動的経路設定機能
使用多种环境微积分的海上物流监控系统的动态路线设置功能
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [宮井亜人夢, 加藤暢, 樋口昌宏, 大山博史]
通讯作者： 大山博史
混合型時間アンビアント計算のCTLモデル検査
用于混合时间环境计算的 CTL 模型检查
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [樋口昌宏, 稲森啓太]
通讯作者： 稲森啓太
多重Ambient Calculus と UHF 帯 RFID 機器を用いた海上物流監視システム
使用多个Ambient Calculus和UHF频段RFID设备的海上物流监控系统
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [橋本隆弘, 加藤 暢, 樋口昌宏]
通讯作者： 樋口昌宏
多重Ambient Calculusを用いた物流監視システムの実証実験
使用多种环境微积分的物流监控系统演示实验
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [宮井亜人夢, 加藤暢, 樋口昌宏]
通讯作者： 樋口昌宏
共 7 条
    Structural Regulation of Assemblies Composed of Peptide Coated Gold Nanoparticles and Their Applications for Photoelectric Devices
    • 批准号：
      24510137
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.58万
    • 财政年份：
      2012
    • 负责人：
      HIGUCHI Masahiro
    • 依托单位：
      Nagoya Institute of Technology
    Development of impact absorbers filled with gradient foams having high Poisson effect
    • 批准号：
      24760076
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.91万
    • 财政年份：
      2012
    • 负责人：
      HIGUCHI Masahiro
    • 依托单位：
      Kanazawa University
    Development of hybrid functionally-graded polymeric materials and their application on energy absorbers in terms of inhomogeneous deformation
    • 批准号：
      22760075
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.66万
    • 财政年份：
      2010
    • 负责人：
      HIGUCHI Masahiro
    • 依托单位：
      Toyohashi University of Technology
    Timed Extension of the Ambient Calculus and its Application for Freight System Specifications
    • 批准号：
      22500040
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.25万
    • 财政年份：
      2010
    • 负责人：
      HIGUCHI Masahiro
    • 依托单位：
      Kinki University
    海外基金