“公理 ”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果151个，建议您升级VIP下载更多相关专利

[发明专利]一种基于神经网络的知识图谱不一致性推理方法-CN202010973433.0在审
发明人：陈华钧;李娟;张文 -专利权人：浙江大学
申请日： 2020-09-16 - 公布日： 2020-12-18 - 主分类号： G06F16/36 文献下载
摘要：本发明公开了一种基于神经网络的知识图谱不一致性推理方法，包括以下步骤：利用知识表示学习算法对三元组表示学习得到实体表示和关系表示以及计算表示得分，并将实体表示和关系表示作为神经网络的输入，利用三元组通过神经网络对公理进行建模以学习用来表示相应的公理的神经网络的参数得到公理模型，利用公理模型获得三元组的公理预测值，基于三元组的表示得分和公理预测值实现三元组和对应公理不一致性的判断。该方法不需要给定本体信息，利用神经网络学习不一致性公理，通过知识表示学习算法和神经网络判断一个三元组是否存在不一致性，在给定公理上是否存在不一致性。
一种基于神经网络知识图谱不一致性推理方法

[发明专利]定理发现系统-CN200810033680.1无效
发明人：吴士珑 -专利权人：吴士珑
申请日： 2008-02-19 - 公布日： 2009-08-26 - 主分类号： G06F17/10 文献下载
摘要：本系统具有帮助人们设计公理系统并从他们所设计的公理系统中求取定理的能力。其特征包括：“测试人们所定义的公理系统合理性的能力”，“帮助人们从所定义的公理系统中求取定理的能力”和“帮助人们发现新型数学的能力”。这是一种帮助数学爱好者设计自己的数学模型的装置。本发明有三大功能，即：1.测试公理系统合理性的能力；2.从所定义的公理系统中求取定理的能力；3.发现新型数学模型的能力。
定理发现系统

[发明专利]一种面向航空安全事件分析的诊断方法、系统及装置-CN201910289258.0有效
发明人：姜洋;王红 -专利权人：中国民航大学
申请日： 2019-04-11 - 公布日： 2023-04-18 - 主分类号： G06F40/205 文献下载
摘要：本发明公开了一种面向航空安全事件分析的诊断方法、系统及装置，属于航空安全技术领域；上述面向航空安全事件分析的诊断方法依次包括如下步骤：从航空安全事件记录中抽取所有事件有序对和故障有序对；基于所有事件有序对和故障有序对构造非公理事件经验图；基于新的事件有序儿和故障有序对儿更新非公理事件经验图；基于非公理事件经验图和输入的事件集合进行诊断。本发明首先采用二元非公理事件经验的方式表示航空安全事件与故障之间的不确定性因果关系，然后基于航空安全历史事件记录构建非公理事件经验图并根据新的事件记录对非公理事件经验图进行更新，最后结合非公理逻辑的修正规则和演绎规则
一种面向航空安全事件分析诊断方法系统装置

[发明专利]一种基于公理设计理论的产品绿色配置方法-CN201510587218.6有效
发明人：苑明海;邓坤;董蓉 -专利权人：河海大学常州校区
申请日： 2015-09-15 - 公布日： 2018-07-27 - 主分类号： G06F17/50 文献下载
摘要：本发明设计了一种基于公理设计理论的产品绿色配置方法，属于机械设计自动化领域。本发明方法是基于公理设计理论，根据其中的独立公理，筛选满足功能需求的各个功能模块；然后根据各个模块的绿色性能及其功能权重，筛选满足绿色性能需求的产品配置方案；最后基于公理设计理论的信息公理，计算符合条件的产品配置方案的信息量
一种基于公理设计理论产品绿色配置方法

[发明专利]用于修复不一致本体的方法和设备-CN200910006540.X无效
发明人：刘博;李建强;赵彧 -专利权人：日电(中国)有限公司
申请日： 2009-02-17 - 公布日： 2010-08-18 - 主分类号： G06F17/30 文献下载
摘要：所述方法包括：输入一不一致本体；检索该本体中的不可满足概念；针对检索到的每个不可满足概念，收集与该概念相关的公理，构成不一致公理集合；对与各个不可满足概念相关的不一致公理集合进行过滤，即，对于两个不一致公理集合C1和C2，若C1中的所有公理都被C2所包含，则删除C2；根据所保留的不一致公理集合生成一个或多个扩展错误集合；以及从扩展错误集合中选择包含公理数目最少的扩展错误集合，作为候选修复集合来进行修复。
用于修复不一致本体方法设备

