王瑞利,梁 霄,2
(1.北京應(yīng)用物理與計(jì)算數(shù)學(xué)研究所,北京 100094;2.山東科技大學(xué)數(shù)學(xué)學(xué)院,山東 青島 266590)
爆轟數(shù)值模擬中物理模型分層確認(rèn)實(shí)驗(yàn)研究
王瑞利1,梁霄1,2
(1.北京應(yīng)用物理與計(jì)算數(shù)學(xué)研究所,北京 100094;2.山東科技大學(xué)數(shù)學(xué)學(xué)院,山東 青島 266590)
高可信度數(shù)值模擬軟件已成為工程設(shè)計(jì)與事故分析的重要支撐,基于實(shí)驗(yàn)測(cè)量數(shù)據(jù)對(duì)復(fù)雜物理模型與多物理過程數(shù)值模擬軟件可信度量化是發(fā)展高可信度數(shù)值模擬軟件的最佳途徑。炸藥爆轟過程模擬采用物理模型大多是唯象建模,含有認(rèn)知與偶然混合型不確定度,發(fā)展高置信度數(shù)值模擬軟件必須基于實(shí)驗(yàn)數(shù)據(jù)量化其各類不確定度。文章基于驗(yàn)證與確認(rèn)(V&V)方法,明確定義模型分層確認(rèn)中單一實(shí)驗(yàn)、基準(zhǔn)實(shí)驗(yàn)、子系統(tǒng)試驗(yàn)和全系統(tǒng)試驗(yàn)的概念與內(nèi)涵,據(jù)此構(gòu)建炸藥爆轟彈塑性流體力學(xué)數(shù)值模擬中物理模型分層確認(rèn)樹型圖,此樹型圖為炸藥爆轟過程物理模型確認(rèn)所需確認(rèn)試驗(yàn)及模型分層確認(rèn)提供策略,并建議據(jù)此分層確認(rèn)試驗(yàn)開展單層與跨層物理模型的不確定度量化,為研制高可信度數(shù)值模擬軟件提供有效可行方法。
爆轟數(shù)值模擬;物理模型;分層確認(rèn)方法;確認(rèn)試驗(yàn);不確定度量化
基于驗(yàn)證與確認(rèn)(Verification and Validation,V&V)的確認(rèn)試驗(yàn)不同于傳統(tǒng)的科學(xué)試驗(yàn)[1],模型分層確認(rèn)中的確認(rèn)試驗(yàn)是一種用于評(píng)估模型可信度新型試驗(yàn),其主要目的是確定描述物理過程的物理數(shù)學(xué)模型的預(yù)測(cè)能力和可信性[2-4]。換句話說,確認(rèn)試驗(yàn)是定量確定一個(gè)物理模型及其載體(模擬軟件)在多大程度上或在什么條件下能夠真實(shí)再現(xiàn)物理系統(tǒng)的演化過程,它是在傳統(tǒng)試驗(yàn)的基礎(chǔ)上,必須考慮量化試驗(yàn)數(shù)據(jù)不確定度的試驗(yàn)[5-7]。
由于工程復(fù)雜系統(tǒng)中包含大量的不確定性因素,單靠綜合性的系統(tǒng)級(jí)確認(rèn)試驗(yàn)很難量化其不確定度[8-9]。模型分層確認(rèn)常用方法有拓?fù)淠P图肮收蠘錁?gòu)建方法[10]。通過將復(fù)雜系統(tǒng)層層分解,便于開展細(xì)致的試驗(yàn)研究與不確定性量化,便于準(zhǔn)確量化模型的不確定性,達(dá)到建立精細(xì)物理模型,發(fā)展高可信度數(shù)值模擬軟件[10-11]。炸藥爆轟過程模擬是典型的多物理、多層級(jí)、非線性的復(fù)雜系統(tǒng),物理模型大多是唯象建模,含有認(rèn)知與偶然混合型不確定度,發(fā)展高置信度數(shù)值模擬軟件必須基于實(shí)驗(yàn)數(shù)據(jù)量化其各類不確定度。文章基于驗(yàn)證與確認(rèn)(V&V)方法,構(gòu)建了炸藥爆轟彈塑性流體力學(xué)數(shù)值模擬中物理模型分層確認(rèn)樹型圖,此樹型圖為炸藥爆轟過程物理模型確認(rèn)所需確認(rèn)試驗(yàn)及模型分層確認(rèn)提供了策略,充分利用實(shí)驗(yàn)的價(jià)值,為研制高可信度數(shù)值模擬軟件提供了有效可行方法。
1.1模型分層確認(rèn)思路
模型分層確認(rèn)思想是將將復(fù)雜系統(tǒng)分解成簡單系統(tǒng)或部件級(jí)、基準(zhǔn)級(jí)、子系統(tǒng)級(jí)和系統(tǒng)級(jí)并分別進(jìn)行研究。通過將復(fù)雜系統(tǒng)層層分解,可以使得系統(tǒng)的復(fù)雜性逐漸降低,便于開展細(xì)致的精密實(shí)驗(yàn)研究和建立精細(xì)的仿真模型。圖1給出了模型分層確認(rèn)的一般思路,涉及到物理過程分解(系統(tǒng)分層)、模型確認(rèn)層級(jí)、確認(rèn)試驗(yàn)、單層確認(rèn)與跨層確認(rèn)。
圖1 模型分層確認(rèn)思路
1.2模型分層確認(rèn)試驗(yàn)層級(jí)
全系統(tǒng)試驗(yàn)和全系統(tǒng)模擬是了解復(fù)雜現(xiàn)實(shí)系統(tǒng)的綜合性能的兩種基本方法。全系統(tǒng)試驗(yàn)總是能夠比模擬提供更高的置信度,因?yàn)槟硞€(gè)特定的裝置能否在實(shí)驗(yàn)的特定環(huán)境條件下工作,全系統(tǒng)試驗(yàn)可以對(duì)這個(gè)問題給出明確的答案。但是,在回答裝置怎樣工作這個(gè)問題時(shí),全系統(tǒng)試驗(yàn)卻不能給出明確答案。尤其是對(duì)于試驗(yàn)成本很高、危害人身安全和風(fēng)險(xiǎn)很大的研究領(lǐng)域更是如此。模型確認(rèn)活動(dòng)是將不同層級(jí)確認(rèn)試驗(yàn)與數(shù)值模擬結(jié)合,評(píng)估物理模型預(yù)測(cè)能力的過程。模型分層確認(rèn)試驗(yàn)層級(jí)一般劃分為:單一問題層、基準(zhǔn)層、子系統(tǒng)層、全系統(tǒng)層等確認(rèn)試驗(yàn)(如圖2所示)。主要目的是將多因素耦合、動(dòng)作過程復(fù)雜、多試驗(yàn)數(shù)據(jù)分析以及實(shí)施可靠性論證難的傳統(tǒng)綜合試驗(yàn)(或者是將多因素交織在一起,很難理清試驗(yàn)因素影響的綜合試驗(yàn))變得影響因素更清晰、試驗(yàn)價(jià)值更大的試驗(yàn)。
2.1爆轟流體力學(xué)物理模型分解
針對(duì)炸藥爆轟,描述其過程的數(shù)學(xué)物理模型是流體力學(xué)(雙曲型偏微分方程組)與炸藥唯象反應(yīng)率模型(一階常微分方程)、物態(tài)方程(復(fù)雜函數(shù)關(guān)系式)、材料本構(gòu)(復(fù)雜函數(shù))耦合在一起的非線性偏微分方程組[9]。
1)非定常爆轟流體力學(xué)方程組
炸藥爆轟過程所使用的基本方程是非定??蓧嚎s流體力學(xué)方程和化學(xué)反應(yīng)動(dòng)力學(xué)方程的耦合方程組。
質(zhì)量方程:
圖2 確認(rèn)實(shí)驗(yàn)層級(jí)劃分原則
動(dòng)量方程:
能量方程:
狀態(tài)方程:
炸藥反應(yīng)率:
2)炸藥反應(yīng)率唯象模型
由于爆轟過程中化學(xué)反應(yīng)過程復(fù)雜,反應(yīng)速度快。反應(yīng)過程與放能物質(zhì)的特性和狀態(tài),以及放能引起的物質(zhì)運(yùn)動(dòng)密切相關(guān)。從理論上嚴(yán)格建立反應(yīng)率方程是相當(dāng)困難的,只能采用唯象近似。國內(nèi)外研究了多種形式的唯象反應(yīng)率模型,這些唯象模型往往是一階的常微分方程,這里給出2種常用的唯象模型。
①Forest Fire反應(yīng)率模型
其中w是未反應(yīng)炸藥的質(zhì)量分?jǐn)?shù),P是壓力,ai是常數(shù),由實(shí)驗(yàn)確定。
②Wilkins反應(yīng)率模型
將時(shí)間燃燒函數(shù)和C-J比容燃燒函數(shù)組合起來。F=0為凝固炸藥(未反應(yīng))區(qū);0<F<1為反應(yīng)區(qū);F=1為爆炸產(chǎn)物區(qū)。其形式為
式中:F1——C-J比容燃燒函數(shù);
F2——時(shí)間燃燒函數(shù);
nb——可調(diào)參數(shù)。
式中:VJ——C-J比容;
V0——初始比容;
γ——多方指數(shù)(理想氣體常數(shù));
tb——爆轟波剛到達(dá)計(jì)算網(wǎng)格的時(shí)刻,即起爆
時(shí)間;
t——當(dāng)前計(jì)算時(shí)刻;
ΔR——網(wǎng)格寬度;
DJ——C-J爆轟速度;
rb——可調(diào)參數(shù)。
LAD2D程序中采用了Wilkins反應(yīng)率模型。
3)物態(tài)方程
在炸藥爆轟驅(qū)動(dòng)裝置中,涉及到炸藥與非炸藥(一般為金屬)兩類材料,這些材料隨著狀態(tài)的變化,其行為相當(dāng)復(fù)雜。大部分采用平衡態(tài)下系統(tǒng)的溫度和狀態(tài)參量之間的函數(shù)關(guān)系式描述,即物態(tài)方程。針對(duì)某種材料,可能有多種形式的函數(shù)關(guān)系式描述,這里給出炸藥爆炸產(chǎn)物與金屬采用的物態(tài)方程唯象模型。
①炸藥。爆炸產(chǎn)物常采用JWL形式的狀態(tài)方程,其形式為
②金屬。金屬材料可采用理想氣體:P=(γ-1)ρe,也可采用更接近實(shí)際的復(fù)雜函數(shù)關(guān)系式。如Grunneisen形式的狀態(tài)方程,其形式為
其中:ρ0、e0、C0——材料的物性參數(shù);
λ、?!?shù)。
4)本構(gòu)模型
SG模型是美國勞倫斯-利弗莫爾國家實(shí)驗(yàn)室的Steinberg等于1980年提出的一個(gè)適用于高應(yīng)變率(>105s-1)的本構(gòu)方程(簡稱SG模型)。
剪切模量:
屈服強(qiáng)度:
同時(shí)規(guī)定的限定條件是:
β,n——應(yīng)變硬化參數(shù);
ε——塑性應(yīng)變;
εi——初始塑性應(yīng)變;
G0——常溫常壓下的剪切模量;
Y0——最高應(yīng)變率或最低溫度實(shí)驗(yàn)的初始屈服強(qiáng)度;
一階偏導(dǎo)數(shù);
Ymax——應(yīng)變硬化允許的最大值;
Tm——與壓力相關(guān)的熔化溫度。
LAD2D程序中采用理想塑性模型。
2.2爆轟流體力學(xué)數(shù)值模擬模型分層確認(rèn)樹型結(jié)構(gòu)
在爆轟流體力學(xué)物理模型分解的基礎(chǔ)上,按單一問題層、基準(zhǔn)模型層、子系統(tǒng)模型層、系統(tǒng)模型層的分層原則,提煉出各層的確認(rèn)內(nèi)容。圖3是爆轟流體力學(xué)數(shù)值模擬中物理模型分層確認(rèn)的樹型結(jié)構(gòu)圖。
圖3 爆轟流體力學(xué)程序LAD2D模型分層確認(rèn)樹型結(jié)構(gòu)
2.3爆轟流體力學(xué)數(shù)值模擬模型確認(rèn)試驗(yàn)
基于圖1模型分層確認(rèn)樹型圖及模型確認(rèn)的總體思路,先開展單層模型確認(rèn),再開展跨層模型確認(rèn)。
1)單一問題層。單一問題層模型確認(rèn)是基于模型建模試驗(yàn)確認(rèn)模型,包括模型形式及參數(shù)。目前主要是確認(rèn)模型參數(shù)(見表1),對(duì)應(yīng)試驗(yàn)如備注欄,但還可以設(shè)計(jì)新試驗(yàn)。
2)基準(zhǔn)過程層?;鶞?zhǔn)過程層模型確認(rèn)主要是材料行為、物理現(xiàn)象等確認(rèn)試驗(yàn)。針對(duì)爆轟流體力學(xué)模擬程序基準(zhǔn)過程層的確認(rèn)試驗(yàn)如表2所示,為了更好地確認(rèn),可以重新設(shè)計(jì)一些高精密度確認(rèn)試驗(yàn)。
3)子系統(tǒng)/功能層。子系統(tǒng)/功能層確認(rèn)主要是考慮不同狀態(tài)、不同條件、不同結(jié)構(gòu)下等子系統(tǒng)確認(rèn)試驗(yàn)。針對(duì)爆轟流體力學(xué)模擬程序子系統(tǒng)/功能層的確認(rèn)試驗(yàn)如表3,為了更好地確認(rèn),大部分必須考慮重新設(shè)計(jì)高精密度確認(rèn)試驗(yàn)。
4)全系統(tǒng)層。全系統(tǒng)確認(rèn)主要是考慮各種工礦、各種系統(tǒng)等系統(tǒng)級(jí)確認(rèn)試驗(yàn)。針對(duì)爆轟流體力學(xué)模擬程序子系統(tǒng)/功能層的確認(rèn)試驗(yàn),同樣,為了更好地確認(rèn),大部分必須考慮重新設(shè)計(jì)高精密度確認(rèn)試驗(yàn)。
2.4不確定性量化及模型確認(rèn)
基于V&V數(shù)值模擬程序模型分層確認(rèn),需要長期不懈的去做。對(duì)于爆轟流體力學(xué)程序完整系統(tǒng)化的確認(rèn)還需要開展大量試驗(yàn)和數(shù)值模擬工作,但研究思路和方法完全可以借鑒這些模型確認(rèn)的方法。這里以爆炸波問題為例。
表1 爆轟流體力學(xué)模擬程序單一問題層確認(rèn)模型及確認(rèn)試驗(yàn)
表2 爆轟流體力學(xué)模擬程序基準(zhǔn)過程層確認(rèn)內(nèi)容及確認(rèn)試驗(yàn)
表3 爆轟流體力學(xué)模擬程序子系統(tǒng)/功能層確認(rèn)內(nèi)容及確認(rèn)試驗(yàn)
爆炸波問題是根據(jù)炸藥的特征,選取左面狀態(tài)等效于炸藥爆轟波C-J狀態(tài),建立的平面一維平面模型。在一無限長管道中,在x=0處的左端是高壓氣體,右邊是低壓氣體,在初始時(shí)刻處于靜止?fàn)顟B(tài),兩者之間用薄膜隔離。t=0時(shí)刻薄膜破裂,形成向左稀疏波和向右激波。同樣在此問題中,既含有偶然不確定度ρL,又含有認(rèn)知不確定度γL。計(jì)算區(qū)域?yàn)椋?1,1],初始狀態(tài)為
爆炸波問題左端狀態(tài)中含有偶然和認(rèn)知混合型不確定度。一般γL往先按照專家經(jīng)驗(yàn),然后再按10%范圍開展評(píng)估。這里將黎曼解析求解出的結(jié)果看成是實(shí)驗(yàn)數(shù)據(jù)。不確定度量化采用概率盒方法。所謂概率盒方法(Probability Box,P-BOX)是一種針對(duì)含有偶然和認(rèn)知混合型不確定度量化方法,它是一種非精確概率方法,可以將偶然和認(rèn)知混合型不確定度分離,顯式表征出兩類不確定性。最簡單的概率盒如圖4所示,假設(shè)PBX9404炸藥正態(tài)分布中參數(shù)取值為
則可以得到如圖4所示的概率分布圖,其中橫軸為系統(tǒng)的響應(yīng)量(system response quantity,SQR),縱軸為累積概率分布。響應(yīng)量區(qū)間和概率區(qū)間組成概率盒(P-BOX)。
圖4 概率盒示例
對(duì)混合型不確定度參數(shù)影響響應(yīng)量構(gòu)造P-BOX的過程:
圖5 密度正態(tài)分布采用MC抽取1000次的樣本值
圖6 γ區(qū)間不同抽樣方法抽取10次的樣本值(藍(lán)點(diǎn):MC;紅點(diǎn):LHS;綠點(diǎn):均勻)
圖7 t=0.1時(shí)刻爆炸波問題2500個(gè)樣本
圖8 當(dāng)γ∈[1.26,1.54],ρL~(1.4,2.5×10-7)時(shí)x=0.1處的CDF(藍(lán)線:LAD2D;綠線:黎曼解法器)
1)對(duì)于偶然和認(rèn)知不確定度參數(shù)輸入,分別采用MC和LHS抽樣,形成輸入樣本;
2)將輸入樣本組合,形成確定性程序的輸入,再通過程序分析,形成輸入與輸出響應(yīng)量的樣本;
3)對(duì)輸出響應(yīng)量,統(tǒng)計(jì)分析或采用PC方法,求出期望、方差;
4)對(duì)于響應(yīng)量要量化不確定度的位置建立位置樣本(常按認(rèn)知不確定性參數(shù)分組);
5)基于每組認(rèn)知不確定性的偶然不確定性樣本,求出每組樣本的最大值和最小值;
6)基于CDF預(yù)先給定的分點(diǎn),將每組樣本的最大值和最小值分層(構(gòu)造概率盒分層值-CDF分多少段值);
7)對(duì)于每組樣本,按照每組的分層值,統(tǒng)計(jì)小于每層上限值的樣本數(shù);
8)基于每層上限的樣本數(shù),求出概率,形成P-BOX圖。
圖5是針對(duì)爆炸波問題中左端狀態(tài)ρL~N(1.4,2.5×10-7),采用MC抽樣1000次,產(chǎn)生的樣本。
圖6是針對(duì)爆炸波問題中左端狀態(tài)γ∈[1.26,1.54],即γ=1.4[1.0±10%],分別采用MC、均勻、拉丁超立方(LHS)抽樣10次,產(chǎn)生的樣本。
圖7是左端密度狀態(tài)偶然不確定性ρL~N(1.4,2.5×10-7),應(yīng)用MC抽樣方法抽樣50次,左端多方指數(shù)認(rèn)知不確定性γ∈[1.26,1.54],采用均勻抽樣50次,計(jì)算到t=0.1時(shí)響應(yīng)量密度、壓力、速度、內(nèi)能的樣本。
對(duì)于爆炸波問題中ρL~N(1.4,2.5×10-7),應(yīng)用MC抽樣方法抽樣1 000次,對(duì)于γ∈[a,b]區(qū)間采用LHS抽樣10次。當(dāng)γ∈[1.26,1.54],即1.4[1±0.1](10%)時(shí),x=0.1處的概率盒(樣本-1000×10)。
圖8是t=0.1時(shí)密度、壓力、速度、內(nèi)能的CDF圖。從圖可以看出,密度部分覆蓋,壓力、速度、能量完全覆蓋,整個(gè)是部分接受。
圖9是t=0.1時(shí)x=0.1處爆炸波密度的P-BOX。根據(jù)重疊面積的比例,可以給出模型結(jié)果的置信度。
圖9 爆炸波問題t=0.22時(shí)x=0.1處密度的P-BOX
1)本文基于模型V&V,明確定義了模型分層確認(rèn)中單一實(shí)驗(yàn)、基準(zhǔn)實(shí)驗(yàn)、子系統(tǒng)試驗(yàn)和全系統(tǒng)試驗(yàn)的概念與內(nèi)涵,提出了模型分層確認(rèn)方法。
2)模型分層確認(rèn)的核心問題是確認(rèn)試驗(yàn)與數(shù)值模擬結(jié)果的不確定度量化,尤其是跨層不確定度傳遞的量化。文章用例子說明了單層不確定度量化的方法,為按模型分層確認(rèn)樹型結(jié)構(gòu)開展確認(rèn)給出了很好的借鑒思路。
3)文章以爆轟流體力學(xué)模型范例,闡述了復(fù)雜系統(tǒng)模型分層確認(rèn)的新方法,說明了新方法實(shí)施的可行性及有效性。
[1]OBERKAMPF W L,ROY C J.Verification and validation in scientific computing[M].New York:Cambridge Unive rsity Press,2010:123-130.
[2]王瑞利,溫萬治.復(fù)雜工程建模與模擬的驗(yàn)證與確認(rèn)[J].計(jì)算機(jī)輔助工程,2014,23(4):61-68.
[3]鄧小剛,宗文剛,張來平,等.計(jì)算流體力學(xué)中的驗(yàn)證與確認(rèn)[J].力學(xué)進(jìn)展,2007,37(2):279-288.
[4]湯濤,周濤.不確定性量化的高精度數(shù)值方法和理論[J].中國科學(xué):數(shù)學(xué),2015,45(7):891-928.
[5]王瑞利,劉全,溫萬治.非嵌入式多項(xiàng)式混沌法在爆轟產(chǎn)物JWL參數(shù)評(píng)估中的應(yīng)用[J].爆炸與沖擊,2015,35(1):9-15.
[6]HELTONJC.Conceptual and computational basis for the quantification of margins and uncertainty[R].SAND 2009-3055,2009.
[7]KARNIADAKIS G E,GLIMM J.Preface:Uncertainty quantification in simulation science[J].Journal of Compu tational Physics,2006(217):1-4.
[8]高舉賢.爆炸力學(xué)試驗(yàn)技術(shù)新進(jìn)展[J].力學(xué)進(jìn)展,1989,19(3):336-352.
[9]王瑞利,江松.多物理耦合非線性偏微分方程與數(shù)值解不確定性量化數(shù)學(xué)方法[J].中國科學(xué):數(shù)學(xué),2015,45(6):723-738.
[10]王瑞利,梁霄,林文洲,等.基于微分方程工程仿真軟件的驗(yàn)證與確認(rèn)[R].第11屆中國CAE工程分析技術(shù)年會(huì)會(huì)議論文集,2015(8):95-107.
[11]王瑞利,林忠,溫萬治,等.多介質(zhì)拉氏自適應(yīng)流體動(dòng)力學(xué)軟件LAD2D研制及其應(yīng)用[J].計(jì)算機(jī)輔助工程,2014,23(2):1-7.
(編輯:劉楊)
Research on validation experiment hierarchy of validation for physical modeling in numerical simulation of detonation
WANG Ruili1,LIANG Xiao1,2
(1.Institute of Applied Physics and Computational Mathematics,Beijing 100094,China;2.College of Mathematics,Shandong University of Science and Technology,Qingdao 266590,China)
Numerical simulation software with high confidence has become an important technology in engineering design and accident analysis.Quantification the confidence degree of numerical simulation software in complex physical model and multi-physics process is usually done through experiment data,it has become the most appropriate approach in developing high confidential numerical simulation software.The physical model used in the numerical simulation of explosive detonation is phenomenological in reality.Both epistemic and aleatory uncertainties exist in the model,so different types of uncertainties in experiment data must be quantified to develop high confidential numerical simulation software.These uncertainties must be quantified to develop high confidential numerical simulationtechnique.Thispaperutilizestheverificationandvalidation(V&V)methodology to describe the procedure,principle and concept of benchmark experiments,subsystem cases,unit problems,and integer-system experiments.Then,we use this method to constructthehierarchytiersofphysicalmodelinginthenumericalsimulationofexplosive detonationfluiddynamicswithelasticandplasticterms.Thesetiersprovideastrategyfor validation of physical model of explosive detonation.Then uncertainty quantification of single tiers and trans-ties are executed respectively through the hierarchy ties method.The methodology used in this paper is proved to be efficient in developing high confidential numerical simulation software.
numerical simulation of detonation process;physical model;validation hierarchy methodology;validation experiment;uncertainty quantification
A
1674-5124(2016)10-0013-08
10.11857/j.issn.1674-5124.2016.10.003
2016-04-15;
2016-05-20
國家自然科學(xué)基金(11372051,11475029)中國物理科學(xué)院基金(2015B0202045)國防基礎(chǔ)科研計(jì)劃資助項(xiàng)目(C1520110002)
王瑞利(1964-),男,陜西渭南市人,研究員,研究方向?yàn)橛?jì)算機(jī)流體力學(xué)與應(yīng)用軟件研制。