蒸汽锅炉安全联锁系统的形式化验证

来源 :工业控制计算机 | 被引量 : 0次 | 上传用户:tiankoufangfangtu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
蒸汽锅炉实时控制系统一股用于控制炉内水位,使其保持在特定的范围内.为了加强环保和生产安全,蒸汽锅炉实时控制系统等过程控制中的有关场所要设置监测报警及安全联锁系统,所以其安全联锁系统的验证也非常重要.本文采用形式化验证工具SMV(符号模型检验),根据比较安全联锁系统的输入输出是否符合安全联锁规范,检验蒸汽锅炉安全联锁系统设计的规范性.
其他文献
针对传统Miner法的缺陷,本文采用模糊Miner法对复合树脂合成的过程中存在的模糊现象进行数学拟合图形分析,对最佳合成方法进行定量的描述。采用共沉淀法将水合氧化铁固载于大
电缆作为飞机的组成部分,对飞机起着至关重要的作用,因此电缆被称为飞机的“神经系统”。电缆系统担负着电力、信号的输送和分配的任务,还为各个系统之间相互控制与信息联系
对白光LED在室内照明中应用的问题进行了分析,通过研究白光LED的控制技术。以期最大限度地发挥LED的优势与特点。实践证明,白光LED应用于室内照明,可达到节能和提高室内照明品质
为规范滇红花无公害生产,本文从滇红花生产环节的种植地选择、品种选择与种子处理、整地、播种、中耕管理、病虫害防治和收获等方面进行了技术要求。本技术规范将为科学发展
肝炎后肝硬化是慢性肝炎病变过程中,由于反复持续广泛肝细胞变性坏死,肝纤维组织增生所致的肝实质损伤性疾病。临床上及早诊治早期肝硬化是阻断向肝硬化失代偿期恶化的关键。近
从我国物流业碳排放现状着手,分析了低碳视角下发展绿色物流的意义以及存在的问题,在此基础上从基础设施建设及低碳化设备应用、行业政策法规完善及标准制定、低碳物流理念普
目的:比较中药壁虎鲜品与炮制品对小鼠H22肝癌细胞体内外生长抑制作用的强弱。方法:体外试验采用MTT法,检测壁虎提取液冻干粉对H22细胞的增殖抑制情况;体内试验采用小鼠肝癌H
目的:观察软肝救肝方治疗肝硬化的临床疗效。方法:对150例患者采用软肝救肝方(处方:黄芪、太子参、白术、茯苓、甘草、鳖甲、穿山甲、丹参、桃仁、红花、柴胡、地龙、当归、川芎
咽喉部溃疡是耳鼻咽喉科的常见病、多发病,多由炎症、免疫功能减退等引起,梨状窝溃疡因发生在下咽部,易累及邻近组织器官,临床上症状表现明显,反复发作、缠绵难愈,西医治疗效果欠佳