別名は渭津城ともいう。