Research 研究方向
团队目前有4个研究方向：网络验证、可编程网络、传输性能优化、可解释人工智能。可点击图标查看详细介绍。
NetVerify 网络验证
随着网络规模和复杂度的增加，特别是大规模训练集群的出现，传统依靠人为经验的网络运维已无法适用。网络验证基于形式化方法、大模型推理、仿真/模拟等多种方式，自动化的生成、验证、修复网络，实现网络的“完全自动驾驶”。网络验证已成为大型云厂商、运营商、互联网公司不可或缺的关键技术，具有极大研究和应用价值。
NetFun 可编程网络
可编程网络利用软件定义网络（SDN）等技术，对网络行为的灵活编程控制，动态调整网络资源和策略，可有效提高网络的灵活性，加速网络体系结构的演进步伐。
NetPerf 传输性能优化
网络传输性能优化旨在降低延迟、提高带宽利用率，并提升数据传输效率。通过流量管理、传输控制和智能调度等技术，减少拥塞和数据丢失，增强网络稳定性和响应速度。研究该领域有助于构建高效能网络，满足现代应用对高速通信的需求。
NetXAI 智能网络可解释性
自动驾驶网络作为未来网络演进的核心趋势，通过AI技术构建“自配置、自修复、自优化”的智能化网络体系。然而，AI的黑盒特性导致其决策过程缺乏可解释性，带来信任缺失与安全隐患。NetXAI通过可视化分析、特征归因及决策路径追踪等技术，深度解析自动驾驶网络的推理机制，从系统透明度、运行合规性及行为可追溯性维度，为智能网络的可靠部署与安全运行提供保障。