过程系统工程是在系统工程、化学工程、运筹学及计算机技术等学科的基础上产生和发展起来的新兴交叉学科。数值计算因能高效地处理大规模、非线性系统，已成为处理过程模拟、过程优化及过程设计等各种过程系统工程问题的方法基础，但因存在计算误差的迭代累积，数值计算只能得到局部近似解，求解结果严重依赖于算法性能和初值选择，收敛性和可靠性无法保障，且对于含有不确定参数的过程模拟与优化设计问题，数值计算无法获取解析化结果。本项目针对传统数值计算的局限性，创新性地提出融合符号计算的过程系统工程研究方法，从符号计算的角度出发，以过程模型的三角化重构思想为基础，研究模拟分析、全局优化和操作设计的新方法和新策略，并以典型的过程单元为对象，开发基于符号计算的参数化模拟分析与优化设计集成平台。本项目将符号计算与各种工程计算问题相结合，有望为过程系统工程的进一步发展提供新的研究思路，同时为流程工业生产的技术发展提供新的动力。

Process Systems Engineering (PSE) is a cross-discipline of Systems Engineering, Chemical Engineering, Operations Research and Computer Science. Efficient numerical computation has been the key to deal with process simulation, optimization and design during the past decades. On the other hand, however, numerical computation also faces the difficulties in the accumulation of computational errors, heavy rely on good initializations, easy to be trapped into local minimum, etc. Moreover, the numerical computation method cannot deduce analytical results for process simulation and optimization with uncertain parameters. This project presents a symbolic computation based research strategy for PSE. With model triangularization as a key technique, novel ideas with symbolic computation are proposed for simulation analysis, global optimization and operational design in this project. Applied to several typical unit operations, an integration platform for parametric simulation analysis and optimization will also be developed. The creative introduction of symbolic computation into engineering computation may broaden the PSE research, which may further provide new techniques to industrial advance.