彭銳：系統鍛造師

付強

大數據運行時代，需要的是敏銳的思維變革、精準的數據，更需要穩定的軟硬件系統。而在層出不窮、絡繹不絕地向著新時代應運而生的系統背后，往往隱藏著的是難以發現的漏洞。以往的軟件，其可靠性模型大多數只考慮了軟件錯誤的發現過程，并沒有考慮其改正過程，導致軟件錯誤的改正要比發現滯后很多。殊不知，發現問題僅僅是個開始，如何解決問題才是需要直面的目標。除此之外,各種硬件系統也可能受到各種內部因素影響或者外部攻擊而失效, 從而需要研究各種復雜軟硬件系統的可靠性和保護策略。這也是北京科技大學經濟管理學院管理科學與工程系副 教授彭銳一直潛心研究的領域。

軟件系統“修理師”

隨著信息時代的到來，計算機技術得到了前所未有的跨越式發展，人們對軟件質量的要求也變得越來越高。試想一下，當你使用筆記本電腦、手機等電子產品時，一定希望它們運行流暢，不要出現死機等故障。這種流暢的體驗就是憑借系統的可靠性來支撐的。

作為衡量軟件質量的重要特性，可靠性在軟件系統中發揮著不可估量的作用。近30年來，軟件系統定量評估和預測已成為眾多學者關注和研究的焦點。國內外學者建立了很多軟件可靠性模型，用來刻畫軟件錯誤在軟件測試過程中的變化過程，從而用于決定何時投放軟件等相關重要決策。“我在博士期間研究的方向主要包括軟件可靠性建模、系統的攻防博弈以及網絡結構系統的可靠性建模等。”彭銳介紹道。

在不斷地深入學習與研究中，彭銳發現，當時的現行模型往往很快就能夠發現系統中存在某方面的問題，但解決力度反而遲遲不能到位。怎么才能提高可靠性模型解決問題的敏銳度呢？還在讀博的彭銳感到心有余而力不足。但萬事都有“柳暗花明”的一刻，就在彭銳一頭霧水的時候，他看到博士導師謝旻教授在一篇論文中寫到關于建立軟件錯誤的發現和改正過程，令他茅塞頓開。抓住這一靈感，彭銳又考慮了軟件測試過程中的資源分配的不均以及軟件測試中新的錯誤的引入等問題，其研究論文受到國內外廣泛關注，已經發表在可靠性領域的頂尖期刊Reliability Engineering & System Safety上。

扎根復雜系統可靠性

軟件和硬件是密不可分的, 而且硬件系統可能由于內部的一些隱患或者外部的攻擊而失效。正是因為有了初步嘗試，在研究軟件可靠性建模的基礎上，彭銳也認識到系統的攻防博弈等技術的重要性和巨大的社會需求, 從而將全身心都投入到了各種復雜軟硬件系統的可靠性研究之中，并取得了不俗的成績，也開辟了一條新的科研之途。

美國“911”事件之后，在全球范圍內引起了巨大反響，也讓系統的攻防博弈方面的研究進入了更多人的視線。眾所周知，對系統的刻意攻擊不同于自然災害，因為攻擊者會專門針對，尋找系統的薄弱環節進行攻擊，并且攻擊策略可以隨時隨著防守者的保護策略而改變。彭銳考慮到攻防戰爭中有時會使用到假目標來欺騙攻擊者，故在研究時采取了與以往不同的策略，著重考慮到假目標有一定被識破的概率這一點，從而進行深入而系統的研究，具有很大的實際意義，并先后在Reliability Engineering & System Safety等領域內頂尖期刊上發表了數篇論文。

科學的樂趣，很多時候就在于敢于接受挑戰。在系統可靠性方面，彭銳不懈攀登，他不滿足于目前的一些方法和技術，一直在提煉關鍵的科學問題，也一直在探索更好的解決方法。就在今年，年僅28歲的彭銳憑借“含有溫儲備元件的復雜多態多階段系統的可靠性研究”項目獲得了2017年度國家自然科學基金面上項目的資助。彭銳每每到需要學習新的理論和方法時，總能收拾行囊，再度啟程。

