基于dft定性定量分析的系統(tǒng)可靠性評估方法和設備的制作方法
【專利摘要】本發(fā)明示例性實施例提供了針對核電廠等的安全系統(tǒng)可靠性評估方法和設備，能夠快速地對系統(tǒng)級DFT進行定性定量分析，給出精確的定性定量分析結果，并且能夠分析可修或不可修系統(tǒng)。在定性分析中，將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT，將DFT動態(tài)模塊分支轉化為包含動態(tài)事件的FT，將FT轉化為包含動態(tài)節(jié)點的二元決策圖BDD，并使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為系統(tǒng)可靠性評估的定性信息。在定量分析中提出了基于動態(tài)模塊級MCS的數(shù)值積分方法，根據(jù)獨立隨機變量并借助部件順序失效圖，導出一般模塊級MCS的積分表達式并進行定量計算。
【專利說明】基于DFT定性定量分析的系統(tǒng)可靠性評估方法和設備
【技術領域】
[0001]本發(fā)明示例性實施例總體上涉及安全系統(tǒng)的可靠性評估，具體涉及基于動態(tài)故障樹(DFT, Dynamic Fault Tree)定性定量分析的系統(tǒng)可靠性評估方法和設備。
【背景技術】
[0002]為了保證例如核電廠等需要確保安全性的工業(yè)的設計平衡以及運行安全，對安全運行系統(tǒng)，尤其是重要安全系統(tǒng)的可靠性評估一直是所屬【技術領域】的技術人員研究的重點和難點。
[0003]以核電廠為例，傳統(tǒng)的核電廠概率安全性分析(PSA, Probabilistic SafetyAnalysis)是基于靜態(tài)故障樹(SFT, Static Fault Tree)的建模方法,并通過將故障樹轉化為邏輯等價的二元決策圖(BDD, Binary Decision Diagram),實現(xiàn)對故障樹的快速定性定量分析。目前，基于BDD的核電廠PSA定性定量分析技術已基本趨于成熟，并在很多核電廠PSA分析軟件中得到了廣泛應用。
[0004]實際中，工業(yè)系統(tǒng)/部件之間往往存在交互的動態(tài)行為(即系統(tǒng)/部件之間的優(yōu)先發(fā)生、強制發(fā)生、功能相關以及冗余設備管理)，傳統(tǒng)的靜態(tài)故障樹無法對這些行為進行建模。因此，有學者在靜態(tài)故障樹的基礎上引入動態(tài)邏輯門來表征這些行為，并逐步發(fā)展為以動態(tài)故障樹(DFT)為基礎的動態(tài)系統(tǒng)可靠性評價技術?？紤]到動態(tài)行為往往過于復雜，使得對具有一定規(guī)模的動態(tài)系統(tǒng)進行可靠性數(shù)學建模及分析變得極為困難。目前這種技術正處在進一步的發(fā)展與完善之中。
[0005]鑒于DFT的直觀性和強大描述性，一般采用DFT來描述系統(tǒng)/部件之間的動態(tài)特性。目前，針對動態(tài)故障樹的定量計算，常用方法有=(I)Markov模型法；(2)數(shù)值積分法；
(3)Monte Carlo仿真法。這三種方法在處理實際問題時存在一定的缺陷:
[0006]①Markov模型法廣泛應用于核電廠可修或不可修系統(tǒng)的可靠性評估中，但該方法要求部件的壽命和修復時間服從指數(shù)分布，即滿足馬爾科夫特性(時間無記憶性)，且隨著系統(tǒng)規(guī)模的增加，Markov模型法會產(chǎn)生“狀態(tài)空間爆炸”難題，使得問題的求解過程變得復雜甚至無法求解；
[0007]②數(shù)值積分法避免了 “狀態(tài)空間爆炸”，甚至在某些特殊的情況下允許部件的壽命可服從任意分布，但是目前這種方法主要面是面向動態(tài)邏輯門的且無法處理可修復問題；
[0008]③Monte Carlo仿真雖然克服了以上兩種方法的缺陷，但是針對小概率事件，因仿真成本太高而無法普遍采用。
[0009]而針對核電廠DFT的定性分析，目前仍少有文獻涉及。
[0010]需要一種安全系統(tǒng)的可靠性評估方法，能夠快速地對動態(tài)系統(tǒng)的DFT進行定性定量分析，并給出精確的定性定量分析結果。

【發(fā)明內容】

