基于图约简表示与图神经网络的前提选择方法

    公开(公告)号:CN117808084A

    公开(公告)日:2024-04-02

    申请号:CN202311490926.9

    申请日:2023-11-09

    Abstract: 本发明涉及人工智能技术领域,涉及一种基于图约简表示与图神经网络的前提选择方法,包括以下步骤:步骤一:通过判断并删除连续重复的量词得到简化的一阶逻辑公式图;步骤二:基于简化的逻辑公式图,提出一种具有注意力机制的项游走图神经网络模型,模型按照项游走模式聚合位于项游走三元组上部、中部和下部的节点信息,引入注意力机制计算节点的项游走特征权重,并将权重与节点信息结合生成新的节点嵌入向量,再通过全局平均池化得到最终的公式图特征向量;步骤三,将候选前提和给定猜想的图特征向量输入到二元分类器,进而实现对候选前提的分类。本发明能较佳地进行前提选择。

    一种面向前提选择的图神经网络与逻辑融合方法

    公开(公告)号:CN118966273A

    公开(公告)日:2024-11-15

    申请号:CN202411443001.3

    申请日:2024-10-16

    Abstract: 本发明涉及自动推理技术领域,提供一种面向前提选择的图神经网络与逻辑融合方法,包括:步骤1、将一阶逻辑公式表示成逻辑公式图;步骤2、通过图神经网络逻辑融合模型进行信息传递、信息聚合与池化,最终将逻辑公式图转化为图特征表示;步骤3、基于直通估计的逻辑公式改进损失编码;步骤4、建立基于直通估计改进损失的前提选择模型,使用二元分类器结合逻辑公式图、图特征表示和逻辑公式损失进行分类和预测。本发明能较佳地实现图神经网络与逻辑融合。

    一种脊柱侧弯检测装置及方法

    公开(公告)号:CN117338285B

    公开(公告)日:2024-07-09

    申请号:CN202311422298.0

    申请日:2023-10-31

    Abstract: 本发明公开了一种脊柱侧弯检测装置及方法,包括顶盖、底座、第一伸缩支撑杆、第二伸缩支撑杆、压力薄膜;所述顶盖通过第一伸缩支撑杆和第二伸缩支撑杆连接底座,顶盖和底座之间设置有压力薄膜;所述压力薄膜内设置有压力传感器,用于检测压力薄膜上特定位置所受到的压力;所述顶盖上设置有调节伸缩杆的控制模块、用于数据信息录入和输出的交互模块、获取压力薄膜的数据获取模块、用于计算棘突数据的计算分析模块。本发明通过对被测试者脊柱棘突的探寻按压复刻了被测试者脊柱棘突的位置数据,通过棘突位置数据绘制脊柱形状并通过棘突中心位置数据计算cobb角度,检测精度和稳定性高。

    一种脊柱侧弯检测装置及方法
    6.
    发明公开

    公开(公告)号:CN117338285A

    公开(公告)日:2024-01-05

    申请号:CN202311422298.0

    申请日:2023-10-31

    Abstract: 本发明公开了一种脊柱侧弯检测装置及方法,包括顶盖、底座、第一伸缩支撑杆、第二伸缩支撑杆、压力薄膜;所述顶盖通过第一伸缩支撑杆和第二伸缩支撑杆连接底座,顶盖和底座之间设置有压力薄膜;所述压力薄膜内设置有压力传感器,用于检测压力薄膜上特定位置所受到的压力;所述顶盖上设置有调节伸缩杆的控制模块、用于数据信息录入和输出的交互模块、获取压力薄膜的数据获取模块、用于计算棘突数据的计算分析模块。本发明通过对被测试者脊柱棘突的探寻按压复刻了被测试者脊柱棘突的位置数据,通过棘突位置数据绘制脊柱形状并通过棘突中心位置数据计算cobb角度,检测精度和稳定性高。

    一种面向前提选择的图神经网络与逻辑融合方法

    公开(公告)号:CN118966273B

    公开(公告)日:2025-01-24

    申请号:CN202411443001.3

    申请日:2024-10-16

    Abstract: 本发明涉及自动推理技术领域,提供一种面向前提选择的图神经网络与逻辑融合方法,包括:步骤1、将一阶逻辑公式表示成逻辑公式图;步骤2、通过图神经网络逻辑融合模型进行信息传递、信息聚合与池化,最终将逻辑公式图转化为图特征表示;步骤3、基于直通估计的逻辑公式改进损失编码;步骤4、建立基于直通估计改进损失的前提选择模型,使用二元分类器结合逻辑公式图、图特征表示和逻辑公式损失进行分类和预测。本发明能较佳地实现图神经网络与逻辑融合。

    一种运动数据采集处理方法、系统和存储介质

    公开(公告)号:CN116881666B

    公开(公告)日:2024-02-13

    申请号:CN202310988507.1

    申请日:2023-08-08

    Abstract: 本发明公开了一种运动数据采集处理方法、系统和存储介质,所述数据采集处理方法包括以下步骤:S1:随机抽取n名测试运动者,每名测试运动者在目标场景下分别进行p种运动类型的运动,所述目标场景设有m个不同的地点;S2:获取每名测试运动者从第i个地点到第j个地点的第c种运动类型对应的样本信息,所述样本信息包括测试运动者身份信息和时间信息,所述时间信息服从正太分布;S3:对获取的总计p*Am2个样本信息进行参数估计;S4:获取实际运动者在所述目标场景下进行运动的时间数据;S5:根据所述时间数据进行数据推断归类,获得所述实际运动者的实际运动类型。本发明能够自动区分实际运动者参与的运动项目。

    一种运动数据采集处理方法、系统和存储介质

    公开(公告)号:CN116881666A

    公开(公告)日:2023-10-13

    申请号:CN202310988507.1

    申请日:2023-08-08

    Abstract: 本发明公开了一种运动数据采集处理方法、系统和存储介质,所述数据采集处理方法包括以下步骤:S1:随机抽取n名测试运动者,每名测试运动者在目标场景下分别进行p种运动类型的运动,所述目标场景设有m个不同的地点;S2:获取每名测试运动者从第i个地点到第j个地点的第c种运动类型对应的样本信息,所述样本信息包括测试运动者身份信息和时间信息,所述时间信息服从正太分布;S3:对获取的总计p*Am2个样本信息进行参数估计;S4:获取实际运动者在所述目标场景下进行运动的时间数据;S5:根据所述时间数据进行数据推断归类,获得所述实际运动者的实际运动类型。本发明能够自动区分实际运动者参与的运动项目。

Patent Agency Ranking