论文部分内容阅读
由于核电软件常常涉及到知识产权、商业机密,甚至是国家秘密,出于对自我知识产权的保护,在被引进的核电软件中,能给出核电软件自身完整设计文档的例子是少之又少。然而,随着时间的推移,我国核电已进入繁荣发展的时期。过去那种出于安全性和经济性考虑而引进的国外核电软件已不能满足现时代我国核电发展的需求。尽管如此,核电软件安全事关重大,其中涉及到的很多技术、模型必需经过严格的安全验证才能使用,因此我们不能想当然的另起炉灶去重新开发一种适合我们现在需求的核电软件。而被我们引进使用的核电软件是在经过严格的测试并被在核电站安全运行多年的核电软件,因此可以被认为是安全的。为了满足我国核电发展的需求,加之我国目前有很多这样的被引进的“过时的”核电软件,在原有核电软件基础之上进行软件重用或再工程成为一个迫切的需求,这就会涉及到核电软件程序理解的问题。基于此,对核电软件程序理解的研究对我国核电产业发展具有十分重要的现实意义。论文通过深入的调研分析,在经历了数万行核电软件源代码分析以及参阅国内外大量文献资料的基础之上,通过引入一般性程序理解所采用的工具、技术、模型,引出了核电软件程序理解所需要的技术、模型、步骤,重点介绍了核电点软件理解的过程及核电软件程序理解过程中数学模型的建立过程。并以Copernic程序为例,具体介绍了核电软件理解的过程以及物理模型的建立过程,总结出了一套对核电软件程序理解切实可行的方案,这对我国核电的发展具有十分现实的意义。所做主要工作包括:1)研究了有关核电软件程序理解的相关背景和程序理解的技术、现状;对一般性程序理解存在的困难及核电软件程序理解存在困难、意义进行了研究。2)根据核电软件分析实战经验,给出了在核电软件程序理解过程中应采用何种程序理解技术以及何种程序理解模型。总结了核电软件程序理解的过程经验、技术、模型以及核电软件程序理解过程中数学模型的建立过程,重点介绍了怎么对核电软件进行建模,形成了一套对核电软件程序理解切实可行的方案。3)为了能够更好地实现对核电软件程序理解,本文以Copernic程序为例,重点介绍了核电软件理解的过程以及如何对物理模型进行数学建模,以具体实例的形式给出了核电软件程序理解的过程。