自主协作自适应机制研究及其形式化验证-猫眼课题宝

自主协作自适应机制研究及其形式化验证

批准号：

18H03229

负责人：

Tahara Yasuyuki

金额：

$11.07万

依托单位：

The University of Electro-Communications

依托单位国家：

日本

项目类别：

Grant-in-Aid for Scientific Research (B)

财政年份：

2018

资助国家：

日本

项目状态：

已结题

起止时间：

2018-04-01 至 2022-03-31

来源：

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

关键词：

自己適応システム IoT 自律協調システム形式検証セキュリティ・プライバシ

项目摘要

项目成果

Tahara Yasuyuki的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

Codewords Detection in Microblogs Focusing on Differences in Word Use Between Two Corpora

DOI： 10.1109/iccece49321.2020.9231109

发表时间： 2020-08

期刊：

2020 International Conference on Computing, Electronics & Communications Engineering (iCCECE)

影响因子： --

作者：

[Takuro Hada;Y. Sei;Yasuyuki Tahara;Akihiko Ohsuga]

通讯作者： Takuro Hada;Y. Sei;Yasuyuki Tahara;Akihiko Ohsuga

A Development Method for Safety Node-RED Systems using Discrete Controller Synthesis

使用离散控制器综合的安全 Node-RED 系统开发方法

DOI： --

发表时间： 2021

期刊：

影响因子： --

作者：

[Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, and Kenji Tei]

通讯作者： and Kenji Tei

Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring

基于区块链的应急路权流转合作激励体系

DOI： --

发表时间： 2021

期刊：

影响因子： --

作者：

[Yichen Ding, Jialong Li, Kenji Tei, and Shinichi Honiden]

通讯作者： and Shinichi Honiden

為替レート予測における機械学習システムのモニタリング手法の検討

汇率预测中机器学习系统监控方法的思考

DOI： --

发表时间： 2019

期刊：

影响因子： --

作者：

[Moe Hamamoto, Takashi Murakami, Hiroshi Sugimura, Masao Isshiki, 逢澤昌志，折原良平，清雄一，折原良平，大須賀昭彦, 小野川稜之，折原良平，清雄一，田原康之，大須賀昭彦, 小野川稜之，折原良平，清雄一，田原康之，大須賀昭彦, Hardinda Krishna Priawan，清雄一，田原康之，大須賀昭彦, 小野川稜之，清雄一，田原康之，折原良平，大須賀昭彦, 逢澤昌志，清雄一，田原康之，大須賀昭彦, 今井翔太，清雄一，田原康之，大須賀昭彦, 平野貴規，相澤和也，鄭顕志，鷲崎弘宜，本位田真一, 山内拓人，鄭顕志，鷲崎弘宜，本位田真一, 桑名賢吾，鄭顕志，半田隆信，柳井法貴，西面敦義，深澤良彰，本位田真一, 李家隆，相澤和也，鄭顕志，鷲崎弘宜，本位田真一, 中川博之, 青木善貴，小形真平，小林一樹，中川博之, 中川博之，小形真平，青木善貴，小林一樹, 東和幸，中川博之，土屋達弘, 石川公一，小形真平，中川博之，岡野浩三, 大池勇太郎，小形真平，青木善貴，中川博之，小林一樹，岡野浩三, 大池勇太郎，小形真平，青木善貴，中川博之，岡野浩三, 渋谷公寛，越前谷達朗，久保光寛，新田史弥，吉竹宏幸，石川冬樹，栗田太郎, 石川冬樹，今井健男，勝股審也，末永幸平，杉山麿人，関山太朗，蓮尾一郎，原聡，丸山宏，吉岡信和，鷲崎弘宜, 石川冬樹，徳本晋, 鴨志田亮太，石川冬樹, 北野健太，石川冬樹]

通讯作者：北野健太，石川冬樹

要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について

图查询在需求规范测试覆盖率分析中的应用

DOI： --

发表时间： 2021

期刊：

影响因子： --

作者：

[有若新悟, 中川博之, 土屋達弘]

通讯作者：土屋達弘