Measurement of ultracold neutrons produced by using Doppler-shifted Bragg reflection at a pulsed-neutron source