基于合约的SCADE测试工具设计与实现

来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:youlishi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
反应堆保护系统是核电厂中最重要的安全系统,对保证核电设备、工作人员以及周边环境的安全有着至关重要的作用。由于反应堆保护系统所需要的高安全性,因此SCADE平台开发的压水堆反应堆保护系统(以下简称SCADE系统)是近年来重要的研究方向。但是SCADE平台的开发过程基本以图形方式展现,设计与验证工作也都在SCADE系统内部完成,缺少对内部的本质特征的说明。因此需要一种方法来对SCADE系统的内部结构进行解释,并根据此对SCADE系统进行后期的验证工作提供理论支持,确保对SCADE系统的验证工作是有效的。笔者由
其他文献
目的探讨不同浓度的花椒对炎症大鼠的镇痛作用。方法制备炎症大鼠模型,对炎症大鼠分别采用不同浓度花椒水煮液,灌胃5 ml,利用热板和压板测痛仪,采用行为学测痛的方法分别测试
串联补偿技术是一种提高电网稳定极限的经济有效的手段,同时电网采用串联补偿技术后由于网机耦合而彼此互激产生次同步振荡,产生严重事故,论文以托电600MW机组,500kV送电线路
根据我国相关政策法规和相关要求,国土空间规划是为了合理配置资源开发,统筹规划城市建设发展以及治理环境问题等所作出的科学性和指导性的建议和规划,是国家战略性布局发展,
建筑桩基工程建设前,必须进行现场踏勘工作,并且需要对其进行合理设计,从而保证建筑桩基工程建设的顺利开展。基于此,本文阐述了建筑桩基工程设计的重要性,对建筑桩基工程设
血糖即时检验(point of care testing,POCT)血糖仪由于检测血糖快速、简便,已经被广泛用于急诊患者血糖的检测、糖尿病患者血糖的监测。但 POCT 血糖仪分散于各病区及缺乏完善的
前言 前庭功能对于飞行员在复杂的视觉变化的 Foreword The vestibular function for pilots in complex visual changes
长期以来,建设项目竣工环保验收机制作为环境保护工作过程中最为关键的制度之一,建设项目竣工环保验收结果是环保行政主管单位对建设项目运行后展开监管的核心依据。基于此,以下
随着时代的进步与发展,在我国社会各行业之中,计算机网络技术得到了普及应用,推动了我国各行业的发展。在交通运输行业之中,计算机网络技术的普及极大地提高了交通管理的工作效率
随着经济的发展桥梁工程数量增加,规模扩大,桥梁工程中的施工技术不断创新和优化,其中挂篮悬臂浇筑施工技术是一种应用非常广泛的技术形式,在施工可以提高工程效率,操作简单
随着经济的不断发展和技术的高速发展,油气资源越来越紧缺,对油气开发的工作提出了更高的要求,固井水泥车就是在油田作业工作中比较重要的操作车,于是设计了一种新型固井水泥