全域推演