High-Quality Deep Learning Systems via Tracability Exploration between Requirements and Implementation

通过需求和实现之间的可追溯性探索来构建高质量的深度学习系统

基本信息

  • 批准号:
    21H03420
  • 负责人:
  • 金额:
    $ 10.82万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
  • 财政年份:
    2021
  • 资助国家:
    日本
  • 起止时间:
    2021-04-01 至 2025-03-31
  • 项目状态:
    未结题

项目摘要

本研究では,深層学習で用いるDeep Neural Network(以後DNN)において要求の一部分と実装の一部分を対応づけるトレーサビリティーを実現する技術に取り組んでいる.特に,DNNの内部挙動を分析することにより,このトレーサビリティーを実現するアプローチを採っている.二年目となる2022年度においては,まず,全体産業界との議論を通し,社会実装において求められるDNNの修正パターンを明らかにした.次に,その修正パターンを踏まえ,望ましくない誤りの原因となっているDNN内の構成要素を分析する手法および,修正する手法に取り組んだ.これにより,重要な対象に対する誤り率の増加を抑えることを重視する手法や,複数種類の誤りに対してそれらのトレードオフを追求する手法を中心に,DNNの分析・修正に関する知見を得ることができた.
In this study, deep learning is applied to Deep Neural Network (DNN). The internal motion of DNN is analyzed. In the second year of 2022, the whole industry and the discussion will be communicated, and the social environment will be improved. Second, the correction method is used to analyze the constituent elements of DNN. The analysis of DNN and the analysis of DNN and DNN are important to the improvement of DNN and DNN.

项目成果

期刊论文数量(5)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
What to Blame? On the Granularity of Fault Localization for Deep Neural Networks
应该责怪什么?
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Matias Duran;Xiao-Yi Zhang;Paolo Arcaini;Fuyuki Ishikawa
  • 通讯作者:
    Fuyuki Ishikawa
An Experience Report on Regression-Free Repair of Deep Neural Network Model
深度神经网络模型无回归修复经验报告
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Takao Nakagawa;Susumu Tokumoto;Shogo Tokui;Fuyuki Ishikawa
  • 通讯作者:
    Fuyuki Ishikawa
Model-based Data-Complexity Estimator for Deep Learning Systems
用于深度学习系统的基于模型的数据复杂性估计器
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yuta Ojima;Shingo Horiuchi;Fuyuki Ishikawa
  • 通讯作者:
    Fuyuki Ishikawa
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History
Distributed Repair of Deep Neural Networks
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

石川 冬樹其他文献

Heuristic Search with Java PathFinder Using Cutoff Policy
使用截止策略通过 Java PathFinder 进行启发式搜索
  • DOI:
    10.11309/jssst.30.3_109
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    前岡 淳;田辺 良則;石川 冬樹
  • 通讯作者:
    石川 冬樹
機械学習工学
机器学习工程
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    石川 冬樹;丸山 宏;柿沼 太一;竹内 広宜;土橋 昌;中川 裕志;原 聡;堀内 新吾;鷲崎 弘宜
  • 通讯作者:
    鷲崎 弘宜
Continuous Argument Engineering: 機械学習システムにおける議論モデルの活用に向けて:
连续论证工程:在机器学习系统中利用论证模型:
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    石川 冬樹;松野 裕
  • 通讯作者:
    松野 裕
Archpoint and Archmapping - Bidirectional Traceability between Design and Code -
Archpoint 和 Archmapping - 设计和代码之间的双向可追溯性 -
  • DOI:
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    前岡 淳;田辺 良則;石川 冬樹;Naoyasu Ubayashi;Naoyasu Ubayashi
  • 通讯作者:
    Naoyasu Ubayashi
Implementation and Evaluation of a Tool to Support the Development of a Domain-Specific Modeling Environment for Enumeration Based on View Patterns
支持开发基于视图模式的枚举的特定领域建模环境的工具的实现和评估

石川 冬樹的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('石川 冬樹', 18)}}的其他基金

要求と実装のトレーサビリティー追求による深層学習システムの高品質化
通过追求需求和实施的可追溯性来提高深度学习系统的质量
  • 批准号:
    23K21657
  • 财政年份:
    2024
  • 资助金额:
    $ 10.82万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Controlled Adaptation across Ubiquitous Heterogeneous Platforms
跨无处不在的异构平台的受控适应
  • 批准号:
    16F16805
  • 财政年份:
    2016
  • 资助金额:
    $ 10.82万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
サービス合成において契約間の整合性を検証,実現するツールに関する研究
服务组合中契约一致性验证与实现工具研究
  • 批准号:
    19800059
  • 财政年份:
    2007
  • 资助金额:
    $ 10.82万
  • 项目类别:
    Grant-in-Aid for Young Scientists (Start-up)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了