ProE中evalgraph函数的应用