论文部分内容阅读
文章研究行为时序逻辑（TLA）中行为（Action）的性质及行为之间的关系,提出＂行为活性＂和＂行为安全性＂概念,从行为的视角重新给出系统活性和安全性的定义,使得安全性和活性定义更加直观和容易理解,并证明了新老定义的等价性。
基于行为时序逻辑系统性质研究
【摘 要】
：
文章研究行为时序逻辑（TLA）中行为（Action）的性质及行为之间的关系,提出＂行为活性＂和＂行为安全性＂概念,从行为的视角重新给出系统活性和安全性的定义,使得安全性和活性定义更加直观和
【机 构】
：
贵州财经大学信息学院
【出 处】
：
信息安全与技术
【发表日期】
：
2014年12期
【基金项目】
：
贵州省自然科学技术基金（黔科合J字[2012]2096号）, 贵州财经大学人才引进科研基金
其他文献
为了评价现存的森林经营方法及国家执行的多个林业生态工程的有效性,利用两期直接可比的全球土地覆盖数据(Globcover 2005和2009),采用破碎化分析模型与景观指数相结合的方法
本论文以二茂铁基腙为原料合成了二茂铁砜、二茂铁吡啶和邻位芳香杂环取代的二茂铁吖嗪化合物,分为以下三部分。第一部分是铜催化下二茂铁基腙经过分子内反应形成二茂铁砜类
凸模、中模和凹模是聚苯乙烯（EPS）头盔内衬垫发泡模的主要零部件,这些零部件除了造型具有橄榄球形的曲面之外,其结构也颇为复杂。通过对这3种零部件的三维造型,并采用了数铣仿
着名的教育家夸美纽斯指出:“一切知识都是以感官的认知开始的”。直观教学法符合学生在体育学习中从抽象到形象的规律,符合体育教学这一学科的专业特点。在体育教学中,直观
<正>笔者利用手头易得材料制作了一台"简易天平"来定量测量安培力,在教学中收到了较好效果。该演示实验的特点有3个:一是可定量研究安培力F与B,I,L的关系。二是该装置利用单