-
公开(公告)号：CN108875941A
公开(公告)日：2018-11-23
申请号：CN201710334658.X
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了命题逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断S的不可满足性：如果判定S不可满足则停止，否则，基于矛盾体分离式构造逆向演绎子句集，得到t个新子句集并进行演绎推理，如果对t个新子句集的演绎结果都是空子句，则S不可满足，否则循环前述步骤，直至得到S属性的判定结论或满足设定条件停止；本发明能动态分解矛盾体分离式，形成动态逆向演绎目标，有效指导下一步演绎推理，并对分解后的逻辑公式集属性判定进行并行处理，有效提高基于矛盾体分离的动态自动演绎推理系统的演绎效率；本发明可用于程序验证、定理机器证明等领域。
-
公开(公告)号：CN108875940A
公开(公告)日：2018-11-23
申请号：CN201710334654.1
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了命题逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：若矛盾体分离式为空则停止，得到结论：S不可满足；否则，抽取矛盾体内部子句并以所得t个子句为目标，分别对S进行演绎推理，若能演绎出这t个子句，则停止，得到结论：S不可满足；否则，循环如上过程，直至得到S属性的判定结论或满足设定条件停止；本发明能动态抽取矛盾体内部子句，形成动态逆向演绎目标，并对分解后的逻辑公式集属性判定进行并行处理，有效提高基于矛盾体分离的动态自动演绎推理系统的效率；本发明可应用于程序验证、定理机器证明等领域。
-
公开(公告)号：CN110264671A
公开(公告)日：2019-09-20
申请号：CN201910415759.9
申请日：2019-05-18
Applicant: 西南交通大学
Abstract: 本发明涉及地质灾害预测，提出一种基于多传感器信息融合在山体滑坡中的预测方法，包括以下步骤：获取多种传感器采集的山体参数；分别计算每个条块的稳定系数Kf和安全系数概率m；利用D-S证据理论算法分别融合得到每个条块的安全系数；综合所有条块的安全系数，判断山体整体的安全状态。本发明将山体分为若干个条块，利用传感器实时采集条块中多种数据参数，计算出稳定系数，数据采集及时；再用D-S证据理论算法融合得出每个条块的安全系数，减少无效数据导致的误报率，提高数据准确性，综合分析出山体的安全状态。本方法相对于传统的预测山体方法，获取的传感器参数多，且将传感器的数据进行融合处理，提高了山体滑坡预警的可靠性、及时性以及准确性。
-
Patent Agency Ranking
公开(公告)号：CN110210084A
公开(公告)日：2019-09-06
申请号：CN201910415763.5
申请日：2019-05-18
Applicant: 西南交通大学
Abstract: 本发明涉及一种于时间融合的力学变化判断滑坡可能性的方法及系统，该方法包括步骤：根据该山体力学模型和三角形法建立三角形力学变化模型；采集每一个时间监测点的山体数据，并删除异常数据；利用随机森林来建立影响因子与岩土内部性质粘聚力c及内摩擦角φ之间的关系；对于保留下来的数据，根据所述三角形力学变化模型和所述影响因子与c及φ之间的关系，计算出山体的安全系数，初步判断山体的状态；若山体的状态为高危状态，则利用生物增长模型预测出山体的滑坡时间。本发明充分利用多传感器资源进行时间序列数据融合，把多渠道、多方位按时间序列获得的局部的不完整的信息加以综合，消除多源信息间在时间和空间上可能存在的冗余和矛盾。
-
公开(公告)号：CN108875944A
公开(公告)日：2018-11-23
申请号：CN201710335327.8
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了命题逻辑中基于极大子句判定公式属性的方法，其步骤为：首先，根据子句集S中出现的所有命题变元集合V(S)，构造一个关于V(S)的极大子句D(k)，其次，在子句集S中将与子句～D(k)含有相同文字的子句删除，并将所得子句集记为S1，最后根据S1判定子句集S的属性；本发明给出了一种利用极大子句判定命题逻辑子句集属性的方法，且该方法在判定子句集为可满足的同时给出了一个满足该子句集的解释。
-
公开(公告)号：CN108875942A
公开(公告)日：2018-11-23
申请号：CN201710335313.6
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明提出了命题逻辑中基于标准延拓三角形的矛盾体分离演绎推理，该方法依次通过：构造基于标准延拓三角形矛盾体；形成矛盾体分离式；根据矛盾体分离式和子句的特点判定子句集属性，如果能够判断子句集不可满足或可满足，则停止；否则，将所得矛盾体分离式加入原子句集，形成新的子句集。接着构造并分离基于标准延拓三角形矛盾体，直至满足条件停止或得到子句集属性的判定结论。本发明可高效构造矛盾体，实现将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制，是自动演绎推理领域一个本质性的突破。
-
公开(公告)号：CN108875939A
公开(公告)日：2018-11-23
申请号：CN201710334627.4
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了命题逻辑中基于最大矛盾体的自动推理方法，其步骤为：首先，利用子句集S中出现的k个变元生成最大矛盾体，然后利用最大矛盾体找出矛盾体，删除矛盾体中的文字后，将全部剩余文字析取形成矛盾体分离式，最后利用矛盾体分离式判定子句集S的属性，完成推理；本发明突破了传统的归结原理每次演绎“且只能有两个子句参与”的限制，将静态、二元、归结演绎发展为动态、多元、矛盾体分离演绎，该方法具有更强的针对性、更大的灵活性，判定逻辑公式属性的能力更强。
-
公开(公告)号：CN209842836U
公开(公告)日：2019-12-24
申请号：CN201920670206.3
申请日：2019-05-12
Applicant: 西南交通大学
Abstract: 本实用新型涉及一种基于多传感信息融合的山体滑坡监测系统，包括传感器组、无线网络和服务器，所述传感器组包括至少两种类型的传感器，一种类型的传感器用于采集山体滑坡分析所用的一种传感数据，传感器组采集的传感数据通过所述无线网络传输至所述服务器。本实用新型山体滑坡监测系统，通过采集至少两种传感器数据，并通过无线传输方式传输，既可以解决数据采集时效性的问题，又可以解决数据传输量大的问题。
-
-
-
-
-
-
-
Search Results
18
records
(took 0.019 seconds)
