【摘 要】
：
可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测
【机 构】
：
清华大学自动化系智能与网络化系统研究中心清华信息科学与技术国家实验室(筹),
论文部分内容阅读
可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。
其他文献
<正>学校是一个组织,学校多项工作的有序开展必须有一定的管理机制来保证。审视现阶段中小学学校的管理状况,不难发现,现今学校对教师的管理类型有很多,有依靠个人权威的人治
目的比较规律间断硬膜外泵注(RIEB)和持续性硬膜外输注(CEI)复合病人自控硬膜外镇痛(PCEA)用于分娩镇痛的效果。方法自愿接受分娩镇痛的初产妇225例,按照随机数字表法分为A、
唐代诗云：“泾溪石险人兢慎，终岁不闻倾覆人。却是平流无石处，时时闻说有沉沦。”它形象地告诫我们：在似乎平静无险的情况下，人们往往容易失去戒备，从而惨遭沉沦之灾——也可以说，国
从《蝴蝶君》剧中主人公的复仇策略,揭示其行为动机,进而探究这一人物身上折射出的深层的民族文化心态,即作为一个亚裔移民迷失于两个世界之间的边缘人体验,对于理解小说有重
<正> 内蒙古自治区建筑勘察设计研究院钱国林,李学明在南京双交会资料中介绍了有关钢管桩托换基础的经验。所谓托换就是对基础深度、宽度或地基承载力不符合要求的结构物采取
<正>项目学习教学模式强调"做中学",其核心思想是从学生的实际需要和能力出发,设计出具体的、可行的项目,使学生在完成项目的过程中,提高问题意识,构建知识意义,增强实践能力
<正> 阿拉伯世界,地域辽阔,历史悠久,人口众多,是世界文明发源地之一。2亿多阿拉伯人分布在中亚和北非的20多个国家里。 所有的阿拉伯国家都在宪法中明文规定伊斯兰教是正式
《红楼梦》中,宁国府贾蓉之妻秦可卿,品貌双优,体现了作者的“兼美”审美理想。这位女性在历史上的原型可能是:明代英国公张懋的“冢孙”妇游氏。游氏的母亲是弘治时期的隆庆
<正>北京有许多传统美食,比如北京烤鸭,驰名中外,北京人爱吃,外地人和外国人也爱吃。但要说到吃爆肚、卤煮、豆汁、麻豆腐,那就是另一档子事了。敢吃、爱吃的外地人还真不多