首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   36篇
  国内免费   3篇
  完全免费   62篇
  自动化技术   101篇
  2014年   2篇
  2013年   2篇
  2012年   2篇
  2011年   15篇
  2010年   18篇
  2009年   21篇
  2008年   14篇
  2007年   7篇
  2006年   4篇
  2005年   3篇
  2004年   2篇
  2003年   1篇
  2000年   4篇
  1999年   2篇
  1998年   1篇
  1997年   2篇
  1994年   1篇
排序方式: 共有101条查询结果,搜索用时 31 毫秒
1.
具有全序时态类型集时态函数依赖集的研究   总被引:19,自引:0,他引:19       下载免费PDF全文
姚春龙  郝忠孝 《软件学报》2003,14(2):247-252
好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,可以通过具有多时间粒度的时态函数依赖(TFDs)约束对时态数模式进行规范化.但是由于时间维的引入和多时间粒度的使用而给数据库设计带来巨大的复杂性.一般来说,系统所能处理的和相当多的应用所涉及到的时态类型集满足全序关系,并且具有全序时态类型集的TFD集的推导规则与传统函数依赖(FDs)的Armstrong公理有着紧密的联系.通过分析TFDs与FDs之间存在的联系,利用传统FD集的相应算法,提出了成员籍、有限属性闭包等TFD集的一些重要算法.这些算法是时态数据库进一步规范化的基础.  相似文献
2.
基于MBR的主方向关系一致性检验   总被引:10,自引:0,他引:10       下载免费PDF全文
刘永山  郝忠孝 《软件学报》2006,17(5):976-982
定性的空间推理在地理信息系统、人工智能、数据库及多媒体等领域中的应用越来越引起人们的注意.空间推理的基础理论以及相应算法也在不断地创新和发展.方向关系推理是空间推理研究领域的重要分支,利用区间代数及矩形代数理论,以物体的极小边界盒(minimum bounding rectangle,简称MBR)为模型,提出了一种基于MBR的主方向关系与矩形代数关系相结合的推理方法.利用该方法,可以将矩形代数良好的计算性质应用于空间方向关系推理中,实现了矩形代数与基于MBR主方向关系的相互转换方法、主方向关系合成及求反方法、主方向关系中凸(convex)关系判定方法及方向关系一致性检验算法.  相似文献
3.
移动对象的动态反向最近邻查询技术   总被引:6,自引:2,他引:4       下载免费PDF全文
李松  郝忠孝 《计算机工程》2008,34(10):40-42
为了处理移动对象的动态反向最近邻,对时空动态反向最近邻查询问题进行形式化的定义,利用时空距离函数及限界区域等概念给出计算移动对象的动态反向最近邻的定理与算法,提出移动查询点的动态最近邻的全域查询及局域查询的方法,利用动态检测圆及时空距离函数进行动态反向最近邻的查询判断,其计算量可减少40%~60%。构建新的时空索引结构——TPRDNN树,给出操作TPRDNN树的查询算法。  相似文献
4.
XML强闭包依赖的研究   总被引:5,自引:2,他引:3       下载免费PDF全文
殷丽凤  郝忠孝 《计算机科学》2008,35(11):195-198
XML闭包依赖是基本的完整性约束。当XML文档出现不完全信息时,XML闭包依赖同样对于阻止XML数据的更新异常、查询优化以及索引设计具有重要的意义。提出了在不完全信息环境下基于一致路径集合的XML强函数依赖和XML强闭包依赖的定义,研究了XML强闭包依赖的判定定理。在提出XML强闭包依赖推理规则的基础上,对其有效性和完备性进行了证明。最后分析了XML强闭包依赖和XML强函数依赖的关系。  相似文献
5.
XML强函数依赖的推理规则   总被引:5,自引:2,他引:3       下载免费PDF全文
当XML文档出现不完全信息时,XML函数依赖同样对于XML文档的键、规范化和完整性约束的研究具有重要意义.本文引入不完全信息环境下XML模式树概念对XML强函数依赖进行了形式化定义;研究了XML强函数依赖的判定条件;给出了XML强函数依赖推理规则,并对推理规则的有效性和完备性进行了证明.  相似文献
6.
数据库模式分解为满足P3及无α环的条件   总被引:4,自引:0,他引:4  
文中讨论了当某一个属于FD集F的最小归并依赖集具有某些性质时,属于FD集F的任意最小归并依赖集同样具有相同性质;还给出了广义左部冲突、广义右部冲突等概念。在此基础上给出并证明了无内部冲突的数据库模式分解为满足P3及无α环性质的充要条件,和有内部冲突的数据库模式分解为满足P3及无α环性质的必要条件。  相似文献
7.
一种求解全部候选关键字的快速替换算法   总被引:4,自引:0,他引:4  
本文通过分析文献(2,3)中所提出的求解关系模式全部候选关键字的替换算法,找出了它们的共同缺陷,即算法每搜索一趟产生的后继候选关键字太少,要想求出全部候选关键字,需经过很多趟的搜索。在此基础上,提出了对替换算法从减少每一趟搜索中需要检查的FD个数和增加每一趟搜索产生的后继候选关键字两方面进行改进的基本思想。然后,以EF(X)为研究对象,讨论了实现这种改进思想的具体方法,并给出了相应的快速替换算法及  相似文献
8.
全序时态模块模式的TO_TSNF分解问题研究   总被引:4,自引:0,他引:4       下载免费PDF全文
万静  郝忠孝 《计算机科学》2007,34(3):114-118
在许多时态数据库应用中,都存在着涉及多时间粒度的约束。但是,具有多时问粒度的时态数据库的设计相当复杂,甚至难以实现,而现实世界中的许多应用所涉及到的时态类型集都能满足全序关系。同时,具有全序时态类型集的全序时态模块模式有着良好的特性,因此本文提出了全序时态模块模式、时刻关系模式、全序时态模块投影、全序时态简单候选关键字、全序时态三范式(TO_T3NF)和全序时态简单范式(TO_TSNF)等概念,并给出了全序时态简单范式的分解算法,对其正确性进行了证明,并对时间复杂度进行了分析。  相似文献
9.
基于矩阵的原子方向关系合成   总被引:4,自引:0,他引:4       下载免费PDF全文
方向关系是空间关系研究的重要领域,应用十分广泛。因此,空间数据库中对方向关系的研究越来越引起人们的注意。本文在分析和研究了文[6]提出的方向关系模型的基础上,对该模型做了进一步扩展,提出了一种用关系矩阵表示方向关系的新方法,并对原子方向关系的合成进行了深入研究,提出了不同于传统理论中使用原子方向关系合成表来求解的新的基于矩阵运算的原子方向关系的合成方法。  相似文献
10.
空间对象的反最近邻查询   总被引:4,自引:0,他引:4       下载免费PDF全文
郝忠孝  刘永山 《计算机科学》2005,32(11):115-118
本文在对现有反最近邻查询方法研究的基础上,提出了一种新的索引结构一SRdnn-树;在此基础上提出了基于SRdn矿树的反最近邻查询方法,并给出了该结构上的最近邻查询方法,以及插入和删除方法,第5节实验表明,基于SRdnn-树的反最近邻查询在性能上优于以往查询方法。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号