公开(公告)号：CN115599644A

公开(公告)日：2023-01-13

申请号：CN202211186902.X

申请日：2022-09-28

Applicant: 南京大学(CN)

Inventor： 王慧妍 ,  张灵毓 ,  许畅

IPC: G06F11/34 ,  G06F40/30

Abstract: 一种面向数据一致性维护的双粒度融合方法，该方法通过微观细粒度累积和宏观粗粒度并发相融合来又快又好地完成对数据一致性维护。一方面，为实现宏观并发最大化的检测决策，所述融合方法基于微观增量分析所保留的检测结果估计数据变动是否可能对其一致性造成破坏，从而在保证正确检测结果的前提下，实现两次检测之间数据尽可能地累积多次变动。另一方面，为实现数据一致性高效维护，所述融合方法提供了一种全新的检测语义，利用微观增量分析和宏观并发分析融合的方式来减少冗余计算和提高检测速度。此外，本发明还提供了并发最大化检测决策定理和增量并发混合检测定理以保证所述面向数据一致性高效维护的双粒度融合方法的正确性。

公开(公告)号：CN111986117A

公开(公告)日：2020-11-24

申请号：CN202010895936.0

申请日：2020-08-31

Applicant: 南京大学

Inventor： 殷亚凤 ,  张灵毓 ,  谢磊 ,  陆桑璐

IPC: G06T5/00 ,  G06T5/20 ,  G06T7/90 ,  G06N3/04 ,  G06K9/34

Abstract: 本发明公开了一种算术作业批改系统及方法，该系统包括：图像预处理和分割模块，字符识别模块以及计算验证模块；图像预处理和分割模块会对原始图片进行去噪、二值化等预处理然后将其分割为单个数字或符号；字符识别模块使用卷积神经网络对分割的单个字符进行识别；计算验证模块将识别出来的字符重组为算术并计算验证答案的正确性。本发明通过常见的智能手机等智能电子设备实现作业拍照识别，并能在本地运行完成算术作业的自动批改，适用于小学低年级数学计算作业的批改，帮助老师提高教学效率。