科研项目 AntQO for MWDS 在 Dual-Bound Search 框架的下界端引入轻量 Ant-Q 模块，收紧 MWDS 的 LB DiverseSAT 通过阈值编码寻找 $k$ 个差异最大化的 SAT 满足解 NLIP via MaxSAT 把非线性整数规划编码到加权 MaxSAT UNB-MT 在 DRF-MT 之上以 meta-type 维度差异化 dominant share 的扩展机制 MathRAG 检索增强的分步数学问题求解系统 应用项目 昆明咖啡外卖市场 三平台竞争格局下新入局商户的生存策略（美团 / 饿了么 / 京东秒送） 正念冥想 × 可穿戴 用 EEG 可穿戴设备量化正念冥想对大学生心理健康的干预效果 供应链最小费用流 用最小费用网络流做供需分配
