时段时态逻辑相关论文
入侵特征对于入侵检测系统至关重要,它们往往由系统属性和事件序列组成,时序关系是描述它们的Signatures based 0n Interval Tempo......
由于Agent的自治性和异构性等特征,多智能体物流系统中不可避免的存在着大量由系统属性和事件序列组成的冲突现象,时序逻辑墨描述它......
在对ITL的定义和实时语义扩充进行描述的基础上,详细探讨了ISITL的特征,并给出了其模式图和MACIS事件的处理算法;最后对ISITL存在......
入侵特征由系统属性和事件序列组成,时序关系是描述它们的关键。ISITL是一种基于Allen的时段时态逻辑和一阶谓词逻辑的入侵特征形式......