-
公开(公告)号：CN110264671B
公开(公告)日：2021-03-30
申请号：CN201910415759.9
申请日：2019-05-18
Applicant: 西南交通大学
Abstract: 本发明涉及地质灾害预测，提出一种基于多传感器信息融合在山体滑坡中的预测方法，包括以下步骤：获取多种传感器采集的山体参数；分别计算每个条块的稳定系数Kf和安全系数概率m；利用D‑S证据理论算法分别融合得到每个条块的安全系数；综合所有条块的安全系数，判断山体整体的安全状态。本发明将山体分为若干个条块，利用传感器实时采集条块中多种数据参数，计算出稳定系数，数据采集及时；再用D‑S证据理论算法融合得出每个条块的安全系数，减少无效数据导致的误报率，提高数据准确性，综合分析出山体的安全状态。本方法相对于传统的预测山体方法，获取的传感器参数多，且将传感器的数据进行融合处理，提高了山体滑坡预警的可靠性、及时性以及准确性。
-
公开(公告)号：CN108875950A
公开(公告)日：2018-11-23
申请号：CN201710335866.1
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了命题逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法步骤为：对于命题逻辑中的子句集S构造扩展三角形矛盾体，形成矛盾体分离式，根据矛盾体分离式判断子句集属性；如果能判断子句集不可满足，则停止；否则，将所得矛盾体分离式加入原子句集，形成新的子句集，接着构造并分离扩展三角形矛盾体，直至得到子句集属性的判定结论或满足设定条件停止；本发明提供了命题逻辑中一种有效的基于矛盾体分离的动态自动演绎推理方法，能有效刻画多个子句间的协同逻辑关系，并可应用于程序验证、定理机器证明等领域。
-
公开(公告)号：CN108875948A
公开(公告)日：2018-11-23
申请号：CN201710335861.9
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了命题逻辑中基于最大矛盾体判定公式属性的方法，其步骤为：首先，利用子句集S中出现的全部命题变元构造最大矛盾体，然后在最大矛盾体中寻找满足一定条件的子句D，最后根据子句D判定子句集S的属性；本发明在基于矛盾体分离的多元动态自动演绎推理理论基础上，给出了一种利用最大矛盾体判定命题逻辑子句集属性的方法，且该方法在判定子句集为可满足的同时给出了一个满足该子句集的解释。
-
公开(公告)号：CN108875947A
公开(公告)日：2018-11-23
申请号：CN201710335858.7
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明提出了一阶逻辑中基于标准延拓三角形的矛盾体分离多元动态自动演绎推理方法，该方法依次通过：构造基于标准延拓三角形矛盾体；形成矛盾体分离式；根据矛盾体分离式判断子句集属性，如果能够判断子句集不可满足或可满足，则停止；否则，将所得矛盾体分离式加入原子句集，形成新的子句集。接着构造并分离基于标准延拓三角形矛盾体，直至满足条件停止或得到子句集属性的判定结论。本发明提供了一阶逻辑中一种有效的基于矛盾体分离的动态自动演绎推理方法，实现将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制，是自动演绎推理领域一个本质性的突破。
-
公开(公告)号：CN108875946A
公开(公告)日：2018-11-23
申请号：CN201710335855.3
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了一阶逻辑中基于矛盾体分离的多元动态自动演绎推理方法，该方法通过在一阶逻辑中的子句集S中寻找标准矛盾体，然后在子句集S中剩余的子句中删除出现在标准矛盾体中的文字，并将全部剩余文字进行析取形成矛盾体分离式，最后根据矛盾体分离式判定初始的子句集S的属性，最终直到得出判定结果，则停止演绎推理。本发明可将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制，可应用于系统可信性自动验证、定理机器证明等领域，具有多元性、动态性、并行性、协调性、导向性、灵活性、方便性等特点。
-
Patent Agency Ranking
公开(公告)号：CN108875945A
公开(公告)日：2018-11-23
申请号：CN201710335328.2
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法依次通过：对于一阶逻辑中的子句集构造扩展三角形标准矛盾体，形成标准矛盾体分离式，根据标准矛盾体分离式判断子句集的不可满足性；如果能够判断子句集不可满足，则停止得到结论：被判定的子句集S不可满足；否则，将所得标准矛盾体分离式加入子句集S，形成新的子句集，然后重复构造扩展三角形标准矛盾体，并分离扩展三角形标准矛盾体，直至得到子句集S属性的判定结论或满足设定条件停止；本发明提供了一阶逻辑中一种有效的基于矛盾体分离的动态自动演绎推理方法，能有效刻画多个子句间的协同逻辑关系，并可应用于程序验证、定理机器证明等领域。
-
公开(公告)号：CN108875949A
公开(公告)日：2018-11-23
申请号：CN201710335863.8
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对一阶逻辑中子句集S构造矛盾体并形成矛盾体分离式R，根据R判断演绎推理是否终止：如果判定S不可满足，则停止；否则，用R与S构造t个新子句集，然后对t个新子句集进行演绎推理得到结果Rj，如果Rj都是空子句，则S不可满足；否则，对不为空的Rj对应的新子句集循环前述步骤，直至得到S属性的判定结论或满足设定条件停止，从而实现演绎推理过程；本发明能动态分解矛盾体分离式，形成动态逆向演绎目标，实现对逻辑公式集属性判定的并行处理，有效指导演绎推理，提高基于矛盾体分离的动态自动演绎推理的效率；本发明可用于程序验证、定理机器证明等领域。
-
公开(公告)号：CN110210084B
公开(公告)日：2022-06-28
申请号：CN201910415763.5
申请日：2019-05-18
Applicant: 西南交通大学
IPC: G06F30/20 , G06F17/11 , G06F17/18 , G06Q10/04 , G06Q50/26 , G06K9/62 , G06F119/14 , G06F119/12
Abstract: 本发明涉及一种于时间融合的力学变化判断滑坡可能性的方法及系统，该方法包括步骤：根据该山体力学模型和三角形法建立三角形力学变化模型；采集每一个时间监测点的山体数据，并删除异常数据；利用随机森林来建立影响因子与岩土内部性质粘聚力c及内摩擦角φ之间的关系；对于保留下来的数据，根据所述三角形力学变化模型和所述影响因子与c及φ之间的关系，计算出山体的安全系数，初步判断山体的状态；若山体的状态为高危状态，则利用生物增长模型预测出山体的滑坡时间。本发明充分利用多传感器资源进行时间序列数据融合，把多渠道、多方位按时间序列获得的局部的不完整的信息加以综合，消除多源信息间在时间和空间上可能存在的冗余和矛盾。
-
公开(公告)号：CN108875951A
公开(公告)日：2018-11-23
申请号：CN201710335867.6
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了一阶逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法依次通过：对一阶逻辑中的子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：如果S不可满足，则停止；否则，抽取标准矛盾体内部子句以得到的t个子句为目标，分别对S进行演绎推理，如果能演绎出这t个子句，则停止演绎，得到结论：S不可满足；否则，循环如上过程，直至得到S属性的判定结论或满足设定条件停止；本发明能动态抽取标准矛盾体内部子句，形成动态逆向演绎目标，实现对逻辑公式集属性判定的并行处理，有效指导演绎推理，提高基于矛盾体分离的动态自动演绎推理系统的演绎效率；本发明可应用于程序验证、定理机器证明等领域。
-
公开(公告)号：CN108875943A
公开(公告)日：2018-11-23
申请号：CN201710335319.3
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了命题逻辑中基于矛盾体分离的多元动态自动演绎推理方法，对于命题逻辑中子句集S，在S中选出k个子句Cj1，Cj2，…，Cjk，满足Cj1，Cj2，…，Cjk含有矛盾体；第二步，在子句Cj1，Cj2，…，Cjk中删除矛盾体中的文字，将全部剩余文字进行析取形成矛盾体分离式；最后，判定子句集S的属性：若得出判定结果，则停止，否则，将矛盾体分离式并入S中得到新子句集，并对新子句集执行前两步，直到得出结果。该方法可同时使用子句集中的多个甚至全部子句参与演绎，在更大程度上刻画了多子句之间的整体协同逻辑关系，是将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制。
-
-
-
-
-
-
-
-
-
Search Results
18
records
(took 0.019 seconds)
