8月16日消息,国家知识产权局信息显示,大连理工大学、信华信技术股份有限公司申请一项名为“一种验证增强代码与原始代码功能等价性的过滤方法”的专利。申请公布号为CN122570302A,申请号为CN202610838343.8,申请公布日期为2026年8月14日,申请日期为2026年6月11日,发明人江贺、马依帆、林浩、周志德、任志磊、李晓晨、贾昂、孙伟宏、白亮、徐禹尧、吕鹏、袁成新、蔡昌禹,专利代理机构大连鸿文知识产权代理有限公司,专利代理师潘迅,分类号G06F11/3604、G06F8/41、G06F18/22。
专利摘要显示,本发明属于智能软件工程领域,尤其涉及一种验证增强代码与原始代码功能等价性的过滤方法。可验证用于构建高质量代码大模型的训练语料增强前后等价性,以辅助高效自动化扩充训练语料数据集规模,进而提高大语言模型在垂直领域的性能。本发明提出“先质量过滤‑再静态结构比对‑后动态行为验证”的三级流水线方法,通过质量预筛剔除低质样本显著降低后续计算开销,基于作用域感知的AST规范化与GumTree差异度量快速锁定近似等价代码,最后以统一扩充的测试用例进行动态交叉验证确保输出、返回值与副作用完全一致,实现了兼顾精度与效率的等价性判定,为代码大模型提供高可信的等价样本。
天眼查数据显示,信华信技术股份有限公司成立日期1996年5月23日,法定代表人刘军,所属行业为计算机、通信和其他电子设备制造业,企业规模为大型,注册资本34969.8655万人民币,实缴资本34969.8655万人民币,注册地址为辽宁省大连高新技术产业园区黄浦路977号。信华信技术股份有限公司共对外投资了18家企业,参与招投标项目1673次,财产线索方面有商标信息52条,专利信息51条,拥有行政许可54个。
信华信技术股份有限公司近期专利情况如下:
| 序号 | 专利名称 | 专利类型 | 法律状态 | 申请号 | 申请日期 | 公开(公告)号 | 公开(公告)日期 | 发明人 |
|---|---|---|---|---|---|---|---|---|
| 1 | 一种验证增强代码与原始代码功能等价性的过滤方法 | 发明专利 | 公布 | CN202610838343.8 | 2026-06-11 | CN122570302A | 2026-08-14 | 江贺、马依帆、林浩、周志德、任志磊、李晓晨、贾昂、孙伟宏、白亮、徐禹尧、吕鹏、袁成新、蔡昌禹 |
| 2 | 一种基于无人机姿态与三维地理数据的视频动态贴合系统 | 发明专利 | 实质审查的生效、公布 | CN202610335762.X | 2026-03-19 | CN122248142A | 2026-06-19 | 孙伟宏、张庆、李永强、张磊、张雪梅 |
| 3 | 一种低空摄影测量中像素与地理经纬度实时转换方法 | 发明专利 | 实质审查的生效、公布 | CN202610313658.0 | 2026-03-16 | CN122265393A | 2026-06-23 | 孙伟宏、张庆、李永强、张磊、张雪梅 |
| 4 | 一种用于垂直领域业务理解的知识增强大模型构建方法 | 发明专利 | 实质审查的生效、公布 | CN202610179046.7 | 2026-02-09 | CN122154862A | 2026-06-05 | 孙伟宏、白亮、徐禹尧、刘磊、江贺、林浩、任志磊、李晓晨 |
| 5 | 一种基于知识增强大模型的业务测试用例自动生成方法 | 发明专利 | 实质审查的生效、公布 | CN202610159976.6 | 2026-02-04 | CN121958130A | 2026-05-01 | 孙伟宏、王婷婷、白亮、徐禹尧、吕鹏、刘磊、江贺、林浩、任志磊、李晓晨 |
| 6 | 一种基于树指令大语言模型的代码翻译方法 | 发明专利 | 实质审查的生效、公布 | CN202510078021.3 | 2025-01-17 | CN120010854A | 2025-05-16 | 江贺、王羽夫、林浩、马依帆、周志德、任志磊、孙伟宏、徐禹尧、白亮、王婷婷、吕鹏 |
| 7 | 一种基于AST抽象语法树同义替换的代码大模型等价数据增强方法 | 发明专利 | 实质审查的生效、公布 | CN202510077454.7 | 2025-01-17 | CN120010852A | 2025-05-16 | 江贺、马依帆、林浩、王羽夫、周志德、任志磊、孙伟宏、徐禹尧、白亮、王婷婷、吕鹏 |
| 8 | 一种基于单向翻译与有效性自验证的等价代码数据增强方法 | 发明专利 | 实质审查的生效、公布 | CN202510077737.1 | 2025-01-17 | CN120010853A | 2025-05-16 | 江贺、林浩、马依帆、王羽夫、周志德、任志磊、孙伟宏、徐禹尧、白亮、王婷婷、吕鹏 |
| 9 | 一种基于大模型的MES概要设计文档生成方法 | 发明专利 | 授权、实质审查的生效、公布 | CN202411564084.1 | 2024-11-05 | CN119067077B | 2025-03-14 | 孙伟宏、徐禹尧、朱鸿志、王婷婷、尹一淇、刘磊 |
| 10 | 一种面向软件工程的生成式大模型训练方法 | 发明专利 | 授权、实质审查的生效、公布 | CN202411448896.X | 2024-10-17 | CN118966385B | 2025-03-14 | 孙伟宏、白亮、吕鹏 |
| 11 | 一种工业三维大模型高清低延时呈现与交互系统 | 发明专利 | 实质审查的生效、公布 | CN202311830556.9 | 2023-12-28 | CN117998102A | 2024-05-07 | 孙伟宏、白亮 |
| 12 | 一种基于文本信息监督的零样本工业木制品质检方法 | 发明专利 | 实质审查的生效、公布 | CN202311516506.3 | 2023-11-15 | CN117493939A | 2024-02-02 | 孙伟宏、徐禹尧、王婷婷、吕鹏、刘磊 |
| 13 | 一种多模态信息监督的零异常样本医疗塑料制品质检方法 | 发明专利 | 实质审查的生效、公布 | CN202311483895.4 | 2023-11-09 | CN117541831A | 2024-02-09 | 孙伟宏、徐禹尧、王婷婷、吕鹏、刘磊 |
| 14 | 一种支持跨地域跨集群混合基础设施自动化监控运维平台 | 发明专利 | 实质审查的生效、实质审查的生效、公布 | CN202211682890.X | 2022-12-27 | CN116300564A | 2023-06-23 | 庄怀轩、毛巳煜、张硕、马清华、丁学虎 |
| 15 | 一种用于大数据量与组织间的数据共享系统以及方法 | 发明专利 | 授权 | CN202211523243.4 | 2022-12-01 | CN115720175B | 2026-07-17 | 兰勇、高志康、张贺、张思博 |
| 16 | 一种基于多级实体关联的流程挖掘方法和系统 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202211489226.3 | 2022-11-25 | CN115757547A | 2023-03-07 | 兰勇、孙松涛、李艳娇、王兰、石琳 |
| 17 | 一种基于KubeEdge工业边缘设备接入可信度量系统 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202211469730.7 | 2022-11-22 | CN115714686A | 2023-02-24 | 兰勇、于冰飞、高强、韩小楼 |
| 18 | 一种分布式多云管理平台的任务管理调度方法 | 发明专利 | 实质审查的生效、公布 | CN202211418984.6 | 2022-11-14 | CN115617493A | 2023-01-17 | 庄怀轩、马清华、袁成新、李严松、丁学虎、陈永正、吕春广、张野、方辉、王珏 |
| 19 | 一种融合维度模型的指标数据自动化计算方法及装置 | 发明专利 | 实质审查的生效、公布 | CN202211197230.2 | 2022-09-29 | CN115470195A | 2022-12-13 | 兰勇、孙松涛、李艳娇、王兰、石琳 |
| 20 | 一种基于深度学习技术的图文乱码识别方法 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202210708633.2 | 2022-06-22 | CN114973275A | 2022-08-30 | 兰勇、王治国、王超、段盛睛、贾丽娜 |
| 21 | 一种基于无线通信网络的定位方法及其系统 | 发明专利 | 专利申请权、专利权的转移、授权、实质审查的生效、公布 | CN202210041729.8 | 2022-01-14 | CN114071250B | 2022-03-18 | 毛巳煜、张硕、马清华、庄怀轩、丁学虎 |
| 22 | 基于网关数据采集的电炉装备智能运维管理系统 | 发明专利 | 专利申请权、专利权的转移、授权、实质审查的生效、公布 | CN202210039797.0 | 2022-01-14 | CN114063586B | 2022-04-22 | 孙伟宏、郭毅、宿伟刚、杨尧 |
| 23 | 一种表盘读数识别的方法、装置及存储介质 | 发明专利 | 实质审查的生效、公布 | CN202210017254.9 | 2022-01-07 | CN114359239A | 2022-04-15 | 侯惠明、王晔华、孙伟宏、王金发、王迪 |
| 24 | 基于现金流测算与流动性分析的企业资金风险预测系统 | 发明专利 | 实质审查的生效、公布 | CN202111619645.X | 2021-12-28 | CN114202411A | 2022-03-18 | 王德伟、王华、陆钰 |
| 25 | 一种基于可穿戴设备的慢病管理系统及方法 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202111405855.9 | 2021-11-24 | CN114093450A | 2022-02-25 | 王德伟、张野 |
| 26 | 基于联盟链和生物特征的合同签约方法、系统及存储介质 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202111388833.6 | 2021-11-22 | CN114090995A | 2022-02-25 | 王德伟、张野 |
| 27 | 一种RPA网银对接自动化技术 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202111201328.6 | 2021-10-15 | CN113935015A | 2022-01-14 | 王德伟、王华、陈闯 |
| 28 | RPA反自动化情况下网银密码自动安全录入系统及方法 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202111190281.8 | 2021-10-13 | CN113901531A | 2022-01-07 | 王华、王德伟、陈闯、陆钰 |
| 29 | 一种基于数字预案的全周期可视化救援指挥系统 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202111126823.5 | 2021-09-26 | CN113807725A | 2021-12-17 | 邱擘、黄锋、李永强、闫世丹、郑雪娇 |
| 30 | 一种支持企业级应用的云原生PaaS管理平台 | 发明专利 | 授权、著录事项变更、实质审查的生效、公布 | CN202111115318.0 | 2021-09-23 | CN113824790B | 2024-04-26 | 袁成新、孙松涛、李原、王兰、丁学虎 |
| 31 | 基于混合基础设施可随处运维的可视化运维平台 | 发明专利 | 发明专利申请公布后的撤回、实质审查的生效、公布 | CN202111096986.3 | 2021-09-18 | CN113791785A | 2021-12-14 | 毛巳煜、庄怀轩、马清华、方辉、丁学虎 |
| 32 | 一种跨语言的代码自动生成平台 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202111097113.4 | 2021-09-18 | CN113805875A | 2021-12-17 | 邱擘、施俊、刘昌斌、付志成、李起成 |
| 33 | 一种所见即所得的门户自定义站点系统以及操作方法 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202111085803.8 | 2021-09-16 | CN113806659A | 2021-12-17 | 邱擘、刘东、付志成、施俊、孙建 |
| 34 | 一种基于深度学习方法的木皮颜色分拣系统及装置 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202111087936.9 | 2021-09-16 | CN113843180A | 2021-12-28 | 王治国、崔学良、沈晓明、王超、徐禹尧 |
| 35 | 一种RPA+USB柜实现多网银U盾远程自动切换系统 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202111078545.0 | 2021-09-15 | CN113806719A | 2021-12-17 | 王德伟、王华、陆钰 |
| 36 | 一种基于超融合设计的云原生存储调度方式 | 发明专利 | 发明专利申请公布后的驳回、实质审查的生效、公布 | CN202111063649.4 | 2021-09-10 | CN113687935A | 2021-11-23 | 丁学虎、庄怀轩、杨晓兵、马清华、谢文化 |
| 37 | 一种可疑交易案例的辅助甄别方法及系统 | 发明专利 | 专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、授权、实质审查的生效、公布 | CN201811227489.0 | 2018-10-22 | CN109377339B | 2021-01-05 | 胡佰庆、闫庆、高建新、丁珂、黄良洪 |
| 38 | 语音智能音箱 | 外观专利 | 专利权的终止、专利申请权、专利权的转移、授权 | CN201630033740.5 | 2016-01-29 | CN303792198S | 2016-08-10 | 李利平、王登成、崔伟、郑新、赵天保、史晓飞 |
| 39 | 智能墙面插座 | 外观专利 | 专利权的终止、专利权人的姓名或者名称、地址的变更、授权 | CN201530078877.8 | 2015-03-30 | CN303248055S | 2015-06-17 | 李利平、高志、王登成、王明海、郑新、付永杰、翟潇 |
| 40 | 智能转换插座 | 外观专利 | 专利权的终止、专利权人的姓名或者名称、地址的变更、授权 | CN201530079306.6 | 2015-03-30 | CN303248056S | 2015-06-17 | 李利平、高志、王登成、王明海、郑新、付永杰、翟潇 |
| 41 | 智能家居主机(轻量版) | 外观专利 | 专利权的终止、专利权人的姓名或者名称、地址的变更、授权 | CN201430527098.7 | 2014-12-15 | CN303239584S | 2015-06-10 | 李利平 |
| 42 | 带图形用户界面的一体机 | 外观专利 | 专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权 | CN201430434416.5 | 2014-11-06 | CN303113842S | 2015-02-25 | 李利平、黄衍金、何海峰、魏鸣 |
| 43 | 人体活动传感器 | 外观专利 | 专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权 | CN201430307907.3 | 2014-08-26 | CN303113029S | 2015-02-25 | 李利平 |
| 44 | 基于ZigBee 的智能家居系统 | 实用新型 | 专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权 | CN201320751721.7 | 2013-11-22 | CN203689104U | 2014-07-02 | 李利平、王登成、郑新、张志东、何海峰、曲永强、魏鸣 |
| 45 | 服务器 | 外观专利 | 专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权 | CN201330561916.0 | 2013-11-20 | CN302836231S | 2014-06-04 | 蓝铮、张志东、崔伟、刘佳、李利平 |
| 46 | 插座 | 外观专利 | 专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、外观设计专利公报更正、专利申请权、专利权的转移、授权 | CN201330561905.2 | 2013-11-20 | CN302836012S | 2014-06-04 | 蓝铮、张志东、崔伟、刘佳、李利平 |
| 47 | 烟雾传感器 | 外观专利 | 专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权 | CN201330562139.1 | 2013-11-20 | CN302936357S | 2014-09-10 | 蓝铮、张志东、崔伟、刘佳、李利平 |
| 48 | 门磁 | 外观专利 | 专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权 | CN201330562175.8 | 2013-11-20 | CN302936358S | 2014-09-10 | 蓝铮、张志东、崔伟、刘佳、李利平 |
| 49 | 温湿度传感器 | 外观专利 | 专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权 | CN201330562274.6 | 2013-11-20 | CN302991420S | 2014-11-05 | 蓝铮、张志东、崔伟、刘佳、李利平 |
| 50 | 红外线传感器 | 外观专利 | 专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权 | CN201330561924.5 | 2013-11-20 | CN303040894S | 2014-12-17 | 蓝铮、张志东、崔伟、刘佳、李利平 |
声明:市场有风险,投资需谨慎。本文由AI大模型基于公开信息生成,不代表Hehson财经观点。文中所有信息、数据及图表仅供参考,不构成任何形式的投资建议或决策依据,相关信息以实际公告为准。如有疑问,请联系:biz@staff.sina.com.cn。