[发明专利]一种使用最小不一致集和可消解相关性的不一致本体推理方法-CN201010527523.3无效
发明人：方俊;郭雷;常威威 -专利权人：西北工业大学
申请日： 2010-10-28 - 公布日： 2011-02-16 - 主分类号： G06N5/04 文献下载
摘要：对于给定的一个推理任务，首先，进行公理标准式的转化并计算出不一致本体的所有最小不一致集；然后，使用可消解相关性来线性地选择和该推理任务相关的子公理集合，在选择过程中，采用最小不一致集来判断子公理集合的不一致性，如果子公理集合为不一致的，则通过去掉最后增加的导致不一致的公理来恢复一致性；最后，通过在一致的子公理集合上使用传统的推理方法得到推理任务的结果。并且，不一致本体中公理标准式的转化和最小不一致集的计算都可以离线进行。因此，使用本发明方法进行推理具有复杂性低、方法执行效率高的优点，适合于对大规模的不一致本体进行推理。
一种使用最小不一致消解相关性本体推理方法

[发明专利]一种图数据合成方法、装置、计算机设备和存储介质-CN202011480983.5有效
发明人：刘斌;陈航;陆敏;朱席席;姚莉;丁兆云;朱承;朱先强 -专利权人：中国人民解放军国防科技大学
申请日： 2020-12-16 - 公布日： 2021-02-26 - 主分类号： G06F16/28 文献下载
摘要：所述方法包括：获取预设领域知识体系，根据该知识体系，使用本体编程工具表示预设领域中类、关系和属性，获得描述类表示以及类表示与类表示间联系的公理集和描述关系表示与关系表示间联系的规则集，将公理集和规则集合并得到本体公理集，根据本体公理集生成实例、实例的扩展断言集、实例的属性断言和实例间的关系断言；根据扩展断言集、属性断言和关系断言得到本体断言集；根据本体推理机对公理集与本体断言集进行一致性检测，根据一致性检测结果和规则集
一种数据合成方法装置计算机设备存储介质

[发明专利]一种不协调本体的综合构建方法、装置及存储介质-CN202110793830.4有效
发明人：季秋;李炜卓;周诗琪;漆桂林;孙哲 -专利权人：南京邮电大学
申请日： 2021-07-14 - 公布日： 2022-06-10 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种不协调本体的综合构建方法、装置及存储介质，包括：设置多个参数，对多个参数进行赋值；从空集开始构建MIPS和MUPS，获得本体；依次添加新的MIPS和新的公理到本体中，使得本体满足所有参数，实现不协调本体的构建，所述多个参数包括：公理总数量、不可满足概念数量、MIPS数量、最小移除公理数、一个MUPS最多包含的公理数以及一个不可满足概念最多拥有的MUPS数量，本发明通过设置多个跟不协调本体密切相关的参数
一种不协调本体综合构建方法装置存储介质

[发明专利]使用基于概率信号时间逻辑的优化来进行基于对比度和熵的感知调整-CN202080094356.X在审
发明人：权赫晟;A·M·拉希米;A·阿加瓦尔;R·巴特查里亚 -专利权人：赫尔实验室有限公司
申请日： 2020-12-23 - 公布日： 2022-09-02 - 主分类号： G06V20/52 文献下载
摘要：将所述一个或多个目标的感知参数转换成探针，然后，使用概率信号时间逻辑将探针转换成公理。基于探针边界来评估公理。如果公理处于探针边界之内，则提供结果；然而，如果公理处于探针边界之外，则该系统估计最优对比度边界和熵边界来作为感知参数。然后，基于感知参数来调节摄像头系统中的对比度和熵。
使用基于概率信号时间逻辑优化进行对比度感知调整

[发明专利]一种基于数组信息引导的符号执行优化方法及装置-CN202011197076.X在审
发明人：陈振邦;王戟;毛晓光;董威;文艳军;李姗姗;陈立前;尹良泽;帅子琦 -专利权人：中国人民解放军国防科技大学
申请日： 2020-10-30 - 公布日： 2021-01-15 - 主分类号： G06F11/36 文献下载
摘要：根据收集到的访问类型信息设置符号执行器内部字符数组读操作在源程序中数组访问类型里的偏移；S3.求解路径约束时，符号执行器将收集到的访问类型信息以及偏移信息传递给约束求解器，约束求解器根据接收到的访问类型信息以及偏移信息判断是否存在公理冗余，如果存在冗余公理则不生成对应部分的公理，再根据最终生成的公理进行约束求解。本发明能够优化符号执行过程，避免约束求解时生成大量的冗余公理，提高符号执行效率。
一种基于数组信息引导符号执行优化方法装置

