国家自然科学基金(60503031)
- 作品数：6 被引量：14H指数：2
- 相关作者：程强曹建文王斌张海斌张春晖更多>>
- 相关机构：中国科学院中国科学院软件研究所中国科学院大气物理研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划中国科学院知识创新工程重要方向项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 面向对象数值软件Trilinos及其线性代数包剖析被引量：1
- 2007年
- 分析研究了美国Sandia国家实验室Trilinos项目的设计思想、组织结构,该项目受到ASC计划等的资助。Trilinos框架中定义了一个线性代数对象模型,作为各种软件包的构建基础和沟通载体,此模型当前较成熟的实现为Epetra。详细地阐述了Epetra的组织设计和主要类的层次结构,通过两个数值实验考察该软件当前的性能。可以看到,以Trilinos为代表的众多数值计算项目,为各种数值软件的有效协作、集成和扩展所进行的努力和一些有价值的经验。
- 张妮曹建文
- 关键词：并行计算软件设计面向对象技术
- 网格中间件GOS2及一种网格作业流的实现
- 2007年
- 介绍了GOS2的特点和社区、网程与网程容器、安全机制、网格文件系统、网格批作业系统以及网格记账系统几个主要模块。给出了一种基于GOS2系统架构,在此基础上实现了一种网格作业流形式的作业提交、结果查看以及作业取消和删除。实现包括页面部分和后台作业运行脚本部分,并给出了主要实现代码。
- 王庆官陈静姝迟学斌
- 关键词：网格操作系统作业流网程深腾6800门户
- 自动微分的原理和方法被引量：7
- 2009年
- 从计算一阶和二阶各种导数形式的角度,讨论了自动微分的基本原理和方法,给出了一阶和二阶各种微分模式最简单而最直观的表述形式,分别讨论了用不同微分模式计算不同导数形式的计算代价,讨论并给出了非线性问题求解中常用数值算法的计算代价.讨论了断点存储、正向积分和反向积分方法.
- 程强张海斌王斌
- 关键词：导数
- 针对C语言的自动微分系统及其应用被引量：2
- 2009年
- 采用切线性模式和代码转换策略,开发了C语言自动微分转换系统(DTC),用于牛顿法求解非线性方程中Jacobi矩阵—向量乘积计算。介绍系统计算模型、功能、特色,并讨论系统的设计与实现技术,包括编译技术、微分代码转换及输入/输出(I/O)相关分析。最后给出了几个具有说服力的测试与应用。
- 张春晖程强曹建文
- 关键词：JACOBI矩阵
- 伴随模式生成器被引量：2
- 2009年
- 伴随模式生成器(ADG)专门用来自动生成伴随模式,以分析求解函数的梯度和Hessian矩阵向量乘积,其计算复杂性与独立变元的数目无关.ADG系统与其他同类软件最大的不同之处在于采用了最小程序行为分解的模式伴随化方法,以及几种全局的静态相关分析技术.文中首先讨论了相关的概念和方法,然后介绍了ADG系统的基本功能和特色.特别地,文中详细讨论了ADG系统的系统结构和相关技术,包括解决基态值问题的重复计算/数据存储技术和微分代码优化方法.最后给出了几个典型应用和数值测试结果.
- 程强曹建文王斌张海斌
- 关键词：HESSIAN矩阵
