【摘 要】
：
在国内使用商业操作系统研发核安全级设备尚未有先例,为了使商用操作系统QNX能应用于安全级设备,国际上通常采用NRC的CGD方法,对关键特性进行验证;其中关键特性测试是最有效
论文部分内容阅读
在国内使用商业操作系统研发核安全级设备尚未有先例,为了使商用操作系统QNX能应用于安全级设备,国际上通常采用NRC的CGD方法,对关键特性进行验证;其中关键特性测试是最有效的验证方法,但需要确定所做测试的合适范围保证商用软件能够应用于核安全设备产品中。本文在接口函数关键特性基础上提出了增加功能、性能测试的简单易行方法,对使用到的功能、性能、函数接口进行测试,保证了核安全设备所使用到的功能的质量;该方法已在核电厂安全显示装置的开发中应用,效果良好,极大节省了成本,加快了产品开发周期,可以推广到其他核级产品的
其他文献
为推动广东省医院药学学科的发展,搭建药学专家与临床医师交流的平台,提高药师的专业知识及技能,我会于2011年将组织药师系列沙龙——肿瘤、消炎镇痛、前列腺增生、骨质疏松
所得税会计研究目前，随着国家相关财务与会计和税收政策、法规的不断出台，我国“会税分家”的轮廓已经清晰，所得税会计不仅仅是理论问题，它的实际应用问题也已摆在人们面前，关注所
随着知识经济时代的来临，现代企业的经济管理已经发生了巨大的变化，加强管理并不断地进行管理上的创新才是企业在竞争中得以制胜的根本保证。本文认为，在新形势下创新企业经济的
世界上第一个通过活体动脉引导磁球而闻名的研究人员Martel教授，宣布了纳米医学领域一个惊人的新突破。他的团队利用磁共振成像（MRI）系统，将装有一定剂量抗癌药物的微载体成功导
与同类型产品相比,E＋H可以提供安全、可靠、环保、高效的过程自动化测量仪表和解决方案,还可以提供丰富的卫生型设计及过程连接。恩德斯豪斯（中国）自动化有限公司（Endress＋Hauser
绘画、音乐、文学等其他学科在服装美术设计教学中灵活、巧妙地应用，融会贯通、相辅相成，充分发挥其整体效应，能使我们的课上的更生动、更有趣，同时也能把学生的学习积极性、主动
进入秋季，各种蔬菜纷纷上市。其中一些可谓秋季当家菜，个个有自己的营养绝活，建议大家适当多吃。莲藕，维生素B1冠军无论做汤、清炒还是凉拌，莲藕都是秋季养生食谱上大受欢迎的食材
混流生产线是精益制造、柔性制造和智能制造的关键技术和生产组织形式之一。近年来,混流生产线向少人化、智能化方向快速发展。本文针对混流生产线中的分拣工作,提出了一套基于线阵相机机器视觉的解决方案。首先基于线阵CCD相机、三菱QD77MS4伺服定位模块、Q系列PLC、MR-J4-B伺服放大器、HG-KR-13J伺服电机、GS系列触摸屏构建了高精度图像获取系统。其次研究了线阵CCD在动态测量中的整体图像处
新证据提示，二甲双胍可能降低乳脲冱的发病率。研究者在绝经后女性中评价了糖尿病、二甲双胍的使用和乳腺癌的相关性。参与此项分析的68019例女性均来自于健康倡议临床试验的
单位制变革打破了传统的就业模式,大学生的就业期望与择业经历都存在着性别差异。通过对山东省部分高校的调查,发现女性更关注就业的稳定性,男性则更注重收入水平。求职中女