系统提出基于最小程序行为分解的模式伴随化方法,独立开发了自动微分转换系统(DFT)和伴随模式生成器(ADG),完成数个大型应用的微分模式开发。承担项目4项,发表相关学术论文25篇,其中SCI论文6篇。2003-2005,中科院十五信息化建设专项之子项目“基础并行软件平台建设与应用”2006-2008,国家自然科学基金(青年基金)“自动微分算法研究及其实现”2011-2012,重庆市自然科学基金(直通车)“伴随模式优化方法研究与实现”2011-2013,西南大学博士基金(引进人才)“GRAPES专用微分软件的开发和应用”代表性文献(Availabe via Emails)程强,自动微分算法及其实现,博士学位论文,中科院大气物理所,2001程强,王斌,基于最小程序行为分解的模式伴随化,自然科学进展,2002Cheng Qiang, Zhang Linbo, Model Adjointisation and Its Cost, Science in China (F), 2004程强,基础并行软件平台综述,2005年高性能计算应用大会论文集,上海,2005程强,PETSc用户测试报告,技术报告,中科院超级计算中心,2005程强,王彦棡,PETSc并行求解二维正压大气浅水波方程,计算机研究与发展,2008程强,张海斌,王斌,自动微分的原理和方法,计算数学,第31卷第1期,15-36,2009Cheng Qiang, Zhang Haibin, Wang Bin, Differentiation Transforming System,Natural Science Progress, Vol. 19(3): 397-406, 2009Cheng Qiang, Cao Jianwen, Wang Bin, Adjoint Code Generator, Science in China, Series F, Vol. 52(6): 926-941, 2009Cheng Qiang, Wang Bin, DFT Users Guide, 2010Cheng Qiang, Wang Bin, ADG Users Guide, 2010Cheng Qiang, Zhang Haibin, Adjoint cost of the Least Program Behavior Decomposition Method, submitted, 2012