公开(公告)号：CN117632137A

公开(公告)日：2024-03-01

申请号：CN202311629765.7

申请日：2023-11-30

Applicant: 东北大学

Inventor： 李福亮 ,  谢鹏 ,  张雨 ,  王兴伟

IPC: G06F8/41 ,  G06N3/0464 ,  G06N3/048 ,  G06F40/284 ,  G06F40/211 ,  G06N3/084

Abstract: 本发明提出基于意图驱动的带内网络遥测代码生成方法，包括获得原始带内网络遥测项目源代码；将带内网络遥测项目源代码的意图提炼为自然语言描述；通过文本数据增强进行数据增强，得到意图NL；设计带内网络遥测原语，得到代码PL，得到意图NL‑代码PL双模态语料，构建意图NL‑代码PL双模态语料库；将意图NL‑代码PL双模态语料库中的意图NL‑代码PL双模态语料连接到一个序列，用标识符标记代码中的信息，得到意图NL‑代码PL双模态数据库；在意图NL‑代码PL双模态数据库中进行标识符感知去噪训练和耦合训练，得到带内网络遥测代码生成模型；将带内网络遥测意图输入带内网络遥测代码生成模型中，得到带内网络遥测代码。本方法生成的带内网络遥测代码更准确。

公开(公告)号：CN116306940A

公开(公告)日：2023-06-23

申请号：CN202310122745.4

申请日：2023-02-16

Applicant: 东北大学

Inventor： 张天成 ,  张亦嘉 ,  谢鹏 ,  于明鹤 ,  于戈

IPC: G06N5/04 ,  G06N3/048 ,  G06F40/126

Abstract: 本发明提供一种基于BERT编码的数学应用题求解系统及方法，涉及应用求解技术领域。本系统包括编码模块、解码模块、监督模块以及微调模块。本方法使用MacBERT:作为中文题目的编码器，BERT作为英文题目的编码器；编码过程首先获取文本序列Q，并将文本序列Q映射成逐个字向量所构成的向量表示矩阵，对向量表示矩阵中各个字向量取平均得到文本序列的整体表示向量，使用树形解码器来生成表达式树；利用分类器捕捉导致生成错误表达式的题目表示，如果分类器输出结果为1，表示解码器生成的表达式与题目相对应，如果输出结果为0，则说明编码器生成的题目表示向量导致了错误表达式的生成，需要被进一步优化；对系统进行训练，从而实现数学应用题的求解。

公开(公告)号：CN116187437A

公开(公告)日：2023-05-30

申请号：CN202310122747.3

申请日：2023-02-16

Applicant: 东北大学

Inventor： 张天成 ,  张亦嘉 ,  谢鹏 ,  于明鹤 ,  于戈

IPC: G06N5/01 ,  G06N5/04 ,  G06N3/0455 ,  G06N3/042 ,  G06N3/048 ,  G06N3/0895 ,  G06F18/22 ,  G06F18/2433

Abstract: 本发明提供一种基于对比学习的数学应用题求解系统及方法，涉及应用求解技术领域。本发明系统包括：编码模块、解码模块、监督模块以及对比学习模块；通过使用使用编码器MacBert对中文应用题进行编码，使用编码器Bert对英文应用题进行编码；使用树形解码器SAU来生成表达式树，即生成每道题目所对应的数学表达式；利用分类器捕捉导致生成错误表达式的题目表示，如果分类器输出结果为1，表示解码器生成的表达式与题目相对应，如果输出结果为0，则说明编码器生成的题目表示向量导致了错误表达式的生成，需要被进一步优化；然后对系统进行训练，最终实现数学应用题的求解。