PARAMETERIZING THE MIGRATORY BEHAVIOUR OF INSECTS Ⅱ. MODELS AND VERIFICATION