期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
基于行为时序逻辑的入侵取证研究 被引量:3
1
作者 李均涛 唐郑熠 李祥 《计算机应用研究》 CSCD 北大核心 2011年第7期2742-2745,共4页
提出一种基于行为时序逻辑的入侵取证的形式化方法,其描述语言能够准确描述入侵证据、系统知识以及攻击行为,并具有在部分数据缺失的情况下进行非确定性推理的能力;其自动验证工具能够寻求额外的证据并可检查是否有可能的攻击与这些证... 提出一种基于行为时序逻辑的入侵取证的形式化方法,其描述语言能够准确描述入侵证据、系统知识以及攻击行为,并具有在部分数据缺失的情况下进行非确定性推理的能力;其自动验证工具能够寻求额外的证据并可检查是否有可能的攻击与这些证据相符。实例研究表明,这种方法不依赖于具体的攻击技术和操作系统,不惧证据的缺失,能够有效搜寻更多的证据并重建可能的攻击场景。 展开更多
关键词 入侵取证 行为时序逻辑 逻辑描述语言 系统验证
下载PDF
一种基于规则的语言的公理语义 被引量:2
2
作者 魏振春 韩江洪 +1 位作者 陆阳 刘小平 《计算机工程与应用》 CSCD 北大核心 2008年第20期86-88,共3页
为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程... 为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程序的正确性证明提供了理论依据。 展开更多
关键词 规则 逻辑规则描述语言 公理语义 HOARE逻辑 形式语法
下载PDF
基于调度与变电站一体化系统的分布式故障诊断 被引量:15
3
作者 孙大雁 许祖锋 +3 位作者 苏大威 李云鹏 霍雪松 翟明玉 《电力系统自动化》 EI CSCD 北大核心 2016年第23期125-130,共6页
随着智能电网的快速发展,智能变电站数据量不断增长,数据处理能力不断增强,推动故障诊断技术逐步朝分布式方向发展。基于统一平台技术的调度与变电站一体化系统采用了分布式故障诊断的设计,在变电站建立基于故障逻辑描述语言建模和模型... 随着智能电网的快速发展,智能变电站数据量不断增长,数据处理能力不断增强,推动故障诊断技术逐步朝分布式方向发展。基于统一平台技术的调度与变电站一体化系统采用了分布式故障诊断的设计,在变电站建立基于故障逻辑描述语言建模和模型驱动式故障推理的故障诊断专家系统,与调控中心主站的综合智能告警通过广域服务总线实现协同互动、信息共享。实践表明,基于调度与变电站一体化系统的分布式故障诊断能够满足调控运行人员快速、可靠地处理变电站故障告警的需求。 展开更多
关键词 调度与变电站一体化系统 统一平台技术 故障诊断 故障逻辑描述语言
下载PDF
New method for query answering in semantic web 被引量:1
4
作者 林培光 刘弘 +1 位作者 樊孝忠 王涛 《Journal of Southeast University(English Edition)》 EI CAS 2006年第3期319-323,共5页
To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph (AG), which is directed labeled graph, is defined and a new AG-based retrieval method is put forward... To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph (AG), which is directed labeled graph, is defined and a new AG-based retrieval method is put forward. This method converts the knowledge base and query clause into knowledge AG and query AG by making use of the given rules and then makes use of graph traversal to carry out knowledge base retrieval. The experiment indicates that the efficiency of this method exceeds, respectively, the popular RACER and KAON2 system by 0.4% and 3.3%. This method can obviously promote the efficiency of knowledge base retrieval. 展开更多
关键词 description logic assertional graph semantic web information retrieval
下载PDF
基于HPD的核电厂分布式控制系统验证与确认
5
作者 丁义行 李世欣 《核动力工程》 EI CAS CSCD 北大核心 2016年第6期75-79,共5页
验证和确认(V&V)过程是核电厂安全级数字化分布式控制系统(DCS)应用和取证关注的重要问题之一。硬件描述语言可编程逻辑器件(HPD)技术应用于核电厂安全级DCS会给取证带来新的审查问题。对国外的V&V法规和美国电气与电子工程师协... 验证和确认(V&V)过程是核电厂安全级数字化分布式控制系统(DCS)应用和取证关注的重要问题之一。硬件描述语言可编程逻辑器件(HPD)技术应用于核电厂安全级DCS会给取证带来新的审查问题。对国外的V&V法规和美国电气与电子工程师协会(IEEE)标准进行初步分析,依据IEEE 1012-2012标准,结合HPD特性,给出HPD系统各生命周期过程的V&V任务和方法,以及基于HPD技术的安全级DCS审查建议。 展开更多
关键词 硬件描述语言可编程逻辑器件 核电厂 数字化分布式控制系统 验证与确认
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部