【摘 要】
：
可编程逻辑控制器代码安全是确保工业控制系统安全运行的核心,本文围绕着可编程逻辑控制器的代码安全缺陷进行分析,首先阐述了工控代码安全的相关研究。接着,从可编程逻辑控
论文部分内容阅读
可编程逻辑控制器代码安全是确保工业控制系统安全运行的核心,本文围绕着可编程逻辑控制器的代码安全缺陷进行分析,首先阐述了工控代码安全的相关研究。接着,从可编程逻辑控制器代码逻辑缺陷、安全需求规约两个方面对工控代码缺陷进行分类,分析了针对梯形图语言的3种代码逻辑缺陷产生的机理,并结合梯形逻辑图,利用PLC代码逻辑缺陷,实现拒绝服务攻击、中间人攻击等。最后,本文提出了PLC代码形式化验证中面临的困难,并从中间语言翻译、模型构建和模型检测三方面综述了PLC代码形式化验证的相关研究。
其他文献
浩浩在和同学玩闹时，右耳不小心被书本砸到，耳朵开始疼痛，甚至出现听力模糊的症状。检查发现，浩浩除了右耳不适、听力减退外，右耳局部已经明显肿痛，还伴有右耳闷胀感和持续低沉的嗡
随着体育课程改革的不断深入实施,学生在体育教学中的主体地位得以更好的凸显。体育教学作为发展学生身心健康素质,培养学生健康生活方式和良好体育习惯的途径,在教学的过程
目的:分析融水苗族地区2015年-2018年白血病发病率。方法:对2015年1月到2018年7月我院收治的86例白血病病例资料进行回顾性分析。结果:本地区白血病发病率逐年上升趋势,青少
1项目背景山东某生物医药科技有限公司（下称＂该公司＂）,创建于1999年,是一家以海洋生物制品的研发、生产、销售于一体的国家高新技术企业。2015年5月进军直销领域,其业绩发展快速
癌基因的扩增见于多种人类肿瘤，有预后价值。本文报告了应用差别（Ｄ－）ＰＣＲ技术，检测人卵巢癌组织Ｃ－ｅｒｂ－Ｂ２基因拷贝数的改变。在这一技术中，靶基因（Ｃ－ｅｒｂ－Ｂ２基因）和单拷贝参照基因（ＩＦＮＧ），在同一反应管中进行扩增，靶基
１，３—丁二烯及其环氧化物遗传毒理学研究进展①刘胜学综述曹佳审校第三军医大学预防医学系分子毒理实验室重庆６３００３８１，３—丁二烯（１，３－Ｂｕｔａｄｉｅｎｅ，简称ＢＤ）是一种无色、易燃的气体，广泛用于合成橡胶、轮胎、塑料
本实验采用Ｎｏｒｔｈｅｒｎ印迹杂文方法研究了甲基丙烯酸环氧丙酯（ＧＭＡ）对金仓鼠胚胎（ＳＨＥ）细胞原癌基因Ｃ─ｍｙｃ和重要功能基因谷胱甘肽Ｓ─转移酶ｐ（ＧＳＴ─ｐ）表达的影响．结果表明ＧＭＡ促进了这些基因的表达，其中ＧＳＴ─ｐ基因在作用２ｈ表
高尿酸血症是与高血压、高血脂、高血糖等密切相关的代谢综合征，被称为“第四高”。近年来，该病的发病率呈上升趋势，而且高尿酸血症往往也合并其他“三高”。
【摘要】心电图是诊断学教学的重点和难点。本文就现有心电图实践教学中存在的不足，在加强教学管理及教育、更新教学观念、改革教学方法以及注重能力培养、突出学生主体地位等方面进行了一些探索。 【关键词】临床心电图；实习带教；实践；体会 [中图分类号]R8[文献标识码]A[文章编号]2096-5249（2018）05-142-01 心电图的临床应用已有一百多年的历史。尽管科学技术的迅速发展，尤其是高科