测试向量最大压缩技术

描述了基于可满足性的测试向量压缩的整数线性规划（ILP）模型,求解整数线性规划采用0－1加法算法。由ISCAS85标准电路实验结果的比较说明,这种压缩测试向量的方法非常有效。     

三相单级高功率因数软开关AC/DC变换器

采用伪相移式全桥零电压零电流(PPS-FB-ZVZCS)变换器完成三相功率因数校正(PFC)和输出电压调节双重功能,并能有效抑制直流母线电压。本文对其进行了理论分析、关键参数计算、计算机仿真和实验室样机实验验证。实验表明,其最大输出功率为10kW,功率因数达到0.99,轻载时直流母线电压小于800V。