股融通配资,线下配资平台,线上股票配资炒股,10大配资公司

針對上述局限性，本項目提出了一種控制平面快速高效仿真驗證技術，既具有高計算效率與高可調試性，又支持不確定情況的高效驗證。該技術基于路由代數與抽象解釋，對分布式網絡的大量復雜細節進行精確壓縮與抽象，從而實現準確高效的控制平面全量模擬，并使得生成的數據平面能夠支持對不確定性情況的高效驗證，提高控制平面驗證效率。 

本項目基于Batfish開源社區進行了原型實現與測試，在公開的多個大規模網絡數據集上進行的實驗結果表明，與目前最先進的控制平面仿真驗證技術相比，該原型系統將平均仿真時間縮短了1-2個數量級。