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

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

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

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

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