异步轧制上界解法的成形功率泛函