首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 15 毫秒

1.  在消息传递并行机上的高效的最小生成树算法  被引次数:5
   王光荣  顾乃杰《软件学报》,2000年第11卷第7期
   基于传统的Borǔ vka串行最小生成树算法,提出了一个在消息传递并行机上的高效的最小生成树算法.并且采用3种方法来提高该算法的效率,即通过两趟合并及打包收缩的方法来减少通信开销,通过平衡数据分布的办法使各个处理器的计算量平衡.该算法的计算和通信复杂度分别为O(n2/p)和O((tsp+twn)n/p).在曙光-1000并行机上运行的实际效果是,对于有10 000个顶点的稀疏图,通过16个节点的运行加速比是12.    

2.  基于压缩的大规模图的割点求解算法  
   李发明  李建中  邹兆年  张冠男《软件学报》,2014年第25卷第S2期
   割点求解是图应用中的一个重要操作.深度优先搜索树算法可以解决割点求解问题.但是该算法存在缺点,导致它不能在实际问题中得到很好的应用.这是因为当今数据的两大特点,一是数据规模庞大,对于很多图操作提出了挑战性的要求;二是数据多变,每天数据的大量更新使得传统算法必须依据更新重复计算,浪费了时间和空间.深度优先搜索树算法的时间复杂度为O(|V|+|E|),其中,|V|和|E|分别为图的顶点的数目和边的数目.它能够很好地适应第1个特点,但是对于第2个特点该算法则无能为力.提出一种基于压缩的割点求解算法来解决这个问题.该算法通过点的朴素相似来压缩图,时间复杂度为O(|E|).在得到的无损压缩图上进行割点求解,同时在压缩图上动态地维护点和边的更新,在不解压图的情况下完成图的更新,在更新后的图上进行割点求解,极大地降低了时间和空间消耗.该压缩算法得到的压缩图对其他图操作同样适用.    

3.  自适应K-means聚类的散乱点云精简  被引次数:1
   陈龙  蔡勇  张建生《中国图象图形学报》,2017年第22卷第8期
   目的 点云精简是曲面重建等点云处理的一个重要前提,针对以往散乱点云精简算法的精简结果存在失真较大、空洞及不适用于片状点云的问题,提出一种自适应K-means聚类的点云精简算法。方法 首先,根据k邻域计算每个数据点的曲率、点法向与邻域点法向夹角的平均值、点到邻域重心的距离、点到邻域点的平均距离,据此运用多判别参数混合的特征提取方法识别并保留特征点,包括曲面尖锐点和边界点;然后,对点云数据建立自适应八叉树,为K-means聚类提供与点云密度分布相关的初始化聚类中心以及K值;最后,遍历整个聚类,如果聚类结果中含有特征点则剔除其中的特征点并更新聚类中心,计算更新后聚类中数据点的最大曲率差,将最大曲率差大于设定阈值的聚类进行细分,保留最终聚类中距聚类中心最近的数据点。结果 在聚类方面,将传统的K-means聚类和自适应K-means聚类算法应用于bunny点云,后者在聚类的迭代次数、评价函数值和时间上均优于前者;在精简方面,将提出的精简算法应用于封闭及片状两种不同类型的点云,在精简比例为1/5时fandisk及saddle模型的精简误差分别为0.29×10-3、-0.41×10-3和0.037、-0.094,对于片状的saddle点云模型,其边界收缩误差为0.030 805,均小于栅格法和曲率法。结论 本文提出的散乱点云精简算法可应用于封闭及片状点云,精简后的数据点分布均匀无空洞,对片状点云进行精简时能够保护模型的边界数据点。    

4.  基于余归纳的最小Kripke结构的求解  
   高建华  蒋颖《软件学报》,2014年第25卷第1期
   状态空间爆炸问题是模型检测的最大障碍.从余归纳(特别是余代数)的角度研究了这个问题.用余归纳的方法证明:(1) 对于任意给定的一类Kripke结构(记为K),在互模拟等价意义下K中最小Kripke结构(记为K0)的存在唯一性.K0描述了K中所有Kripke结构的行为而且没有冗余的状态;(2) 对于任意的MKM可能包含无穷多个状态),在互模拟等价意义下的相对于(M且基于K0)的最小Kripke结构(记为KM)的存在唯一性.由此提出一种求解KM的算法,并用Ocaml予以简单实现.其应用之一在于可以用状态空间更小的KM代替M进行模型检测.该方法可自然地推广到基于其他类型函子的余代数结构.    

