计算机科学
計算機科學
계산궤과학
Computer Science
2015年
11期
101-103
,共3页
归约算法%逻辑拓扑%算法描述%并行计算
歸約算法%邏輯拓撲%算法描述%併行計算
귀약산법%라집탁복%산법묘술%병행계산
Reduction algorithm%Logic topology%Algorithm description%Parallel computing
归约算法在并行计算中应用广泛,目前有很多归约算法应用于不同的情形.这些归约算法各不相同,逻辑拓扑是造成区别的关键.为了统一描述归约算法,揭示它们的共性,给出了一个逻辑拓扑的定义及其性质.在此基础上,给出了归约算法的统一描述,以利于对归约算法的理解,从而设计适应不同应用和环境的归约算法.该描述也可视为可集成不同语义的归约算法框架,从而有助于设计具有新语义的归约算法.本质上,该统一描述是一个归约算法形式定义,有助于验证归约算法的正确性.
歸約算法在併行計算中應用廣汎,目前有很多歸約算法應用于不同的情形.這些歸約算法各不相同,邏輯拓撲是造成區彆的關鍵.為瞭統一描述歸約算法,揭示它們的共性,給齣瞭一箇邏輯拓撲的定義及其性質.在此基礎上,給齣瞭歸約算法的統一描述,以利于對歸約算法的理解,從而設計適應不同應用和環境的歸約算法.該描述也可視為可集成不同語義的歸約算法框架,從而有助于設計具有新語義的歸約算法.本質上,該統一描述是一箇歸約算法形式定義,有助于驗證歸約算法的正確性.
귀약산법재병행계산중응용엄범,목전유흔다귀약산법응용우불동적정형.저사귀약산법각불상동,라집탁복시조성구별적관건.위료통일묘술귀약산법,게시타문적공성,급출료일개라집탁복적정의급기성질.재차기출상,급출료귀약산법적통일묘술,이리우대귀약산법적리해,종이설계괄응불동응용화배경적귀약산법.해묘술야가시위가집성불동어의적귀약산법광가,종이유조우설계구유신어의적귀약산법.본질상,해통일묘술시일개귀약산법형식정의,유조우험증귀약산법적정학성.
