T-Nb_(2)O_(5)/rGO纤维的成型探索及其电化学性能的研究

由于金属氧化物电导率较低影响到材料整体的电化学性能。因此,本文采用五氧化二铌作为电极材料,将其与石墨烯分别通过湿法纺丝和受限水热法进行复合,制备了具有不同结构的五氧化二铌复合石墨烯纤维,结果表明经过受限水热制备的五氧化二铌复合石墨烯纤维具有良好的电化学性能,在1 A/g的电流密度下经过1000次充放电循环,仍有32.5 mAh/g的容量,容量保持率为73.9%,为获得具有良好电化学性能的金属氧化物复合氧化石墨烯纤维提供了新的思路。

形式化验证在加速动态仿真过程中的应用

阐述在验证芯片复杂场景的过程中,往往会由于激励的仿真时间过长或随机化程度不够,从而丢失掉部分的边界情况。形式化验证是一种通过数学的方式来对待测设计进行验证的方法,可以对模块的接口信号进行遍历,从而覆盖其约束范围内所有场景。通过形式化属性验证,对SoC中的轮询仲裁器模块进行验证,通过其得到的违例结果,反向指导SoC制造相应的激励,缩短了寻找边界场景的时间,大大提高了验证效率。