首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  完全免费   14篇
  自动化技术   16篇
  2017年   1篇
  2016年   3篇
  2015年   4篇
  2014年   1篇
  2013年   3篇
  2012年   2篇
  2009年   2篇
排序方式: 共有16条查询结果,搜索用时 62 毫秒
1.
秦秀磊  张文博  王伟  魏峻  赵鑫  钟华  黄涛 《软件学报》2013,24(6):1403-1417
Key/Value存储系统在大规模、高性能云应用支撑方面扮演了重要的角色,对云端Key/Value存储系统而言,数据迁移是实现节点动态扩展与弹性负载均衡的关键技术.如何降低迁移开销,是云服务提供商需着力解决的问题.已有研究工作大多针对非虚拟化环境下的数据迁移问题,这些方法对于云端Key/Value存储系统而言往往并不适用.为应对上述挑战,将数据迁移问题纳入负载均衡场景解决.提出一种基于面积的迁移开销模型,该模型可以有效感知底层VM性能干扰状况,权衡迁移时间与性能衰减值.进一步提出一种开销敏感的数据迁移算法,该算法基于开销模型与均衡度制订数据迁移计划,选取最优的迁移操作.基于雅虎的云服务基准测试工具YCSB验证了该方法的有效性.  相似文献
2.
一种基于聚类分组的虚拟机镜像去冗余方法   总被引:1,自引:0,他引:1       下载免费PDF全文
徐继伟  张文博  魏峻  钟华  黄涛 《软件学报》2016,27(2):466-480
随着云计算的兴起,虚拟化技术使用也越来越广泛,虚拟机正逐步取代物理机,成为应用服务的部署环境.出于灵活性、可靠性等方面的需求,虚拟机镜像急剧增长,如何高效地、经济地管理这些镜像文件已成为一个很有挑战性的研究热点.由于虚拟机镜像之间存在大量重复性的数据块,高效的去冗余方法对于虚拟机镜像管理至关重要.然而,传统的去冗余方法由于需要巨大的资源开销,会对平台中托管的虚拟机性能造成干扰,因而并不适用于云环境.提出了一种局部去冗余的方法,旨在优化镜像去冗余过程.其核心思想是:将全局去冗余变成局部去冗余,从而降低去冗余算法的空间复杂度,以达到减少操作时间的目的.该方法利用虚拟机镜像相似性作为启发式规则对虚拟机镜像进行分组,当一个新的镜像到来时,通过统计抽样的方法为镜像选取最为相似的分组进行去冗余.实验结果表明:该方法可以通过牺牲1%左右的存储空间,缩短50%以上的去冗余操作时间.  相似文献
3.
轨迹数据库中热门区域的发现   总被引:1,自引:0,他引:1       下载免费PDF全文
发现被移动对象频繁造访的热门区域是从轨迹数据库中挖掘运动模式的重要前提,而合理约束热门区域的大小是提高轨迹模式的精确表达能力的关键。研究如何从轨迹数据库找出热门区域及如何限制其大小。定义了带有覆盖范围约束的热门区域,并采用过滤-精炼策略发现热门区域。在过滤阶段,设计了一种基于网格的密集区域发现近似算法以提高发现效率;在精炼阶段,提出了基于趋势和差异性的度量指标,实现了对应区域重构算法及重构参数启发性选择算法,保证了从密集区域中有效提取出符合覆盖范围约束的热门区域。在真实数据集上验证了该工作的有效性。  相似文献
4.
白琳  魏峻  黄翔  叶丹  黄涛 《软件学报》2015,26(9):2191-2211
开放移动平台的涌现,加速了服务组合技术在移动应用开发过程中的应用和发展.当前的移动应用开发大多采用静态的服务分类聚集的组合方式,很容易引起功能过载和服务访问链过长的问题,严重影响了移动应用的易用性.针对这一问题,结合移动应用领域的特点,提出一种探索式服务组合方法.该方法通过感知上下文变化为用户构造当前环境下可用的服务集合,并通过交互将用户选择的服务即时地组合到应用中.基于上下文构造可组合的候选服务集合是其中一个核心技术,采用历史挖掘的算法,利用用户在不同上下文环境下选择服务的历史记录,挖掘出上下文与服务间的关联关系,以此作为匹配候选服务的依据.在关联规则挖掘方面,对传统的FP-tree算法进行了扩展,使其支持移动应用领域中二维数据项的挖掘.实验结果表明,扩展后的算法比传统算法在服务匹配方面具有更高的准确率和命中率.  相似文献
5.
文中提出一种基于图形处理器(GPU,graphics processing unit)的重光照技术,可以在局部点光源,表面反射属性和视点的同时变化中,以交互式的帧率计算全局光照.为了支持这些变化,选择在运行时刻模拟光能的物理传播过程.尽管这种模拟往往由于计算代价过于昂贵而难以被交互式系统采用,但是文中通过引入一个被称为传播树的层次性结构来大大降低模拟计算的开销.在误差允许的范围内,传播树将近似的发光面片进行聚类,然后便可以使用聚类的代表面片来近似整个场景.另外,还挖掘出了光能分布场在空间上和时间上的连续性,并以此为基础对聚类进行渐进式调整,以避免在每一帧中都得从头计算聚类划分,这就叫渐进式聚类.由于采样点之间的可见性可以预计算,把本来很复杂的间接光照计算问题化解成了简单的累加和少量的合并与分裂操作,即聚类代表所发射出的光能的累加以及聚类的合并与分裂.而累加、合并和分裂都是可以直接在图形硬件上并行执行的.在材质动画和场景装修等实际应用中,使用文中技术能够以交互式的速度生成带有多次反射效果的全局光照.  相似文献
6.
文中提出一种新的基于纹理块操作的纹理合成方法.对于每个纹理块,该方法根据样本纹理生成可与它进行拼接的纹理块邻接集合,并根据多步合成计算时纹理块之间的可拼接性(即匹配相容性)对邻接集合进行优化处理,即舍弃那些在多步操作后会引起匹配冲突的块.这样,合成计算时,可节省大量的关于邻接块之间的相似性度量计算,减少合成过程中的匹配冲突,由此提高纹理合成的效率.其合成质量,可与目前合成质量最好的纹理优化方法相媲美;而在合成速度方面,新方法的时间复杂度基本上是与目标纹理的大小成线性关系的,并经实验表明,新方法能以交互绘制的速度合成1024×1024像素的大纹理,而这是已有合成方法难以达到的.  相似文献
7.
朱雪阳 《软件学报》2016,27(S2):328-335
在现代嵌入式系统中,性能的重要性日益凸显.传统的基于测量的性能分析方法在运行时对性能进行测试,往往在代码实现后才考虑实施.若此时发现的问题是体系结构或设计因素造成的,修复的代价将非常昂贵.提出了一种基于形式化模型的性能分析(formal method-based performance analysis,简称FMPA)方法框架,希望在系统开发的早期,对系统设计模型进行性能分析,以便尽早发现并解决潜在的性能问题.FMPA具有统一的对外接口(UML-MARTE),基于多种形式化模型,并可对多种系统性能指标进行分析.该方法适用于基于模型的开发过程,可为实时嵌入式系统的设计开发提供多项性能指标的参考.通过介绍利用实时模型检测技术分析响应时间与吞吐量,利用概率模型检测技术分析系统可靠性,以及FMPA方法的支撑工具FMPAer的总体设计方案,说明了FMPA方法框架的可行性.  相似文献
8.
韩红雷  王文成  华淼 《软件学报》2015,26(10):2720-2732
3D模型摆正方向的确定,有利于模型对齐、功能恢复等应用.但已有方法只关注于人造模型的处理,且不少方法还需人工干预,工作效率不高.提出一种可处理任意模型的方法,具有很好的适应性.这主要是基于以下的观察:无论是人造模型还是自然模型,其底部往往是表面内容很贫乏的区域;而主要能观察到这些区域的视点,其视点评分一般很低.因此,根据视点评分,就能有效地寻找到模型的底部朝向,即,模型的摆正方向.为了提高计算的可靠性,进一步引入了物体摆放稳定性和人们观察物体习惯性的度量.实验结果表明:新方法能够高效地处理不同种类的模型,包括一些已有方法中难以处理的情况,并具有很好的计算效率.  相似文献
9.
高建华  蒋颖 《软件学报》2014,25(1):16-26
状态空间爆炸问题是模型检测的最大障碍.从余归纳(特别是余代数)的角度研究了这个问题.用余归纳的方法证明:(1) 对于任意给定的一类Kripke结构(记为K),在互模拟等价意义下K中最小Kripke结构(记为K0)的存在唯一性.K0描述了K中所有Kripke结构的行为而且没有冗余的状态;(2) 对于任意的MKM可能包含无穷多个状态),在互模拟等价意义下的相对于(M且基于K0)的最小Kripke结构(记为KM)的存在唯一性.由此提出一种求解KM的算法,并用Ocaml予以简单实现.其应用之一在于可以用状态空间更小的KM代替M进行模型检测.该方法可自然地推广到基于其他类型函子的余代数结构.  相似文献
10.
王光伟  王文成  华淼  韩红雷 《软件学报》2013,24(8):1885-1897
增强绘制能够更好地凸显模型的内容,便于人们的观察和理解。已有工作主要通过法向调整或依据曲率进行色彩变化,以加强明暗对比从而突出模型特征。但这样会扭曲特征的表达,或者由于细小特征的增强处理导致显示噪音,因而影响观察效果。提出了一种光源优化设计的增强绘制方法,不改变模型的任何几何特征,并结合模型的层次化组织,以便根据观察的需求自适应地凸显相应的特征,且消除细小特征的绘制噪音,由此能够清晰而准确地显示模型特征,提高观察效率。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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