時相論理に基づく論理設計支援の研究

基于时序逻辑的逻辑设计支持研究

基本信息

  • 批准号:
    01790381
  • 负责人:
  • 金额:
    $ 0.64万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 财政年份:
    1989
  • 资助国家:
    日本
  • 起止时间:
    1989 至 无数据
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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 }}

中村 宏其他文献

キャッシュ電源遮断時の性能ペナルティ削減のための損失データプリフェッチ
丢失数据预取以减少缓存断电时的性能损失
トラクションコントロール実行:CMP向け実行制御方式の検討
牵引力控制执行:CMP执行控制方法研究
不揮発性メモリを用いたニューロチップに関する検討
使用非易失性存储器的神经芯片的研究
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    富井 潤 ;近藤 正章 ;中村 宏
  • 通讯作者:
    中村 宏
CMPにおけるリソース競合に着目した性能の解析とモデリング
侧重于 CMP 中资源争用的性能分析和建模
CMP向け動的電源電圧・周波数剃御手法
CMP的动态电源电压/频率调整方法
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    近藤 正章;中村 宏
  • 通讯作者:
    中村 宏

中村 宏的其他文献

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

{{ truncateString('中村 宏', 18)}}的其他基金

トラフィックの時空間特徴量に着目したDoS耐性IoTアーキテクチャの研究
关注流量时空特征的抗DoS物联网架构研究
  • 批准号:
    23K28051
  • 财政年份:
    2024
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
トラフィックの時空間特徴量に着目したDoS耐性IoTアーキテクチャの研究
关注流量时空特征的抗DoS物联网架构研究
  • 批准号:
    23H03361
  • 财政年份:
    2023
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Formulation of Teaching Methods and Development of Teaching Materials for Nursing Education in Online Education
在线教育中护理教育教学方法的制定及教材的开发
  • 批准号:
    21K10587
  • 财政年份:
    2021
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
故障率の変動を考慮した空間冗長度の時間畳み込みによるクラスタシステムの高信頼化
考虑故障率波动的空间冗余的时间卷积提高集群系统的可靠性
  • 批准号:
    18650010
  • 财政年份:
    2006
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
空間冗長度の時間畳み込みによるクラスタシステムの高信頼化
通过空间冗余的时间卷积提高集群系统的可靠性
  • 批准号:
    16650008
  • 财政年份:
    2004
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
脊髄損傷時の不可逆的神経変性を治癒過程に導くアポトーシス抑制療法の解明
阐明抗凋亡疗法可引导脊髓损伤过程中不可逆的神经变性至愈合过程
  • 批准号:
    11770792
  • 财政年份:
    1999
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
悪性腫瘍増殖に及ぼす体外循環の影響に関する実験的研究
体外循环对恶性肿瘤生长影响的实验研究
  • 批准号:
    10770667
  • 财政年份:
    1998
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
大規模科学技術計算を指向したプロセッサアーキテクチャの研究
大规模科学技术计算的处理器架构研究
  • 批准号:
    07780222
  • 财政年份:
    1995
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
大規模科学技術計算に適したプロセッサの処理方式に関する研究
适合大规模科学技术计算的处理器处理方法研究
  • 批准号:
    06780228
  • 财政年份:
    1994
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
レイアウト情報を用いた高性能プロセッサの方式レベル設計支援システムの開発
使用布局信息开发高性能处理器的方法级设计支持系统
  • 批准号:
    05780224
  • 财政年份:
    1993
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似国自然基金

车载中央计算平台软件框架及泊车功能研发与产业化应用
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
低空飞行器及其空域的设计与监管平台软件
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于金刚石高效散热封装的高功率高压GaN器件研发与产业化
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
新能源智能汽车高性能精密零部件装备研制与产业化
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
高效智能化超低风速风电机组关键技术及装备研制
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
绿氢制储加注关键技术与装备研发
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
复杂电子产品超精密加工及检测关键技术研究与应用
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
抗消化性溃疡新药研发
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于合成生物学的动物底盘品种优化及中试应用研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
1.1 类中药创新药“鱼酱排毒合剂”开发
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目

相似海外基金

An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
  • 批准号:
    2901954
  • 财政年份:
    2028
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
  • 批准号:
    2896097
  • 财政年份:
    2027
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
  • 批准号:
    2780268
  • 财政年份:
    2027
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
  • 批准号:
    2908918
  • 财政年份:
    2027
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
  • 批准号:
    2908693
  • 财政年份:
    2027
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
  • 批准号:
    2908917
  • 财政年份:
    2027
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
  • 批准号:
    2879438
  • 财政年份:
    2027
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
  • 批准号:
    2890513
  • 财政年份:
    2027
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
  • 批准号:
    2879865
  • 财政年份:
    2027
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号:
    2876993
  • 财政年份:
    2027
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Studentship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了