个人简介

专利 ZL 2011 1 0096707.3,汽车电子器件中断安全隐患检测系统及其检测方法,何积丰、朱龙飞、史建琦 ZL 2014 2 0378499.5,一种磁吸附式的单词反射平面激光生成器,史建琦、姜宁康、方徽星、黄滟鸿 ZL 2014 2 0378506.1,一种可调式单次反射平面激光生成器,史建琦、王振辉、姜宁康、郭占华、黄滟鸿 201510670509.1 ,具有传感控制功能的工业自动化系统的互联网接入装置,史建琦、黄滟鸿、何积丰、王江涛 201610456943.4 ,一种基于程序演进模型的目标代码逆向工程方法,史建琦、熊家文、黄滟鸿、何积丰、李昂、方徽星 201610456941.5 ,一种基于程序演进模型的目标代码逆向工程系统,史建琦、熊家文、黄滟鸿、何积丰、李昂、方徽星 201610459128.3 ,一种基于代数演算的中间代码优化系统,黄滟鸿、卜祥兴、史建琦、何积丰、李昂、方徽星 201610456922.2 ,一种基于代数演算的中间代码优化方法,黄滟鸿、卜祥兴、史建琦、何积丰、李昂、方徽星 201610456945.3 ,一种基于机器学习技术的可自感知异常的工控安全防护与报警系统,黄滟鸿、郭欣、史建琦、李昂、方徽星 201610456944.9 ,一种基于机器学习技术的工控安防方法,黄滟鸿、郭欣、史建琦、李昂、方徽星 201610459066.6 ,一种信号轨迹驱动的控制系统,史建琦、郭欣、黄滟鸿、李昂、方徽星 201610456888.9,一种智能驱动控制系统,史建琦、郭欣、黄滟鸿、李昂、方徽星 201610755248.8,一种基于进程代数的实时协议分析及验证系统,史建琦、庞海萍、黄滟鸿、李昂、何积丰、方徽星 201610755243.5,一种实时协议的形式化分析及验证方法,史建琦、庞海萍、黄滟鸿、李昂、何积丰、方徽星 201610757043.3,一种基于形式语义推理和深度学习的自然语言知识挖掘方法,史建琦、吴双、黄滟鸿、王祥丰、吴苑斌 201610755226.1,一种基于形式语义推理和深度学习的自然语言知识挖掘系统,史建琦、吴双、黄滟鸿、王祥丰、吴苑斌 201610757031.0,一种空间飞行器的自适应重构方法及系统,黄滟鸿、李炬、史建琦、李昂、何积丰、方徽星 201610754975.2,一种空间飞行器的重构飞行控制方法及系统,黄滟鸿、李炬、史建琦、李昂、何积丰、方徽星 201610927633.6,一种面向目标代码的程序静态分析系统,何积丰、卜祥兴、史建琦、黄滟鸿、李昂、方徽星 201610927632.1,一种面向目标代码的程序静态分析方法,何积丰、卜祥兴、史建琦、黄滟鸿、李昂、方徽星 201611137739.2,一种软件体系结构建模和仿真系统,黄滟鸿、施健、史建琦、方徽星、李昂、李新、何积丰 201611137729.9,一种软件体系结构建模与仿真方法,黄滟鸿、施健、史建琦、方徽星、李昂、李新、何积丰 201611219520.7,一种软件自适应决策验证系统,史建琦、胡志成、黄滟鸿、方徽星、李昂、李新、何积丰 201611218766.2,一种软件自适应决策验证方法,史建琦、胡志成、黄滟鸿、方徽星、李昂、李新、何积丰 201611168496.9,一种目标代码控制流图生成方法,何积丰、熊家文、史建琦、黄滟鸿、李昂、方徽星 201611169736.7,一种目标代码控制流图生成系统,何积丰、熊家文、史建琦、黄滟鸿、李昂、方徽星 201611169725.9,一种恶意程序识别系统,熊家文、史建琦、黄滟鸿、李昂、方徽星、何积丰 201611167528.3,一种恶意程序识别方法,熊家文、史建琦、黄滟鸿、李昂、方徽星、何积丰 201611167121.0,基于微内核原型的进程间通信安全性形式化分析验证系统,毛侠、史建琦、黄滟鸿、李昂 2.0171E+11,基于加权下推系统的中断验证方法,黄滟鸿、郭欣、史建琦、何积丰、李昂、方徽星 201710139023.4,基于加权下推系统的中断验证系统,黄滟鸿、郭欣、史建琦、何积丰、李昂、方徽星 201710138192.6,一种工业环境实景增强式交互终端及系统,何积丰、毛侠、史建琦、黄滟鸿、李昂、方徽星 201710139083.6,一种工业环境实景增强式交互方法,何积丰、毛侠、史建琦、黄滟鸿、李昂、方徽星 201710139684.7,一种线性时态逻辑规范的通用并行挖掘方法,何积丰、熊家文、史建琦、黄滟鸿、李昂、方徽星 201710138191.1,一种线性时态逻辑规范的通用并行挖掘系统,何积丰、熊家文、史建琦、黄滟鸿、李昂、方徽星 201710138988.1,基于时态逻辑的微控制器运行时验证系统,史建琦、胡志成、黄滟鸿、李昂、方徽星、 201710139008.X,基于时态逻辑的微控制器运行时验证方法,史建琦、胡志成、黄滟鸿、李昂、方徽星、 201710322901.6,一种工厂智能预警系统,史建琦、李志辉、黄滟鸿、王祥丰、吴苑斌 201710322900.1,一种工厂智能预警方法,史建琦、李志辉、黄滟鸿、王祥丰、吴苑斌 201710322906.9,一种基于运行时验证技术的嵌入式系统软件调试系统,黄滟鸿、赵慧、史建琦、何积丰、李昂、方徽星 201710322903.5,一种基于运行时验证技术的嵌入式系统软件调试方法,黄滟鸿、赵慧、史建琦、何积丰、李昂、方徽星 201710434655.3,带过去时态的线性时态逻辑性质有界运行时验证系统,黄滟鸿、熊家文、史建琦、何积丰、李昂 201710434656.8,带过去时态的线性时态逻辑性质有界运行时验证方法,黄滟鸿、熊家文、史建琦、何积丰、李昂 201710434650.0,一种基于协同开发系统的构件交互关系建模方法,史建琦、陈心宇、黄滟鸿、李昂、王泊涵 201710433623.1,一种基于协同开发系统的构件交互关系建模系统,史建琦、陈心宇、黄滟鸿、李昂、王泊涵 201710433625.0,一种接入多类型协同件的服务总线平台的工作方法,史建琦、皮兴兴、黄滟鸿、李昂、王泊涵 201710434096.6,一种接入多类型协同件的服务总线平台,史建琦、皮兴兴、黄滟鸿、李昂、王泊涵 201710434078.8,一种基于Group Lasso的半监督哈希图像搜索方法,黄滟鸿、史建琦、王祥丰、吴苑斌 201710437582.3,一种基于Group Lasso的半监督哈希图像搜索装置,黄滟鸿、史建琦、王祥丰、吴苑斌 201710423864.8,一种基于虚拟机的程序运行方法,史建琦、魏汉生、黄滟鸿、李昂、王泊涵 201710434653.4,一种基于虚拟机的程序运行系统,史建琦、魏汉生、黄滟鸿、李昂、王泊涵 201710434654.9,一种可信飞行控制系统协同开发的任务分配建模方法,史建琦、李炬、黄滟鸿、李昂、王振辉 201710434652.X,一种可信飞行控制系统协同开发的任务分配建模装置,史建琦、李炬、黄滟鸿、李昂、王振辉 201810130188.X,一种网联智能能源计量结算方法,史建琦、郭欣、黄滟鸿、熊家文、毛侠 201810130185.6,一种网联智能能源计量结算系统,史建琦、郭欣、黄滟鸿、熊家文、毛侠 201810167496.X,一种结构化文本程序的自动化验证方法,史建琦、黄滟鸿、卜祥兴、熊家文、佘庆 201810160216.2,一种基于中断控制流图的中断验证系统,史建琦、黄滟鸿、卜祥兴、熊家文、佘庆 201810167489.X,一种结构化文本程序的自动化验证装置,史建琦、佘庆、黄滟鸿、郭欣、熊家文、毛侠 201810160219.6,一种基于中断控制流图的中断验证方法,史建琦、佘庆、黄滟鸿、郭欣、熊家文、毛侠 201810338428.5,一种基于区块链的能源网联监控方法及存储介质,毛侠、何积丰、史建琦、黄滟鸿、朱罡 201810337908.X ,一种基于区块链的能源网联智能装置及系统,毛侠、何积丰、史建琦、黄滟鸿、朱罡 201810189855.1,一种提高域名系统可用性的方法及系统, 黄滟鸿 熊家文 史建琦 何积丰 李昂 201810189854.7,一种域名系统攻击检测方法、装置及系统, 201810611535.0,一种可编程控制的通用总线接口转换方法,陈晶,史建琦,何积丰,黄滟鸿 201810611556.2,一种可编程控制的通用总线接口转换系统,陈晶,史建琦,何积丰,黄滟鸿 201810609281.9,可编程逻辑控制器编程语言转换系统,史建琦,黄滟鸿,何积丰,李昂,蔡方达 201810609274.9,可编程逻辑控制器编程语言转换方法,史建琦,黄滟鸿,何积丰,李昂,蔡方达 201810667143.6,一种基于中间语言的PLC程序验证系统,史建琦,黄滟鸿,何积丰,李昂,蔡方达 201810667508.5,一种基于中间语言的PLC程序验证方法,史建琦,黄滟鸿,何积丰,李昂,蔡方达 201810772287.8,一种基于IMCL模型的异构式多平台代码生成方法,黄滟鸿,史建琦,李炬,李昂,蔡方达 201810776825.0,一种基于IMCL模型的异构式多平台代码生成系统,黄滟鸿,史建琦,李炬,李昂,蔡方达 201810770780.6,一种复杂工业控制系统的实现方法,黄滟鸿,史建琦,李炬,李昂,蔡方达 201810770767.0,一种复杂工业控制系统,黄滟鸿,史建琦,李炬,李昂,蔡方达 201811132214.9,一种需求功能点智能识别系统 ,史建琦,李志辉,黄滟鸿,鲍钰,战云龙,孙文圣 201811132200.7,一种需求功能点智能识别方法 ,史建琦,李志辉,黄滟鸿,鲍钰,战云龙,孙文圣 201811133405.7,一种智能功能点识别的软件计价方法 ,史建琦,皮兴兴,黄滟鸿,鲍钰,孙文圣,战云龙 201811133423.5,一种智能功能点识别的软件计价系统 ,史建琦,皮兴兴,黄滟鸿,鲍钰,孙文圣,战云龙 201811133388.7,一种基于神经风格迁移的测试用例生成系统 ,史建琦,李志辉,黄滟鸿,蔡方达,王祥丰,金博 201811132209.8,一种基于神经风格迁移的测试用例生成方法 ,史建琦,李志辉,黄滟鸿,蔡方达,王祥丰,金博