论文部分内容阅读
近年来，随着核动力技术的快速发展，核动力单位核安全关键软件也实现了数字化的发展。在核动力厂核安全关键软件的运行和使用过程中，软件的验证与确认技术是最为关键的一个环节。本文就对核安全关键软件的验证与确认内涵及其主要方法进行了分析。
核安全关键软件的验证与确认技术
【摘 要】
：
近年来，随着核动力技术的快速发展，核动力单位核安全关键软件也实现了数字化的发展。在核动力厂核安全关键软件的运行和使用过程中，软件的验证与确认技术是最为关键的一个环节。
【机 构】
：
河南省863软件孵化器有限公司
【出 处】
：
计算机光盘软件与应用
【发表日期】
：
2013年16期
其他文献
计算机技术的发展可谓是日新月异,因此如何紧贴时代的脉搏,提高计算机专业的教学水平,使学生能适应社会发展对计算机专业技术人才的需求,是我国广大中职院校从事计算机专业教
耦合、内聚是软件工程中的一个概念。低耦合、高内聚是面向对象编程中的应遵守的基本原则。不同的设计人员对于这个原则的理解不同,其所设计、开发的系统也不尽相同。本文以
介绍了煤层注水降尘原理,从煤体结构特性、煤层注水运动学和煤层注水润湿理论等3个方面评述了煤层注水理论研究的国内外现状,采用双重孔隙介质理论及模型来描述煤体的裂隙性
摘 要：随着科学技术的不断的进步，特别是计算机网络的快速发展，人类已经走进了信息时代，人们的教学方式、工作方式、思维方式和生活方式都发生巨大的变化。教育信息化是教学改革的方向和目标，我们应该积极转变教学观念，在信息教学环境下重新认识教学活动，赋予其新的内容，进而设计出独具特色的教学模式。 关键词：信息技术；教学观念；教学模式 中图分类号：G434 我国传统教学模式以“教”为核心，以教师为教学