一种科学工作流视图抽象方法

为了解决复杂的科学工作流过程视图造成用户理解和数据溯源困难的问题,在对科学工作流及其视图进行形式化定义的基础上,提出一个可保持数据溯源正确性的视图抽象算法——Extend-and-Merge算法。该算法从科学工作流中的一个任务出发,通过寻找及合并三种合理子结构,最终得到保证溯源正确性的合理抽象视图,并设计实现了一个软件工具用于可视化展示。通过一组真实科学工作流过程数据上的实验表明,Extend-and-Merge算法可在多项式时间内获得规模为原来过程13.1%的合理抽象视图。

基于模块抽象视图的时序预算方法的研究

为了在芯片设计中优化模块的接口时序约束,提高顶层和模块时序收敛的一致性,缩短设计周期、减少工具的计算量,提出将做完布线优化后模块的抽象视图合并到顶层做时序预算,根据预算结果为模块提供更加精确的接口时序约束.在做完时序预算后,将模块的接口时序约束应用到模块设计中做进一步优化,模块的时序收敛后将模块拼装到顶层做时序分析,发现顶层和模块之间的时序是收敛的.结果表明使用模块的抽象视图在顶层做完时序预算后优化模块,可以使顶层和模块之间的时序更容易达到收敛,提高顶层和模块时序收敛的一致性.

抽象MIB视图及其在综合网管中的应用

在多厂商设备网络环境中,由于各个厂商大量地定义私有MIB,以扩展管理功能,使得多厂商网络的综合网管面临MIB异构性问题.本文提出了一种解决该问题的方法———抽象MIB视图,说明了该技术的原理,描述了在SNMP中的一种实现,并介绍了该项技术在一个多厂商设备的ATM网络综合网管中的应用情况.

面向RIA的系统重构模型

利用软件工程中的重构技术,提出一种基于抽象数据视图的系统转换模型。采用抽象数据状态图与经典重构策略相结合的方式对系统进行重构,通过映射方法平滑地将Web应用程序转换为富互联网应用(RIA)程序。实验结果表明,该模型能够提升用户界面的质量与易用性,降低设计与开发过程中的工作量。