一种用于航空器维护的逻辑知识系统

    公开(公告)号:CN116308276A

    公开(公告)日:2023-06-23

    申请号:CN202310243585.9

    申请日:2023-03-14

    Abstract: 本发明公开了一种用于航空器维护的逻辑知识系统模型,使用回答集编程(Answer Set programming)建立知识库和系统。这个知识库有效的描述了维护主体、维护资源、维护指导和质量确认这四个部分,配合使用回答集编程书写的维护任务可以有效的查询维护指导和维护质量确认准则和方法。工程师根据系统给出的结果,可以更好的研究故障之间的关系,进一步提高航空器维护任务的效率。

    一种基于ASP的冲突访问控制策略方法

    公开(公告)号:CN116389079A

    公开(公告)日:2023-07-04

    申请号:CN202310264084.9

    申请日:2023-03-18

    Abstract: 本发明属于访问控制策略方法领域,公开了一种基于逻辑编程的冲突访问控制策略方法,包括以下步骤:1.默认策略,即系统进行访问的过程中没有冲突时采取的策略;2.环境相关禁止策略,即根据具体环境为某用户定义的禁止访问控制执行策略;3.环境相关通行策略,即根据具体环境为某用户定义了某id的异常权限访问执行策略;4.异常策略,即在系统访问时出现了异常情况时定义的相关策略使得访问选择最优化。基于以上步骤,本发明可以根据具体情况及情景设计出符合最佳处理办法的访问控制系统,提高了系统的正确率以及增强了系统的智能化,使得系统在处理问题时有了更加可靠的能力。

Patent Agency Ranking