事件逻辑相关论文
基于语义的动画生成技术受到人们越来越多的关注,很多科研机构和企业都以万维网(W3C)所提供的资源描述框架对故事相关的语义化结构......
形式化方法是分析网络安全协议的一种重要方法，网络协议安全性也是信息安全领域的研究热点。事件逻辑是一种描述分布式系统中状态迁......
摘要：研究与分析动态调度优化系统在炼油过程中的应用的原因以及功能。在事件逻辑当中的实时动态优化调度这一建模方法基础之上对模......
无线Mesh网络是一种结合无线局域网和移动自组织网络的新型多跳网络，无线网络的开放性和资源受限性使得无线网络容易遭受重放、伪装......
形式化方法是分析网络安全协议的一种重要方法,也是信息安全领域的研究热点。形式化方法基于严格的数学概念和逻辑方法,对协议进行......
本文尝试整理贺照田多年学术工作中在认识论和方法论等层面的诸多新思路,以探讨他回应时代课题的学术方式,进而思考我们今天如何从......
炼油行业是连续过程工业的典型代表,是国民经济的支柱行业,具有举足轻重的作用。生产调度作为炼油企业综合自动化系统的中间环节,......
安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题.事件逻辑是一种描述分布式系统中状态迁移的形式化方法,......
