分享到:

基于项重写系统的联锁系统模型检测方法研究

模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具  (本文共6页) 阅读全文>>

《中国信息技术教育》2017年05期
中国信息技术教育

“活”过来的经典计算机——马尔科夫重写系统

如果有一台机器,它所做的事情十分单一,就是把一个符号串中的一些字符替换成另外一些,反复替换后,这台机器就能实现通用计算。换句话说,人...  (本文共3页) 阅读全文>>

《计算机研究与发展》1990年40期
计算机研究与发展

依赖项重写系统及其在程序设计语言中的应用

项重写系统是一种简洁通用的计算模型,在许多领域中有着重要的应用.但是,在一些应用中,它不能很好地解决问题,为此,文中提出了一种新的项重写计算模型——依赖项重写系...  (本文共6页) 阅读全文>>

《软件学报》1992年04期
软件学报

半正则重写系统及其合流性

本文着重研究重写系统的合流性,通过引入符号测...  (本文共11页) 阅读全文>>

《小型微型计算机系统》1993年12期
小型微型计算机系统

项重写系统的并行实现方案

项重写系统的并行归约可以提高归约的效率,在无共享内存的Transput-er网络上实现时要考虑任务的分配、项的拼装、归约任务的控制等...  (本文共6页) 阅读全文>>

兰州大学
兰州大学

多重线性算子,重写系统与Gr(?)bner-Shirshov基

作用于研究对象上的线性算子,在数学研究中起着重要的作用,比如微分代数中的微分算子(它是分析中微分算子的代数化)和Rota-Baxter代数中的罗巴算子(它是分析中积分算子的代数化).受此启发,著名组合学家Rota提出了如下的公开问题:寻找代数上的线性算子满足的所有代数等式,称之为Rota分类问题.后来郭锂教授等人利用Gr(?)bner-Shirshov基理论和重写系统方法对Rota分类问题进行了精确的描述和刻画,并证明了一族线性算子多项式等式是Gr(?)bner-Shirshov基当且仅当它们诱导出的重写系统是收敛的,这里的线性算子是单重线性算子.在这篇文章中,我们继续Rota分类问题的研究,把郭锂教授等人的部分结果推广到多重线性算子版本.我们利用Gr(?)bner-Shirshov基理论和重写系统方法,来研究多重线性算子,证明一族多重线性算子多项式等式是Gr(?)bner-Shirshov基当且仅当它们诱导出的重写系统是收敛的...  (本文共46页) 本文目录 | 阅读全文>>