为了方便用户，Interent在IP地址的基础上提供了一种面向用户的字符型主机命名机制，叫做( )。