•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第7121-7140项 搜索用时 123 毫秒
[首页] « 上一页 [352] [353] [354] [355] [356] 357 [358] [359] [360] [361] [362] 下一页 » 末  页»
7121.
基于粘滞流体模型的非刚体配准算法是一种适合个体差异较大配准场合的方法。其关键步骤为求解偏微分运动方程组,但原始算法中采用直接离散结合同步超松弛(SOR)的方法相当耗时。为了缩短求解时间,提出一种基于粘滞流体B样条模型的快速方法。首先利用B样条对速度场进行建模,将方程组未知量转为B… …   相似文献
7122.
下载全文  总被引:2,自引:0,他引:2
组合性是形式描述研究的基本问题,便于大型程序的设计、分析、测试和复用.为了方便用户编制大型多媒体系统的时序描述,组合模型是必须的.目前,这样的模型有基于语言的、基于图形的、基于时间区间的和面向对象的等等.但是,这些模型描述层次过低,很难支持两个多媒体节目之间的时序描述.通过引入单… …   相似文献
赵琛 《软件学报》2001,12(3):398-404
7123.
下载全文  总被引:8,自引:2,他引:8
图象拼接就是把边界部分重叠的多幅图象接成一幅完整图象,图象拼接中的困难之一是:当相邻两幅图象重叠区域缺乏显著特征,或者存在多个特征相似的部分,就会发生伪匹配而导致拼接失败。该文基于均方误差曲线和相邻空间约束关系,提出了一种伪匹配判别方法。实验表明,该方法可以有效的进行伪匹配的判别… …   相似文献
7124.
推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法,得到有序实数加法理论的一个量词消去的判定过程.在此基础上构造出一个新的、更为精细的判定方法.并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多项式谱.与E.D.Sontag的类似结论比较,… …   相似文献
薛锐 《软件学报》2001,12(7):1088-1093
7125.
  
针对多类型多访问模式应用的需求,在GDSF算法的基础上,引入平均访问间隔和最近访问间隔两个特性以增强算法的适应性;建立缓存结构模型,通过双关键字索引机制,快速索引缓存对象,降低系统开销;对超过一定大小的文件采取后缀预取策略以增加缓存中数据对象的个数.在课题应用背景下,与传统算法的… …   相似文献
曹旻  刘文中 《计算机科学》2015,42(6):175-180
7126.
本文首先把迷宫排序问题推广为m×n迷宫(m>1,n>1)的排序问题,证明了m×n迷宫的任一初始状态能经过有限步移动转变成目标状态的充要条件,然后给出了一个m×n迷宫排序的算法,该算法的时间复杂度是O(mn(m+n)),空间复杂度是O(mn).最后还指出了它的时间复杂度的一个下界.… …   相似文献
7127.
下载全文  总被引:10,自引:0,他引:10
在现有的数据流频繁模式挖掘算法中,批处理方法平均处理时间短,但需要积攒足够的数据,使得其实时性差且查询粒度粗;而启发式方法可以直接处理数据流,但处理速度慢.提出一种改进的字典树结构--IL-TREE(improved lexicographic tree),并在其基础上提出一种新… …   相似文献
张昕  李晓光  王大玲  于戈 《软件学报》2005,16(12):2099-2105
7128.
下载全文  总被引:4,自引:0,他引:4
如何将n个独立任务调度到m台同型机上加工,使总完成时间最短,是一个复杂问题.通过分析Bound Fit预备算法的性质,结合MULTIFIT和Bound Fit提出QUICKFIT算法;对相同机器数和任务数,QUICKFIT能用比MULTIFIT和Bound Fit都少的迭代次数得… …   相似文献
7129.
  
针对传统的多特征融合粒子滤波跟踪算法计算量大、不利于实时性、人群拥挤遮挡时容易出现跟踪匹配错误等情况,提出了基于方向矢量的多特征融合粒子滤波跟踪算法.该算法首先将人体颜色特征与轮廓特征进行乘性融合和加性融合后相加并加上两者的不确定性的乘积,以便能够根据两种特征的实际贡献率来调节各… …   相似文献
张蕾  宫宁生  李金 《计算机科学》2015,42(2):296-300
7130.
本文提出了一个简单的方法,其中程序和其性质都由一个逻辑:时序逻辑中的公式表示.文中给出了一个程序的转换模块的定义,提出了时序执行语义的概念.它是一个时序公式,精确地说明了一个程序.将时序逻辑作为规范语言,程序正确性就意味着说明程序的公式蕴含说明性质的公式,其中蕴含即为一般的逻辑蕴… …   相似文献
贾国平  郑国梁 《软件学报》1997,8(2):107-114
7131.
  
