计算机及模板管理方法
    11.
    发明公开

    公开(公告)号:CN110276236A

    公开(公告)日:2019-09-24

    申请号:CN201910113499.X

    申请日:2019-02-14

    Abstract: 一种计算机及模板管理方法,目的是对模板进行管理以免生成不需要的模板。一种对模板进行管理的计算机,将文件形式、模板、以及根据基于特征空间中的文件的位置的分类结果所生成的群建立对应而进行管理;在检测到被执行了识别处理的目标文件的模板的生成契机的情况下,基于特征空间中的目标文件的位置,判定是否存在能够属于的群,在判定为不存在能够属于的群的情况下,将目标文件的模板登记;生成与登记的模板对应的群,将目标文件的文件形式、登记的模板、生成的群建立对应而进行管理。

    计算机以及文件识别方法
    12.
    发明公开

    公开(公告)号:CN109753964A

    公开(公告)日:2019-05-14

    申请号:CN201810962608.0

    申请日:2018-08-22

    Abstract: 本发明涉及计算机以及文件识别方法,用于抑制业务上损失的产生且从文件中高精度地提取审查需要的字符串。提取任意审查对象的文件中包括的字符串即属性的计算机存储用于定义了属性类别的多个模板的模板信息,针对文件的图像数据执行字符识别处理,使用字符识别处理的结果以及多个模板来提取与属性的类别对应的属性,根据提取出的属性来选择模板,生成包括使用选择的模板提取出的属性且用于审查的输出信息,根据表示输出信息的可靠性的评价值与阈值的比较结果来决定在进行审查之前对输出信息进行的确认操作的类别,根据文件中包括的字符串来修正所决定的确认操作的类别。

    源代码等价性检查装置以及源代码等价性检查方法

    公开(公告)号:CN107533464A

    公开(公告)日:2018-01-02

    申请号:CN201580078612.5

    申请日:2015-04-28

    Abstract: 源代码等价性检查装置具有对变更前源代码和变更后源代码分别进行符号执行的符号执行计算部;使用符号执行计算部的符号执行结果,来生成变更前源代码与变更后源代码的等价性检查式的等价性检查式生成部;对由等价性检查式生成部生成的等价性检查式进行检查的等价性检查式检查部;在基于等价性检查式检查部的等价性检查式的检查结果为变更前源代码与变更后源代码非等价的情况下,生成用于使变更前源代码与变更后源代码等价的修正候选的修正候选生成部;以及使用基于等价性检查式检查部的检查结果和基于修正候选生成部的所述修正候选,来生成检查结果报告的检查结果生成部。

Patent Agency Ranking