论文部分内容阅读
面向科学问题求解的科学工作流具有以数据为中心的特性,其验证要求同时考虑控制流和数据流的合理性。为此,分析科学工作流中的4种控制关系和2种数据关系,给出相关合理性定义,提出相应算法以遍历获得科学工作流中存在的控制关系和数据关系,实现对科学工作流的合理性验证。通过正反实例证明了该验证方法的有效性。
基于控制关系和数据关系的科学工作流验证
【摘 要】
：
面向科学问题求解的科学工作流具有以数据为中心的特性,其验证要求同时考虑控制流和数据流的合理性。为此,分析科学工作流中的4种控制关系和2种数据关系,给出相关合理性定义,
【机 构】
：
南京邮电大学计算机学院计算机技术研究所
【出 处】
：
计算机工程
【发表日期】
：
2011年23期
【基金项目】
：
国家自然科学基金资助项目（61003040）
其他文献
近代以来,佛山社会经历了从工商古镇到现代化都市的变化,其＂行通济＂民俗在此进程中由一种古老的社区民俗蜕变为现代都市民俗。其发生时间,因佛山城市化进程带来的参与主体的变
发生认识论是皮亚杰毕生构建的理论体系。在晚年,他通过范畴论和发展的三阶段理论对其进行了整合与形式化。范畴论将早年提出的群、群集和布尔数学的概念用于解释儿童思维发
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
随着我国社会主义市场经济的不断发展,并购已经成为了现代企业发展的一个重要机制,企业要想成功地进行并购,得需要融资来获得充足的资金,但是我国在融资方面有很多问题,所以
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
伴随着股份制改革的深入,我国商业银行发展迅速,资产规模、负债规模不断扩大,盈利能力快速提高,竞争力也相应增强,为社会的经济发展做出很大贡献。但是,商业银行在快速发展的
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
组织管理环境的和谐直接关系到组织的工作效率,是衡量组织管理成功与否的重要标尺。创建和谐的组织管理环境应当高度重视成员的心理感受,了解组织内上下级之间产生矛盾的心理
破窗理论与情境预防理论在犯罪学的逻辑上相互对应:破窗理论所持观点是环境会对犯罪产生影响,不良环境容易诱发犯罪;而情境预防旨在设计一个良好的环境预防犯罪。笔者试图对
青年教师投身产学研合作不仅有利于高校、科研院所和企业的发展,也是青年教师工程实践能力提升的重要契机,对青年教师各方面素质的提高具有重要意义。现以江南大学纺织服装学