国家自然科学基金(60173013)
- 作品数：8 被引量：12H指数：2
- 相关作者：陆鑫达高红雨廖湖声林新华刘洪更多>>
- 相关机构：上海交通大学北京工业大学武汉大学更多>>
- 发文基金：国家自然科学基金北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- NHPP模型完全排错假设的修改被引量：2
- 2005年
- NHPP模型是最具代表性的早期软件可靠性马尔可夫过程的数学模型,但其完全排错的假设与软件开发实际不相适合,在假设软件不完全改错且每次改正错误数为一个可正可负随机变量的基础上,对模型进行求解并对新模型进行了评价。
- 郑红军徐仁佐高俊鹏
- 关键词：NHPP模型故障率
- Java语言程序例化中的扩展对象别名分析
- 2008年
- 为了提高 Java 语言自动程序例化实现中的绑定时间分析的精度,提出了一种对象别名分析技术。该技术通过对 Java 程序中各种类与方法之间引用类型变量的跟踪分析,生成一种对象类例化模型,来描述不同对象在多分派的消息响应中的绑定时间特性,以及对象成员等复杂数据结构的绑定时间特性。这种多变异方式的例化策略可提高对象类及其成员函数的部分求值深度,已经用于 Java 程序部分求值器中绑定时间分析的实现。
- 廖湖声李博韬高红雨
- 关键词：部分求值别名分析
- 面向对象程序设计语言的部分求值动作分析被引量：1
- 2006年
- 提出了一种面向对象程序设计语言的部分求值动作分析方法,利用带有绑定时间标注的源程序生成部分求值动作原语序列,作为各种部分求值实现策略的基础。这种方法使部分求值算法独立于具体的实现方法,从而降低了部分求值系统的实现难度。
- 高红雨廖湖声
- 关键词：部分求值面向对象
- CFD网格平台中任务管理与错误恢复的实现
- 2004年
- 任务管理和错误恢复是CFD网格应用平台的核心部分,它对运行在平台上的CFD程序进行管理,并提供错误恢复机制。为了更好地管理CFD任务,平台通过建立CFD程序抽象模型,对任务管理和错误恢复模块进行设计上的优化。因此该模块采用了双层架构,上层实现了对服务的管理,下层负责对并行程序的管理。同时该模块还提供了守护进程CFD-Daemon来实现错误恢复,以及应用开发包供CFD程序员使用。
- 林新华缪嵚陆鑫达邓倩妮李明禄刘洪祈洋
- 一个基于部分求值的Java动态优化系统被引量：1
- 2003年
- 1.引言
目前,可重用性、兼容性、可扩充性、可互操作性已经成为软件设计的发展方向,这使软件系统的通用性增强、适用范围扩大;与此同时,系统的结构变得越来越复杂,性能也受到负面影响.如果软件系统能够在运行时与具体应用环境紧密结合,排除无关的通用性计算,系统的性能将会得到提高.部分求值作为一种新型的软件自动化方法,是解决这一问题的有效手段.
- 高红雨廖湖声王众
- 关键词：求值动态优化
- 基于VTK的CFD数据可视化Grid Service设计和实现被引量：2
- 2005年
- 应用可视化工具VTK和Java 在网格计算环境下实现了一个用于CFD数据后处理的高效率、易扩展、实用的可视化网格服务,网格服务接口用Web服务语言(WSDL)描述,网格服务内部实现使用VTK作为可视化内核,构建网格环境的中间件系统使用的是基于OGSA的GT3。实验结果表明,可视化网格服务可以充分利用远程强大计算资源,为性能较弱的客户端提供强大的可视化处理能力。
- 漆晓峰陆鑫达
- 关键词：网格服务数据可视化可视化工具OGSA
- 飞行器外型设计遗传优化算法的网格实现被引量：1
- 2004年
- 飞行器外型设计遗传优化算法网格计算系统是基于网格技术的。该系统由一组网格服务所构成。遗传算法中的流场计算模块(CFD)在该系统中是以服务的方式提供并可运行在各种计算机上。在该系统中,能够动态地发现和利用计算机资源,这些资源可以是异构的机型,可以是不同操作系统,并且这些资源的位置也可以是广域分布的。这个系统,为飞行器外型设计提供了更加灵活的设计手段,比如对设计过程的监控和控制,多用户协作设计等。
- 孙犀利陆鑫达
- 关键词：遗传算法CFD
- CFD网格应用平台研究被引量：5
- 2005年
- CFD网格应用平台是ChinaGrid5大应用平台之一,它为各种不同的CFD应用提供了网格基础设施。平台采用了两层架构:上层基于WSRF服务,下层基于并行计算。为了无缝整合各种CFD应用,平台定义了一组包括CFD工作流模板和CFD分类码的重要概念,使用了一系列如CGNS数据可视化工具GVisual的关键技术。目前基于ServiceDomain的平台原型系统已经开发完成,性能测试表明CFD应用移植其到平台上后性能获得提高。
- 林新华刘洪陆鑫达李明禄
- 关键词：CHINAGRIDWSRFSERVICEDOMAIN
