传统的三维图形处理器通过裁剪操作获取三角形的可见区域。然而,裁剪操作的延迟长且硬件开销高,大量的裁剪操作会降低图形处理器的性能。本文设计了一款基于OpenGL ES 2.0标准的三维图形处理器芯片,采用了统一渲染架构。该图形处理器采...传统的三维图形处理器通过裁剪操作获取三角形的可见区域。然而,裁剪操作的延迟长且硬件开销高,大量的裁剪操作会降低图形处理器的性能。本文设计了一款基于OpenGL ES 2.0标准的三维图形处理器芯片,采用了统一渲染架构。该图形处理器采用高效的无裁剪图形流水线结构,消除了裁剪所带来的硬件开销和性能损耗。此外,本文为该图形处理器设计了一个符合IEEE-754标准的三维向量内积(DP3)计算单元,用于固定功能流水线,以提高图形处理器的性能,并消除图形渲染过程中浮点乘加操作的误差,增强了图形处理器的图形渲染鲁棒性。该三维图形处理器每秒能够处理500 M个顶点和8 G个纹素,功耗为1000 mW,采用了28 nm工艺,面积为7.92 mm^(2)。实现结果表明,与之前的工作相比,本文设计的图形处理器的性能-功耗比提高了27.8%。展开更多
图是一种非常重要的数据结构形式,被广泛用于社交网络、交通网络和搜索引擎等领域。随着图数据规模爆发式增长,存储容量受限,分布式图计算成为处理大规模图数据的焦点。宽度优先搜索(breadth first search,BFS)算法是图遍历和许多图分...图是一种非常重要的数据结构形式,被广泛用于社交网络、交通网络和搜索引擎等领域。随着图数据规模爆发式增长,存储容量受限,分布式图计算成为处理大规模图数据的焦点。宽度优先搜索(breadth first search,BFS)算法是图遍历和许多图分析算法的基础,而在分布式图计算过程中存在严重的通信开销。针对上述问题,本文提出了一种综合的数据压缩编码优化方案,结合位图和变长压缩数组,通过更高的压缩率来降低数据通信开销;此外,还提出了一种点对点异步环形通信策略,进一步降低分布式图计算中计算-通信的同步开销。通过这些优化手段,本文在8节点的分布式集群上对优化后BFS算法的性能进行了系统评估,结果表明,当图数据规模为28时,优化后的BFS算法平均性能为46.79亿条边每秒遍历(giga-traversed edges per second,GTEPS),性能比优化前提升了接近7.82%。展开更多
针对传统基于文档的系统工程方法在高复杂度卫星互联网仿真平台开发中存在的系统设计协调性差及早期仿真验证不足等问题,提出采用基于模型的系统工程(model-based systems engineering,MBSE)方法开展卫星互联网仿真平台架构建模。首先,...针对传统基于文档的系统工程方法在高复杂度卫星互联网仿真平台开发中存在的系统设计协调性差及早期仿真验证不足等问题,提出采用基于模型的系统工程(model-based systems engineering,MBSE)方法开展卫星互联网仿真平台架构建模。首先,提出基于MBSE的双V模型(dual V model based on MBSE,DVMBSE)及与外部软件集成验证架构;然后,基于MBSE方法论对卫星互联网仿真平台顶层架构开展需求分析、功能分解及交互结构建模;最后,通过运行逻辑验证与外部模型集成验证实现了模型的有效性验证,从而支撑卫星互联网设计论证。展开更多
文摘图是一种非常重要的数据结构形式,被广泛用于社交网络、交通网络和搜索引擎等领域。随着图数据规模爆发式增长,存储容量受限,分布式图计算成为处理大规模图数据的焦点。宽度优先搜索(breadth first search,BFS)算法是图遍历和许多图分析算法的基础,而在分布式图计算过程中存在严重的通信开销。针对上述问题,本文提出了一种综合的数据压缩编码优化方案,结合位图和变长压缩数组,通过更高的压缩率来降低数据通信开销;此外,还提出了一种点对点异步环形通信策略,进一步降低分布式图计算中计算-通信的同步开销。通过这些优化手段,本文在8节点的分布式集群上对优化后BFS算法的性能进行了系统评估,结果表明,当图数据规模为28时,优化后的BFS算法平均性能为46.79亿条边每秒遍历(giga-traversed edges per second,GTEPS),性能比优化前提升了接近7.82%。
文摘针对传统基于文档的系统工程方法在高复杂度卫星互联网仿真平台开发中存在的系统设计协调性差及早期仿真验证不足等问题,提出采用基于模型的系统工程(model-based systems engineering,MBSE)方法开展卫星互联网仿真平台架构建模。首先,提出基于MBSE的双V模型(dual V model based on MBSE,DVMBSE)及与外部软件集成验证架构;然后,基于MBSE方法论对卫星互联网仿真平台顶层架构开展需求分析、功能分解及交互结构建模;最后,通过运行逻辑验证与外部模型集成验证实现了模型的有效性验证,从而支撑卫星互联网设计论证。
