《從操作式規格說明到程式的自動轉換》是依託南京大學，由徐永森擔任項目負責人的面上項目。
基本介紹
- 中文名：從操作式規格說明到程式的自動轉換
- 項目類別：面上項目
- 項目負責人：徐永森
- 依託單位：南京大學
- 支持經費：5（萬元）
- 研究期限：1994-01-01 至 1996-12-31
- 負責人職稱：教授
- 申請代碼：F0203
- 批准號：69373018
項目摘要
完成論文50篇，其中國際權威刊物發表8篇接受2篇，國核心心刊物發表18篇接受3篇，一般刊物發表4篇，國際會議5篇，國內會議8篇。被三大檢索收錄30篇。培養博士後2名，博士3名，碩士1名。主要內容為：採用多種不同的本構關係由連續力學的框架和嚴格的數學推論出發，建立了不同類型粘彈性結構靜動力和穩定性分析的數學模型；建立了多種粘彈性結構的變分原理，為分析和計算奠定了基礎；提出了幾種存儲量小、高效和快速的數值方法；詳細研究了多種粘彈性結構的動力學回響揭示了豐富的動力學性質。考察了參數的影響給出了穩定性的判據和控制措施；作為追加內容，對粘彈性介質的散射和逆散射進行了研究提出了幾種反演介質模量的有效方法。
