有界量化