基于冲突划分的位图多版本增量创建算法

根据位图操作间的冲突关系对待执行操作在位图版本中的冲突像素区域进行冲突划分,将属于相同冲突的像素区域独立成一个冲突像素集。使用多版本方法解决冲突,即对于每一个冲突像素集,将位图版本增量复制后,分别在冲突像素集中所包含的像素区域执行冲突操作的操作效果得到增量创建的位图版本,以达到一致性维护的目的。最后对方法的正确性和有效性进行了证明。在自定义的数据集上进行实验,结果表明,所提出的CDBMVIC算法产生的位图版本数量和冗余位图版本数量都比BTMVIC算法少。

Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study

GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the method to detect bank conflict by using symbolic execution. Bank conflict is one of the bugs happening in GPU and it leads the performance of programs lower. Bank conflict happens when some processing units in GPU access the same shared memory. Symbolic execution is the method to analysis programs with symbolic values. By using it, we can detect bank conflict on GPU programs which use many threads. We implement a prototype of the detector for bank conflict and evaluate it with some GPU programs. The result states that we can detect bank conflict on the programs with no loop regardless of the number of threads.

地图要素图形冲突处理方法——以线状要素(道路、水系和境界)为例

按照目前的专业制图规范对地图表达的质量要求,计算机制图原理和技术无法避免制图过程中需要大量人工处理地图要素图形冲突的工作。这种由于数据模型间(数字地理景观模型与数字制图模型间)的差别而产生的技术难题一直是实现快速制图的瓶颈。本文基于"先处理、后符号化"的策略,通过分析引起图形冲突的形式以及地图制图规范对冲突处理的要求,提出了针对图形重叠和图形衔接两类图形冲突处理的基本操作,即将对地图要素(地理要素符号化)的图形处理转变为对地理要素本身的处理,从而减少了后期图形冲突处理的工作量;基于这些基本操作,以地形图制图中产生大量冲突处理的道路、水系和境界要素类型为例,说明如何综合利用这些基本操作,实现对图面冲突自动处理的方法;最后,两幅实际地形图数据试验表明本操作可以提高制图效率。

解决街道与建筑物图形冲突的移位模型研究

介绍了在地图缩编中因道路符号所对应的实际尺寸加宽而破坏了建筑物与道路符号的正确关系时,针对第二、三、四类建筑物进行移位所涉及的数学方法,并给出了实验结果。最后,介绍了用栅格探测加矢量计算法对移位后可能产生的要素间的后继图形冲突所进行的探测,以及消除后继冲突的方法。

解决图形冲突的受限变形所涉及的数学原则——以道路与建筑物的关系为例

在新型辅助栅-矢混合数据结构以及自动建筑物分类的基础上,介绍了在地图缩编中因周围多条道路符号加宽而无法通过移位来维持建筑物与道路符号的正确关系时必须采取的建筑物受限变形所涉及的数学原则,给出了实验结果,并用目视法和数字法对变形结果作了评价与分析。

直线排列建筑物群渐进式典型化方法

地图综合中,建筑物群的排列结构是需要重点考虑的因素。当不同排列的子建筑物群之间存在空间图形冲突时,这些建筑物群的综合就显得更为复杂。直线排列建筑物群的综合在大比例尺地形图上以典型化操作为主。本文提出一种相互之间存在潜在空间图形冲突的多个直线排列建筑物子群的渐进式典型化方法,渐进式地处理多个直线排列建筑物子群之间的空间图形冲突,保留建筑物群重要的直线排列结构;以建筑物表达的视觉图形约束为限制条件,自动确定典型化后的建筑物位置、形状、大小和方位。本文还研究了基于建筑物群空间邻近图的直线排列建筑物子群的自动识别方法,分析了这些直线排列之间的邻近关系和相交关系。最后,以1∶5000地图上的建筑物群综合为1∶25000为试验对象,验证了所提出算法的可用性和有效性。

用计算机模拟人类制图员解决地图缩编中的图形冲突

针对地图综合中因道路符号的夸大表示而引起的道路与建筑物的图形冲突 ,提出了让计算机模拟人类制图员具备视觉及分析功能的具体方法 ,设计了一种新颖的栅格 矢量混合数据结构 ,以便通过将移位区内的所有建筑物分类 。

地图数据库图形输出中要素关系处理

本文提出了利用地图数据库的检索功能，建立要素图形输出的定量优先级、地理要素图形大小，及基于地图数据库的图形冲突位置的探测方法，并将要素图形输出中的关系划分为五种进行分别处理。

集中式同步协同设计系统关键技术研究

通过对集中式同步协同设计系统的特点分析研究,提出增量传输方法来减少数据传输量,并采用改进的Java3D数据结构实现系统的图形显示和交互功能,研究了基于冲突预测符的冲突检测,和基于操作序列筛选的冲突处理流程,实现了一个基于Web的同步协同设计原型系统。

一种新的多版本增创算法

现有的对象复制技术是实时协同图形编辑系统中符合一致性模型的并发控制策略,但难以解决非几何属性以及三维绘图系统中的并发冲突情况.介绍了一个全新的一致性维护模型——基于版本复制的多版本技术,当并发操作发生冲突时,利用简化规则从目标版本派生出叶子物理版本,分别应用冲突操作到不同的叶子版本,有效地解决了非调和冲突操作的意愿保证.通过研究多版本技术的相关支持算法,在算法MOVIC的基础上,从各个冲突操作的最大共同相容操作着手,提出了基于相容冲突组的快速多版本增创算法FMVIC(Fast Multiple Versions Incremental Creation),减少了相容操作的比较次数,缩小了去冗余操作的范围.

