An Effective Error Diagnosis Technique Based on UNSAT cores and Its Application to Reduce Costs Needed for ECO's

基于UNSAT核心的有效错误诊断技术及其在降低ECO成本方面的应用

基本信息

  • 批准号：
    15K00078
  • 负责人：
    NUMA MASAHIRO
  • 金额：
    $ 2.83万
  • 依托单位：
    Kobe University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2015
  • 资助国家：
    日本
  • 起止时间：
    2015-04-01 至 2018-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
On component ratio of RECON spare cells for ECO-Friendly design style
浅谈RECON备用电池的ECO-Friendly设计风格的组成比例
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ayano Takezaki;Shogo Ohmura;Naoki Katayama;Tetsuya Hirose;Nobutaka Kuroki;Masahiro Numa;Ayano Takezaki;Takeshi Sawai
  • 通讯作者：
    Takeshi Sawai
An Error Diagnosis Technique Based on Unsatisfiable Cores to Extract Error Locations Sets
基于不可满足核提取错误位置集的错误诊断技术
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ayano Takezaki;Shogo Ohmura;Naoki Katayama;Tetsuya Hirose;Nobutaka Kuroki;Masahiro Numa
  • 通讯作者：
    Masahiro Numa
An error diagnosis technique based on averaged EPI values to extract error locations sets
一种基于平均 EPI 值提取错误位置集的错误诊断技术
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ayano Takezaki;Shogo Ohmura;Naoki Katayama;Tetsuya Hirose;Nobutaka Kuroki;Masahiro Numa;Ayano Takezaki
  • 通讯作者：
    Ayano Takezaki
A Hardware Architecture to Perform K-means Clustering for Learning-Based Super-Resolution Combining Self-Learning and Prior-Learning Dictionaries
一种结合自学习和先验字典的基于学习的超分辨率执行 K 均值聚类的硬件架构
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ayano Takezaki;Shogo Ohmura;Naoki Katayama;Tetsuya Hirose;Nobutaka Kuroki;Masahiro Numa;Ayano Takezaki;Takeshi Sawai;Daichi Murata
  • 通讯作者：
    Daichi Murata
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

NUMA MASAHIRO其他文献

NUMA MASAHIRO的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('NUMA MASAHIRO', 18)}}的其他基金

Reduction of Costs Needed for Engineering Change Orders Based on Error Diagnosis Technique and Incremental Sysnthsis Technique for ECO's
基于错误诊断技术和增量综合技术的 ECO 降低工程变更单所需的成本
  • 批准号：
    18K11215
  • 财政年份：
    2018
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
An Error Diagnosis Technique Combining BDD-based Approach and SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's
结合基于 BDD 的方法和 SAT 求解器的错误诊断技术及其在增量综合中的应用，以降低 ECO 所需的成本
  • 批准号：
    24500064
  • 财政年份：
    2012
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了