专利交易市场

本发明公开了一种基于seq2seq语言模型的文字识别方法及系统，其方法步骤：获取将要识别的含有文字信息的图片；对输入的图片进行图像分割、图像二值化和角度矫正预处理，去除图片中的干扰信息；将图片输入到融合文字识别模型和seq2seq语言模型的文字识别方法中，得到图片中的文字信息。本发明有益效果：本发明通过使用CRNN文字识别模型和seq2seq语言模型相融合，获取了文字的视觉特征和语言特征，并将得到的特征和结果进行融合迭代，从而逐步获取更具有鲁棒性的识别结果，提高了文字识别尤其是在部分文字被遮挡时的正确率。

本发明公开了一种基于二分裂变的差分隐私直方图发布方法、系统及设备，方法包括隐私预算划分，中间直方图生成，直方图排序，二分裂变划分直方图，分组求均值，生成差分隐私直方图和直方图发布等步骤；本发明针对现有直方图发布技术可用性不高的问题，提升了分组划分阶段的准确性，进而提高了发布数据的可用性并提升了发布效率，可保证在对数据去隐私化的同时，降低发布数据误差；使得整个直方图发布过程更加安全、高效。

本发明提供了一种基于Go语言可执行形式化语义的程序漏洞分析方法，包括：(1)对GO语言的官方给出的拓展巴克斯范式进行研究，并结合K框架可支持的BNF语法格式，提出把GO[EBNF]转化为一般巴克斯范式的方法，得到了GO[BNF]；(2)依据GO[BNF]和Go语言的特点，应用K框架，基于重写逻辑，定义Go语言的可执行语义GO[KS]；(3)采用基于测试用例的方法分析GO[KS]的正确性，分别在K框架和IntelliJ IDEA工具中单个执行测试用例，通过比较每个测试用例的结果的一致性来分析语义的正确性；(4)基于K框架，应用GO[KS]，查找Go程序漏洞。本发明提高了Go语言语义的完整性，并实现了对程序漏洞的分析。