【摘 要】
：
时态认知逻辑已被广泛应用于分布式系统和协议的规范描述,模型检测时态认知规范已成为一个新的研究领域,因此着重研讨时态认知规范的“OntheFly”模型检测算法·在“OntheFly
【机 构】
：
中山大学计算机科学与技术系,河南科技大学电子信息工程学院,广东工贸职业技术学院
【基金项目】
：
国家自然科学基金项目(60496327,10410638,60473004);德国科学研究基金项目(446CHV113/240/0-1);广东省自然科学基金项目(04205407)~~
论文部分内容阅读
时态认知逻辑已被广泛应用于分布式系统和协议的规范描述,模型检测时态认知规范已成为一个新的研究领域,因此着重研讨时态认知规范的“OntheFly”模型检测算法·在“OntheFly”模型检测时态逻辑描述规范的基础上,根据自动机理论、深度优先方法和知识的语义,提出了“OntheFly”模型检测时态认知规范的算法,该算法在模型检测带有知识算子的时态规范时,在找到一个反例之前,往往只需构造系统的部分甚至小部分状态空间,从而避免了时态认知规范的模型检测中内存不足和状态爆炸等问题,实现了“OntheFly”模型检测时态认知规范,并且算法的复杂性是多项式时间的·最后,通过该方法在验证TMN密码协议中的应用来作为一个例子说明该方法的有效性·
其他文献
思想政治教育工作始终是我国高校工作中的重要内容,建设高校思想政治教育网络载体,消解网络对大学生群体带来的冲击性负面影响,提高高校思想政治教育工作的效率和效果,要主要
[目的]探究高脂血症治疗中丹田降脂丸联合阿托伐他汀的疗效。[方法]收集96例2018年1月—2019年2月在本院进行治疗的高脂血症患者为研究对象,通过随机平行对照法分成两组,各48
岩土工程勘察应正确反映场地工程地质条件,查明不良地质作用和地质灾害,并通过对原始资料的整理、检查和分析,提出资料完整、评价正确、建议合理的勘察报告。文章主要针对岩
中国共产党已经走过了80年的光辉历程.中国共产党的80年,是党日益发展壮大的80年,是党领导人民为中国民族解放和人民幸福而前仆后继、英勇奋斗的80年,是党把马克思列宁主义的
中国新民主主义革命胜利标志问题一直颇有争议,还是以19499年新中国成立为标志为好.其他观点不符合马克思主义的有关理论,难以解释建国初的中国社会性质,而且就中国历史实际
本文分析我国的西北边陲最重要邻国哈萨克斯坦主流媒体报纸中的中国形象。结合前人的研究方法并在前人的研究结果基础上,从语言学角度出发,采用定量的文本分析,在建立语料数
检测与研究了罗氏沼虾3口养殖试验塘及其河道水源底质硫化物、总硫（TS）、总有机碳（TOC）、总氮（TN）、总磷（TP）含量和变化规律以及硫化物与TOC等指标之间的关系.结果显示,养殖期间,虾塘
结构钢因具有良好的综合性能、且价格低廉，所以成为现代工业中应用最大的金属材料之一，但其最大的缺点就是抗磨损性能和抗腐蚀性能较差。由于结构钢零部件的磨损和腐蚀都始于表
云计算是将计算、存储等资源放在虚拟网络中,而非本地服务器,这使得用户能够方便快捷的访问所需的计算资源和存储资源。虽然云计算如此便利,但人们并没有欣然接受这一新事物
<正>在丝绸之路经济带建设中,人民币跨境流动是一个大的战略需要。中国区域金融改革的逻辑中国区域金融改革的逻辑可以概括为三个方面。第一个逻辑,试图在可复制性、可推广层