用户编制的程序与实际使用的物理设备无关是由_______功能实现的。