主权项 |
1.一种智能电网分区防护系统漏洞的格蕴含推理算法,其特征在于,具体包括如下步骤:1)先根据智能电网分区防护系统实验环境构建格蕴含代数系统模型,智能电网按防护等级分区,各区平行连接点为合法点,其他为边界漏洞点,外界攻击可以通过漏洞入侵到分区系统,定义分区防护系统中<img file="401461DEST_PATH_IMAGE001.GIF" wi="" he="" />是一个偏序集,假设S={a,b,c},其中任意两个元素都有最小上界和最大下届,则称<img file="276007DEST_PATH_IMAGE001.GIF" wi="" he="" />为分区防护系统格,P(S)是分区防护系统的S的幂集,<P(S),>是一个偏序集,<img file="560358DEST_PATH_IMAGE002.GIF" wi="" he="" />是分区防护系统格,定义一个漏洞集合{v},重新构建V={a,b,c,v}的偏序集,并称<img file="972884DEST_PATH_IMAGE003.GIF" wi="" he="" />为分区防护系统中的边界漏洞格,在<P(V),>偏序集上,构建Hasse图,由分区防护系统格<P(S),>所诱导的代数系统为<P(S),,∨,∧>,其中∨为集合的并,∧为集合的交,如果分区防护系统<img file="63200DEST_PATH_IMAGE001.GIF" wi="" he="" />格,在代数系统为<P(S),,∨,∧>上,假设VS并且V≠Φ,并且∨,∧关于V是封闭的,那么<img file="244783DEST_PATH_IMAGE003.GIF" wi="" he="" />边界漏洞格为<img file="434456DEST_PATH_IMAGE001.GIF" wi="" he="" />的子格;2)然后采用概念格的方法描述模型中的漏洞,格上规则提取,找到包含的最小概念,对该节点的子格进行宽度优先遍历,对每个节点生成所有非冗余规则,对每个节点首先生成蕴涵规则,再生成低可信度规则,最终基于事实生成蕴涵规则;3)定义格蕴涵算子,在此基础上构建格蕴含的自动推理系统;4)推理检验系统漏洞,最后通过实验系统环境检验推理效率。 |