操作系统的定义是____。