协同图形编辑系统的操作冲突及消解

基于协同图形操作的丰富语意,在识别出对象几何属性与非几何属性操作的基础上,提出一个新的冲突模型及定义,它能更好地实现操作意愿维护,并已在原型系统CoDraftPaint的Undo算法中得到验证.

基于能力优化机制的网格分组通信模型

在由多计算机集群构成的数据密集型网格环境下,为了解决通信峰值阶段的通信冲突问题,在GCA[6]模型的基础上,提出了一个基于能力优化机制的分组通信模型OGCM(Optim izing G roup Commun ication Model)。实践表明,该模型有效地解决了数据密集型网格环境下通信峰值所造成的并行计算效率低下的问题。该模型适合于基于网格的数据密集型并行计算。

面向多机群网格的通信模型

在由多计算机机群构成的数据密集型网格环境下,为了解决通信峰值阶段的通信冲突问题,提出了一个基于能力优化机制的通信模型;给出了由多机群组成的数据密集型网格数据节点(DGDN)等形式化定义。利用计算节点通信能力、机群网络通信能力、主被动队列和分组优化策略、反向流压控制机制,研究了单个机群内的通信模型,并描述了网格上的通信模型。理论分析和实践表明,该模型有效地解决了数据密集型网格环境下通信峰值所造成的并行计算效率低下的问题。该模型适合于基于网格的数据密集型并行计算。

面向机群并行计算的分组通信模型

提出了一个计算机机群环境下的分组通信算法,防止通信峰值阶段通信冲突对机群执行效率的影响.给出了完全图通信的形式化定义,构造了基于分组机制的完全图通信模型的实现方法. 分析和实现表明,该模型有效地解决了计算机机群环境下通信峰值所造成的集群效率低下的问题, 适用于机群的数据密集型并行计算.

利用XY坐标实现GPU缓存索引分布在帧缓冲区上的漫射

针对为CPU设计的缓存索引映射技术会导致严重的缓存冲突缺失问题,本文提出了一种全新的基于像素XY坐标进行索引计算的XY型缓存索引映射技术。该方法可以在帧缓冲区上获得缓存行索引分布的良好漫射,并且能完全避免不同帧解像度的不良影响。实验结果表明,XY型缓存索引映射技术可使缓存缺失率最大降低82%。采用该技术的直接映射缓存或2-way组相联缓存的缺失率接近全相联缓存,这有助于降低缓存设计复杂度与缓存功耗。

协同图形编辑系统中并发操作冲突检测的研究

实时协同设计是CSCW应用的重要领域。实时协同设计过程实际上就是并发冲突产生和消解的过程。本文描述协同图形编辑系统中多对象之间的冲突相关定义,提出一种判别并发操作冲突的关联对象冲突检测策略,设计实现相应的冲突检测算法,最后对算法的可行性进行分析。

基于Illustrator的地图符号制作及线状要素关系处理

Illustrator是常用的图形处理软件,被越来越多地应用到地图制作中,然而由于Illustrator本身并不是专业的地图制图软件,因此,制作出的地图不能直接使用,有些要素之间的关系还需要后期处理。本文从点、线、面的角度对Illustrator制作符号的方法进行探讨,并对线状要素之间关系的处理问题提出了基本解决方法。

总额预付制下供需管三方协同发展策略研究

目的:探究各利益主体在总额预付制度实施中出现的利益冲突,并探寻其最佳的解决方案,以期推动总额预付制在未来长期可持续发展。方法:依据利益相关者理论方法,描述总额预付制度在具体实施中出现的利益冲突主体,并通过冲突分析图模型,分析多方利益主体在总额预付制发展中的博弈均衡解,并求得最优的解决方案,以期预测未来冲突的事态发展趋势以及最终的结果。结果:通过实证模型,共获得256个状态点,经删除不可行状态和状态转移处理后执行稳定性分析,最终获得各个利益冲突主体均能接受的12个均衡解。结论:合理确定预算总额是优化总额预付制度的基础;精细化管理是实行总额预付制度的有效途径;以总额预付为主、多种支付方式并存的混合支付模式有利于促进医疗制度的改革;加强医保政策的宣传有利于总额预付制长期可持续发展。

协同图形编辑系统中改进的多版本技术

基于版本复制的多版本技术采用全复制的系统结构实现协同图形编辑系统中冲突操作的意愿保证问题.每个版本存储了编辑过程中所有在此版本上执行过的操作,故存在同一操作被存储多次和操作存储量随编辑过程的继续出现大规模增加的情况.本文从冲突操作集合着手,提出了一种改进的多版本技术,通过理论证明和模拟实验结果表明这种改进的多版本技术能有效地克服以上问题.

虚拟场景中图形化交互组件的深度冲突缓解研究

虚拟场景要求有更自然的交互范式以满足用户需求,图形化范式可作为自然范式的有效补充,目前对图形化范式在虚拟空间中的应用研究较少,在应用时,图形化范式与虚拟场景中的主体物可能存在深度冲突。本文提出一种新的交互范式——SOMRM范式,并以虚拟现实(VR)找不同和增强现实(AR)俄罗斯方块场景为例,对添加光圈模糊和调节组件与被试间距离2种缓解虚拟场景中深度冲突的方式进行了研究。通过分析被试在虚拟场景中执行查看、抓取、滑动等交互任务所需的时间和偏差等数据,从易学性、准确性、易用性、真实性、舒适性等6个维度上比较了2种深度冲突缓解方式。研究结果表明,添加光圈模糊能较好缓解虚拟场景交互中的深度冲突。