项重写系统相关论文
本文主要研究了自由对合Hom-结合代数,罗巴算子和罗巴型算子的分类,全文共分为六章.第一章介绍了本文研究课题的背景及其进展,并给......
微分算子和罗巴算子在数学中起着重要的作用,于是著名组合学家Rota提出了Rota分类问题:找出结合代数上线性算子满足的代数恒等式.......
完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法和技术.验证子系统使得系统能自动证明程序和......
<正> 尽管学者们在计算机软件理论及相关数学理论方面做出了不懈的努力,但伴随着计算机硬件的高速发展而来的软件危机却日益严峻,......
可重构系统建模与仿真是一项复杂的任务.本文从可重构计算模式的基本特征出发,建立计算与通讯并重的生产者-消费者系统架构,并提取......
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重......
认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性......
模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术，对于验证系统的正确性，具有传统方法无法比拟的优势。提出利用......
在嵌入式系统快速发展的今天，以无线通信、数字媒体、移动计算等为代表的新一代应用，对电子设备的速度、功耗、集成度、成本以及灵活......
