【摘 要】
：
为了测试反应堆控制和保护系统的嵌入式软件,将手工静态测试方法和动态仿真测试方法组合使用(简称组合测试).组合测试分为2步,即先用手工静态测试方法验证可编程逻辑控制器(
论文部分内容阅读
为了测试反应堆控制和保护系统的嵌入式软件,将手工静态测试方法和动态仿真测试方法组合使用(简称组合测试).组合测试分为2步,即先用手工静态测试方法验证可编程逻辑控制器( PLC)嵌入式软件的安全性与合理性,再用动态仿真测试方法验证其功能的有效性.组合测试只要有通用个人计算机(PC)和待测软件的开发及仿真工具即可实施.在实际的PLC运行环境中运用硬件测试方法,对组合测试的有效性进行验证.结果表明,组合测试是有效的,且比硬件测试方法的测试效率更高.
其他文献
随着人们生活水平的提高,人们对自己所处的生活环境有了更高的要求,其中对生态的要求日益增长.城市的生态园林建设已经成了整个城市建设的重点项目.本文主要从生态优先原则出
目的 探讨BDNF - TrkB信号传导通路与杏仁核电刺激点燃大鼠Arc表达及癫痫发生的关系.方法 雄性SD大鼠随机分为空白组、假手术组、杏仁核点燃组(单纯点燃组、k252a注射组、DMS
全球第四次税收改革浪潮的核心内容是将投资者个人所得税与公司所得税整合.作为投资者税收的重要组成部分,股息税成为各国税收改革重点关注的对象.纵观学术史,有关股息税经济
随着社会经济的快速发展，城市建设也不断在完善，而在城市化进程加快的同时，却忽略了对农村的建设。近年来，关于新农村建设的呼声越来越高，在民族地区的新农村建设主要是对原生态资
本文旨在探寻一种取代酶消化法分离绵羊睾丸间质细胞的简便新方法.首先将绵羊睾丸被膜剥离,然后将睾丸切块,采用机械震荡的方法使间质细胞自动脱落,然后用差异贴壁法进一步纯
安亭新镇的建设探索性地采用了诸如:城镇卫生防御体系、生态环境保护、围护结构的保温隔热、集中供能、同层排水、地下空间综合利用等新的技术,以实用的技术创造健康、舒适的
在对吴旗县乔木林、灌木林和草原群落野外调查的基础上,对其植被恢复及植被恢复与水土流失的关系进行了定量分析,结果表明,在吴旗县这样的自然地理条件下,通过退耕还林、封山
小流域土壤养分流失与土地利用格局演变关系的研究作为陆地-大气相互作用、全球变化等研究的主要基础内容,是一个正在形成的、具有综合性和交叉性的学科生长点.论述了该项研
用生态安全的PSR(压力-状态-响应)概念模型和层次分析法,建立了西藏曲松县生态安全评价体系,综合评价了曲松县生态安全现状.结果表明,当前曲松县生态安全状况处于预警状态,生
通过建立双工质循环发电系统的计算模型和理论分析系统热力过程,对双工质循环发电系统中蒸发器的最佳蒸发温度以及蒸发器和凝汽器的最佳端部温差进行了优化选择。计算结果表