分布式Model Checking线性时态逻辑属性

来源 :2001年全国开放式分布与并行计算学术会议 | 被引量 : 0次 | 上传用户:yinyulong001
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种验证LTL属性的分布式嵌套深度优先算法(Distributed Double Depth First Algorithm—DDDFA).DDDFA运行在工作站网络或集群等分布主存环境上,通过验证一个自动机所接收的语言是否为空来判断模型系统是否满足某个LTL属性.为了加快验证速度,算法采用并行处理技术.此外还给出了算法正确性的证明.
其他文献
现代经济的发展要求市场中的各个企业必须进行相应的改革和创新。伴随着网络和计算机技术的发展,信息技术成为了现代社会发展的重要驱动力,其电子信息产业就相应的成为了我国社
当前“海绵城市”受到了各界的关注,其具有多样化的服务功能,如,改善水生态以及水环境、防止雨洪灾害、提升生物多样性等,对城市的社会以及经济发展都具有重要作用。现阶段各地区
本文建立了铅芯橡胶支座滞回特性的等效线性化模型,给出了适用于这种减震装置的设计参数的计算方法及合理的取值范围,并利用ansys软件结合连续梁桥算例分析了铅芯橡胶支座连
随着时代的进步和科学技术的发展,智能技术已在中国的许多领域得到应用,其中大部分都取得了良好的效果,成为推动现代化进程的有力武器,值得广泛应用,为人类的利益而普及和利用。在
文章综合自身工作经历,对于测绘技术的发展历程进行阐述,并且概括了经典测绘技术在地质工程量中的不足,随后详尽举例出了工程地质测绘所包含的研究的对象,在历经多次对比得到了测
期刊
随着科学信息的不断升级,社会经济不断发展,我国建筑行业也层出不穷,因此 BIM 技术也逐渐运用在具体的施工建设当中并且得到了一定的发展。现在大部分的建筑行业都选择采用此技
本文通过对梁的转角位移方程的修正,以考虑节点柔性对钢框架屈曲强度的影响,并建立了半钢接框架梁柱单元刚度矩阵.在此基础上,分析研究了半刚性连接在不同初始转动刚度下,单
工民建企业进行防渗漏技术的研究,不仅仅是时代发展下群众对于房屋安全性和舒适性的要求,也是工民建企业要实现进一步发展和突破所必然要面临并解决的主要问题,因此加强防渗漏技
随着我国社会经济不断发展,我国城市建设的不法逐渐加快,社会的快速发展加剧了生态资源的消耗,环境污染日益严重,人们的生存环境日益恶劣,严重的影响了人们的身体健康。社会快速发
首先简单介绍当今颇具代表性和影响力的几种机群作业管理系统PBS、LSF、LOADLEVELER和CONDOR,以及我们开发的曙光系列超级服务器机群作业管理系统JOSS,接着介绍机群作业管理