公开(公告)号：CN114186706B

公开(公告)日：2025-05-09

申请号：CN202010960803.7

申请日：2020-09-14

Applicant: 上海交通大学

Inventor： 王晓燕 ,  陆譞晟 ,  钟浩

IPC: G06Q10/04 ,  G06Q10/0631 ,  G06Q50/18 ,  G06Q50/26

Abstract: 本发明提供一种基于整数规划的法院案件均衡分配方法、系统及电子设备，所述法院案件均衡分配系统包括：法官能力评估模块，用于获取法官信息生成法官特征及其列表，并对法官的能力进行评估，获取法官的能力；案件难度评估模块，用于获取案件卷宗生成案件特征及其列表，并对案件的难度进行评估，获取案件的难度；规则模块，用于根据分案规则，生成分案约束条件；分案模块，用于根据法官的能力和案件难度确定目标函数，并生成满足约束条件和最优化所述目标函数的均衡分案结果；输出模块，用于根据输出需求输出对应的均衡分案结果。本发明结合随机分配案件和人工分配案件的优点，在满足指定分案规则的前提下生成满足均衡目标要求的案件分配方案。

公开(公告)号：CN117555577A

公开(公告)日：2024-02-13

申请号：CN202311632433.4

申请日：2023-11-30

Applicant: 上海交通大学

Inventor： 陈鸿浩 ,  钟浩

IPC: G06F8/658 ,  G06F11/36

Abstract: 本发明提供了一种参考相似项目补丁的缺陷检测方法及系统，利用一个软件项目的相似项目里修复的缺陷检测这个项目的缺陷。采用代码仓库数据挖掘的方法，通过分析相似项目中已发现的缺陷是否在当前项目中存在，从而检测出新的软件缺陷。该方法拓展了缺陷检测的信息来源，并可为缺陷修复提供参照。

公开(公告)号：CN112883196B

公开(公告)日：2022-08-16

申请号：CN202110138654.0

申请日：2021-02-01

Applicant: 上海交通大学

Inventor： 徐林 ,  王晓燕 ,  钟浩 ,  潘理

IPC: G06F16/36 ,  G06F16/34 ,  G06F16/35 ,  G06Q10/04 ,  G06Q10/06 ,  G06Q50/18

Abstract: 本发明提供一种基于知识图谱的案件分配方法、系统、介质及电子设备，所述法院案件均衡分配方法包括：获取分配案件所需的基本信息，并从所述基本信息中提取法官信息和案件信息；基于法官信息和案件信息构建知识图谱；所述知识图谱包含多个影响分案的节点和节点关系；基于所述知识图谱构建法官与案件的匹配度函数，并获取所述匹配度函数的最优解，基于所述最优解进行案件分配。本发明通过构建知识图谱，结合整数规划来进行法院中案件分配的优化，可视化的展示影响案件分配的要素之间的关系，提升法院的工作质量和工作效率，可以智能辅助引导数据处理人员更准确的提供法官和案件的主要信息，提升分案人员的分案公平性，分案效率。

公开(公告)号：CN112883196A

公开(公告)日：2021-06-01

申请号：CN202110138654.0

申请日：2021-02-01

Applicant: 上海交通大学

Inventor： 徐林 ,  王晓燕 ,  钟浩 ,  潘理

IPC: G06F16/36 ,  G06F16/34 ,  G06F16/35 ,  G06Q10/04 ,  G06Q10/06 ,  G06Q50/18

Abstract: 本发明提供一种基于知识图谱的案件分配方法、系统、介质及电子设备，所述法院案件均衡分配方法包括：获取分配案件所需的基本信息，并从所述基本信息中提取法官信息和案件信息；基于法官信息和案件信息构建知识图谱；所述知识图谱包含多个影响分案的节点和节点关系；基于所述知识图谱构建法官与案件的匹配度函数，并获取所述匹配度函数的最优解，基于所述最优解进行案件分配。本发明通过构建知识图谱，结合整数规划来进行法院中案件分配的优化，可视化的展示影响案件分配的要素之间的关系，提升法院的工作质量和工作效率，可以智能辅助引导数据处理人员更准确的提供法官和案件的主要信息，提升分案人员的分案公平性，分案效率。

公开(公告)号：CN115705290A

公开(公告)日：2023-02-17

申请号：CN202110916755.6

申请日：2021-08-11

Applicant: 上海交通大学

Inventor： 曾虎双 ,  沈备军 ,  陈雨亭 ,  钟浩

IPC: G06F11/36 ,  G06N5/01

Abstract: 一种基于库源码和客户源码挖掘的API误用检测方法，分别通过频繁子图挖掘算法挖掘客户代码中频繁出现的API使用模式作为API使用模式约束、通过收集库源码中每个目标API类及其父类的所有方法进行代码解析构建出抽象语法树，然后使用推导策略从中抽取出API库源码约束；再将两种约束表示成API使用图后进行约束合并和约束优化，并采用图匹配算法进行API误用检测，根据得到的候选API误用计算其误用可疑程度，实现API误用检测。本发明利用第三方库源码来挖掘到更全面和精确的API约束，有效解决来自客户代码的API约束缺乏全面性和充足信息的问题，显著提高API误用检测的召回率和精确度。

公开(公告)号：CN114186706A

公开(公告)日：2022-03-15

申请号：CN202010960803.7

申请日：2020-09-14

Applicant: 上海交通大学

Inventor： 王晓燕 ,  陆譞晟 ,  钟浩

IPC: G06Q10/04 ,  G06Q10/06 ,  G06Q50/18 ,  G06Q50/26

Abstract: 本发明提供一种基于整数规划的法院案件均衡分配方法、系统及电子设备，所述法院案件均衡分配系统包括：法官能力评估模块，用于获取法官信息生成法官特征及其列表，并对法官的能力进行评估，获取法官的能力；案件难度评估模块，用于获取案件卷宗生成案件特征及其列表，并对案件的难度进行评估，获取案件的难度；规则模块，用于根据分案规则，生成分案约束条件；分案模块，用于根据法官的能力和案件难度确定目标函数，并生成满足约束条件和最优化所述目标函数的均衡分案结果；输出模块，用于根据输出需求输出对应的均衡分案结果。本发明结合随机分配案件和人工分配案件的优点，在满足指定分案规则的前提下生成满足均衡目标要求的案件分配方案。