基于Android的移动端开发平台是一个以( )为基础的开源移动设备操作系统。