论文部分内容阅读
文章研究行为时序逻辑（TLA）中行为（Action）的性质及行为之间的关系,提出＂行为活性＂和＂行为安全性＂概念,从行为的视角重新给出系统活性和安全性的定义,使得安全性和活性定义更加直观和容易理解,并证明了新老定义的等价性。
基于行为时序逻辑系统性质研究
【摘 要】
：
文章研究行为时序逻辑（TLA）中行为（Action）的性质及行为之间的关系,提出＂行为活性＂和＂行为安全性＂概念,从行为的视角重新给出系统活性和安全性的定义,使得安全性和活性定义更加直观和
【机 构】
：
贵州财经大学信息学院
【出 处】
：
信息安全与技术
【发表日期】
：
2014年12期
【基金项目】
：
贵州省自然科学技术基金（黔科合J字[2012]2096号）, 贵州财经大学人才引进科研基金
其他文献
水稻是禾本科稻属一年生草本植物.秆直立,高30～100厘米.水稻起源于中国、印度和印度尼西亚.亚洲水稻种植面积占世界总种植面积的90％以上,美洲约占4％,非洲约占3％,欧洲与大洋洲各占
柑橘病虫害种类繁多,其中在闽东地区柑橘主要的病虫害种类有：柑橘黄龙病、柑橘疮痂病、柑橘炭疽病、柑橘全爪螨、柑橘潜叶蛾。文章从病虫害的症状表现、发病规律入手,研究主要
近年来,随着小麦产量、品质的不断提高,水肥条件的不断改善和农机免耕作业、跨区作业的发展,吸浆虫发生范围不断扩大,发生程度明显加重,对小麦生产构成严重威胁。如果小麦被
为了评价现存的森林经营方法及国家执行的多个林业生态工程的有效性,利用两期直接可比的全球土地覆盖数据(Globcover 2005和2009),采用破碎化分析模型与景观指数相结合的方法
本论文以二茂铁基腙为原料合成了二茂铁砜、二茂铁吡啶和邻位芳香杂环取代的二茂铁吖嗪化合物,分为以下三部分。第一部分是铜催化下二茂铁基腙经过分子内反应形成二茂铁砜类
凸模、中模和凹模是聚苯乙烯（EPS）头盔内衬垫发泡模的主要零部件,这些零部件除了造型具有橄榄球形的曲面之外,其结构也颇为复杂。通过对这3种零部件的三维造型,并采用了数铣仿
着名的教育家夸美纽斯指出:“一切知识都是以感官的认知开始的”。直观教学法符合学生在体育学习中从抽象到形象的规律,符合体育教学这一学科的专业特点。在体育教学中,直观
<正>笔者利用手头易得材料制作了一台"简易天平"来定量测量安培力,在教学中收到了较好效果。该演示实验的特点有3个:一是可定量研究安培力F与B,I,L的关系。二是该装置利用单