•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8721-8730项 搜索用时 165 毫秒
[首页] « 上一页 [868] [869] [870] [871] [872] 873 [874] [875] [876] [877] [878] 下一页 » 末  页»
8721.
下载全文  总被引:5,自引:0,他引:5
数据仓库的一个重要用途是利用时态视图向用户提供历史信息.因为在传统关系数据模型中增加了对时间的支持,而且时态视图的更新不仅来自于基表更新,还包括时间前进,所以,目前对非时态视图维护的研究成果不适用于时态视图,并且已有的一些时态视图维护算法也不适用于数据仓库.以历史关系模式为对象,… …   相似文献
李琪  白英彩 《软件学报》2002,13(7):1324-1330
8722.
下载全文  总被引:3,自引:0,他引:3
约束优化进化算法主要研究如何利用进化计算方法求解约束优化问题,是进化计算领城的一个重要研究课题.约束优化问题求解存在约束区域离散、等式约束、非线性约束等挑战,其问题的本质是如何处理可行解与不可行解的关系才能使得算法更高效.本文首先介绍了约束优化问题的定义,然后系统地分析了目前存在… …   相似文献
李智勇  黄滔  陈少淼  李仁发 《软件学报》2017,28(6):1529-1546
8723.
目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可表达线程程序的数据流、控制流以及线程控制函数的副作用,推… …   相似文献
李沁  曾庆凯  袁志祥 《软件学报》2014,25(6):1143-1153
8724.
下载全文  总被引:2,自引:1,他引:2
研讨了同时为多个点播用户服务的轮转服务策略和比例服务策略,并提出了VOD(video-on-demand)服务器在不破坏各路点播流实时播放率的前提下,应用这些服务策略的方法.  相似文献
8725.
本文提出在LF类型理论中定义一组相互递归类型的方法,并对递归类型赋予操作语义.这样,递归类型不仅可以表示通常的递归数据结构,还可描述一般的递归问题求解、递归证明构造和递归程序构造过程.  相似文献
8726.
有效地融合高分辨率全色遥感图像(PAN)和低分辨率多光谱图像(MS),均衡融合结果中的空间细节信息和光谱信息两项特征指标,是多源遥感图像融合技术的难点。为了提高融合后图像的质量,提出了一种基于非采样Contourlet变换(NSCT)的融合方法。由于\"非采样Contourlet… …   相似文献
8727.
下载全文  总被引:1,自引:0,他引:1
为了满足在计算资源受限的环境下高维数据流处理的实时性要求,提出一种方法——基于GPU(graphic processing unit)的非规则流中高维数据流的处理模型和具体的可行架构,并分析设计了相关的并行算法.该六层模型是将GPU处理数据的高宽带性能结合进滑动窗口中数据流的分析… …   相似文献
周勇  卢晓伟  程春田 《软件学报》2012,23(5):1053-1072
8728.
下载全文  总被引:15,自引:0,他引:15
基于监控视频图像的车辆测速方法(视频测速)的工作原理,提出了一种视频测速的实现思路,指出了在间隔已知时间的视频帧图像中找到对应块是实现视频测速的关键和难点。对车灯的特征进行了分析,根据车灯区域的特征,提出了采用灰度差水平叠加投影的方法,构造可以代表其鼓形区域的函数,以其作为定位车… …   相似文献
8729.
  
针对图像噪声的去除,提出了一种基于复数小波域上的多方向窗维纳滤波与偏微分方程保持边缘细节相结合的方法。针对小波域维纳滤波的方向性差,去噪后图像容易产生哑铃效应,该方法首先进行双树复数小波变换,集中6个方向上的图像信号能量,之后,再在该6个方向上进行方向维纳滤波,对图像进行初步去噪… …   相似文献
8730.
在互动电子游戏、增强现实等对实时计算要求很高的交互式图形应用中,大量使用复杂环境光源对虚拟物体进行照明,使其和真实场景的光照一致,虚实融合.提出了用Cook Torrance光照模型进行虚实场景的光照计算;利用球面调和基函数的方法,实时地计算高动态范围环境映射光照系数,得到高动态… …   相似文献
[首页] « 上一页 [868] [869] [870] [871] [872] 873 [874] [875] [876] [877] [878] 下一页 » 末  页»