专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果34706822个,建议您升级VIP下载更多相关专利
  • [发明专利]种奇异群系统分析与控制方法-CN202110264310.4在审
  • 龚军红;杨晓君;阳琴;李思远;张鑫 - 广东工业大学
  • 2021-03-11 - 2021-06-29 - G05D1/10
  • 本申请公开了种奇异群系统分析与控制方法,包括:建立奇异系统动力学模型,奇异系统动力学模型包括群系统的动态描述公式以及控制协议公式;根据奇异系统动力学模型建立无领导者跟随结构模型,确定动态描述公式和不动态描述公式;确定无领导者跟随结构模型的函数;根据无领导者跟随结构模型对群系统中的智能体进行调节。本申请确定了无领导跟随者结构的函数的显示表达式、弥补现有技术中包括非线性项的LMI设计准则,以及通过推论确定各智能体能否实现保性能取决于动态模式和初始状态,与给定能量预算无关。
  • 一种奇异群系统一分析控制方法
  • [发明专利]组可靠验证方法及相关装置-CN201910290946.9有效
  • 齐武波 - 苏州浪潮智能科技有限公司
  • 2019-04-11 - 2021-08-10 - G06F16/23
  • 本发明公开了组快照可靠验证方法,可以通过自动写入数据线程向组中每个LUN写入数据,并将每条数据的写入记录和对应的时间戳保存到预设文件中,获取已创建的组快照,确定组快照对应的目标时间戳,并在预设文件中确定该时间戳之前的所有已写入数据的记录,判断是否与组快照相同,从而确定组快照的可靠是否验证通过。因此,通过预设文件与组快照的时间戳即可准确的验证组快照是否具有可靠。此外,由于验证过程中通过线程自动添加数据,也保证了验证过程的效率。本申请还提供了中只能够组快照可靠验证系统、装置及计算机可读存储介质,同样可以实现上述技术效果。
  • 一种一致性可靠性验证方法相关装置
  • [发明专利]语义Web服务组合的语义验证方法-CN200910236365.3有效
  • 范玉顺;倪悦 - 清华大学
  • 2009-10-20 - 2010-05-26 - H04L29/08
  • 语义Web服务组合的语义验证方法属于语义网及Web服务领域,其特征在于,在计算机上建立语义Web服务着色Petri网模型的存储单元、参数语义验证子模块、QoS(Quality of Services,服务质量)属性验证子模块、分析结果存储子模块;该方法利用着色Petri网的形式化验证方法分析语义Web服务组合的语义,包括参数语义和QoS属性。根据本发明,能够验证语义Web服务组合是否在语义上保持,并符合用户对服务的非功能属性方面的需求。
  • 语义web服务组合一致性验证方法
  • [发明专利]种验证Cache协议的装置及方法-CN201710601304.7有效
  • 王振江;周恒钊 - 苏州浪潮智能科技有限公司
  • 2017-07-21 - 2020-08-04 - G06F12/0815
  • 本发明提供了种验证Cache协议的装置,所述的装置包括:形式验证平台,利用验证平台内的验证工具,使用工具的内部变量失效命令对模型初始表中的状态变量进行失效;模型初始表,用来枚举模型中的状态变量并进行初始状态赋值;模型其他表,包含协议说明书或者说明表的所有协议表,用来定义模型协议表之间跳转接口,并实现模型协议表之间的跳转验证;模型规则定义表,用来定义模型协议表的跳转规则,以及检查Cache协议模型。基于装置,本发明还提供了种验证Cache协议的方法。
  • 一种验证cache一致性协议装置方法

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

钻瓜专利网在线咨询

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

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