基于綜合模型的核電程序理解.pdf

1、由于核電軟件常常涉及到知識產(chǎn)權(quán)、商業(yè)機密，甚至是國家秘密，出于對自我知識產(chǎn)權(quán)的保護，在被引進的核電軟件中，能給出核電軟件自身完整設(shè)計文檔的例子是少之又少。
　　然而，隨著時間的推移，我國核電已進入繁榮發(fā)展的時期。過去那種出于安全性和經(jīng)濟性考慮而引進的國外核電軟件已不能滿足現(xiàn)時代我國核電發(fā)展的需求。盡管如此，核電軟件安全事關(guān)重大，其中涉及到的很多技術(shù)、模型必需經(jīng)過嚴格的安全驗證才能使用，因此我們不能想當(dāng)然的另起爐灶去重新開發(fā)一種適合

2、我們現(xiàn)在需求的核電軟件。而被我們引進使用的核電軟件是在經(jīng)過嚴格的測試并被在核電站安全運行多年的核電軟件，因此可以被認為是安全的。為了滿足我國核電發(fā)展的需求，加之我國目前有很多這樣的被引進的“過時的”核電軟件，在原有核電軟件基礎(chǔ)之上進行軟件重用或再工程成為一個迫切的需求，這就會涉及到核電軟件程序理解的問題。基于此，對核電軟件程序理解的研究對我國核電產(chǎn)業(yè)發(fā)展具有十分重要的現(xiàn)實意義。
　　論文通過深入的調(diào)研分析，在經(jīng)歷了數(shù)萬行核電軟件源

3、代碼分析以及參閱國內(nèi)外大量文獻資料的基礎(chǔ)之上，通過引入一般性程序理解所采用的工具、技術(shù)、模型，引出了核電軟件程序理解所需要的技術(shù)、模型、步驟，重點介紹了核電點軟件理解的過程及核電軟件程序理解過程中數(shù)學(xué)模型的建立過程。并以Copernic程序為例，具體介紹了核電軟件理解的過程以及物理模型的建立過程，總結(jié)出了一套對核電軟件程序理解切實可行的方案，這對我國核電的發(fā)展具有十分現(xiàn)實的意義。所做主要工作包括：
　　1)研究了有關(guān)核電軟件程序理

4、解的相關(guān)背景和程序理解的技術(shù)、現(xiàn)狀；對一般性程序理解存在的困難及核電軟件程序理解存在困難、意義進行了研究。
　　2)根據(jù)核電軟件分析實戰(zhàn)經(jīng)驗，給出了在核電軟件程序理解過程中應(yīng)采用何種程序理解技術(shù)以及何種程序理解模型?？偨Y(jié)了核電軟件程序理解的過程經(jīng)驗、技術(shù)、模型以及核電軟件程序理解過程中數(shù)學(xué)模型的建立過程，重點介紹了怎么對核電軟件進行建模，形成了一套對核電軟件程序理解切實可行的方案。
　　3)為了能夠更好地實現(xiàn)對核電軟件程序理