计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
23期
40-42
,共3页
科学工作流%合理性验证%控制关系%数据关系%互斥%共存
科學工作流%閤理性驗證%控製關繫%數據關繫%互斥%共存
과학공작류%합이성험증%공제관계%수거관계%호척%공존
面向科学问题求解的科学工作流具有以数据为中心的特性,其验证要求同时考虑控制流和数据流的合理性.为此,分析科学工作流中的4种控制关系和2种数据关系,给出相关合理性定义,提出相应算法以遍历获得科学工作流中存在的控制关系和数据关系,实现对科学工作流的合理性验证.通过正反实例证明了该验证方法的有效性.
麵嚮科學問題求解的科學工作流具有以數據為中心的特性,其驗證要求同時攷慮控製流和數據流的閤理性.為此,分析科學工作流中的4種控製關繫和2種數據關繫,給齣相關閤理性定義,提齣相應算法以遍歷穫得科學工作流中存在的控製關繫和數據關繫,實現對科學工作流的閤理性驗證.通過正反實例證明瞭該驗證方法的有效性.
면향과학문제구해적과학공작류구유이수거위중심적특성,기험증요구동시고필공제류화수거류적합이성.위차,분석과학공작류중적4충공제관계화2충수거관계,급출상관합이성정의,제출상응산법이편력획득과학공작류중존재적공제관계화수거관계,실현대과학공작류적합이성험증.통과정반실예증명료해험증방법적유효성.
