摘要：复杂场景下火工品微安保机构需具有可恢复与抗过载特性,为此,研究设计了基于激光加工的金属材质电热驱动微安保机构,采用有限元模拟分析了镍基微电热执行器动作特性,通过调整双热臂U型电热执行器热臂和冷臂的长度、宽度以及各臂之间的间隙,探究它们对输出位移的影响;通过正交实验得到优化的超快激光加工工艺参数分别为频率100 kHz、能量113μJ、切割速度100 mm·s^(-1),实现了镍基电热微安保机构的超快脉冲激光精确制造;最后,搭建了安保机构性能验证平台,验证了该机构在不同电流激励下的驱动位移与隔爆性能。结果表明,在8 A激励电流下,加工的镍基微安保机构驱动位移可达1084μm,所组装的火工品微安保机构在传爆序列中能够有效隔爆。

摘要：“微机原理”课程是大多数理工科高校学生的必修课程,当前“微机原理”教学常常被限制在x86指令集架构及其典型芯片的框架内,针对教学缺乏灵活性的问题,课程组在x86的基础上开发了一种模型微处理器,为了配合模型微处理器开展“微机原理”教学,通过设计并实现了一种模型微处理器的汇编器,具有源程序输入、编辑、汇编、调试及仿真等功能,可以顺利地将模型微处理器应用于“微机原理”教学中。通过教师的教学应用和学生上机编程练习,证明了模型机汇编器设计方案的有效性,极大地推动了“微机原理”课程教学改革的实施。

摘要：为降低常规蛇形小通道液冷冷板的热阻,提高其对流换热能力,在流道内引入了一种强化换热结构,设计了扰流蛇形小通道液冷冷板,并利用数值模拟方法对两者进行了比较分析。相比于常规蛇形小通道液冷冷板,新的流道设计能够显著降低冷板的总热阻和进、出口压降,降幅分别可达9.2%和66.7%。此外,冷板平均努赛尔数(Nusselt,Nu)提高了17.2%。对冷板内部流动和传热情况进行了详尽的数值分析,研究了扰流小通道的强化传热效果及其作用机理。

摘要：随着片元着色器的可编程能力不断提高和新型图元的出现,扫描转换必须加强多采样时的处理能力.经典的边方程扫描转换算法便于实现多采样,但采样点测试的计算量大并且存在冗余测试,为此提出一种自适应多采样扫描转换算法.该算法的多采样集中在"边界片元",并结合点采样和区域采样技术根据自适应细分规则细分边界片元进行采样点的测试;避免了边方程算法中进行采样点测试时的乘法运算,减少了采样点的冗余测试,提高了多采样时扫描转换的性能.实验结果表明,文中算法在较小代价下达到或接近有相同采样点数的超采样反走样能力.

摘要：提出了一种用于CMOS图像传感器的列并行单斜式ADC(analog-to-digital converter)回踢噪声自补偿方法,有效抑制了量化比较器对高精度共享斜坡的回踢与串扰。为了消除原始节点的回踢噪声,通过检测列级斜坡信号的突变来补偿列间共享斜坡信号线的串扰,阻断噪声在共享斜坡信号线上的传输。采用本文提出的方法,基于55 nm 1P4M CMOS工艺,完成了3072(H)×2560(V)CMOS图像传感器芯片的设计与实验,该传感器实现了12位精度的列并行数字量化。当同时翻转100到1000列时,在最坏的情况下,回踢噪声可以降低到1 LSB以下,并在不增加功耗和面积的情况下实现了自补偿。测量结果表明,该单斜式ADC工作频率为500 MHz,12位线性A/D转换的数字相关双采样行时间为4.6μs,DNL控制在±0.48 LSB以内,INL不大于±4 LSB,信噪比高达71 dB。重要的是,每列的功耗仅为24μW。

摘要：提出了一种双阈值电压的动态门限静态功耗优化算法。该算法通过直接统计电路门级节点的松弛裕度,利用静态时序分析其最大松弛裕度及邻节点松弛裕度特征,区分电路中的关键与非关键节点并分步调整其相应的阈值电压,从而有效地实现了对CMOS电路静态功耗的优化设计。基于ISCA85基准实验电路集,采用该技术和以往的算法进行了对比验证。结果表明,该算法在不降低静态功耗优化效率的同时,优化时间缩短了95%以上,适合于超大规模电路静态功耗优化。

摘要：分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度·

摘要：研究了一类具有随机时延和控制器增益扰动的非线性网络控制系统的非脆弱保性能控制问题。基于变采样周期的方法,将网络控制系统建模为非线性Markov跳变系统。利用Lyapunov稳定性理论,给出了保证整个闭环系统均方随机渐近稳定的充分条件。通过线性矩阵不等式的方法,设计了一种非脆弱状态反馈控制器,在该控制器的作用下,闭环系统的能量函数值不超过一个规定的上界。仿真算例说明了所提方法的有效性。

摘要：首先利用线性整数插值和降采样图像傅里叶变换原理,证明了文中方法的正确性;然后给出了亚像素配准过程,并对误差进行理论分析;最后通过多光谱图像和人工图像的配准对该方法进行实验验证.实验结果表明:文中方法具有亚像素级的配准精度.

摘要：为了克服时延和不确定参数对系统性能的影响,利用Lyapunov稳定性理论,设计了一种新的切换观测器和相应的切换控制器,给出了对任意切换规则和延迟周期数,都能保证整个闭环网络化切换系统稳定的充分条件。最后给出了求解切换观测器增益和切换控制器增益的锥补线性化方法,仿真实例说明了所提方法的有效性。