[0011]本發(fā)明示例性實施例提供了針對核電廠等的安全系統(tǒng)可靠性評估方法和設備，能夠快速地對系統(tǒng)級DFT進行定性定量分析，給出精確的定性定量分析結果，并且能夠分析可修或不可修系統(tǒng)。
[0012]根據(jù)本發(fā)明一方面,一種基于動態(tài)故障樹DFT定性分析的系統(tǒng)可靠性評估方法，包括步驟:將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ;將DFT的動態(tài)模塊分支轉化為包含動態(tài)事件的FT ;將FT轉化為包含動態(tài)節(jié)點的二元決策圖BDD ;以及使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為系統(tǒng)可靠性評估的定性信息。
[0013]在一個實施例中，如果動態(tài)故障樹DFT還包括靜態(tài)模塊分支，則所述方法還包括:將DFT的靜態(tài)模塊分支轉化為包含靜態(tài)節(jié)點的BDD ；以及將動態(tài)節(jié)點BDD與靜態(tài)節(jié)點BDD結合起來形成系統(tǒng)級BDD ；
[0014]其中使用系統(tǒng)級BDD，確定系統(tǒng)級DFT頂事件發(fā)生的事故序列。
[0015]根據(jù)本發(fā)明另一方面，一種基于動態(tài)故障樹DFT定量分析的系統(tǒng)可靠性評估方法，包括步驟:將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ;獲得DFT的動態(tài)模塊分支的所有最小割序，并確定每一最小割序的對應系統(tǒng)部件的順序失效圖、獨立變量和各獨立變量的積分區(qū)間，其中獨立變量是指系統(tǒng)部件相對于對應狀態(tài)啟動時刻的失效時間；利用確定的順序失效圖、獨立變量和積分區(qū)間，產(chǎn)生每一最小割序的積分表達式；以及根據(jù)容斥定理，利用產(chǎn)生的積分表達式，產(chǎn)生動態(tài)模塊分支的頂事件發(fā)生概率的最終表達式，并求解頂事件發(fā)生概率，作為系統(tǒng)可靠性評估的定量信息。
[0016]在一個實施例中，如果動態(tài)故障樹DFT還包括靜態(tài)模塊分支，則所述方法還包括對DFT的靜態(tài)模塊分支進行定量分析，
[0017]其中系統(tǒng)可靠性評估的定量信息還包括靜態(tài)模塊分支的定量分析結果。
[0018]根據(jù)本發(fā)明再一方面，一種基于動態(tài)故障樹DFT定性定量分析的系統(tǒng)可靠性評估方法，包括步驟:將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ^fDFT的動態(tài)模塊分支轉化為包含動態(tài)事件的FT，并判斷動態(tài)模塊分支是否屬于不可修部分；如果動態(tài)模塊分支屬于不可修部分，利用數(shù)值積分法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率，作為定量分析結果，如果動態(tài)模塊分支不屬于不可修部分，利用Markov模型法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率，作為定量分析結果^fFT轉化為包含動態(tài)節(jié)點的二元決策圖BDD ;使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為定性分析結果；以及基于定量分析結果和定性分析結果，獲得系統(tǒng)可靠性評估。
[0019]根據(jù)本發(fā)明一方面，一種基于動態(tài)故障樹DFT定性分析的系統(tǒng)可靠性評估設備，包括:建模裝置，將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ；FT轉化裝置，將DFT的動態(tài)模塊分支轉化為包含動態(tài)事件的FT ；BDD轉化裝置，將FT轉化為包含動態(tài)節(jié)點的二元決策圖BDD ；以及分析裝置，使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為系統(tǒng)可靠性評估的定性信息。
[0020]根據(jù)本發(fā)明另一方面，一種基于動態(tài)故障樹DFT定量分析的系統(tǒng)可靠性評估設備，包括:建模裝置，將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ;最小割序確定裝置，獲得DFT的動態(tài)模塊分支的所有最小割序，并確定每一最小割序的對應系統(tǒng)部件的順序失效圖、獨立變量和各獨立變量的積分區(qū)間，其中獨立變量包括系統(tǒng)部件的相對于對應狀態(tài)啟動時刻的失效時間；積分確定裝置，利用確定的順序失效圖、獨立變量和積分區(qū)間，產(chǎn)生每一最小割序的積分表達式；以及求解裝置，根據(jù)容斥定理，利用產(chǎn)生的積分表達式，產(chǎn)生動態(tài)模塊分支的頂事件發(fā)生概率的最終表達式，并求解頂事件發(fā)生概率，作為系統(tǒng)可靠性評估的定量信息。
[0021]根據(jù)本發(fā)明再一方面，一種基于動態(tài)故障樹DFT定性定量分析的系統(tǒng)可靠性評估設備，包括步驟:建模裝置，將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ；FT轉化判斷裝置，將DFT的動態(tài)模塊分支轉化為包含動態(tài)事件的FT，并判斷動態(tài)模塊分支是否屬于不可修部分；定量分析裝置，如果動態(tài)模塊分支屬于不可修部分，利用數(shù)值積分法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率，作為定量分析結果，如果動態(tài)模塊分支不屬于不可修部分，利用Markov模型法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率，作為定量分析結果；BDD轉化裝置，將FT轉化為包含動態(tài)節(jié)點的二元決策圖BDD ;定性分析裝置，使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為定性分析結果；以及評估信息獲得裝置，基于定量分析結果和定性分析結果，獲得系統(tǒng)可靠性評估。
【專利附圖】

