【摘 要】
：
软件验证与确认(V&V)是软件质量控制的有效方法,是提高托卡马克安全关键仪控(I&C)系统可靠性和可信度的重要手段。本文在深入研究ITER PCDH和现行国际标准的基础之上,明确托
【机 构】
：
闽南师范大学物理与信息工程学院,中国科学院等离子体物理研究所
【基金项目】
：
福建省中青年教师教育科研项目“稀疏时频分析算法及其在异常频谱监测的应用”(JAT170352);闽南师范大学教改项目“基于开源Arduino与App Inventor的创客教育校企合作课程建设”(JG201705)
论文部分内容阅读
软件验证与确认(V&V)是软件质量控制的有效方法,是提高托卡马克安全关键仪控(I&C)系统可靠性和可信度的重要手段。本文在深入研究ITER PCDH和现行国际标准的基础之上,明确托卡马克安全关键仪控系统开发必须遵守的标准条款。以EAST托卡马克安全联锁系统为实例,通过执行第三方独立软件V&V提高了软件质量,并详细阐述了各阶段的V&V过程。研究结果表明,托卡马克联锁系统和保护系统等安全关键仪控系统的工程技术开发与核安全许可提供了必要的前期技术基础。
其他文献
伴随国家经济社会发展水平不断提升,公众收入水平不断提高,国家社会保障体系越来越健全,公众的参保意识也在不断增强。新时期加强社保基金管理,采取有效的措施不断提升社保基
以大豆为实验材料,探究盐胁迫下产多胺细菌ccx5对大豆萌发及幼苗生长的影响。用营养液沙培的方法,研究了6种盐胁迫(浓度分别为0,30,60,90,120,150 mmol·L-1)对大豆种子吉育4
研究背景和目的:恶性肿瘤的发生是由于细胞增殖失控和异常分化的结果,传统的肿瘤化学治疗是将肿瘤细胞杀死,随着对肿瘤发生机制的深入,诱导分化作为恶性肿瘤全新的治疗途径已
目的研究恶性血液病患者并发血流感染的病原菌特点、治疗、预防及预后。方法回顾性分析2013年3月~2015年12月在我科住院治疗的503例恶性血液病患者的临床资料,收集不重复、连
我们知道，在纯电阻电路中，电阻两端的电压和通过电阻的电流呈线性关系，也就是U-I曲线是条过原点的直线，此电阻为线性电阻。但是实际电路中由于各种因素影响，U-I曲线可能不是直线，即
神智体作为一种拥有特殊形式的诗谜,具有与众不同的魅力。其中一个重要的原因是诗中汉字形体变化多端,其新奇巧妙的构形传递出丰富的意义内涵,体现了汉字独特的修辞效果,增强
<正>1.前言随着全球化进程的加快,海洋开发已成为国家发展的重要战略部署,体育作为国家软实力代表之一,理应在海洋领域大展宏图。纵观世界海洋体育发展状况,我国目前与西方各
目的探讨剪切波弹性成像在不同大小颈部淋巴结良恶性鉴别中的诊断价值。方法对80例患者共125个颈部淋巴结进行常规超声及剪切波弹性成像检查,根据淋巴结长径分为3组(组I:≤1c
本文阐述了磁力轴承用两电平数字开关功放的实现原理,从理论上分析了数字功放的评价指标电流响应速度与电流纹波,考虑开关管、二极管特性等非线性因素,推导了电流纹波的理论
目的观察无创呼吸机通气治疗急性心力衰竭的疗效。方法选取2015-032017-03以"急性心力衰竭"就诊的患者100例,随机分为对照组和治疗组各50例。对照组予以吸氧、镇静、扩血管、