【摘 要】
：
随着实时并发系统的软件规模越来越大、复杂性日趋增加,如何保证并发实时系统正确性和可靠性成为日益紧迫的问题。模型检测技术采用自动化的验证算法判断系统是否具有某一性
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学学报编辑部
【基金项目】
：
国家自然科学基金项目（61502196）
论文部分内容阅读
随着实时并发系统的软件规模越来越大、复杂性日趋增加,如何保证并发实时系统正确性和可靠性成为日益紧迫的问题。模型检测技术采用自动化的验证算法判断系统是否具有某一性质,它不仅包括对系统模型的遍历以及基于图形的分析方法,而且还需要大量的数值计算。本文把实时并发模型看成对并发博弈模型（CGS）的扩展,在此基础上添加了概率与时间性质,提出了概率时间并发博弈结构（PTCGS）。同时本文还提出了新的逻辑语言-概率时间策略逻辑（PTSL）,它显式地把策略作为一阶逻辑中的对象,从而使我们能够以简单而自然的方式指定PTCGS
其他文献
将医学、电子学、计算机科学三者融为一体,详细论述了便携式心率变异监测仪的设计原理及软、硬件设计要点.便携式心率变异监测仪集轻型化、一体化、可视化、可控化等优点为一
结合渭河发电厂施工控制网的工程实践,对大型发电厂高精度GPS施工控制网的布网原则、数据处理、网平差和复测等方面进行了探讨和分析。
随着“互联网+”时代的到来,以“慕课(MOOC)”为代表的新兴网络教育模式逐步兴起,网络课程(简称网课)在新形势下不断完善并创新,逐渐成为一项不可替代的教学内容而今年由于新
为使闭环矢量控制系统工作在最佳状态,提出了基于模型的离线式整定与模糊PI在线整定相结合的混合整定法.该方法首先根据矢量控制原理推导出系统的数学模型,采用恒转矩启动并