5.  不同通信模型下的全光树环网波长分配算法  被引次数:1
   许胤龙  王启华  陈国良《软件学报》,2006年第17卷第2期
   研究了波分复用全光树环网在不同通信模型下的波长分配算法及其最坏性能分析.对于静态模型,证明了5L/2是树环网所需波长数的紧界.对于动态模型,提出了一种近似比为∑i=1hmaxrRi[log|V(r)|]+h的波长分配算法,其中h为树环网的基树的层数,Ri为树环网中处于第i层的环的集合,|V(r)|为环r上的节点数.对于增量模型,提出了一种近似度为O[log2(t+1)]的波长分配算法,其中t为树环网中的环数.    

6.  基于XYZ/E描述和验证容错系统  被引次数:2
   郭亮  唐稚松《软件学报》,2002年第13卷第5期
   研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢复求精,基于这两种求精关系可直接从程序P的规范推导出程序Q满足的一些性质.    

7.  具有O(n)消息复杂度的协调检查点设置算法  被引次数:9
   汪东升  邵明珑《软件学报》,2003年第14卷第1期
   协调检查点设置及回卷恢复技术作为一种有效的容错手段,已广泛地运用在集群等并行/分布计算机系统中.为了进一步降低协调检查点设置的时间和空间开销,提出了一种基于消息计数的协调检查点设置算法.该算法无须对底层消息通道的FIFO特性进行假设,并使同步阶段引入的控制消息复杂度由通常的O(n2)降低到O(n),有效地提高了系统的效率和扩展性.    

8.  基于距离不等式的K-medoids聚类算法  
   余冬华  郭茂祖  刘扬  任世军  刘晓燕  刘国军《软件学报》,2017年第28卷第12期
   本文研究加速K-medoids聚类算法,首先以PAM(Partitioning Around Medoids)、TPAM(Triangular Inequality Elimination Criteria PAM)算法为基础,给出两个加速引理,并基于中心点之间距离不等式提出两个新加速定理.同时,以On+K2)额外内存空间开销辅助引理、定理的结合而提出加速SPAM(Speed Up PAM)聚类算法,使得K-medoids聚类算法复杂度由OKn-K2)降低至O((n-K2).在实际及人工模拟数据集上的实验结果表明,相对PAM、TPAM、FKMEDOIDS(Fast K-medoids)等参考算法均有改进,运行时间比PAM至少提升0.828倍.    

9.  保持特征的点云迭代简化算法  
   宋大虎  李忠科        《计算机应用研究》,2014年第31卷第4期
   提出了一种特征保持的三维点云迭代简化算法。首先对点云模型构造KD树结构,计算采样点的k邻域,然后利用点云模型的局部几何信息作为参数,包括局部采样密度、采样点的精度和曲率,计算评估函数值,迭代删除评估函数值最小的点。实验结果表明,算法在简化点云数据的同时,能有效去除噪声数据,而且很好地保留了原始模型的特征信息。    

10.  半动态矩形交查询算法  
   高静波  李新友  唐泽圣  周晓辉《软件学报》,1997年第8卷第8期
   本文讨论了动态矩形交查询算法.文中介绍了两个半动态矩形查询的新算法,它们分别基于一维数据结构和二维数据结构.一维查询算法的查询时间复杂度是O(logMk′),更新时间复杂度是O(logMlogn),空间复杂度是OnlogM/).二维查询算法的查询时间复杂度是O(log2Mk),更新时间复杂度是O(log2Mlogn),空间复杂度是Onlog2M).本文分别实现了这两个算法,通过对它们的性能进行比较,发现一维查询算法是一种高效、实用的算法.    

11.  基于法向变化量的变分辨率曲面重建算法  
   熊邦书  雷鸰  宋高俊《机械科学与技术》,2007年第26卷第4期
   在研究曲面局部法向变化量与高斯曲率关系的基础上,提出了一种基于法向变化量的变分辨率曲面重建算法。该算法首先根据用户给定的法向变化量门限,自适应于曲面曲率对点云数据的最小立方体包围盒进行八叉树分割,并在其有效叶节点内进行局部等值面提取,然后在八叉树中不同级别且空间相邻的有效叶节点内,采用垂直投影法将它们间的缝隙进行拼接。对于给定不同的法向变化量门限,该算法可同时完成曲面重建和网格简化两种功能,从而直接得到点云数据的多分辨率模型。应用实例表明了该算法的有效性。    

