重写逻辑论文

基于运行时验证的列控系统形式分析
论文摘要列车运行控制系统是轨道交通信号系统的重要组成部分之一,是保证列车运行安全的主要因素之一。随着计算机技术在列车运行控制系统中的应用,安全问题显得越发的重要和复杂,传统的测...
基于重写逻辑的SN P系统模型检测
论文摘要随着计算机科学与其他学科之间的相互渗透和影响,科学家们根据不同原理提出了不同的计算模型。细胞膜计算是一种基于生物细胞膜结构和功能的新型计算模型,近年来得到广泛的研究。S...