专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果145个,建议您升级VIP下载更多相关专利
  • [发明专利]基于优先级的仲裁-CN202110294801.3在审
  • 卡斯珀·范本特姆 - 想象技术有限公司
  • 2021-03-19 - 2021-10-12 - G06N5/00
  • 描述了在请求者与共享资源之间进行仲裁的方法。该方法包括生成每个请求者一位的向量,每个向量初始地被设置为一。基于多个选择信号(二元决策树的第一层中的每个决策节点一个,其中每个选择信号被配置为由对应的决策节点使用以选择两个子节点中的一个),向量中对应于未选择的请求者的位被设置为零。基于用于那些层中的决策节点的选择信号,对二元决策决策树中的每个后续层重复该方法。所得向量是独热向量(其中仅单个位具有值一)。对于当前处理周期,向对应于具有值一的位的请求者准予对共享资源的访问。
  • 基于优先级仲裁
  • [发明专利]基于优先级的仲裁-CN202110295103.5在审
  • 卡斯珀·范本特姆 - 想象技术有限公司
  • 2021-03-19 - 2021-10-12 - G06N5/00
  • 描述了在请求者与共享资源之间进行仲裁的方法。对于每个处理周期,生成多个选择信号,然后由二元决策树中的决策节点使用这些信号来选择请求者。使用有效位和优先级位生成选择信号。每个有效位对应于请求者之一,并且指示在处理周期中请求者是否正在请求对共享资源的访问。每个优先级位对应于请求者之一,并且指示在处理周期中请求者是否具有优先级。在AND逻辑元件中组合对应的有效位和优先级位,以便为每个请求者生成有效_与_优先级位。然后对有效位和有效_与_优先级位执行成对OR约简,以便为请求者集合生成附加的有效位和有效_与_优先级位,然后使用这些位来生成选择信号。
  • 基于优先级仲裁
  • [发明专利]基于超演绎的自动定理证明方法、装置及存储介质-CN202110646510.6在审
  • 曹锋;易见兵;黄江燕;陈鸿坤 - 江西理工大学
  • 2021-06-10 - 2021-09-10 - G06N5/00
  • 本发明公开了一种基于超演绎的自动定理证明方法、装置及存储介质,从一阶逻辑子句集S选择包括单个核子子句及多个电子子句的子集构建标准矛盾体,得到矛盾体分离式R。若R为空子句,定理被证明。当R不为空子句时,若R有效且全为正文字,则将R加入到S中,停止本次矛盾体分离超演绎;当R含负文字,则在S中重新选择子句继续演绎;若无效,需回退到上一演绎步骤,在S中重新选择子句继续演绎;当S遍历完或满足定理判定终止条件,结束本次矛盾体分离超演绎。通过本发明的实施,具有每个矛盾体分离演绎只有1个子句含负文字的特点,能有效缩减多元演绎的路径搜索空间和提升演绎效率,增强了多元演绎推理系统的一阶逻辑自动定理证明能力。
  • 基于演绎自动定理证明方法装置存储介质
  • [发明专利]基于冲突演绎的自动定理证明方法、装置及存储介质-CN202110647026.5在审
  • 曹锋;易见兵;黄江燕;陈鸿坤 - 江西理工大学
  • 2021-06-10 - 2021-09-10 - G06N5/00
  • 本发明公开了一种基于冲突演绎的自动定理证明方法、装置及存储介质,在满足冲突演绎条件时,基于一阶逻辑子句集S获取虚子句、单元子句集及候选子句构建演绎子句集Q,对Q进行矛盾体分离并得到分离式R;当R为空子句时,冲突分析得到学习子句,在学习子句为空子句时定理被证明;否则,当R为单元子句且满足限定条件时,根据R在S中选取演绎子句加入到Q中,在Q中继续选择子句进行演绎;当R为非单元子句或不满足限定条件时,回退到上一演绎步骤,在Q中重新选择子句进行演绎。通过本发明的实施,灵活选取不同虚子句以简化演绎分离式,可有效缩减多元演绎的路径搜索空间和提升演绎效率,增强了多元演绎推理系统的一阶逻辑自动定理证明能力。
  • 基于冲突演绎自动定理证明方法装置存储介质
  • [发明专利]一种基于专家知识的海克斯棋搜索策略-CN202110521452.4在审
  • 高强;马寅冬 - 沈阳大学
  • 2021-05-13 - 2021-09-03 - G06N5/00
  • 本发明属于人工智能领域中的机器博弈方向,涉及到对博弈树进行高效搜索的方法。使用“距离值”、“边长线”、“小范围分区”、“边界同色”这些基于专家知识提出的概念,来对使用蒙特卡洛算法进行搜索的过程进行优化。快速分析棋子间的相对位置关系,并约束了搜索范围,对靠近边界的部分相应的做出处理。本发明的搜索策略将蒙特卡洛搜索算法与基于专家知识的搜索策略相结合,实现了真正意义上的简化搜索量,提高搜索效率。使得进入高效而准确的搜索过程。
  • 一种基于专家知识海克斯棋搜索策略
  • [发明专利]识别与去除环境观测量中冗余信息的方法及装置-CN202010863637.9有效
  • 梁斌;杨君;芦维宁;刘启涵;许函 - 清华大学
  • 2020-08-25 - 2021-08-10 - G06N5/00
  • 本申请公开了一种识别与去除环境观测量中冗余信息的方法及装置,其中,该方法包括:采用循环神经网络从决策轨迹中提取历史信息,将历史信息结合预设控制策略,生成t时刻对应的各个环境观测量的第一权值,以获取t时刻对应的动作信息;根据历史信息及动作信息,生成对应的动作值函数,并将历史信息结合动作值函数,生成t时刻对应的各个环境观测量的第二权值,根据第二权值,确定输入动作值函数的环境观测量;接着,对动作值函数及控制策略进行更新;在环境观测量的平均影响度小于影响度阈值时,将环境观测量进行置零去除。该方法可有效地识别出并去除环境观测中的冗余信息,从而降低冗余信息对控制策略的干扰。
  • 识别去除环境观测冗余信息方法装置

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

钻瓜专利网在线咨询

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

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