Flux pumps are the kind of devices that can magnetize closed superconducting magnets in a gradual manner. High-T c Superconducting (HTS) flux pumps are particularly promising for high field applications, due to the fact that lossless HTS coils are unavailable. The physics of these devices is also attractive. In this paper, we propose a modeling methodology for a transformer-rectifier HTS flux pump switched by dynamic resistance. A finite element model is built in Comsol and solved by 2D H-formulation. The simulation result is verified by experimental data. The simulation will give a clear picture of how flux pumping occurs in the superconductor. It will show flux motion across a superconductor by shifting the electric central line, which is a unique nature of type-II superconductors. This work may be interesting in the understanding of magnetization of High-T c Superconductors. Recently, Campbell [22] proposed a finite element model to calculate flux pumping using 2D A-formulation. His result showed that flux pumping occurs under CSM, and field dependence of J c facilitates flux pumping. His result, however, did not show that flux pumping is associated with the dynamic resistance effect. In Ref. [23] and Ref. [24], modeling technique for dynamic resistance was proposed using T-formulation and H-formulation respectively. In this paper, we further these studies to show how dynamic resistance incurred flux pumping can be simulated using H-Formulation with finite element software. We will present a clear picture of how flux travel across a superconductor transporting no direct current.