基于BPEL的颗粒堆积仿真的网格计算服务

提出了颗粒堆积仿真过程的并行计算和并行可视化的实现方法,大大减少了颗粒堆积计算的时间.并通过商业流程执行语言(BPEL)定义的工作流,实现对计算服务的流程控制、事务管理和生命周期控制,使得颗粒堆积仿真计算服务能够平滑地移植到网格计算服务平台上提供服务.     

数据网格中复制式数据的一致性维护方法

由于网格环境动态性的特点,网格延迟的不稳定等问题会严重影响数据的可获得性.针对这个问题,采用复制式的数据模型来给予解决.通过在数据网格中维护多个数据副本,用户可以选择其中任意一个进行访问修改.通过将网格服务与数据分离,将数据模型化为线性数据和树型数据,可以支持用户对网格数据的实时修改,并且可以维持多个数据副本的一致性.提出了一个新的时间戳模型,可以支持一个数据副本上的并发操作.本方法是一个无锁的算法,可以满足网格环境下数据的RIC属性.     

基于WSRF的网格资源信息服务架构

为了满足视频服务网格中资源信息服务的要求,特别是视频信息资源的组织和管理,提出了一种基于WSRF的多副本一致性信息服务架构,并基于MDS4实现.该系统主要包括资源注册、信息采集、信息查询、资源监控和报警处理等五大功能模块.同时,提供了Web页面的形式,便于用户进行资源的查询和监控.据此设计的原型系统已经应用于实践,取得了良好的效果.     

面向生物信息学计算的网格工作流系统

针对生物信息学网格计算需求,提出了一种网格工作流管理系统模型,系统以Web方式为用户提供服务,通过与软件模块的交互实现良好的可定制的人机交互界面,使得不熟悉网格计算和工作流系统的人也可以快捷直观地操作使用.该系统能够自动地对工作流任务进行调度,然后通过网格中间件进行执行,并对任务进行监控和管理.论述了该系统的框架和实现原理,通过一个生物信息学计算实例说明工作流的定义、描述和使用流程;并且,通过与中国教育科研网格公共支撑平台CGSP工作流系统的对比,说明了该系统在可视化、便捷性上更符合生物信息学计算需求的特点.     

高能物理计算网格应用系统

针对在高能物理计算中存在的海量数据存储和计算问题,讨论了高能物理计算网格应用系统的体系结构,并重点讨论了运用元数据模型,通过元数据方式对数据的集成和整合,为用户提供了高能物理异构数据资源统一访问机制,以适应高能物理计算环境下数据密集型应用对数据共享和处理的需要,提高数据共享的利用率,节约了计算和存储硬件资源,加速了高能物理研究的进程.     

基于微观经济学方法的网格资源分配管理模型

提出了一种基于微观经济学方法的网格资源分配管理模型,采用分布自治原则由众多的网格域构成整个网格系统.系统根据用户作业请求发出投标信息,各网格域参考投标信息及自身资源使用情况利用PSP拍卖机制确定中标者,最后系统从中标信息中选择费用最低的完成任务,以一定的周期运用微观经济学供需均衡原理动态调整资源价格,并给出了价格调整算法.相对于别的网格资源管理系统,本模型提出的资源管理方案在管理上比较简单,系统不必掌握全局资源信息,可扩展性较强,易于实现,并且通过引入竞标机制解决了资源提供者的报酬问题.     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

水火电力系统短期发电计划研究

为克服现有方法求解复杂水火电力系统短期发电优化计划的缺陷,提出一种新型优化算法对此类动态非线性约束优化问题进行求解.该算法通过选取沿连续两次迭代计算时次梯度之差的方向进行空间扩张,以此构造出极小化的空间扩张优化算法.同时,对复杂的约束条件采用自适应更新罚因子的不光滑精确罚函数加以处理.算例仿真计算的结果表明该方法求解精度高、收敛速度快,进一步验证了算法的正确性和有效性.     

TT管节点在轴向压力下的极限载荷分析

用三维20结点固体单元,对TT节点在支管端部承受轴向压力作用下所能承受的极限载荷进行了数值模拟.将结构有限元网格划分为不同区域,每个区域的网格独立产生,通过合并形成整个结构的有限元网格.使用ABAQUS软件分析了TT节点在支管端部承受轴向载荷的变形及与外部载荷之间的关系,得到了不同参数影响下的TT节点极限载荷.     

企业网格与网格使能的业务转型研究

企业网格具有巨大的潜在商业价值,它受到了企业界和学术界的重视,但仍存在一系列技术和应用的问题。从企业网格应用的视角出发,界定了企业网格及相关的几个概念,介绍了企业网格的应用现状和存在的问题,最后提出一个网格使能的业务转型框架模型,该模型说明了企业网格对企业业务的影响。研究成果对学术界和企业CIO都有所帮助。