公共文化服务平台

搜索到50篇“ 项重写系统“的相关文章

项重写系统和自由幺半群: 2022年; 项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重写系统,刻画了收敛项重写系统与自由幺半群的商截面之间的关系.作为应用,分别给出了由三个元素生成的Platic幺半群和中国幺半群的截面.; 林沐辰朱志成张毅; 关键词：自由幺半群重写系统

基于项重写系统的联锁系统模型检测方法研究: 2014年; 模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具语言,对铁路联锁系统的站场进行形式化建模,通过其语法和语义定义各类约束和离散事件,构架联锁系统属性和行为。在模型建立的基础上,对联锁站场的静态属性和安全属性进行形式化模型验证。结果表明,基于项重写系统的模型检测方法可以较好地应用于实际联锁系统软件的开发,对开发安全苛求系统和模型检测方法的实际应用提供借鉴。; 张舒青徐中伟陈祖希; 关键词：项重写系统联锁安全苛求系统

项重写系统弱基终止性的归纳证明被引量：5: 2001年; This paper proposes a novel method for proving weakly ground termination in a restricted domain of a term rewriting system based on structural and cover set induction. For this prupose,we introduce the concepts of base set and set of ground terms defined recursively over base sets,which plays a crucial role in the inductive method. The method can be used for non-terminating,non-confluent and/or non-linear term rewriting systems,and have application in inductive equivalence testing and program verification.; 冯速; 关键词：项重写系统

递归领域和项重写系统等价性: 本文讨论了递归领域的概念及其于递归领域的项重写系统等价性的归纳证明方法.; 冯速中国科学院计算机科学实验室(北京)刘石霞曹顺; 关键词：项重写系统等价性; 文献传递

项重写系统等价性的归纳证明被引量：5: 2000年; 尽管学者们在计算机软件理论及相关数学理论方面做出了不懈的努力,但伴随着计算机硬件的高速发展而来的软件危机却日益严峻,其原因复杂多样。其中,主要原因之一是缺乏程序验证的方法和工具。程序设计的主要步骤有:描述问题、设计程序、实现程序及测试程序。需要注意的是,这里是测试程序的正确性而非证明程序的正确性。; 冯速; 关键词：项重写系统等价性程序设计

依赖项重写系统及其在程序设计语言中的应用: 1999年; 项重写系统是一种简洁通用的计算模型，在许多领域中有着重要的应用．但是，在一些应用中，它不能很好地解决问题，为此，文中提出了一种新的项重写计算模型——依赖项重写系统，并给出了它在程序设计语言中的应用．直观上说，依赖项重写系统是重写规则之间存在着关于函数符号的依赖关系的项重写系统．这一模型具有较好的性质（例如，合流性、终止性等）和很强的表达能力．应用它，能够解决某些计算不终止问题，并有利于并行性的开发．; 杨继锋孙永强; 关键词：项重写系统程序设计语言

项重写系统的并行实现方案: 1993年; 项重写系统的并行归约可以提高归约的效率,在无共享内存的Transput-er网络上实现时要考虑任务的分配、项的拼装、归约任务的控制等问题,其中怎么样减少机间和机内进程的通讯是提高系统效率的关键。本文从控制方式角度讨论在不同拓扑结构的Transputer网络上实现项重写系统的方案,重点介绍基于树形结构下的控制方法,进程安排和通讯形式。; 肖勇陈意云; 关键词：项重写系统程序语言

关于对合Hom-结合代数和罗巴算子的若干研究: 本文主要研究了自由对合Hom-结合代数,罗巴算子和罗巴型算子的分类,全文共分为六章.第一章介绍了本文研究课题的背景及其进展,并给出本文需要的基本概念和一些相关的记号,然后分析了本文的研究动机.第二章首先引入了Hom-半群...; 郑上华; 关键词：平均算子积分算子算子半群项重写系统; 文献传递

相关作者