一种基于代表元的划分算法

划分是把程序中不同的计算和数据分配到并行处理系统的不同处理机来充分利用并行系统的计算资源、提高程序处理速度的一种优化技术.划分的效果对程序在并行系统上的执行效率将产生至关重要的影响,因此划分问题一直是并行领域研究的一个热点.但是应用程序的一些特性,如非紧密嵌套循环、一条语句对非只读数组的多次引用间存在重叠、不同语句对同一数组不同步长的引用,给有效解决划分问题设置了极大的障碍.已有的划分算法无法对具有这些特征的程序进行自动划分.虽然在对具有这些特征的程序进行手工优化过程中,存在一些直观上的划分策略,但这些策略无法应用到编译器中来指导编译器完成对程序的自动划分.文中根据这类程序的特点,提出了一种基于代表元的划分算法.该算法通过使用程序中对划分计算产生实际影响的数组引用作为代表元素构造各种划分的限制条件,完成程序的划分.同时通过寻找最大一致性数据划分方向有效减少了程序划分过程中的数据重组织通信.该算法已经在AFT2004中实现,并对应用程序获得了很好的效果.

针对粗粒度可重构处理器的通用循环编译技术

粗粒度可重构处理器结合了高性能和高灵活性的优点,但是现有编译技术难以处理不定长循环和非完美循环.本文分别针对不定长循环和非完美循环提出了高效的编译技术,使得编译器可以处理通用形式的循环且均可以充分利用可重构处理器的计算能力.

针对粗粒度可重构架构的非完美循环映射方法

针对粗粒度可重构架构,提出了一个解决非完美循环映射问题的方法.该方法从最外层到最内层循环,依次进行循环分裂,生成多个完美循环并为每个完美循环生成虚拟配置包,然后使用配置包合并技术,最后将合并后的配置包映射到可重构阵列上.该方法兼顾可重构阵列的效率和重构次数,较现有的双流水映射提高了24.2%的PE利用率,减少了61.7%的重构次数.

关于不完全平方数的算术平方根的算法及其C^(++)实现

获得了任意不完全平方数的算术平方根化为无限循环连分数的4条定理,给出了不完全平方数的算术平方根化无限循环连分数的算法,对其算术平方根的有理数近似分数给出了算法和分析了误差,并给出了以上无限循环连分数和有理数近似值及其误差的C++语言的算法实现.

具有缺陷产品的双渠道闭环供应链网络均衡

本文研究了供应商向制造商供应原材料,制造商制造的产品(其中部分含有缺陷),通过零售商渠道和电子商务渠道销售给消费者,以满足消费市场需求,同时考虑消费者消费后产生的废旧品经由回收中心处理再到制造商处进行再制造的闭环供应链网络均衡模型。运用变分不等式理论和互补理论,分别刻画了供应市场、制造市场、零售市场、消费市场以及回收中心的最优行为,进而建立了双渠道闭环供应链网络均衡模型。利用变分不等式的对数二次型预测与校正(LQP-PC)算法,设计了模型求解算法。结合算例分析了双渠道、再制造率和产品缺陷对网络均衡的影响。算例结果表明:当制造商采用电子商务销售渠道时,对传统渠道会造成一定影响;制造商的再制造率增加时,制造商的利润显著增加,供应链的整体利润也有所增加;制造商的产品缺陷率降低时,其自身利润有所增加,而供应链整体利润增加明显。本文的研究结论对未来双渠道闭环供应链网络均衡的研究具有一定的借鉴意义。