重写技术及其在计算机科学中的应用

项重写系统是一种描述不确定计算的计算模型。近十年来,重写技术在计算机科学的许多重要领域得到广泛应用,表现出作为知识信息处理系统的良好性质,引起了人们对重写技术的重视,本文介绍重写技术的主要内容,着重强调了完全过程的思想。同时说明了目前重写技术几个活跃的研究课题。本文还介绍了重写技术在自动定理证明、逻辑程序设计和软件开发中的应用。

基于重写技术的自动定理证明

重写技术是处理等式理论的一种有效方法,它已成功地应用到带等词的一阶谓词逻辑中定理的自动证明。本文介绍基于重写的定理证明方法的基本思想,以及几种具体的证明技术,最后将这类方法与经典的归结证明方法加以比较。

磁光直接重写技术原理分析

讨论了磁光记录直接重写技术的两种主要机理，即磁场调制直接重写和光强调制直接重写，分析了它闪的优缺点。并对多层膜交换耦合原理及其在光强调制直接重写中各层的作用进行了详细讨论。光强调制技术具有更多方面的优越性，它将是未来提高磁光数据传输率的主要研究方向。

MFS:一个基于重写技术的程序开发系统

MFS是一个基于重写技术的程序开发系统．它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言．在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制．语言的类型系统以及在语言和系统中引入的证明和测试机制能够使人们在开发过程中较早地发现问题，提高所开发系统的正确性．在系统的实现中采用的必要平行最外归约策略、图归约、证据测试集等技术能够使所开发的系统具有很高的实现效率．应用这一程序开发系统，能够较快地开发出正确且效率较高的程序．

基于二阶项重写技术的逻辑自动编程理论

程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S时,ALP能自动导出所需子程序的输入-输出实例并综合出所需子程序.

基于重写技术的语义Web服务研究

随着对Web服务的不断深入研究和应用,出于各种服务自动化任务的需要,语义Web服务逐渐成为学术界的研究热点。可以看出这些研究大都基于服务单个操作级别的语义进行推理,而对于多个操作之间的语义联系却很少涉及。提出Web服务的重写模型,通过为Web服务添加操作之间的重写规则语义,将Web服务建模为服务重写系统,利用重写技术中的推理机制,实现对Web服务的分析和挖掘。这个方法可应用于服务的QoS优化,以及服务的组合与融合等方面。

基于重写归纳技术的串行加法器的描述和验证

在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正确性,为用重写技术正确描述和验证复杂硬件电路奠定了基础。最后给出与其他类似工作的分析和比较。

高校图书馆远程访问系统实现技术研究

文章对适用于高校图书馆建立远程访问系统的实现技术进行分析比较,为高校图书馆购买或开发远程访问系统时的产品选型和实现技术选择提供一些参考。

WWW安全问题的分析与防范策略

分析了目前的浏览器对Web的访问过程及其安全方面的缺陷，对一种在WWW上攻击用户安全的破坏行为，分析了它的原理和所使用的手段，并提出了相应的防范措施。

一种改进的混合匿名通信系统

随着网络技术的不断发展,信息安全和个人通信隐私的保护受到越来越多的重视,各种匿名通信技术被广泛地研究。本论文以Crowds系统为基础,提出了一种采用组群的树型的组织结构,使用源重写技术和广播混合的通信方式的混合匿名通信系统模型,并从系统的安全性、可扩展性和工作效率进行了分析。分析表明改进的系统在保证匿名性的同时,具有更好的安全性和可扩展性,提高了通信效率。