积冰曰陵，壮冰曰冻，冰流曰澌，冰解曰泮（《初学记》七《御览》六十八）。