期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
重写技术及其在计算机科学中的应用
下载PDF
职称材料
导出
摘要
项重写系统是一种描述不确定计算的计算模型。近十年来,重写技术在计算机科学的许多重要领域得到广泛应用,表现出作为知识信息处理系统的良好性质,引起了人们对重写技术的重视,本文介绍重写技术的主要内容,着重强调了完全过程的思想。同时说明了目前重写技术几个活跃的研究课题。本文还介绍了重写技术在自动定理证明、逻辑程序设计和软件开发中的应用。
作者
陈火旺
王怀民
机构地区
长沙国防科技大学计算机系
出处
《计算机科学》
CSCD
北大核心
1990年第4期59-69,共11页
Computer Science
关键词
重写技术
计算机
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
董玉杰,李小军.
关系数据库系统的查询优化策略[J]
.计算机与现代化,2005(8):72-74.
被引量:6
2
沈颖,宋文强.
数据库系统中SQL语句优化[J]
.电脑知识与技术,2009,5(6X):4646-4647.
被引量:3
3
侯印春.
磁光盘的重写技术[J]
.国外激光,1990(4):26-28.
4
张健.
基于重写技术的自动定理证明[J]
.计算机科学,1992,19(2):79-80.
5
单光庆,程书红.
基于SQL中的查询优化策略研究[J]
.电子测试,2008,19(1):15-19.
被引量:2
6
宋威,曾勇军,奚琪.
基于空间约束的二进制代码重写技术研究[J]
.计算机应用与软件,2014,31(6):9-12.
被引量:1
7
孙怀民,梁群.
基于二阶项重写技术的逻辑自动编程理论[J]
.计算机学报,1993,16(3):161-170.
8
侯印春.
相变光盘的重写技术[J]
.国外激光,1990(4):28-29.
9
孙永强,陆朝俊,邵志清.
基于重写技术的程序开发与验证[J]
.软件学报,2000,11(8):1066-1070.
被引量:2
10
李曙鹏,陆朝俊.
基于重写技术的语义Web服务研究[J]
.计算机应用与软件,2011,28(4):226-228.
计算机科学
1990年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部