摘要
本发明公开了一种运筹优化建模增强方法,包括:基于运筹优化问题文本文件,构建包含约束间依赖关系及原始语义信息的结构化问题表征;依据结构化问题表征,通过构造并求解正反向问题对,执行逻辑一致性推演,生成正向建模结果及反向验证集;对正向建模结果进行多维度验证以识别潜在建模缺陷,并针对潜在建模缺陷生成结构化反例测试集;综合反向验证集与结构化反例测试集的测试表现,评估正向建模结果的可信度,生成最终优化模型及可信度评估报告。本发明能够提升自动生成模型的逻辑严谨性和可信度,并为模型提供量化的可靠性评估。
技术关键词
变量
强连通分量
逻辑
语义
执行增量
强度
搜索算法
符号
网络
策略
冗余度
数值
编辑
三元组
节点处
报告
关系
锚点
模式