Research on autonomous cooperative self-adaptation mechanisms and formal verification of them

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

• 批准号: 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; 自律協調システム; 形式検証; セキュリティ・プライバシ

项目成果

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

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

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

• 发表时间: 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

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

• 发表时间: 2021
• 作者: Yichen Ding;Jialong Li;Kenji Tei;and Shinichi Honiden
• 通讯作者: and Shinichi Honiden

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

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

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

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

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

• 发表时间: 2021
• 作者: 有若新悟;中川博之;土屋達弘
• 通讯作者: 土屋達弘