提出一种用于DC/DC变换器的数字自适应电压定位(Adaptive Voltage Position,简称AVP)控制器,与一般的控制器相比,它能让变换器使用更小的输出电容,因此可有效降低成本。控制器用现场可编程门阵列(FieldProgrammable Gate Array,简称FPGA...
详细信息
提出一种用于DC/DC变换器的数字自适应电压定位(Adaptive Voltage Position,简称AVP)控制器,与一般的控制器相比,它能让变换器使用更小的输出电容,因此可有效降低成本。控制器用现场可编程门阵列(FieldProgrammable Gate Array,简称FPGA)实现。变换器的开关频率为1MHz,输入电压为12V,输出电压可调节范围为0.875~1.875V。当负载在0.2~10A之间突变时,输出电压的变化为40mV。实验结果证明了设计的正确性。
提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation)。与传统的一元子句推导技术相比,文中的方法通过在一元子句推导过程中添加对称的蕴涵关系从而能够推导出更多的一元子句。基于这项新技术实...
详细信息
提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation)。与传统的一元子句推导技术相比,文中的方法通过在一元子句推导过程中添加对称的蕴涵关系从而能够推导出更多的一元子句。基于这项新技术实现了一个可满足性问题(SAT)预处理器Snowball。实验结果验证了该项技术的有效性,表明该预处理器Snowball能够有效地化简SAT问题的规模并减少解决SAT问题的时间。
暂无评论