重写技术

作品数：12被引量：4H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙永强陆朝俊邵志清高智世李曙鹏更多>>
相关机构：上海交通大学华东理工大学哈尔滨工业大学国防科学技术大学更多>>
相关期刊：《计算机应用与软件》《软件学报》《上海交通大学学报》《模式识别与人工智能》更多>>
相关基金：“九五”国家科技攻关计划国家自然科学基金国防科技技术预先研究基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于重写技术的语义Web服务研究
《计算机应用与软件》2011年第4期226-228,共3页李曙鹏 陆朝俊 
随着对Web服务的不断深入研究和应用,出于各种服务自动化任务的需要,语义Web服务逐渐成为学术界的研究热点。可以看出这些研究大都基于服务单个操作级别的语义进行推理,而对于多个操作之间的语义联系却很少涉及。提出Web服务的重写模型...
关键词：语义WEB服务 重写技术 语义推理 
基于视图的XML重写技术的研究综述
《微计算机应用》2009年第12期46-49,共4页张娟 聂华北 牛熠 
支持正则路径表达式的查询技术,被认为是半结构化数据模式下的XML查询研究领域中一种颇具有研究价值的XML查询计算方法。基于视图的查询重写技术充分利用视图中的信息来对查询进行优化,提高查询效率。本文讨论了对于支持正则路径表达式...
关键词：视图XML 查询XML重写 正则表达式 
一种改进的混合匿名通信系统被引量：2
《微计算机信息》2005年第11X期27-29,共3页高智世 
十五国防预研项目"硬件防火墙技术"资助编号:41316.3.3
随着网络技术的不断发展,信息安全和个人通信隐私的保护受到越来越多的重视,各种匿名通信技术被广泛地研究。本论文以Crowds系统为基础,提出了一种采用组群的树型的组织结构,使用源重写技术和广播混合的通信方式的混合匿名通信系统模型...
关键词：匿名通信 树型组织结构 源重写技术 广播方式通信 
基于重写技术的程序开发与验证被引量：2
《软件学报》2000年第8期1066-1070,共5页孙永强 陆朝俊 邵志清 
国家"九五"重点科技攻关项目基金! (No.96 - 72 9- 0 1- 0 6 )资助
完整地介绍了一个基于重写技术的程序开发和验证系统 ,重点展示验证子系统的理论、方法和技术 .验证子系统使得系统能自动证明程序和规范中的优化规则及测试等式 ,从而进一步保证程序开发过程的正确性 .验证子系统所采用的主要技术是以...
关键词：代数规范 重写系统 定理证明 程序开发 
MFS:一个基于重写技术的程序开发系统
《软件学报》1999年第8期806-811,共6页杨继锋 孙永强 陆朝俊 邵志清 
国家"九五"科技攻关项目
MFS是一个基于重写技术的程序开发系统．它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言．在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制．语言的类型系统以及在语言和系统中...
关键词：程序开发系统 MFS 重写技术 MFSL语言 
重写技术在面向对象程序维护中的应用
《上海交通大学学报》1998年第4期104-108,共5页姜利 孙永强 
在面向对象程序的系统中，如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用，提出了程序重写技术的基本思想及其框架结构，该模型在借鉴了抽象的重写系统和重...
关键词：面向对象 程序设计 程序重写 重写系统 
用带条件重写技术证明几何定理
《模式识别与人工智能》1997年第1期21-27,共7页冯培雄 邵志清 孙永强 
国家高技术八六三研究发展计划;国家自然科学基金;华东理工大学科学研究基金
本文研究了带条件的重写技术在几何定理证明中的应用问题.采用按情形分析的技术,使得归纳模式中所要考虑的变量数目大为减少.此外,我们还给出了一组推理规则,实验例子表明,它们对几何定理可以进行有效的自动证明.
关键词：几何定理 证明 条件规则 重写 归纳 
基于二阶项重写技术的逻辑自动编程理论
《计算机学报》1993年第3期161-170,共10页孙怀民 梁群 
国家863高技术基金;国家自然科学基金
程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S...
关键词：二阶项 重写技术 自动程序设计 
基于重写技术的自动定理证明
《计算机科学》1992年第2期79-80,24,共3页张健 
八六三计划资助
重写技术是处理等式理论的一种有效方法,它已成功地应用到带等词的一阶谓词逻辑中定理的自动证明。本文介绍基于重写的定理证明方法的基本思想,以及几种具体的证明技术,最后将这类方法与经典的归结证明方法加以比较。
关键词：重写技术 自动定理证明 
相变光盘的重写技术
《国外激光》1990年第4期28-29,共2页侯印春 
1.前言1968年Ovshinsky等人发表了用硫系化合物薄膜制成的双向存储器,利用非晶态与晶态相变获得可逆存储效应,从而受到重视。作者则发现利用物质结构变化的光记录介质,即Te-TeO_2系薄膜。目前,这种追记型光盘已用于图像存储、文件存储...
关键词：光盘 相变光盘 重写 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部