[发明专利]一种基于区间二元语义信息公理的不确定语言群决策方法-CN201510123719.9在审
发明人：王浩伦;车鹏飞 -专利权人：华东交通大学
申请日： 2015-03-20 - 公布日： 2015-05-27 - 主分类号： G06N5/02 文献下载
摘要：本发明公开了一种基于区间二元语义信息公理的不确定语言群决策方法，该发明采用公理设计理论考虑信息公理最小化，并集结各评价专家主观判断和偏好，得到了合理的决策结果。
一种基于区间二元语义信息公理不确定语言决策方法

[发明专利]一种基于嵌入的不一致容忍本体推理方法-CN202211175184.6在审
发明人：汪可予;李思特;李嘉烨;漆桂林;季秋 -专利权人：东南大学
申请日： 2022-09-26 - 公布日： 2022-12-16 - 主分类号： G06N5/04 文献下载
摘要：首先，将本体中的公理转化成自然语言形式的句子。随后利用嵌入技术，将自然语言形式的公理句子映射成高维空间的语义向量，利用语义向量计算公理之间的语义联系。该推理关系拓展经典逻辑到了描述逻辑领域，具备良好的逻辑性质，同时充分考虑到本体中公理的语义，具备更强的不一致容忍推理能力。
一种基于嵌入不一致容忍本体推理方法

[发明专利]通过在基于概率信号时间逻辑的约束下求解优化问题来进行感知误差评估和校正的系统和方法-CN202080057727.7在审
发明人：权赫晟;A·M·拉希米;A·阿加瓦尔;R·巴特查里亚 -专利权人：赫尔实验室有限公司
申请日： 2020-09-23 - 公布日： 2022-03-25 - 主分类号： G06V20/58 文献下载
摘要：将感知探针转换为基于概率信号时间逻辑(PSTL)的约束，其提供具有感知探针的统计分析的公理。对公理进行评估，以将感知探针分类为有效的或有误差的。通过基于公理求解优化问题来生成最优感知参数，这允许所述系统基于最优感知参数来调整感知模块。
通过基于概率信号时间逻辑约束求解优化问题进行感知误差评估校正系统方法

[发明专利]一种减小客户流失风险的大数据聚类算法-CN201810170341.1在审
发明人：李果 -专利权人：北京理工大学
申请日： 2018-02-28 - 公布日： 2018-08-17 - 主分类号： G06K9/62 文献下载
摘要：本发明涉及减小客户流失风险的大数据聚类算法，所述方法包括以下步骤：(1)使用公理模糊集理论来选择相关的属性，用其隶属函数和逻辑运算来表达模糊概念；(2)根据计算的隶属度，自动确定减法聚类算法的邻域半径和权重系数将减法聚类算法和公理模糊集集成为语义驱动的减法聚类方法；(4)使用K‑means算法来计算由语义驱动的减法聚类方法获得的聚类质心的聚类。基于减法聚类算法和公理模糊集的语义驱动的减法聚类方法(SDSCM)，提高了减法聚类算法和K‑means的聚类精度，通过使用这种新算法降低了使用公理模糊集(AFS)进行运营管理的不精确的风险。
减法聚类算法减法聚类语义驱动模糊集聚类聚类算法客户流失大数据减小模糊集理论聚类质心隶属函数逻辑运算模糊概念权重系数运营管理自动确定隶属度新算法邻域算法质心更新

[发明专利]基于数字孪生的实体制造系统部署方案的生成方法及系统-CN202110143201.7有效
发明人：胡天亮;魏永利;孟麒 -专利权人：山东大学
申请日： 2021-02-02 - 公布日： 2022-02-22 - 主分类号： G05B19/418 文献下载
摘要：将功能域设定为使用数字孪生技术解决物理实体具体应用服务问题所需物理实体未满足的必要条件；将物理域设定为实现功能域所需的必要条件；将过程域设定为物理域中设计元素的部署实施方案；对功能域与物理域之间的设计矩阵、物理域与过程域之间的设计矩阵进行独立性公理分析；对满足独立性公理的部署实施方案进行信息公理分析，选取信息量最小的部署实施方案为最优部署实施方案。将数字孪生技术与公理性分析相结合，获取了基于数字孪生的实体制造系统的最优部署实施方案。
基于数字孪生实体制造系统部署方案生成方法

1
2
3
4
5
6
7
8
9
10
11
下一页»
尾页
共 151 条