概率图模型是一类用图形模式表达基于概率关系的模型的总称,用该模型解决损失代价问题已成为当前的研究热点。结合概率图和三支决策理论,提出了基于概率图的三支决策模型。该模型通过对数据进行分析,构造其Bayes网络;并根据模型中节点的相互依赖关系,计算出条件概率分布函数;结合查询变量的先… …   相似文献
7132.
人脸检测与特征定位是人脸分析技术的一个重要组成部分,其目标是在图像中搜索人脸特征(如眼、鼻、嘴、耳等)的位置。虽然人们可以毫不费力地完成这些工作,但对于机器来说,这依然是一件极其困难的任务。近几年来该项技术已有了长足的发展,已成功地应用于诸如人脸识别、姿态识别、表情识别、脸部动画… …   相似文献
7133.
  
协议测试能够有效检测网络应用软件的缺陷,但是在面对加密和验证机制时,现有方法难以有效构造测试数据.为此,提出一种基于“分解-重构”的网络软件测试数据生成方法,即使用检查点以及解密内存定位技术,结合加密和验证机制的组合情况,分解出测试端未经编码的有效测试数据;借助基于副本消除的内存… …   相似文献
李程  魏强  彭建山  王清贤 《计算机科学》2013,40(10):108-113
7134.
  
针对云用户如何选取可信的云服务提供商问题,提出了基于评价可信度的动态信任评估模型。该模型将云服务提供商的服务能力和云用户所需求的服务能力分别划分等级,有效地解决了云服务提供商服务能力动态变化对模型存在的潜在破坏问题。建立了信任度随时间窗变化的动态信任机制,在计算信誉度时,将用户的… …   相似文献
张琳  饶凯莉  王汝传 《通信学报》2013,34(Z1):31-37
7135.
在移动自组网络中,网络分割现象可能频繁发生,从而降低了数据的可用性.提出了一种新的分布式分簇算法来组织移动节点,算法保证簇内任意两点间路径的可用概率都大于某个确定的界.在此基础上提出了基于稳定路径分簇的数据复制策略,以提高在出现链路断接甚至网络分割时的数据可用性.对算法进行了理论… …   相似文献
郑静  卢锡城  王意洁 《软件学报》2005,16(8):1474-1483
7136.
下载全文  总被引:22,自引:0,他引:22
决策支持系统的建立是一项复杂的系统工程。本文分析传统决策支持系统开发中存在的问题.探讨数据挖掘技术在决策支持中的应用,讨论基于这一技术的决策支持系统建立中的有关问题,如数据挖掘的层次空间、数据仓库的组织、知识发现方法等,最后进一步提出决策支持系统的基本结构框架和系统的建立方法。… …   相似文献
7137.
  总被引:15,自引:4,他引:15
2。世纪70年代前后,北美和欧洲的一些科学家开始探索用模拟生物进化的方式求解复杂优化问题。其中,以Holland提出的遗传算法(geneti。algo-rithm,GA)最具代表性仁,〕。50年代以来,Hopfield解决了反馈型人工神经网络的迭代稳定性问题,Rumelhart等… …   相似文献
7138.
为了达到视域评估的可视化效果,文中构建了人眼可视范围的半透明模型,并绑定到虚拟人的骨骼中,通过驱动虚拟人,以实时混合绘制技术完成动态视域评估。以龙门式数控加工中心造型设计模型为对象进行实例仿真,结果表明逼真的可视化效果使得视域评估变得简单、快捷和直观,避免了大量的人工运算,提高了… …   相似文献
7139.
  
随着微博的迅速兴起,提取信息传播特征和构建传播模型已成为研究热点。针对用户转发行为,首先分析信息转发结构,提取信息老化特征;然后结合转发时效性,基于平均转发概率的递减规律提出SIR的改进模型;最后利用真实转发数据验证了模型的合理性。结果表明,考虑信息时效性和老化特征,能够较好地拟… …   相似文献
7140.
下载全文  总被引:1,自引:0,他引:1
为了提高目标跟踪的鲁棒性,提出了一种新的用于红外目标跟踪的DABSVT算法。该算法首先把目标跟踪转化为目标和背景的两类分类问题,然后将根据每一帧的正负样本训练的支持向量机(SVM)作为分量分类器,并通过恰当的参数调整策略,利用AdaBoost算法把这些分量分类器组合成一个总体分类… …   相似文献
[首页] « 上一页 [352] [353] [354] [355] [356] 357 [358] [359] [360] [361] [362] 下一页 » 末  页»