在Linux系统下，用于终止某一进程执行的命令是( )。