来源:新浪证券-红岸工作室
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.82026-06-11CN122570302A2026-08-14江贺、马依帆、林浩、周志德、任志磊、李晓晨、贾昂、孙伟宏、白亮、徐禹尧、吕鹏、袁成新、蔡昌禹2一种基于无人机姿态与三维地理数据的视频动态贴合系统发明专利实质审查的生效、公布CN202610335762.X2026-03-19CN122248142A2026-06-19孙伟宏、张庆、李永强、张磊、张雪梅3一种低空摄影测量中像素与地理经纬度实时转换方法发明专利实质审查的生效、公布CN202610313658.02026-03-16CN122265393A2026-06-23孙伟宏、张庆、李永强、张磊、张雪梅4一种用于垂直领域业务理解的知识增强大模型构建方法发明专利实质审查的生效、公布CN202610179046.72026-02-09CN122154862A2026-06-05孙伟宏、白亮、徐禹尧、刘磊、江贺、林浩、任志磊、李晓晨5一种基于知识增强大模型的业务测试用例自动生成方法发明专利实质审查的生效、公布CN202610159976.62026-02-04CN121958130A2026-05-01孙伟宏、王婷婷、白亮、徐禹尧、吕鹏、刘磊、江贺、林浩、任志磊、李晓晨6一种基于树指令大语言模型的代码翻译方法发明专利实质审查的生效、公布CN202510078021.32025-01-17CN120010854A2025-05-16江贺、王羽夫、林浩、马依帆、周志德、任志磊、孙伟宏、徐禹尧、白亮、王婷婷、吕鹏7一种基于AST抽象语法树同义替换的代码大模型等价数据增强方法发明专利实质审查的生效、公布CN202510077454.72025-01-17CN120010852A2025-05-16江贺、马依帆、林浩、王羽夫、周志德、任志磊、孙伟宏、徐禹尧、白亮、王婷婷、吕鹏8一种基于单向翻译与有效性自验证的等价代码数据增强方法发明专利实质审查的生效、公布CN202510077737.12025-01-17CN120010853A2025-05-16江贺、林浩、马依帆、王羽夫、周志德、任志磊、孙伟宏、徐禹尧、白亮、王婷婷、吕鹏9一种基于大模型的MES概要设计文档生成方法发明专利授权、实质审查的生效、公布CN202411564084.12024-11-05CN119067077B2025-03-14孙伟宏、徐禹尧、朱鸿志、王婷婷、尹一淇、刘磊10一种面向软件工程的生成式大模型训练方法发明专利授权、实质审查的生效、公布CN202411448896.X2024-10-17CN118966385B2025-03-14孙伟宏、白亮、吕鹏11一种工业三维大模型高清低延时呈现与交互系统发明专利实质审查的生效、公布CN202311830556.92023-12-28CN117998102A2024-05-07孙伟宏、白亮12一种基于文本信息监督的零样本工业木制品质检方法发明专利实质审查的生效、公布CN202311516506.32023-11-15CN117493939A2024-02-02孙伟宏、徐禹尧、王婷婷、吕鹏、刘磊13一种多模态信息监督的零异常样本医疗塑料制品质检方法发明专利实质审查的生效、公布CN202311483895.42023-11-09CN117541831A2024-02-09孙伟宏、徐禹尧、王婷婷、吕鹏、刘磊14一种支持跨地域跨集群混合基础设施自动化监控运维平台发明专利实质审查的生效、实质审查的生效、公布CN202211682890.X2022-12-27CN116300564A2023-06-23庄怀轩、毛巳煜、张硕、马清华、丁学虎15一种用于大数据量与组织间的数据共享系统以及方法发明专利授权CN202211523243.42022-12-01CN115720175B2026-07-17兰勇、高志康、张贺、张思博16一种基于多级实体关联的流程挖掘方法和系统发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202211489226.32022-11-25CN115757547A2023-03-07兰勇、孙松涛、李艳娇、王兰、石琳17一种基于KubeEdge工业边缘设备接入可信度量系统发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202211469730.72022-11-22CN115714686A2023-02-24兰勇、于冰飞、高强、韩小楼18一种分布式多云管理平台的任务管理调度方法发明专利实质审查的生效、公布CN202211418984.62022-11-14CN115617493A2023-01-17庄怀轩、马清华、袁成新、李严松、丁学虎、陈永正、吕春广、张野、方辉、王珏19一种融合维度模型的指标数据自动化计算方法及装置发明专利实质审查的生效、公布CN202211197230.22022-09-29CN115470195A2022-12-13兰勇、孙松涛、李艳娇、王兰、石琳20一种基于深度学习技术的图文乱码识别方法发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202210708633.22022-06-22CN114973275A2022-08-30兰勇、王治国、王超、段盛睛、贾丽娜21一种基于无线通信网络的定位方法及其系统发明专利专利申请权、专利权的转移、授权、实质审查的生效、公布CN202210041729.82022-01-14CN114071250B2022-03-18毛巳煜、张硕、马清华、庄怀轩、丁学虎22基于网关数据采集的电炉装备智能运维管理系统发明专利专利申请权、专利权的转移、授权、实质审查的生效、公布CN202210039797.02022-01-14CN114063586B2022-04-22孙伟宏、郭毅、宿伟刚、杨尧23一种表盘读数识别的方法、装置及存储介质发明专利实质审查的生效、公布CN202210017254.92022-01-07CN114359239A2022-04-15侯惠明、王晔华、孙伟宏、王金发、王迪24基于现金流测算与流动性分析的企业资金风险预测系统发明专利实质审查的生效、公布CN202111619645.X2021-12-28CN114202411A2022-03-18王德伟、王华、陆钰25一种基于可穿戴设备的慢病管理系统及方法发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202111405855.92021-11-24CN114093450A2022-02-25王德伟、张野26基于联盟链和生物特征的合同签约方法、系统及存储介质发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202111388833.62021-11-22CN114090995A2022-02-25王德伟、张野27一种RPA网银对接自动化技术发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202111201328.62021-10-15CN113935015A2022-01-14王德伟、王华、陈闯28RPA反自动化情况下网银密码自动安全录入系统及方法发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202111190281.82021-10-13CN113901531A2022-01-07王华、王德伟、陈闯、陆钰29一种基于数字预案的全周期可视化救援指挥系统发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202111126823.52021-09-26CN113807725A2021-12-17邱擘、黄锋、李永强、闫世丹、郑雪娇30一种支持企业级应用的云原生PaaS管理平台发明专利授权、著录事项变更、实质审查的生效、公布CN202111115318.02021-09-23CN113824790B2024-04-26袁成新、孙松涛、李原、王兰、丁学虎31基于混合基础设施可随处运维的可视化运维平台发明专利发明专利申请公布后的撤回、实质审查的生效、公布CN202111096986.32021-09-18CN113791785A2021-12-14毛巳煜、庄怀轩、马清华、方辉、丁学虎32一种跨语言的代码自动生成平台发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202111097113.42021-09-18CN113805875A2021-12-17邱擘、施俊、刘昌斌、付志成、李起成33一种所见即所得的门户自定义站点系统以及操作方法发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202111085803.82021-09-16CN113806659A2021-12-17邱擘、刘东、付志成、施俊、孙建34一种基于深度学习方法的木皮颜色分拣系统及装置发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202111087936.92021-09-16CN113843180A2021-12-28王治国、崔学良、沈晓明、王超、徐禹尧35一种RPA+USB柜实现多网银U盾远程自动切换系统发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202111078545.02021-09-15CN113806719A2021-12-17王德伟、王华、陆钰36一种基于超融合设计的云原生存储调度方式发明专利发明专利申请公布后的驳回、实质审查的生效、公布CN202111063649.42021-09-10CN113687935A2021-11-23丁学虎、庄怀轩、杨晓兵、马清华、谢文化37一种可疑交易案例的辅助甄别方法及系统发明专利专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、授权、实质审查的生效、公布CN201811227489.02018-10-22CN109377339B2021-01-05胡佰庆、闫庆、高建新、丁珂、黄良洪38语音智能音箱外观专利专利权的终止、专利申请权、专利权的转移、授权CN201630033740.52016-01-29CN303792198S2016-08-10李利平、王登成、崔伟、郑新、赵天保、史晓飞39智能墙面插座外观专利专利权的终止、专利权人的姓名或者名称、地址的变更、授权CN201530078877.82015-03-30CN303248055S2015-06-17李利平、高志、王登成、王明海、郑新、付永杰、翟潇40智能转换插座外观专利专利权的终止、专利权人的姓名或者名称、地址的变更、授权CN201530079306.62015-03-30CN303248056S2015-06-17李利平、高志、王登成、王明海、郑新、付永杰、翟潇41智能家居主机(轻量版)外观专利专利权的终止、专利权人的姓名或者名称、地址的变更、授权CN201430527098.72014-12-15CN303239584S2015-06-10李利平42带图形用户界面的一体机外观专利专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权CN201430434416.52014-11-06CN303113842S2015-02-25李利平、黄衍金、何海峰、魏鸣43人体活动传感器外观专利专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权CN201430307907.32014-08-26CN303113029S2015-02-25李利平44基于ZigBee 的智能家居系统实用新型专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权CN201320751721.72013-11-22CN203689104U2014-07-02李利平、王登成、郑新、张志东、何海峰、曲永强、魏鸣45服务器外观专利专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权CN201330561916.02013-11-20CN302836231S2014-06-04蓝铮、张志东、崔伟、刘佳、李利平46插座外观专利专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、外观设计专利公报更正、专利申请权、专利权的转移、授权CN201330561905.22013-11-20CN302836012S2014-06-04蓝铮、张志东、崔伟、刘佳、李利平47烟雾传感器外观专利专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权CN201330562139.12013-11-20CN302936357S2014-09-10蓝铮、张志东、崔伟、刘佳、李利平48门磁外观专利专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权CN201330562175.82013-11-20CN302936358S2014-09-10蓝铮、张志东、崔伟、刘佳、李利平49温湿度传感器外观专利专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权CN201330562274.62013-11-20CN302991420S2014-11-05蓝铮、张志东、崔伟、刘佳、李利平50红外线传感器外观专利专利权的终止、专利权人的姓名或者名称、地址的变更、专利申请权、专利权的转移、专利申请权、专利权的转移、授权CN201330561924.52013-11-20CN303040894S2014-12-17蓝铮、张志东、崔伟、刘佳、李利平
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.