基于综合模型的核电程序理解

发布时间：2019-11-08 15:20

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

【相似文献】

相关期刊论文 前10条

1 冯铁,李文锦,张家晨;从源码中抽取设计模式技术研究综述[J];计算机应用研究;2005年08期

2 王成;王彬;;利用软件逆向工程实现注册算法解密[J];通化师范学院学报;2008年10期

3 朱泽彬,黄会群,何锫;转换系统的设计及其应用[J];长沙理工大学学报;2005年03期

4 陈绍强,杨放春,陈俊亮;功能转换——软件维护自动化之路[J];软件学报;1997年03期

5 丁剑洁;鱼滨;侯红;;软件维护中程序理解的应用与研究[J];计算机技术与发展;2007年04期

6 宋海鸿,陈平;逆向工程在软件开发中的作用和应用现状[J];电子科技;2002年01期

7 孙家殨,袁勇;面向Java语言的逆向工程工具JBRET-JAVA[J];岳阳师范学院学报(自然科学版);2002年03期

8 王宇颖,李永浩,孙志岗,苏小红;代码多样化消除规则的研究[J];哈尔滨工业大学学报;2005年04期

9 王玉英;基于程序依赖图的软件植入范围选取策略[J];西安文理学院学报(自然科学版);2005年04期

10 杨玲;常红;王开铸;;C语言程序关键词序列表示法[J];电脑学习;2006年03期

相关会议论文 前10条

1 李忠;张君峰;赵合计;;支持程序理解的扩展表示模型[A];山东省计算机学会2005年信息技术与信息化研讨会论文集（二）[C];2005年

2 郑文荣;王树宗;刘刚;;软件逆向工程应用研究[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）[C];2008年

3 韩晓东;王晓博;刘超;;中文文档与源代码间关联关系提取方法的研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集（下册）[C];2009年

4 陈秋枫;;一种软件控制程序在分体式太阳能热水器控制中的多种应用[A];全国住宅工程太阳能热水应用研讨会论文集[C];2004年

5 余斌;史亮;钱巨;;程序概率依赖性分析技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集（上册）[C];2006年

6 Masahiko Houda;薛虹;;对数字内容的法律保护的研究[A];专利法研究（2001）[C];2001年

7 谢志刚;李惜春;;计算机间谍软件的分析与防范[A];第二十次全国计算机安全学术交流会论文集[C];2005年

8 陈玉刚;;各类汇总表的自动形成是如何实现的[A];加入WTO和中国科技与可持续发展——挑战与机遇、责任和对策（下册）[C];2002年

9 徐文国;王丹;卢凯;;基于量化参数的硝基苯类化合物毒性构效关系研究[A];中国化学会第九届全国量子化学学术会议暨庆祝徐光宪教授从教六十年论文摘要集[C];2005年

10 肖群;;计算机软件版权保护之浅见[A];信息网络与高新技术法律前沿（2005）——电子法与电子商务时代的传统知识保护研讨会论文集[C];2005年

相关重要报纸文章 前10条

1 本报记者 张巍巍;知面可知心[N];科技日报;2008年

2 李建文;让大脑与装备同步“升级”[N];解放军报;2007年

3 赵明;IT人嫌贫爱富？[N];厂长经理日报;2002年

4 李刚;间谍软件：演绎安全版“无间道”[N];中国计算机报;2006年

5 编译 沈建苗;远离间谍软件[N];计算机世界;2006年

6 林长久;不要让间谍软件卷土重来[N];中国计算机报;2005年

7 见习记者 洪垒;古井贡业绩下滑为哪般？[N];中国经济时报;2004年

8 张晓兵邋李刚;恶意软件:安全史上“最牛钉子户”[N];中国计算机报;2007年

9 于翔;协作归于门户？[N];网络世界;2007年

10 沈玮;陪你“哭”陪你“笑”,电子油画“善解人意”[N];新华每日电讯;2006年

相关博士学位论文 前9条

1 张志猛;面向理解的OORE关键技术研究[D];浙江大学;2004年

2 陈华;基于复合代码仓库的多Agent程序理解环境和工具研究[D];浙江大学;2004年

3 陈昊鹏;软件逆向工程技术研究[D];西北工业大学;2002年

4 钱剑飞;基于特征符号的程序理解研究[D];浙江大学;2006年

5 褚华;面向对象软件动态模型抽象与转换技术研究[D];西安电子科技大学;2007年

6 冯铁;可变性驱动的软件设计改进方法的研究[D];吉林大学;2007年

7 张雪松;软件迷惑技术研究[D];吉林大学;2008年

8 李必信;程序切片技术及其在面向对象软件度量和软件测试中的应用[D];南京大学;2000年

9 黄晋;组合横切关注自动化挖掘与重构方法研究[D];华中科技大学;2012年

相关硕士学位论文 前10条

1 付世敏;基于综合模型的核电程序理解[D];南华大学;2013年

2 林道淼;程序理解中信息提取与可视化表示的研究[D];浙江工业大学;2012年

3 叶彭飞;一种基于领域本体的程序理解方法研究[D];复旦大学;2010年

4 姚灵灵;程序理解中支持多语言理解与信息提取技术的研究[D];浙江工业大学;2012年

5 游联启;程序理解中的信息抽取和声明语句解释的研究[D];浙江工业大学;2012年

6 刘思聪;方面挖掘算法及其在程序理解中的应用研究[D];浙江工业大学;2010年

7 叶佳杰;基于C/C++语言的函数级程序理解可视化的研究与实现[D];浙江工业大学;2012年

8 杜均;基于OSDG切片的核电程序理解[D];南华大学;2013年

9 李荣荣;JAVA语言程序理解中算法可视化表示和实现的研究[D];浙江工业大学;2012年

10 魏志广;基于C语言的逆向工程的分析与实现[D];河北工业大学;2004年

本文编号：2557910