课题基金 / 基金详情

Wireless sensor network featuring a self-healing mechanism and a dedicated formal verification mechanism to verify its behavior

Wireless sensor network featuring a self-healing mechanism and a dedicated formal verification mechanism to verify its behavior
无线传感器网络具有自愈机制和专用的形式验证机制来验证其行为
批准号：
15K00133
负责人：
Miyazaki Toshiaki
金额：
$3.0万
依托单位：
The University of Aizu
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00133/
关键词：
センサネットワーク形式検証自己修復プログラマブルCSPOTAP形式的検証センサーネットワーク

项目摘要

项目成果

Miyazaki Toshiaki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
C言語で記述した無線センサネットワーク動作の形式検証法の提案
提出一种用C语言编写的无线传感器网络操作形式化验证方法
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [A. Ikeda, N. Akiyama, T. Miyazaki, 秋山直輝，池田愛大，宮崎敏明]
通讯作者： 秋山直輝，池田愛大，宮崎敏明
無線センサネットワークにおけるデッドロック検出のための形式手法
无线传感器网络中死锁检测的形式化方法
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [A. Ikeda, N. Akiyama, T. Miyazaki, 秋山直輝，池田愛大，宮崎敏明, 野口拓，林直秀, 池田愛大，秋山直輝，宮崎敏明]
通讯作者： 池田愛大，秋山直輝，宮崎敏明
Formal Approach to Produce Verified Programs for Wireless Sensor Node
为无线传感器节点生成经过验证的程序的正式方法
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [Toshiaki Miyazaki, Naoki Akiyama]
通讯作者： Naoki Akiyama
Demand-Addressable Sensor Network: Toward Large-Scale Active Information Acquisition
DOI： 10.1109/jsen.2016.2575846
发表时间： 2016-06
期刊： IEEE Sensors Journal
影响因子： 4.3
作者： [T. Miyazaki;N. Suematsu;D. Baba;Peng Li;Song Guo;J. Kitamichi;Takafumi Hayashi;T. Tsukahara]
通讯作者： T. Miyazaki;N. Suematsu;D. Baba;Peng Li;Song Guo;J. Kitamichi;Takafumi Hayashi;T. Tsukahara
共 7 条
    Elucidation of tumor microenvironmental via expression of TDO in liver metastasis of colorectal cancer and its clinical application
    • 批准号：
      16K10560
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.08万
    • 财政年份：
      2016
    • 负责人：
      Miyazaki Toshiaki
    • 依托单位：
      National Cancer Center Japan
    The relationship between microenvironment and tumor growth mechanism regulated by EBAG9 in urological cancer and the application to clinical
    海外基金