procedural相关知识