12.  货郎担问题的几何解法  被引次数:8
   周培德《软件学报》,1995年第6卷第7期
   本文提出货郎担问题的一种新的求解方法,即几何解法.它的时间复杂性为:求距离运算次数为nm),比较次数为(max(nm,nlogn)),求夹角次数为(n2/m),其中为点集中点的数目,为点集的凸包顶点数.    

13.  多连通多边形的内部Voronoi图的顶点和边数的上界  
   杨承磊  汪嘉业  孟祥旭《软件学报》,2006年第17卷第7期
   多边形的Voronoi图在路径规划、碰撞检测等方面有着广泛的应用,其顶点和边数在这些应用算法的复杂度分析方面起着重要作用.Held证明了一个简单多边形的内部Voronoi图最多有n+k-2个顶点和2(n+k)-3条边,其中nk分别是多边形的顶点和内尖点数.但其结论不能适用于多连通多边形.对多连通多边形进行研究,通过将其Voronoi图转化为有根树,并利用有根树的性质,给出了其内部Voronoi图的顶点和边数上界的估计,并对Voronoi区域的边界所包含顶点和边数的平均值进行了讨论."SDU数字博物馆"系统所采用的基于Voronoi图的可见性算法的复杂度分析,就利用了所得出的结论.    

14.  原状黄土增湿过程中的静止土压力系数变化规律试验研究  
   金松丽  赵卫全  张爱军  邢义川  郭敏霞《四川大学学报(工程科学版)》,2017年第49卷第5期
   目前得到的湿陷性黄土静止土压力系数K0,无法反映应力和含水两个因素的影响。本文开展了原状黄土增湿过程中K0变化规律的试验研究,得到了力水耦合作用下K0的计算方法。首先引入“增湿水平”这一概念描述土体的含水状态;开展竖向压力作用下的侧限分级浸水试验,分别研究增湿水平、基质吸力、竖向应变与K0的相关关系;开展黄土湿陷的离心模型试验,验证室内试验结论的有效性。试验结果表明:“增湿水平”物理意义明确,能够反映土体的含水率初始情况和增湿过程;原状黄土K0随着增湿水平的增大而线性增加,增加速率取决于竖向压力的大小,竖向压力越大增加速率越慢;增湿过程中K0随着吸力的减小而线性增加,竖向压力越大K0增加的速率越慢,与增湿水平对K0的影响规律相似;不同竖向压力下增湿过程中的竖向应变ε与静止土压力系数K0试验点分布在一个较窄的范围内,可以采用同一双曲线描述,且不同压力作用与浸水作用的先后次序对ε-K0曲线影响较小。基于上述新疆伊犁黄土试验规律,建立以增湿水平和竖向压力为自变量的K0的表达式,以及以竖向应变为自变量的K0的表达式。    

15.  构造有限域上具有给定阶点的椭圆曲线  
   王鲲鹏  李宝《软件学报》,2007年第18卷第7期
   考虑有限域上椭圆曲线的构造.设q是一个奇素数的方幂,l是一个素数.证明了,如果GF(q)[x]上的方程U2-D(x)V2=ε(x-a)l有本原解,其中,D(x)∈GF(q)[x]是一个首1三次无平方因子的多项式,则椭圆曲线y2=D(x)上的点(a,b)的阶是l.由此,给出了一种构造具有给定阶点的椭圆曲线的算法.    

16.  图象处理中边界转换的并行算法及其实现  
   杨 勃  陈 虎  陈国良《软件学报》,1998年第9卷第2期
   本文提出了一种把图象中边界转换成区域四分树的并行方法.该方法基于MIMD模型,并在曙光1000上实际运行.整个算法用P个处理器可以在时间O((B×logB)/P)内完成其中B是循环代码长度.该算法可应用于图象处理、计算机图形学、模式识别等领域.    