彭銳向記者介紹到，為了增加系統的可靠性，經常會使用到儲備件。儲備件可以分為冷儲備，溫儲備和熱儲備三種。相對于熱備份元件，溫備份元件消耗的能源更少，因此也更加綠色環保。但是，由于溫備份元件在溫備份狀態和在工作狀態下的故障率不同，這樣一來就給溫備份系統的可靠性建模帶來很大的挑戰，很難用單一的可靠性評估方法對系統可靠性進行評估。彭銳就想到要結合多種可靠性評估方法建立起含有溫儲備元件的各種復雜多態多階段系統的可靠性模型。

為此，彭銳和團隊成員不眠不休，大量閱讀文獻，分析溫儲備元件的特性，研究各種復雜結構系統可靠性的建模方法、多態系統的研究方法以及多階段系統的研究方法，并且將這些方法進行有機地結合。“要做到這一步，我們需要發揮很大的創造力，并且還要與國內外的專家學者積極討論。”彭銳說道。

對于含有溫儲備元件的各種結構的二態單階段系統的可靠性模型的建立，彭銳認為要解決這個問題，需要結合到含有溫儲備的并聯系統的可靠性研究方法和不含有溫儲備元件的各種結構的系統的可靠性研究方法中去。“但要說到具體方法，則需要依系統的結構及溫儲備元件的配置情況而定。例如，對于一個連續連接系統，如果在系統每個節點上配置了一些溫儲備元件，我們可以先利用改進的有序二叉決策圖方法建立起每個節點的可靠性模型，并算得各個節點的可靠性，然后再利用通用生成函數得到整個系統的可靠性。”彭銳解釋道。

而對于含有溫儲備元件的并聯的多態單階段系統的可靠性模型來說，則可以先用多值決策圖來表示每一次系統的退化，通過將系統每一次退化的多值決策圖相結合可以得到表示系統所有失效情況的多值決策圖。彭銳介紹，值得注意的是，在這個過程中，需要考慮用一些技巧來減少算法的時間復雜度，比如在建立多值決策圖的過程中，對于一些明顯會導致系統失效的情況，可以提前判定系統失效，而不用再繼續對該情況進行分解。

“要解決含有溫儲備元件的并聯的雙態多階段系統的可靠性模型這一問題，需要先根據元件各個階段的退化特性，進行系統分析繼而再進一步得到元件的每個階段的失效概率。”彭銳說道。此外，可以用多值決策圖表示系統元件的失效情況，即元件可能在任一階段失效或者一直都不失效，而且元件失效時可能是處在溫儲備狀態，也可能是處在工作狀態。“通過綜合各個元件的多值決策圖，我們就可以得到表示系統失效情況的多值決策圖。”彭銳補充道。

“如果成功，這將會有很大的實際意義。雖然困難重重，但我們有信心！”彭銳說，熱儲備元件需要始終保持在熱的狀態下工作，并且可以隨時代替失效的工作元件接入系統進行工作,從而需要消耗額外的能源，這就意味著這類儲備元件通常用于對系統恢復時間要求很高的系統，像計算機系統、打印機、飛機發動機等。而冷儲備元件在作為儲備元件時處于不工作狀態，只有在工作元件失效時才進行加熱并接入系統進行工作，通常用在能源消耗較大的系統中用以節約能源。相對來說，溫儲備技術就是一種平衡能源消耗和系統恢復時間的冗余技術。在作為儲備元件時處于部分工作狀態,并且可以在工作元件失效時快速轉換到完全工作狀態接入系統進行工作。值得一提的是，溫儲備技術的一個典型應用是數據管理系統。對于數據管理系統，溫儲備技術的使用則是最為合適的。可以使儲備的數據管理器中的個別公用部件處于工作狀態，定期地保存主數據管理器運行中的關鍵數據和狀態，當主數據管理器發生故障并切換至儲備的數據管理器后，儲備的數據管理器即可迅速自主地完成恢復直至運行。

系統可靠性之路漫長而又艱難，但彭銳走的每一步都令人期待。他說：“在未來幾年里，我將繼續在軟件可靠性、系統攻防博弈、系統維修和溫備份系統等方向進行研究，也將會更加深入，并隨時關注其他可靠性領域的熱點。”endprint