-
公开(公告)号:CN116739052A
公开(公告)日:2023-09-12
申请号:CN202310710305.0
申请日:2023-06-15
Applicant: 厦门大学
IPC: G06N3/0464 , H04L9/40 , G06N3/048 , G06N3/092
Abstract: 本公开提供了一种针对网络任务应答信息的优化方法,包括:根据机器学习模型对网络任务的应答逻辑,确定关于应答逻辑的至少一个验证问题,其中网络任务包括网络拥塞控制任务、视频流速率控制任务和数据中心流调度任务,应答逻辑表征机器学习模型生成应答信息的原理;对验证问题进行编码,以将验证问题转换为第一可满足性模理论公式;由编码器对机器学习模型的网络结构进行编码,以获得多个第二可满足性模理论公式;调用规划器对第一可满足性模理论公式和第二可满足性模理论公式进行分析,生成用于表征机器学习模型的应答逻辑合理性的解释结论。本公开还提供一种针对网络任务应答信息的优化系统。