论文部分内容阅读
数字化是核动力厂仪表控制系统的发展趋势.在核动力厂安全级(1E级)仪表的数字化过程中,一个必须解决的关键课题是安全软件的验证与确认技术.本文对核动力厂安全软件的验证与确认技术进行了研究.
核动力厂安全软件的验证与确认技术的初步研究
【摘 要】
：
数字化是核动力厂仪表控制系统的发展趋势.在核动力厂安全级(1E级)仪表的数字化过程中,一个必须解决的关键课题是安全软件的验证与确认技术.本文对核动力厂安全软件的验证与
【机 构】
：
清华大学核能技术设计研究院,北京,100084
【出 处】
：
全国第五届核仪器及其应用学术会议
【发表日期】
：
2005年11期
其他文献
本文从美军发展作战实验室的指导思想出发 ,介绍了美军各军种和联合作战实验室建设的基本情况 ,以及近年来美军进行的作战实验与战争对策模拟 ,以期为我军作战实验室的发展建
经测定,淡水白鲳淀粉酶、蛋白酶的适宜温度分别为250℃和450℃;最适pH值分别为6.4和2.6。在最适温度、pH值条件下,不同组织淀粉酶活力大小顺序为:肝胰脏>肠>胃,蛋白酶活力大
医学美容在我国有着悠久的历史,其发展大概可以划分为五个阶段,每个阶段都有着不同的特点和进步。中医美容主要类型有中药美容、针灸美容、推拿美容、气功美容、药食美容等,
地产黄金时代不再,去哪里淘金?2014年是房地产行业的分水岭,也是互联网思维大发展的时代,房企躺着赚钱的日子一去不复返了。上半年,房地产业热闹非凡。恒大提出了多元化战略,
地铁改变了一座城市的发展布局,为城市的发展注入了活力,也带来地铁文化。分析了地铁文化对相关经济产业发展的影响,通过对国外地铁文化带来的经济效益的阐述,指出了地铁文化
《语用学探索:语言、认知与跨文化视角》(Explorations in Pragmatics:Linguistic,Cognitive and Intercultural Aspects)2007年由Mouton de Gruyter出版社出版,主编为纽约州
【正】 在数学教学研究中,长期以来对抽象思维研究较多,对形象思维研究极少。这是因为,一直存在着某些说法,一种说法认为,科学家使用抽象思维,文学家、艺术家使用形象思维,这
建立了同时送取货的随机旅行时间车辆路径问题(STT-VRPSPD)的机会约束规划模型,构建了分散搜索算法求解策略.分散搜索算法中,针对STT-VRPSPD问题的复杂特性,构造了解的改进策
文章概要分析90后"职校门"事件的心理意蕴、教育症结与社会成因,提出积极应对90后"职校门"事件的职业教育管理策略。要理性认识"职校门"事件,树立积极的职校生和谐发展观,不
目的探讨益气养阴利水活血经验方对视网膜脱离术后视网膜功能改变的干预效果。方法采用前瞻随机对照研究的方法将95例(95眼)视网膜脱离患者分为经验方治疗组和对照组。应用视