下列解决IPv4地址空间短缺的技术中，哪个是通过地址转换来实现的？