专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果127个,建议您升级VIP下载更多相关专利
  • [发明专利]一种经验库制导的浮点程序优化加速方法-CN202110438904.2有效
  • 汤恩义;肖安祥;陈鑫;王林章;李宣东 - 南京大学
  • 2021-04-22 - 2023-10-17 - G06F7/483
  • 本发明提出了一种经验库制导的浮点程序优化加速方法。该方法基于浮点成因相似性原理,即若两个浮点数值程序的计算过程相似,它们误差累积的原因也往往是类似的,因而可以使用类似的程序转换规则对其重写,从而降低程序的累积误差。基于此,加速策略将浮点数值程序的符号结构特征以及优化其累积误差所用到的程序转换规则提取出来,作为优化经验保存于经验库中。待优化其他程序时,首先在经验库中匹配待优化程序的符号结构特征,寻找相似程序的优化经验,并利用这些经验来指导并加速优化过程。优化经验中保存的程序转换规则会被优先用于重写待优化程序,避免了对整个规则库进行遍历。这个过程减少了优化所需的时间开销,提高了浮点优化的可用性。
  • 一种经验制导浮点程序优化加速方法
  • [实用新型]一种煤矿用馈电开关断电闭锁装置-CN202320660157.1有效
  • 李宣东 - 华亭煤业集团有限责任公司
  • 2023-03-29 - 2023-09-22 - H01H9/20
  • 本实用新型涉及一种煤矿用馈电开关断电闭锁装置,包括设置于第一馈电开关箱门上并用于检测第一馈电开关箱门的开门和关门状态的检测传感器,检测传感器与第一综合保护器连接并在检测到第一馈电开关箱门的开门状态时向第一综合保护器发送开门信号;第一综合保护器还与第一馈电开关箱的第一真空断路器的分闸线圈连接,并用于在接收到来自检测传感器的开门信号时,接通第一真空断路器的分闸线圈以断开第一真空断路器;第一真空断路器串联于第一馈电开关箱的电源侧。本实用新型可保证开门即断电,不仅断开负荷侧电源,自身电源侧也可以断开,保证操作人员的安全。
  • 一种煤矿馈电开关断电闭锁装置
  • [发明专利]一种针对基于分解的多面体抽象域的并行加速方法-CN202310354501.9在审
  • 左志强;邓宇慧;李宣东 - 南京大学
  • 2023-04-06 - 2023-08-18 - G06F9/50
  • 本发明公开了一种针对基于分解的多面体抽象域的并行加速方法。具体包括以下技术要点:主要由针对Chernikova算法的并行加速方法与针对基于分解的多面体域操作的并行加速方法两个部分组成,提供了一种并行计算射线的方法来加速Chernikova算法的方法,并且为并行计算产生的读写冲突提供了解决方法。多面体抽象域最主要的域操作有交操作、接合操作、加宽操作、包含测试、条件操作和赋值操作,本发明为这六种基于分解的域操作提供了并行加速方法。静态程序分析中,在基于分解的多面体抽象域表现不佳的某些场景下,本方法达到了显著缩短多面体抽象域的计算时间、且内存仅略微增加的技术效果。
  • 一种针对基于分解多面体抽象并行加速方法
  • [发明专利]一种针对CUDA程序的反馈式动态优化方法-CN202310350878.7在审
  • 左志强;陶威;李宣东 - 南京大学
  • 2023-04-04 - 2023-07-18 - G06F8/72
  • 本发明公开了一种针对CUDA程序的反馈式动态优化方法,包括步骤:首先收集CUDA程序动态信息,对待优化CUDA程序静态分析,生成最小生成树和分歧分支信息;插桩收集分支分歧、基本块频率和核函数参数信息,执行插桩过的程序得到持久化的运行时信息;接着实施反馈式优化,按照相同CUDA程序加载运行时信息,计算分支概率;根据运行时信息并做出判断和优化,判断是否有价值核函数参数组合,若有,生成新版本核函数;判断是否存在高频一致热点路径,若存在,生成快速循环或控制路径;判断是否存在高频分歧分支,若存在,控制流线性化来减少分歧分支内指令;最终生成优化过的可执行文件,通过以上技术方案,可以使CUDA程序拥有更好的运行时性能。
  • 一种针对cuda程序反馈动态优化方法
  • [发明专利]一种基于异常状态的攻击检测方法、装置、介质及机器-CN202310371707.2在审
  • 卜磊;王立敏;马乐之;李宣东 - 南京大学
  • 2023-04-10 - 2023-07-04 - H04L9/40
  • 本发明公开了一种基于异常状态的攻击检测方法、装置、介质及机器。本发明的攻击检测方法如下:首先从网上抓取攻击缺陷描述文本,然后对攻击缺陷描述文本进行解析后得到攻击状态迁移信息的集合,监测机器执行操作系统和应用程序的行为时,并根据行为结果是否与状态迁移信息集合中的攻击状态信息一致判断机器是否出现异常状态,当出现异常状态时发出异常状态的预警。本发明通过监测攻击状态之间的迁移判断是否存在攻击的判断准确度很高,基本不会产生误报问题。此外,本发明可以实时跟踪和下载当前的攻击行为、攻击手段以及所利用的软件漏洞会缺陷,使得机器攻击模型图样本保持最新,从而能够使得机器能够及时应对新的攻击手段。
  • 一种基于异常状态攻击检测方法装置介质机器
  • [发明专利]一种智能家居线性时序逻辑规约生成的方法和装置-CN201910935932.8有效
  • 卜磊;翟娟;张时雨;张秋萍;赵建华;李宣东 - 南京大学
  • 2019-09-29 - 2023-03-24 - G06F40/42
  • 本发明公开了一种智能家居线性时序逻辑规约生成的方法和装置,用于在智能家居领域中将用户输入的自然语言需求文本转换成线性时序逻辑规约。该方法首先对输入的自然语言文本进行预处理;然后使用自然语言处理技术,生成语法分析树和语法依存关系;识别句子中的各个子句,以及每个子句中的主语、谓语、宾语、布尔运算符、条件变量和时序运算符,生成树形的中间表示形式;最后遍历树结构,自动生成对应的线性时序逻辑规约。本发明解决了普通智能家居用户难以直接提供形式化规约的问题,有效节约时间和人力成本,并且能够弥补现有智能家居物联网验证系统的不足,使得不具备专业知识的普通用户所提出的自然语言需求能够被自动的验证。
  • 一种智能家居线性时序逻辑规约生成方法装置

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top