时间：2026年5月9日（周六）14:00
地点：犀浦校区X30423
序号 | 学号 | 姓名 | 导师 | 专业 | 论文题目 | 答辩主席 | 答辩委员 | 答辩秘书 |
1 | 2023201551 | 郝晓萱 | 潘小东 | 数学 | 基于区间值图片模糊集的多属性决策方法 | 徐扬 | 陈树伟、韦洪雷、徐鹏、何星星 | 吴贯锋 |
2 | 2023201584 | 刘媛媛 | 陈树伟 | 数学 | 基于子句动态选择的自动定理证明器优化研究 | 徐扬 | 潘小东、韦洪雷、徐鹏、何星星 | 吴贯锋 |
3 | 2023201555 | 吴鑫 | 陈树伟 | 数学 | 基于强化学习的一阶逻辑定理证明器优化研究 | 徐扬 | 潘小东、韦洪雷、徐鹏、何星星 | 吴贯锋 |
4 | 2023201554 | 王盼盼 | 韦洪雷 | 数学 | 城市急救呼叫量预测与动态资源配置研究 | 徐扬 | 潘小东、陈树伟、徐鹏、何星星 | 吴贯锋 |
5 | 2023201585 | 覃鑫昊 | 韦洪雷 | 数学 | 基于EWSTL-Prophet与SHIET的时间序列预测与异常检测方法研究 | 徐扬 | 潘小东、陈树伟、徐鹏、何星星 | 吴贯锋 |
6 | 2023201550 | 潘兰 | 何星星 | 数学 | 基于逻辑规则约束的图神经网络 方法研究 | 徐扬 | 潘小东、陈树伟、徐鹏、韦洪雷 | 吴贯锋 |
7 | 2023201563 | 曾丹 | 何星星 | 数学 | 基于逻辑性质融合的自适应构图方法研究 | 徐扬 | 潘小东、陈树伟、徐鹏、韦洪雷 | 吴贯锋 |
欢迎广大师生莅临指导！