切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
逻辑程序的标识更新
逻辑程序的标识更新
来源 :计算机工程 | 被引量 : 0次 | 上传用户:wolaile999
【摘 要】
:
逻辑程序的优势在于它的自动更新,文章明确提出了丰富更新和替换更新的两种方法,通过重新标识的方法实现Extended logicprogram的自动更新,并生成更新程序,最后提出更新以后
【作 者】
:
季卫华
梁意文
董红斌
【机 构】
:
武汉大学软件工程国家重点实验室/计算机学院
【出 处】
:
计算机工程
【发表日期】
:
2005年7期
【关键词】
:
EXTENDED
LOGIC
PROGRAM
自动更新
标识更新
Extended Logic Program
Dynamic update
'Ne
【基金项目】
:
国家自然科学基金,国家重点实验室基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
逻辑程序的优势在于它的自动更新,文章明确提出了丰富更新和替换更新的两种方法,通过重新标识的方法实现Extended logicprogram的自动更新,并生成更新程序,最后提出更新以后程序的求解方法.
其他文献
虚拟企业中面向信息共享的知识管理
以产品数据管理为例,探讨了虚拟企业中面向信息共享的知识管理机制.所考虑的知识不同于传统的知识管理系统,它包括元数据、企业本体和数据转换(术语与格式转换).元数据提供了
期刊
信息共享
元数据
企业本体
数据转换
虚拟企业
Information sharing
Metadata
Enterprise ontology
Mapp
入侵检测系统层次式体系结构的研究
入侵检测已经成为保障网络安全的一个非常关键的领域.该文从入侵检测的系统构架着手,介绍了通用的集中式和分布式结构,提出了一种层次式的架构.同时设计开发了一套基于层次式
期刊
入侵检测
体系结构
层次
级联
Intrusion detection
Architecture
Layer
Cascade
一类二元具时滞的神经网络概周期解的存在性和全局吸引性
通过构造Liapunov泛函,研究如下二元神经网络{dx/dt=-x(t)+atanh[y(t)-by(t-τ)]+I1(t)dy/dt=-y(t)+atanh[x(t)-bx(t-τ)]+I2(t)概周期解的存在性和全局吸引性,获得了该网络
期刊
时滞
存在性
二元神经网络
全局吸引性
概周期解
LIAPUNOV泛函
充分条件
neural networks
attractivity
almost per
基于Hough变换的空间点位自动检测
在图像量测及物体精确定位中,Hough变换是一种应用非常广泛的图像边缘检测技术,该文在提取空间立方体上分布的规则格网线,进而确定其格网点空间坐标的研究中,针对传统Hough变换直
期刊
图像量测
HOUGH变换
点位检测
Image measurement
Hough transform
Point location detection
一类次线性算子在Morrey空间的加权有界性
设T为次线性算子,如果T在Lebeague空间LI上有界,则证明了T也在Morrey空间上有界.该算子T包含许多重要例子.
期刊
MORREY空间
次线性算子
极大算子
奇异积分算子
Morrey spaces
sublinear operator
maximal operator
一种基于EPDS的快速K均值聚类算法
KT均值聚类是经常使用的一种数据聚类方法,但对大数据量情形,其聚类过程较慢,主要原因在于聚类过程中每个待聚类向量要反复进行一个最近邻搜索过程,以寻找与其距离最近的聚类中心
期刊
K均值聚类
扩展的部分失真搜索
最近邻搜索
K-mean clustering
Extended partial distortion search (EPD
利用RFD实现BGP路由摆动源检测的方法
提出一种发现BGP路由摆动源的方法,该方法通过分布在网络上的服务器和客户机(运行BGP协议的边界路由器)实现.客户机除具有BGP路由器的功能外,还记录路由变化事件,利用RFD发现
期刊
BGP协议
路由策略
路由振荡
路由摆动抑制
自治系统
域间路由
Border gateway protocol (BGP)
Routing policy
振荡中不对称故障电流幅值判据系数的自适应修正
分析振荡过程中,利用三相电流和零序电流大小来识别不对称短路故障判别的原理.对判别式中的系数进行自适应的修正,使系数随故障点的改变而改变,从而使保护能够少带延时甚至不带延
期刊
振荡闭锁
不对称故障
自适应
判别
power swing
unsymmetrical fault
self-adaptive
criterion
非对称双十字形运动估计搜索算法研究与实现
视频序列运动矢量分布的中心偏移特性在运动估计中发挥重要的作用,但忽视了运动矢量分布的方向性。该文提出了非对称双十字形搜索(UDCS)算法,给出了在搜索的初始阶段使用小十字搜索模型对小的运动矢量搜索并在相继的搜索过程中使用具有方向性的十字形搜索模型对大运动矢量进行搜索的步聚。介绍了该算法的实现结构,并分析了该算法搜索性能。
期刊
块匹配运动估计
非对称十字形搜索
十字中心偏置特性
Block-matching motion estimation
Unsymmetrical cross
基于广域网的多媒体资源存储系统
针对广域网上多媒体资源访问服务质量问题,设计一种面向媒体资源的高性能分布媒体存储系统(DMSS)。系统以按多媒体文件特征设计的高效媒体文件系统(MFS)为基础,通过自适应创建资源
期刊
副本服务器
媒体资源
存储系统
服务质量
Replication server
Media resource
Storage system
Quality
与本文相关的学术论文