相关事件集相关论文
认知推理网络是一个有效表达不确定信息和知识的方法。该文给出了一种从相关事件集中自动建立认知推理网络的方法,试图解决建立认知......
在总结前人工作的基础上,提出了一种有效检测并发或反应系统的动态行为模型中违反安全属性的方法,目的是减少为检测违反安全属性所......