17.  三维空间中的最短路问题  被引次数:1
   施海虎《软件学报》,1999年第10卷第7期
   在包含一组相互分离凸多面体的三维空间中为任意两点寻找最短路的问题是NP问题.当凸多面体的个数k任意时,它为指数时间复杂度;而当k=1时,为O(n2)(n为凸多面体的顶点数).文章主要研究了k=2情形下的最短路问题,提出一个在O(n2)时间内解决该问题的算法.所得结果大大优于此情形下迄今为止最好的结果——O(n3    

18.  面向RGBD深度数据的快速点云配准方法  
   苏本跃  马金宇  彭玉升  盛敏  马祖长《中国图象图形学报》,2017年第22卷第5期
   目的 真实物体的3维重建一直是计算机图形学、机器视觉等领域的研究热点。针对基于RGBD数据的非匀速非固定角度旋转物体的3维重建问题,提出一种利用旋转平台重建物体3维模型的配准方法。方法 首先通过Kinect采集位于旋转平台上目标物的深度数据和颜色数据,对齐融合并使用包围盒算法去除背景噪声和不需要的外部点云,获得带有颜色信息的点云数据。并使用基于标定物不同角度上的点云数据标定出旋转平台中心轴的位置,从而获得Kinect与旋转平台之间的相对关系;然后通过曲率特征对目标点云进行特征点提取并寻找与相邻点云的对应点;其中对于特征点的选取,首先针对点云中的任意一点利用kd-tree搜寻其k个邻近点,对这些点进行曲面拟合,进而计算其高斯曲率,将高斯曲率绝对值较大的n个点作为点云的特征点。n的取值由点云的点个数、点密度和复杂度决定,具体表现为能反映物体的大致轮廓或表面特征信息即可。对于对应点的选取,考虑到欧氏距离并不能较好反映点云中的点对在旋转过程中的对应关系,在实际配准中,往往会因为点云重叠或距离过远等原因找到大量错误的对应点。由于目标物在扫描过程中仅绕旋转轴进行旋转,因此采用圆弧最小距离寻找对应点可有效减少错误点对。随后,使用二分迭代寻找绕中心轴的最优旋转角度以满足点云间的匹配误差最小;最后,将任意角度获取的点云数据配准到统一的坐标系下并重建模型。结果 使用斯坦福大学点云数据库和自采集数据库分别对该方法和已有方法在算法效率和配准结果上进行对比实验,实验结果显示在拥有平均75 000个采样点的斯坦福大学点云数据库上与传统ICP算法和改进ICP算法相比,迭代次数分别平均减少86.5%、57.5%,算法运行时间分别平均减少87%、60.75%,欧氏距离误差平方和分别平均减少70%、22%;在具有平均57000个采样点的自采集点云数据库上与传统ICP算法和改进ICP算法相比,迭代次数分别平均减少94%、75%,算法运行时间分别平均减少92%、69%,欧氏距离误差平方和分别平均减少61.5%、30.6%;实验结果显示使用该方法进行点云配准效率较高且配准误差更小;和KinectFusion算法相比在纹理细节保留上也表现出较好的效果。结论 本文提出的基于旋转平台标定的点云配准算法,利用二分迭代算法能够有效降低算法复杂度。与典型ICP和改进的ICP算法的对比实验也表明了本文算法的有效性。另外,与其他方法在具有纹理的点云配准对比实验中也验证了本文配准方法的优越性。该方法仅采用单个Kinect即可实现对非匀速非固定角度旋转物体的3维建模,方便实用,适用于简单快速的3维重建应用场合。    

19.  网络流量的有效测量方法分析  被引次数:25
   刘湘辉  殷建平  唐乐乐  赵建民《软件学报》,2003年第14卷第2期
   把网络流量的有效测量问题抽象为求给定图G=(V,E)的最小弱顶点覆盖集的问题.给出了一个求最小弱顶点覆盖集的近似算法,并证明了该算法具有比界2(lnd+1),其中d是图G中顶点的最大度.指出了该算法的时间复杂性为O(|V|2).    

20.  石墨纤维表面冷等离子体处理的研究  被引次数:1
   陶晓秋  魏月贞  张志谦《复合材料学报》,1986年第3卷第3期
   本文较为系统、全面地研究了各种气氛冷等离子体对石墨纤维(GrF)的表面处理。GrF经活性冷等离子体处理后,GrF和树脂基体间的粘结能力大为改善。不仅石墨纤维复合材料(GrFRP)的层间剪切强度(ILSS)提高250%以上,而且GrFRP的抗拉强度(S)和杨氏模量(M)也分别提高40%和10%。在GrFRPILSSGrF被处理时间(t)之间存在着指数关系ILSS=A+CeB/t。我们认为:GrFRP的层间剪切破坏主要发生在GrF的外表面层中。活性冷等离子体处理通过改变GrF的表面层结构提高了GrF表面层的抗剪能力,使得GrFRPILSS得到大幅度提高。    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

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