为了使IP地址便于用户的使用和记忆，互联网建立了一种字符主机命名机制，即（）。