项重写相关论文
计算机安全风险分析随着计算机系统安全问题的日益严重而受到广泛重视。因为其处理对象的庞大和复杂,风险分析需要自动化的方法实......
类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性......
论文在分析基于内容检索的图像数据库系统中查询类型的基础上,为支持基于图像语义概念的查询,扩充了面向对象的SQL语言,以有效地表......
利用形式化方法或工具自动化分析实用安全协议十分必要，定理证明技术因其可解决无限状态系统的验证备受关注，但扩展其验证规模和自动......
Ｋｎｕｔｈ－Ｂｅｎｄｉｘ完备过程不终止的起因研究得很少，本文研究引起不终止的重写规则的结构性质，提出了相容交叉规则对的概念，推广了文献６的结论，并提出了为......
本文介绍归纳法推理系统中的项重写策略，该策略根据不同的待重写项ｔｅｒｍ，分别运用公理、重写引理、函数定义、项重写规则等重写项ｔｅｒｍ，以期得到......
针对密码模块API的形式化验证,提出一种基于项重写形式化模型的检测算法.该算法利用符号化及广度优先搜索方法,使用项重写规则对敌......
记忆可以改变吗？如果可以，这项技术或许在将来的某一天有望治愈那些正经受恐惧症、创伤后心理紊乱以及其他焦虑症困扰的患者们。日前......
构建一个安全电子交易的形式化模型，为实现对相关安全协议的自动化分析提供了理论基础和技术手段．该模型基于项重写理论进行构建，通过......
论文在分析基于内容检索的图像数据库系统中查询类型的基础上，为支持基于图像语义概念的查询，扩充了面向对象的SQL语言，以有效地表达......
提出一个新颖的时序电路等价验证的方法框架。该方法有效地结合了关系建模和项重写技术。首先利用带有测试条件的Kleene关系代数建......
图重写能够有效地实现项重写。文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性：在无环出现的情况下，图重写......
图重写能够有效地实现项重写．文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性；在无环出现的倩况下，图重写对......
构建一个基于项重写理论的向量序,该序具有替换、组合封闭等性质,在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的......
