摘要：为了实现集成电路内部电信号波形的非接触探测,设计了基于共光路干涉仪的探测光路,同时利用锁相放大技术噪声抑制能力强,灵敏度高的特点,提出了基于锁相放大的信号处理方法提取反射光中携带的微弱器件电光信号。该方法利用器件电光信号强度随器件电信号周期性变化的特点,首先将来自光电探测器的电信号进行锁相放大处理消除大部分噪声,然后再利用平均处理技术进一步抑制外界噪声干扰,提高器件电光信号的信噪比,从而将淹没在噪声中的器件电光信号提取出来,重建器件内部电学信息。利用该探测方法成功探测到芯片内部动态工作电流在μA量级的电路节点电光信号,信噪比达到4.99 dB,而仅使用平均处理技术得到的信号信噪比只有-44.29 dB。研究内容为集成电路内部电信号的光学探测提供了一种新的思路,未来可在集成电路动态缺陷检测领域得到应用。

摘要：本文着重研究了Jordan数字流形上的渐变填充,设计了紧缩渐变填充算法和分裂渐变填充算法;并证明:如果D是离散网格空间上的Jordan凸集,那么存在O(|D||D|)时间的紧缩算法去做渐变填充.最后,我们对Jordan正方形区域、三角域和圆盘,分别给出了它们各自的O(|D|log_2|D|)时间的分裂渐变填充算法.

摘要：本文提出了离散双线性价格改革最优控制模型.并证明为了保证人民生活水平,工资率的控制可用模型中的状态反馈器来实现.文中还给出了目标价格流形可达并稳定的充要条件,为工资率状态反馈器的参数设计提供了理论依据,也为因国民收入超分而导致的通货膨胀提供了理论说明.

摘要：大气中子诱发的单粒子效应(NSEE)危害机载电子设备的可靠性安全性,而其作用机理、传播机制与空间SEE有所不同,且缺乏系统级实验研究和具体分析技术。文章对比常规机载电子设备NSEE实验手段,鉴于激光技术具有可精确分辨SEE时空特性、能量连续可调、无放射性、无须抽真空、操作便捷、实验效率高、成本低等特点,探讨脉冲激光实验的阈值等效评估技术、器件敏感功能单元定位技术和故障注入技术;针对电源转换电路关键器件进行失效验证,快速获取了器件—电路—系统的故障特征,包括故障传递模式和阈值条件,为机载电子设备的系统级失效分析提供了有效输入,并期指导机载电子设备抗大气中子单粒子效应的研究、防护设计和验证评价。

摘要：针对装备大规模集成电路测试性验证与评估需求,突破传统方式的故障注入难、耗资耗时等限制,开展半侵入式装备激光探针故障注入技术研究及应用;首先,研究了装备传统物理故障注入技术,分析了脉冲激光瞬态故障注入方式的可行性及作用机理;然后,建立了脉冲激光瞬态故障注入的能量传输模型,提出了基于线性传输和体积传输的脉冲激光能量计算方法;最后进行了试验验证;试验表明,该方法成功实现了典型故障模式的准确复现,可精确定位芯片内薄弱部位以指导装备优化设计。

摘要：汽车电子软件是一类控制汽车机械和动力部件、实现各种汽车安全和舒适功能的高可靠实时嵌入式软件,其需求分析和设计方法是目前软件工程面临的重要挑战之一。本文主要研究汽车电子软件的需求表示方法,将原始需求划分为多个层次和视角,采用多种图形语言对系统的各个侧面进行表示,并揭示各个部分模型之间的关系,力图以可视化的方式形成问题空间的全景"蓝图"和局部可缩放视图。该方法的使用,有利于降低表示需求的复杂度,便于从需求模型到设计模型的平滑过渡。