参数Kleene系统相关论文