自发性高血压SHR大鼠属于（）动物模型。