从操作式规格说明到程序的自动转换

完成论文50篇，其中国际权威刊物发表8篇接受2篇，国内核心刊物发表18篇接受3篇，一般刊物发表4篇，国际会议5篇，国内会议8篇。被三大检索收录30篇。培养博士后2名，博士3名，硕士1名。主要内容为：采用多种不同的本构关系由连续力学的框架和严格的数学推论出发，建立了不同类型粘弹性结构静动力和稳定性分析的数学模型；建立了多种粘弹性结构的变分原理，为分析和计算奠定了基础；提出了几种存储量小、高效和快速的数值方法；详细研究了多种粘弹性结构的动力学响应揭示了丰富的动力学性质。考察了参数的影响给出了稳定性的判据和控制措施；作为追加内容，对粘弹性介质的散射和逆散射进行了研究提出了几种反演介质模量的有效方法。