项重写系统相关论文
本文主要研究了自由对合Hom-结合代数,罗巴算子和罗巴型算子的分类,全文共分为六章.第一章介绍了本文研究课题的背景及其进展,并给......
该文在考虑无穷对象可逼近和可近似计算的问题、以及增量式计算的正确性问题时,发现关键在于研究计算的极限行为,在李未提出的形式......
本文介绍了项重写系统(TRSs)形式简洁且计算能力强，在计算科学里是一种受到广泛研究和应用的形式计算模型。对于项重写系统本身的性......
本文介绍了项重写系统研究的最新课题和动态项重写计算的基本理论，着重阐述了新的项重写系统等价性证明的归纳证明理论及最新研究进......
本文介绍了关于项重写系统研究的最新课题和动态项重写计算的基本理论。以C语言的一个核心子集为代表，初步探讨了从过程型语言到D，TR......
微分算子和罗巴算子在数学中起着重要的作用,于是著名组合学家Rota提出了Rota分类问题:找出结合代数上线性算子满足的代数恒等式.......
完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法和技术.验证子系统使得系统能自动证明程序和......
本文简要介绍有序类代数的基本概念，研究有序类等式演绎，并且给出了有序类代数上进行基于规则的项重写的操作语义。......
<正> 尽管学者们在计算机软件理论及相关数学理论方面做出了不懈的努力,但伴随着计算机硬件的高速发展而来的软件危机却日益严峻,......
可重构系统建模与仿真是一项复杂的任务.本文从可重构计算模式的基本特征出发,建立计算与通讯并重的生产者-消费者系统架构,并提取......
Ｍｉｄｄｅｌｄｏｒｐ和Ｔｏｙａｍａ证明，强加构造原则到项重写系统可获得完备概念的模块性，并且系统分解成的各部分间可共亨函数符号和重量写规则。本文推广他们的结......
介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学......
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重......
认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性......
项重写系统的并行归约可以提高归约的效率，在无共享内存的Ｔｒａｎｓｐｕｔｅｒ网络上实现时要考虑任务的分配，项的拼装，归约任务的控制等问题，其中怎么样减......
模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术，对于验证系统的正确性，具有传统方法无法比拟的优势。提出利用......
在嵌入式系统快速发展的今天，以无线通信、数字媒体、移动计算等为代表的新一代应用，对电子设备的速度、功耗、集成度、成本以及灵活......
