逻辑路径分析程序