mathprog相关知识