【附圖說明】
[0022]下面結合附圖對本發(fā)明的【具體實施方式】作進一步詳細的說明，其中:
[0023]圖1示出了根據(jù)本發(fā)明實施例的基于動態(tài)故障樹DFT定性分析的系統(tǒng)可靠性評估方法的流程圖；
[0024]圖2示出了在圖1方法中得到的DFT的SFT表示；
[0025]圖3示出了在圖1方法中得到的DFT的BDD表示；
[0026]圖4示出了根據(jù)本發(fā)明實施例的基于動態(tài)故障樹DFT定性分析的系統(tǒng)可靠性評估設備的示意框圖；
[0027]圖5示出了根據(jù)本發(fā)明實施例的基于動態(tài)故障樹DFT定量分析的系統(tǒng)可靠性評估方法的流程圖；
[0028]圖6是用于說明圖5方法的DFT示例的示意圖；
[0029]圖7不出了用于說明圖5方法的DFT不例的最小割序的順序失效圖；
[0030]圖8示出了根據(jù)本發(fā)明實施例的基于動態(tài)故障樹DFT定量分析的系統(tǒng)可靠性評估設備的示意框圖；
[0031]圖9示出了根據(jù)本發(fā)明實施例的基于動態(tài)故障樹DFT定性定量分析的系統(tǒng)可靠性評估方法的流程圖；
[0032]圖10示出了根據(jù)本發(fā)明另一實施例的圖9的流程圖的更詳細的實施過程；
[0033]圖11示出了根據(jù)本發(fā)明實施例的基于動態(tài)故障樹DFT定性定量分析的系統(tǒng)可靠性評估設備的示意框圖；
[0034]圖12示出了用于說明本發(fā)明方法和設備的示例系統(tǒng)DFT ；
[0035]圖13示出了根據(jù)本發(fā)明方法和設備轉化得到的系統(tǒng)DFT的邏輯等價表示；以及
[0036]圖14示出了根據(jù)本發(fā)明方法和設備轉化得到的含有動態(tài)節(jié)點的BDD。
【具體實施方式】
[0037]下面結合附圖對本發(fā)明的示例實施例進行詳述。以下描述包括各種具體細節(jié)以輔助理解，但這些具體細節(jié)應僅被示為示例性的。因此，本領域普通技術人員將認識到，可以在不脫離本公開范圍和精神的情況下對這里描述的各個實施例進行各種改變和修改。此外，為了清楚和簡明起見，省略了公知功能和結構的描述。
[0038]以下描述和權利要求中使用的術語和詞語不限于其字面含義，而是僅由發(fā)明人用于實現(xiàn)本發(fā)明的清楚一致的理解。因此，本領域技術人員應當清楚，對本發(fā)明各個示例實施例的以下描述僅被提供用于說明目的，而不意在限制由所附權利要求及其等同物限定的本發(fā)明。
[0039]本發(fā)明實施例包括基于動態(tài)故障樹DFT定性和/或定量分析的系統(tǒng)可靠性評估方法和設備。本發(fā)明的方法和設備可應用于核電廠等需要確保安全性的工業(yè)場合，并且基于動態(tài)節(jié)點BDD進行系統(tǒng)級DFT定性和/或定量分析，克服了傳統(tǒng)技術中各方法的不足之處，能夠快速地對動態(tài)系統(tǒng)的系統(tǒng)級DFT進行定性定量分析，并給出精確的定性定量分析結果。這里，定性分析指的是導致DFT頂事件發(fā)生的事故序列，定量分析指的是DFT頂事件發(fā)生的概率。
[0040]圖1示出了根據(jù)本發(fā)明實施例的基于動態(tài)故障樹DFT定性分析的系統(tǒng)可靠性評估方法的流程圖。如圖1所示，在步驟S100，對系統(tǒng)建模，例如模型為包括動態(tài)模塊分支的動態(tài)故障樹DFT。在一個實施例中，系統(tǒng)可以是核電廠的安全系統(tǒng)，DFT可以基于系統(tǒng)中各部件的失效率或壽命參數(shù)。在一個實施例中，DFT還可能包括靜態(tài)模塊分支。這樣，系統(tǒng)級DFT包括動態(tài)模塊分支和靜態(tài)模塊分支。
[0041]在步驟S102，將DFT的動態(tài)模塊分支轉化為包含動態(tài)事件的FT。具體地，通過將動態(tài)邏輯門或模塊轉換為動態(tài)事件的最小割序的邏輯“或”形式，獲得轉化后的FT。在步驟S104，將FT轉化為包含動態(tài)節(jié)點的二元決策圖BDD。具體地，用動態(tài)節(jié)點替換最小割序，將DFT轉化為含有動態(tài)節(jié)點的靜態(tài)故障樹SFT，然后將SFT轉化為邏輯等價的BDD。在一個實施例中，在將FT轉化為包含動態(tài)節(jié)點的BDD的步驟中，采用構件連接法。下面結合一個示例來進一步解釋步驟S102和S104。
[0042]對于DFT的一個動態(tài)模塊分支，確定其所有的最小割序(MCSs)，相應地，動態(tài)模塊的頂事件轉化為最小割序邏輯之“或”的形式，如下式⑴所示:
[0043]
【權利要求】
1.一種基于動態(tài)故障樹DFT定性分析的系統(tǒng)可靠性評估方法，包括步驟: 將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ； 將DFT動態(tài)模塊分支轉化為包含動態(tài)事件的FT ； 將FT轉化為包含動態(tài)節(jié)點的二元決策圖BDD ；以及 使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為系統(tǒng)可靠性評估的定性信息。
2.根據(jù)權利要求1所述的方法，其中，將DFT動態(tài)模塊分支轉化為包含動態(tài)事件的FT的步驟包括: 通過將動態(tài)模塊分支中的動態(tài)邏輯門或模塊轉換為對應動態(tài)事件的最小割序的邏輯“或”形式，獲得轉化后的FT。
3.根據(jù)權利要求1所述的方法，其中，將FT轉化為包含動態(tài)節(jié)點的BDD的步驟包括: 用動態(tài)節(jié)點替換最小割序，將DFT轉化為含有動態(tài)節(jié)點的靜態(tài)故障樹SFT ；以及 將SFT轉化為邏輯等價的含有動態(tài)節(jié)點的BDD。
4.根據(jù)權利要求1所述的方法，其中，在將FT轉化為包含動態(tài)節(jié)點的BDD的步驟中，采用構件連接法。
5.根據(jù)權利要求1所述的方法，其中，如果動態(tài)故障樹DFT還包括靜態(tài)模塊分支，則所述方法還包括:將DFT靜態(tài)模塊分支轉化為包含靜態(tài)節(jié)點的BDD ；以及將動態(tài)節(jié)點BDD與靜態(tài)節(jié)點BDD結合起來形成系統(tǒng)級BDD ；` 其中使用系統(tǒng)級BDD，確定系統(tǒng)級DFT頂事件發(fā)生的事故序列，作為系統(tǒng)可靠性評估的定性信息。
6.根據(jù)權利要求1所述的方法，其中，所述系統(tǒng)包括核電廠安全系統(tǒng)，以及所述DFT基于系統(tǒng)中各部件的失效率。
7.一種基于動態(tài)故障樹DFT定量分析的系統(tǒng)可靠性評估方法，包括步驟: 將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ； 獲得DFT動態(tài)|吳塊分支的所有最小割序，并確定每一最小割序的對應系統(tǒng)部件的順序失效圖、獨立變量和各獨立變量的積分區(qū)間，其中獨立變量是指系統(tǒng)部件相對于對應狀態(tài)啟動時刻的失效時間； 利用確定的順序失效圖、獨立變量和積分區(qū)間，產(chǎn)生每一最小割序的積分表達式；以及根據(jù)容斥定理，利用產(chǎn)生的積分表達式，產(chǎn)生動態(tài)模塊分支的頂事件發(fā)生概率的最終表達式，并求解頂事件發(fā)生概率，作為系統(tǒng)可靠性評估的定量信息。
8.根據(jù)權利要求7所述的方法，其中，所述系統(tǒng)包括核電廠安全系統(tǒng)，以及所述DFT基于系統(tǒng)中各部件的失效率。
9.根據(jù)權利要求7所述的方法，其中，如果動態(tài)故障樹DFT還包括靜態(tài)模塊分支，則所述方法還包括對DFT的靜態(tài)模塊分支進行定量分析， 其中系統(tǒng)可靠性評估的定量信息還包括靜態(tài)模塊分支的定量分析結果。
10.一種基于動態(tài)故障樹DFT定性定量分析的系統(tǒng)可靠性評估方法，包括步驟: 將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ； 將DFT動態(tài)模塊分支轉化為包含動態(tài)事件的FT，并判斷動態(tài)模塊分支是否屬于不可修部分；如果動態(tài)模塊分支屬于不可修部分，利用數(shù)值積分法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率，作為定量分析結果，如果動態(tài)模塊分支不屬于不可修部分，利用Markov模型法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率，作為定量分析結果； 將FT轉化為包含動態(tài)節(jié)點的二元決策圖BDD ； 使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為定性分析結果；以及 基于定量分析結果和定性分析結果，獲得系統(tǒng)可靠性評估。
11.根據(jù)權利要求10所述的方法，其中，利用數(shù)值積分法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率的步驟包括: 獲得DFT動態(tài)|吳塊分支的所有最小割序，并確定每一最小割序的對應系統(tǒng)部件的順序失效圖、獨立變量和各獨立變量的積分區(qū)間，其中獨立變量是指系統(tǒng)部件相對于對應狀態(tài)啟動時刻的失效時間； 利用確定的順序失效圖、獨立變量和積分區(qū)間，產(chǎn)生每一最小割序的積分表達式；以及根據(jù)容斥定理，利用產(chǎn)生的積分表達式，產(chǎn)生動態(tài)模塊分支的頂事件發(fā)生概率的最終表達式,并求解頂事件發(fā)生概率。
12.根據(jù)權利要求10所述的方法，其中，如果動態(tài)故障樹DFT還包括靜態(tài)模塊分支，則所述方法還包括:將DFT的靜態(tài)模塊分支轉化為包含靜態(tài)節(jié)點的BDD ;以及將動態(tài)節(jié)點BDD與靜態(tài)節(jié)點BDD結合起來 形成系統(tǒng)級BDD ； 其中使用系統(tǒng)級BDD，確定系統(tǒng)級DFT頂事件發(fā)生的事故序列。
13.—種基于動態(tài)故障樹DFT定性分析的系統(tǒng)可靠性評估設備,包括: 建模裝置，將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ； FT轉化裝置，將DFT的動態(tài)模塊分支轉化為包含動態(tài)事件的FT ； BDD轉化裝置，將FT轉化為包含動態(tài)節(jié)點的二元決策圖BDD ;以及分析裝置，使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為系統(tǒng)可靠性評估的定性信息。
14.一種基于動態(tài)故障樹DFT定量分析的系統(tǒng)可靠性評估設備，包括: 建模裝置，將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ； 最小割序確定裝置，獲得DFT的動態(tài)|吳塊分支的所有最小割序，并確定每一最小割序的對應系統(tǒng)部件的順序失效圖、獨立變量和各獨立變量的積分區(qū)間，其中獨立變量是指系統(tǒng)部件相對于對應狀態(tài)啟動時刻的失效時間； 積分確定裝置，利用確定的順序失效圖、獨立變量和積分區(qū)間，產(chǎn)生每一最小割序的積分表達式；以及 求解裝置，根據(jù)容斥定理，利用產(chǎn)生的積分表達式，產(chǎn)生動態(tài)模塊分支的頂事件發(fā)生概率的最終表達式，并求解頂事件發(fā)生概率，作為系統(tǒng)可靠性評估的定量信息。
15.一種基于動態(tài)故障樹DFT定性定量分析的系統(tǒng)可靠性評估設備，包括步驟: 建模裝置，將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT ； FT轉化判斷裝置，將DFT動態(tài)模塊分支轉化為包含動態(tài)事件的FT，并判斷動態(tài)模塊分支是否屬于不可修部分； 定量分析裝置，如果動態(tài)模塊分支屬于不可修部分，利用數(shù)值積分法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率，作為定量分析結果，如果動態(tài)模塊分支不屬于不可修部分，利用Markov模型法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率，作為定量分析結果； BDD轉化裝置，將FT轉化為包含動態(tài)節(jié)點的二元決策圖BDD ； 定性分析裝置，使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為定性分析結果；以及 評估信息獲得裝置，基于定量分析結果和定性分析結果，獲得系統(tǒng)可靠性評估。
【文檔編號】G06Q50/06GK103745410SQ201310660944
【公開日】2014年4月23日 申請日期:2013年12月9日 優(yōu)先權日:2013年12月9日
【發(fā)明者】戈道川, 丑強, 張若興, 周全 申請人:國核（北京）科學技術研究院有限公司