判断程序是否存在