为了建造可靠和高性能计算机系统。本课题重点研究了布尔过程论,把系统的时间特性和逻辑行为结合起来。基于我们创新提出的新概念,给出了通路敏化的充分必要条件,引入了新的时滞模型。作为布尔过程的应用,找出了求VLSI最长可敏化通路的方法;给出CMOS芯片功耗上确界的估计;提出了动态电流测试方法。本课题还研究了带故障超立方体计算机的选径算法、模拟电路自校验器的设计及系统可用性的评估。发表论文46篇包括权威杂志1篇,SCI摘录1篇,ISTP4篇,EI17篇,专篇1本。负责人在国际会议上做特邀报告1次,被授予IEEE,Fellow,本课题培养硕士 生2名,博士生4名,其中一名被评为中科院院长奖学金优秀奖。
{{i.achievement_title}}
数据更新时间:2023-05-31
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
Image super-resolution based on sparse coding with multi-class dictionaries
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Numerical investigation on aerodynamic performance of a bionics flapping wing
基于Wiener核的非线性模拟电路多软故障诊断理论与方法研究
非线性模拟电路软故障诊断字典法的研究
非线性模拟集成电路的计算机符号分析及故障诊断
电路的性能模拟及其应用