项重写系统

作品数：13被引量：10H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：冯速罗赛熊锋陈意云朱文也更多>>
相关机构：北京师范大学中国科学技术大学北京航空航天大学解放军信息工程大学更多>>
相关期刊：《北京航空航天大学学报》《计算机工程与应用》《小型微型计算机系统》《计算机研究与发展》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
项重写系统和自由幺半群
《纯粹数学与应用数学》2022年第2期266-275,共10页林沐辰 朱志成 张毅 
国家自然科学基金(11771191,12101316);南京信息工程大学人才启动金(2021r014);南京信息工程大学大学生创新创业训练计划项目(XJDC202210300386).
项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重...
关键词：自由幺半群 重写系统 Platic幺半群 中国幺半群 
基于项重写系统的联锁系统模型检测方法研究
《计算机工程与应用》2014年第3期49-54,共6页张舒青 徐中伟 陈祖希 
国家自然科学基金(No.60674004);国家高技术研究发展计划(863)(No.2012AA112801);国家十二五科技支撑项目(No.2011BAG01B03)
模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具语言,对铁路联锁系统...
关键词：项重写系统 联锁 Maude语言 安全苛求系统 模型检测 
TA4SP的认证性扩展
《计算机工程》2010年第2期144-146,共3页朱文也 祝跃飞 刘楠 陈晨 
国家"863"计划基金资助项目(2007AA01471)
认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性检测方法。该方法基于对TA4SP设计原理的分析,采用分层认证思想,实现对其认证性的理论扩展,其结构清晰、...
关键词：TA4SP系统 项重写系统 树自动机 认证性 
基于项重写的动态可重构系统建模与仿真框架被引量：2
《小型微型计算机系统》2007年第9期1652-1659,共8页罗赛 周学海 
高等学校博士学科点专项科研基金项目(20050358040)资助
可重构系统建模与仿真是一项复杂的任务.本文从可重构计算模式的基本特征出发,建立计算与通讯并重的生产者-消费者系统架构,并提取其数据、计算、通讯基本元素,解决运行时的调度和加载问题,形成基于项重写理论的动态可重构计算系统建模...
关键词：可重构计算 项重写系统 建模 仿真 验证 
基于DTRC的形式自动证明平台及其应用
《海军工程大学学报》2004年第5期60-64,共5页熊锋 李桂范 程明 冯速 
国家自然科学基金资助项目(60273015)
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动...
关键词：动态项重写计算 项重写系统 运行平台 形式自动证明 重写策略 
项重写系统弱基终止性的归纳证明被引量：4
《计算机科学》2001年第7期105-108,共4页冯速 
国家自然科学基金(重点项目)(19931020)
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 bas...
关键词：项重写系统 弱基终止性 归纳证明 
项重写系统等价性的归纳证明被引量：4
《计算机科学》2000年第8期5-7,共3页冯速 
尽管学者们在计算机软件理论及相关数学理论方面做出了不懈的努力,但伴随着计算机硬件的高速发展而来的软件危机却日益严峻,其原因复杂多样。其中,主要原因之一是缺乏程序验证的方法和工具。程序设计的主要步骤有:描述问题、设计程序、...
关键词：项重写系统 等价性 归纳证明 程序设计 
依赖项重写系统及其在程序设计语言中的应用
《计算机研究与发展》1999年第4期434-439,共6页杨继锋 孙永强 
国家"九五"科技攻关项目基金
项重写系统是一种简洁通用的计算模型，在许多领域中有着重要的应用．但是，在一些应用中，它不能很好地解决问题，为此，文中提出了一种新的项重写计算模型——依赖项重写系统，并给出了它在程序设计语言中的应用．直观上说，依赖项重...
关键词：项重写系统 程序设计语言 计算模型 
有序类代数的操作语义被引量：3
《浙江师大学报（自然科学版）》1996年第3期58-64,共7页钟发荣 金健舟 
本文简要介绍有序类代数的基本概念，研究有序类等式演绎，并且给出了有序类代数上进行基于规则的项重写的操作语义．
关键词：有序类代数 项重写系统 形式语义描述 操作语义 
重叠规则与歧义性
《软件学报》1996年第A00期134-139,共6页陆朝俊 孙永强 
重写系统是一种一般的计算模型，重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义，而重叠规则导致的歧义性是使归约过程复杂化重要原因，本文对重写系统的歧义性进行了初步研究，并对一类常见的歧义问题作了...
关键词：项重写系统 重叠规则 歧义性 程序规范 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部