Automatic Calculation Method of Satellite Communication Load Redundancy Optimization Scheme Based on Shortest Path Query and Minimum Spanning Tree Method | IEEE Conference Publication | IEEE Xplore