1) model checking temporal logic of knowledge
模型检测时态知识逻辑
2) temporal knowledge model
时态知识模型
1.
In order to effectively detect intrusion in real time, a pattern extraction algorithm based on temporal knowledge model and varying glide time window is provided.
在分析国内外现有入侵检测技术和系统的基础上 ,提出了一种基于时态知识模型和可变滑动窗口的实时模式提取算法 ,并在此基础上 ,实现了基于规则的、层次化的智能入侵检测原型系统 (RIDES) 。
3) temporal logics of knowledge
时态认知逻辑
1.
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
2.
The model checking for temporal logics of knowledge becomes a new and important research domain.
时态认知逻辑已被广泛应用于分布式系统和协议的规范描述,模型检测时态认知规范已成为一个新的研究领域,因此着重研讨时态认知规范的“OntheFly”模型检测算法·在“OntheFly”模型检测时态逻辑描述规范的基础上,根据自动机理论、深度优先方法和知识的语义,提出了“OntheFly”模型检测时态认知规范的算法,该算法在模型检测带有知识算子的时态规范时,在找到一个反例之前,往往只需构造系统的部分甚至小部分状态空间,从而避免了时态认知规范的模型检测中内存不足和状态爆炸等问题,实现了“OntheFly”模型检测时态认知规范,并且算法的复杂性是多项式时间的·最后,通过该方法在验证TMN密码协议中的应用来作为一个例子说明该方法的有效性
4) epistemic temporal logic
认知时态逻辑
1.
In this thesis,a logic system will be discussed——temporal pubic announcement logic,which can capture both two important ingredients and merges the semantic framework of pubic announcement logic and epistemic temporal logic.
在描述多主体间相互作用的过程中,公开宣告逻辑关注于在公开宣告发生后主体的认知状态如何改变;认知时态逻辑关注于在主体的相互作用中能够发生哪些信