专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果305190个,建议您升级VIP下载更多相关专利
  • [发明专利]数据转换方法及装置-CN201910799004.3在审
  • 曹晋其 - 北京字节跳动网络技术有限公司
  • 2019-08-28 - 2021-03-05 - G06F16/2455
  • 其中方法包括:将获取的数据库的数据操作日志写入消息队列;通过消费者程序从消息队列获取数据操作日志;通过消费者程序执行数据转换逻辑代码;其中,数据转换逻辑代码由转换函数构成;通过转换函数将数据和/或数据变更信息转换为目标存储的数据结构信息本公开实施例通过消费者程序执行由转换函数构成的数据转换逻辑代码,并通过转换函数将数据和/或数据变更信息转换为目标存储的数据结构信息,由于数据转换逻辑代码由转换函数构成,开发人员无需实现和运维整个消费者程序,只需要编写数据转换逻辑代码,开发运维的成本小,并且可以快速灵活实现复杂的转换规则。
  • 数据转换方法装置
  • [实用新型]基于多功能可扩展快速连接的可编程逻辑单元结构-CN201420591882.9有效
  • 冯盛;刘彤 - 无锡中微亿芯有限公司
  • 2014-10-13 - 2015-04-22 - H03K19/177
  • 本实用新型涉及一种基于多功能可扩展快速连接的可编程逻辑单元结构,其包括至少一组可编程逻辑单元体,所述可编程逻辑单元体包括用于接收输入信号的函数发生器以及控制所述函数发生器输出形式的发生器输入控制模块;函数发生器的输出端与加法器模块连接,所述加法器模块的输出端、函数发生器的输出端与查找表输出控制模块连接,所述查找表输出控制模块与DFF输入控制模块连接,所述DFF输入控制模块与时序存储模块连接,时序存储模块与DFF输出控制模块连接,并通过所述DFF输出控制模块输出编程逻辑输出。本实用新型逻辑资源和路径丰富,可配置能力强,速度快,路径选择灵活,多功能函数实现能力广。
  • 基于多功能扩展快速连接可编程逻辑单元结构
  • [发明专利]一种正则解析复杂函数表示方法和系统-CN202210085978.7在审
  • 赵文朋;王森元;孙勤;魏美钟 - 杭州每刻科技有限公司
  • 2022-01-25 - 2022-05-13 - G06F9/448
  • 本发明公开了一种正则解析复杂函数表示方法和系统,所述方法包括:在服务端定义支持的函数类型和数目,并注册支持的函数,生成定义函数的回调接口;根据支持的函数类型、数目和场景计算逻辑,生成自定义的计算表达式;采用通用正则对所述自定义的计算表达式进行解析,生成原子函数和/或原子普通计算式;调用通用逻辑执行所述原子函数和/或原子普通计算式的计算,生成计算结果,并判断结果的数据类型,返回计算结果和数据类型。所述方法和系统通过正则特性对函数表达式中的函数计算和普通数学计算进行拆分,从而可以在场景逻辑计算中快速进行函数计算和普通数学计算进行组合,从而可以快速进行业务函数的定义和运算,提高系统业务开发效率。
  • 一种正则解析复杂函数表示方法系统
  • [发明专利]一种用于MES系统的设备控制装置-CN201610670453.4有效
  • 王乐 - 苏州朋泰智能科技有限公司
  • 2016-08-16 - 2020-01-21 - G06F9/06
  • 本申请实施例提供一种用于MES系统的设备控制装置,其特征在于,所述控制装置至少包括能力模块和控制模块;所述能力模块用于读取外界发送的运行逻辑文件和功能函数库;所述控制模块用于加载并运行所述运行逻辑文件和所述功能函数库其可实时读取外界传送的运行逻辑文件和功能函数库并以此来定义自身功能的MES系统的控制装置,使得程序开发人员可以根据需要自定义运行逻辑文件和功能函数库中的功能函数,无需将控制装置的功能事先固化在系统中,相比现有技术
  • 一种用于mes系统设备控制装置
  • [发明专利]字节码修改方法、装置、计算机设备和存储介质-CN202111591489.0在审
  • 董旭 - 金蝶医疗软件科技有限公司
  • 2021-12-23 - 2022-04-29 - G06F11/36
  • 方法包括:获取候选业务逻辑类集合,候选业务逻辑类集合包括修改函数与至少一个候选业务逻辑类,候选业务逻辑类对应于候选业务需求;加载待修改字节码,待修改字节码包括初始业务逻辑类,初始业务逻辑类对应于初始业务需求,初始业务需求的维度包括缺失日志的修复需求维度与待修改字节码的测试需求维度中的至少一种;基于初始业务需求维度,确定候选业务需求中的目标业务需求,基于目标业务需求,确定候选业务逻辑类集合中的目标业务逻辑类;将修改函数实例化,基于实例化的修改函数将初始业务逻辑类的字节码替换为目标业务逻辑类的字节码。
  • 字节修改方法装置计算机设备存储介质
  • [发明专利]一种监控程序的方法及装置-CN201611043652.9有效
  • 向琦;董文辉;王有富;林智鑫 - 腾讯科技(深圳)有限公司
  • 2016-11-11 - 2020-09-25 - G06F21/52
  • 本发明的方法包括加载被监控程序;在运行被监控程序时,对被监控程序调用的每个应用程序编程接口API函数插桩;获取所述API函数函数名;根据所述API函数函数名判断所述API函数是否满足预设的判断逻辑;若是,则判定被监控程序发生动态链接库DLL注入;根据预设的检测逻辑检测所述DLL注入的注入类型;获取注入信息。本发明能够有效判断被监控程序是否被注入DLL模块及注入方式,且本发明仅需输出与判断逻辑相符的API函数的信息,而对其他API函数则不进行处理和输出,从而显著提高了监控效率。
  • 一种监控程序方法装置
  • [发明专利]一种自动形式化验证智能合约业务属性的方法及系统-CN202310137263.6在审
  • 孙海泳 - 成都链安科技有限公司
  • 2023-02-20 - 2023-07-14 - G06F21/64
  • 本发明公开了一种自动形式化验证智能合约业务属性的方法及系统,涉及区块链技术领域,其技术方案要点是:生成智能合约源码抽象语法树;将智能合约源码抽象语法树转化成中间语言代码;依据中间语言代码构建相应的控制流图,并生成依赖关系表;将目标属性的时序逻辑属性转化为语义等价的状态可达逻辑属性;将状态可达逻辑属性作为每个函数约束的前置假设条件和后置验证条件;对逻辑公式中的函数约束进行状态可达逻辑属性的可满足性约束求解;对不满足状态可达逻辑属性的公有函数进行抽象行为验证。本发明解决了现有基于字节码等底层语言的符号执行虚拟机所构建的函数约束对符号求解器求解能力的限制问题,提高符号约束验证引擎的验证能力。
  • 一种自动形式化验证智能合约业务属性方法系统

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

钻瓜专利网在线咨询

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

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