位置：成果数据库 > 期刊 > 期刊详情页
PLC程序测试与验证的研究进展
  • ISSN号：1000-0054
  • 期刊名称：《清华大学学报：自然科学版》
  • 时间：0
  • 分类：TP332.3[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]清华大学自动化系,智能与网络化系统研究中心,清华信息科学与技术国家实验室筹,北京100084
  • 相关基金：国家自然科学基金项目（61074034,60736027,61021063,61174105）
作者： 赵千川[1], 王达[1], 薛文轩[1]
关键词： PLC程序, 形式化方法, 测试, 验证, programmable logic controller （PLC） program, formalmethod, testing, validation
中文摘要：

可编程逻辑控制器（PLC）是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。

英文摘要：

Programmable logic controllers （PLC） are widely used in various industries. The increasing size and complexity of PLC programs make testing and validation challenging. The testing and validation of PLC programs are analyzed to describe the research progress on verification and testing. The basic idea of each method is described with the advantages. Future trends for testing and validation of PLC programs are given. All existing testing and validation methods for PLC programs have limitations and need further study. Structural testing and fusion of different testing methods are some possible new directions.

同期刊论文项目
复杂系统控制与信息处理中的若干关键问题研究与应用
期刊论文 223 会议论文 60 专利 43 著作 3
网络化离散事件动态系统时序的分析与控制
期刊论文 23 会议论文 10 专利 2
3.6万吨黑色金属垂直挤压机加载过程控制的若干关键技术研究
期刊论文 13 会议论文 5
网络化水资源与水火电系统的动态优化调度
期刊论文 123 会议论文 71 获奖 12
同项目期刊论文
Evaluation and optimization of a traditional north-light roof on industrial plant energy consumption
A Unified Effective Method for Aggregating Multi - machine Stages in Production Systems（长文）
A data - driven method to describe the personalized dynamic thermal comfort in ordinary office envir
基于OPC的PLC程序自动化测试
蓝牙手机室内定位系统
Optimal Cognitive Access of Markovian Channels under Tight Collision Constraints （长文）
基于cc2430的环境参数监测和人员定位
不确定环境下的电力系统拓扑控制问题(英文)
Measuring indoor occupancy in intelligent buildings using the fusion of vision sensors
制造企业节能减排的关键技术初探
添加捷径对环状DEDS的影响分析
Corrective Line Switching With Security Constraints for the Base and Contingency Cases （长文）
不确定环境下的电力系统拓扑控制问题
Production Line Capacity Planning Concerning Uncertain Demands for a Class of Manufacturing Systems with Multiple Products
Research on Constant Velocity Extruding Process Control for 36,000-Ton Vertical Extrusion Press
A unified effective method for aggregating multi-machine stages in production systems
Second-order consensus predictive control for 360MN extrusion machine
Design and Analysis of Integrated Predictive Iterative Learning Control for Batch Process Based on T
Efficient time series clustering and its application to social network mining
Consensus control design for 360 MN extrusion machine producing process
The Estimation and Control of the Electroslag Remelting Melt Rate by Mechanism-Based Modeling
An integrated predictive iterative learning control for batch process
不确定环境下的电力系统拓扑控制问题
Design and Analysis of Integrated Predictive Iterative Learning Control for Batch Process Based on Two-dimensional System Theory
Production Line Capacity Planning Concerning Uncertain Demands for a Class of Manufacturing Systems with Multiple Products
工业过程异常检测、寿命预测与维修决策的研究进展
基于拷贝数变异的遗传关联研究
Co-regulated gene module detection for time series gene expression data
超分辨率图像重建方法综述
交通控制子区动态划分模
Total PLS Based Contribution Plots for Fault Diagnosis
基于GTM算法的多维区域交通状态分析
基于面向服务架构消息中间件的业务流程系统集成方法研究
具有执行器饱和特性的不确定系统预测控制器设计
基于SVM特征选择的整经轴数预测算法
Bioinformatics study indicates possible microRNA-regulated pathways in the differentiation of breast
一类空间连接系统的分布式状态估计及其收敛性分析
Fault detection of networked control systems with uncertain time-varying delay and quantization erro
Improved algorithm for calculating D-statistic
Relay-assisted hierarchical adaptation scheme for multi-user scalable video delivery to heterogeneou
Observations on potential novel transcripts from RNA-Seq data
Missing Data Imputation For Traffic Flow Based On Improved Local Least Squares
一种改进的基于重构的传感器故障贡献分析算法
Informative Property of the Data Set in a SISO Closed-loop System with a Switching Controller
基于代码书的电力二次系统故障定位方法
Robust design of feedback integrated with iterative learning control for batch processes with uncert
Erratum to "An Extend periodic imperfect preventive maintenance model with age-dependent failur
Adaptive compressed sensing recovery utilizing the property of signal’s autocorrelations
On nonsingularity verification of uncertain matrices over a quadratically constrained set
Robust state estimation for uncertain discrete-time stochastic systems with missing measurements
On asymptotic behaviors of a sensitivity penalization based robust state estimator
Network-based group variable selection for detecting expression quantitative trait loci (eQTL)
Sequence alignment as hypothesis testing
Using non-uniform read distribution models to improve isoform expression inference in RNA-Seq
Video stabilization and completion using two cameras
A formal model for analyzing drug combination effects and its application in TNF-alpha-induced NFkap
A Point-cloud-based multiview stereo algorithm for free-viewpoint video
A Novel JSCC Framework with Diversity-multiplexing-coding Gain Tradeoff for Scalable Video Transmiss
An operating parameters setting using empirical data for slashing process
A new online learning algorithm for structure-adjustable extreme learning machine
A new ANFIS for parameter prediction with numeric and categorical inputs
Online Updating Belief-Rule-Based Systems Using the RIMER Approach
Maintaining Systems with Dependent Failure Modes and Resource Constraints
Weighted least squares based recursive parametric identification for the submodels of a PWARX system
A Relative Variation-Based Method to Unraveling Gene Regulatory Networks
Integrating next-generation sequencing and traditional tongue diagnosis to determine tongue coating
A co-module approach for elucidating drug-disease associations and revealing their molecular basis
Robust and Efficient Algorithms for Separating Latent Overlapped Fingerprints
Integrating gene expression and protein-protein interaction network to prioritize cancer-associated
Image deblurring with matrix regression and gradient evolution
Characterization and prediction of lysine(k)-acetyl-transferase specific acetylation sites
Exact results on the statistically expected total cost and optimal solutions for extended periodic i
Using Variable Speed Limits To Eliminate Wide Moving Jams: A Study Based On Three-Phase Traffic Theo
基于活跃集的支持向量机切平面法
制造企业节能减排的关键技术初探
Scheduling tool changes and special jobs on a single machine to minimize makespan
State estimation for networked systems: an extended IMM algorithm
Multi-sensor Information Based Remaining Useful Life Prediction with Anticipated Performance
A Degradation path-dependent approach for remaining useful life estimation with an exact yet closed-
Contribution rate plot for nonlinear quality-related fault diagnosis with application to the hot str
Bias fusion estimation for multi-target tracking systems with multiple asynchronous sensors
State estimation for networked systems with randomly occurring quantisations
Multi-dimensional Traffic Flow Time Series Analysis with Self-Organizing Maps
A non-stationary Poisson model for the scaling of urban traffic fluctuations
Fault detection of NCS based on optimal robust fault detection filter
Real-time reliability prediction for dynamic systems with both deteriorating and unreliable componen
Fluctuations and pseudo long range dependence in network flows: A non-stationary Poisson process mod
Cross-layer Packet Scheduling Framework with QoS Mapping for Real-time Video in CSMA/CA Based Networ
Strategy optimization for controlled Markov process with descriptive complexity constraint
基于数据的生产过程调度方法研究综述
Spectral Embedded Clustering: A Framework for In-Sample and Out-of-Sample Spectral Clustering
A Fast Algorithm Based On The Submodular Property For Optimization Of Wind Turbine Positioning
Multitask Bregman clustering
Unsupervised Large Margin Discriminative Projection
Efficient Euclidean Projections via Piecewise Root Finding and Its Application in Gradient Projectio
Active learning with adaptive regularization
Optimal Cognitive Access of Markovian Channels under Tight Collision Constraints
Pinpointing Transcription Factor Binding Sites from ChIP-seq Data with SeqSite
Blind Separation of Superimposed Moving Images Using Image Statistics
Corrective Line Switching With Security Constraints for the Base and Contingency Cases
Model Reduction Based Set-Membership Filtering with Linear State Equality Constraints
A Simulation-Based Tool for Energy Efficient Building Design for a Class of Manufacturing Plants
Optimization of Group Elevator Scheduling with Advance Information
Self-calibration of Spherical Rectification for a PTZ-stereo System
Transfer estimation of evolving class priors in data stream classification
DEGseq: an R package for identifying differentially expressed genes from RNA-seq data
Flexible manifold embedding: a framework for semi-supervised and unsupervised dimension reduction
Network-based relating pharmacological and genomic spaces for drug target identification
Detection of characteristic sub pathway network for angiogenesis based on the comprehensive pathway
ANMM4CBR: a case-based reasoning method for gene expression data classification
Identification of responsive gene modules by network-based gene clustering and extending: applicatio
Generalized positiveness of spatially interconnected systems over quadratically constrained frequenc
Chinese lexical networks: the structure, function and formation
An effective artificial bee colony algorithm for the flexible job-shop scheduling problem
Commute time guided transformation for feature extraction
Optimal Imperfect Periodic Preventive Maintenance for Systems in Time-Varying Environments
Time-course network analysis reveals TNF-α can promote G1/S transition of cell cycle in vascul
Fault detection of networked control systems with limited communication
Fault detection of networked control systems with packet based periodic communication
A Novel Scheduled Power Saving Mechanism for 802.11 Wireless LANs
Embedding New Data Points for Manifold Learning via Coordinate Propagation
Boundedness of Multidimensional Filters Over a Prescribed Frequency Domain
State estimation for time-delay systems with probabilistic sensor gain reductions
Comments on Robust Kalman Filter for Descriptor Systems
A New Real-time Reliability Prediction Method for Dynamic Systems Based on On-line Fault Prediction
Generalized predictive control of linear system with actuator arrearage fault
Online updating belief-rule-based system for pipeline leak detection under expert intervention
Robust Fault Detection for Networked Systems with Communication Delay and Data Missing
Effects of Small world topology on the critical boundary for Boolean networks
Ordinal Optimization and Quantification of Heuristic Designs
Universal Alignment Probability Revisited
Control Strategies for Transit Priority Based on Queue Modeling and Surrogate Testing
Quantization Errors of Uniformly Quantized fGn and fBm Signals
Learning a Mahalanobis distance metric for data clustering and classification
Contour graph based human tracking and action sequence recognition
A Unified Framework for Semi-Supervised Dimensionality Reduction
Histone methylation marks play important roles in predicting the methylation status of CpG islands
Fluctuations in urban traffic networks
Networked fault detection with random communication delays and packet losses
Spatially Adaptive Block-based Super-resolution
Multi-task clustering via domain adaptation
Single-machine scheduling with job-position-dependent learning and time-dependent deterioration
Network-based global inference of human disease genes
dbNEI2.0: building multilayer network for drug-NEI-disease
Time Separations of Cyclic Event Rule Systems with Min-max Timing Constraints
Optimization of Joint Replacement Policies for Multi-Part Systems by A Rollout Framework
Robust Stability Analysis for Autonomous Min-max Systems
A Structure Property of Optimal Policies for Maintenance Problems with Safety-Critical Components
A new fault detection scheme for networked control systems subject to uncertain time varying delay
Graph laplace for occluded face completion and recognition
Departure headways at signalized intersections: A log-normal distribution model approach
Robust H-infinity Filtering for Time-Delay Systems with Probabilistic Sensor Faults
Linear Neighborhood Propagation and Its Applications
Leakage Fault Diagnosis for an Internet-Based Three-Tank System: An Experimental Study
Camera constraint-free view-based 3D object retrieval
Robust delay dependent iterative learning fault-tolerant control for batch processes with state dela
Interactive Natural Image Segmentation via Spline Regression
Residual generation and evaluation of networked control systems subject to random packet dropout
基于Hilbert-Huang变换的输气管道泄漏诊断方法
Real-time Reliability prediction for a dynamic system based on the hidden degradation process identi
Pedestrian Safety Analysis in Mixed Traffic Conditions Using Video Data
Extracting the Optimal Dimensionality for Local Tensor Discriminant Analysis
Nonlinear Dimensionality Reduction with Local Spline Embedding
Trace Ratio Problem Revisited
Block-Quantized Support Vector Ordinal Regression
Soft Constraint Harmonic Energy Minimization for Transductive Learning and its Two Interpretations
Gene set analysis identifies master transcription factors in developmental courses
CpG island methylation pattern in different human tissues and its correlation with gene expression
Multi-stage analysis of gene expression and transcription regulation in C57/B6 mouse liver developme
Network Systems Underlie Traditional Chinese Medicine Syndrome and Herb Formula
Weighted Subspace Distance and Its Applications to Object Recognition and Retrieval With Image Sets
Further results on the boundedness of multidimensional systems
Adaptive tracking and recursive identification for Hammerstein systems
On the convergence and stability of a robust state estimator
Sensitivity penalization based robust state estimation for uncertain linear systems
Causal relationship inference for a large-scale cellular network
Recursive identification for nonlinear ARX systems based on stochastic approximation algorithm
Parametric identification of Hammerstein systems with consistency results using stochastic inputs
Total projection to latent structures for process monitoring
Distribution Function Tracking Filter Design Using Hybrid Characteristic Functions
Geometric properties of partial least squares for process monitoring
A sequential learning algorithm for online constructing belief-rule-based systems
A model for real-time failure prognosis based on hidden Markov model and belief rule base
微小故障诊断方法综述
全数字无刷直流电动机伺服控制系统设计
基于MSPM的故障诊断技术研究现状与展望
不确定环境下的电力系统拓扑控制问题
一种基于参数重估计和分层匹配的PTZ相机参数修正算法
大视场双目主动视觉传感器的协同跟踪方法
动态背景下融合运动线索和颜色信息的视频目标分割算法
Informative Property of the Data Set in a Single-input Single-output （SISO） Closed-loop System with a Switching Controller
基于仿射几何不变量的鲁棒图像配准算法
采用多组单应约束和马尔可夫随机场的运动目标检测算法
模型误差变化率有界的空间连接系统鲁棒性能分析
基于逆系统方法的DGMSCMG框架伺服系统解耦控制研究
Efficient Recovery of Block Sparse Signals by an Improved Algorithm of Block-StOMP
Improved Algorithm for Calculating Contributions to D-statistic
Fault Detection of Networked Control Systems with Uncertain Time-Varying Delay and Quantization Error
Production Line Capacity Planning Concerning Uncertain Demands for a Class of Manufacturing Systems with Multiple Products
一种基于双目PTZ相机的主从跟踪方法
Condition-based switching and replacement policies for a two-unit warm standby redundant system subject to non-instantaneous switchover
水火电联合短期调度的混合整数规划方法
基于机会约束规划的风电商日前市场竞标策略
The ski-rental problem with multiple discount options.
Fast Identification of Inactive Security Constraints in SCUC Problems [J].
Optimization Based Production Planning with Hybrid Dynamics and Constraints [J].
Energy-efficient buildings facilitated by microgrid
顾客需求量不确定时生产商的在线数量折扣
博客网络中具有突发性的话题传播模型
Managing reward and risk of the newsboy problem with range information[J].
机会式频谱接入优化问题的研究
网上一口价在线拍卖的定价策略设计
基于收益率的在线租赁策略及其竞争分析
高云龙，高峰，潘金艳，翟桥柱，管晓宏．高耗能企业关口平衡优化调度及其输出功率控制方式．中国电机工程学报，Vol. 30, No. 19, pp.76-83,2010
一种求解QAP 问题的混合嵌套分区优化算法
清明法定假日对交通量的影响研究.
不完全信息下城市交通量分配研究.
交通网络效率损失上界的估计方法.
On solving event-based optimization with average reward over infinite stages
An adaptive sampling algorithm for simulation-based optimization with descriptive complexity prefere
On solving optimal policies for finite-stage event-based optimization
Optimization Based Generation Asset Allocation for Forward and Spot Markets[J].
A Branch and Bound Method to the Continuous Time ModelElevator System with Full Information
Online algorithms for the general k-search problem.
Optimization Based Scheduling for a class of Production Systems with Integral Constraints
A formal model for analyzing drug combination effects and its application in TNF-?-induced NF?B path
单向可替代报童问题的最优在线订货策略.
需水量具有无后效性的在线水库调度研究[J]
基于线性混合整数规划模型的水火电联合短期优化调度[J]
考虑水头影响的梯级水电站群短期优化调度[J]
方格网络上用户均衡行为效率损失研究[J]
路段权重不确定时占线选择路径[J]
基于系统最优级策略的占线交通流量分配[J]
成对需求占线服务器问题及公平原则策略[J]
交通网络最大流关键边[J]
Efficient Simulation Method for General Assembly Systems with Material Handlings Based on Aggregated
Parametric search: three new applications.
一类含积分约束的生产制造系统优化调度
The canadiantraveller problem and its competitive analysis[J].
Online deadline scheduling with preemption penalties.
高耗能企业关口平衡优化调度及其输出功率控制方式
考虑水头影响的梯级水电站群短期优化调度
不完全信息下城市交通量分配研究
清明法定假日对交通量的影响研究
拥挤收费策略设计及其效率损失分析
成对需求占线服务器问题及公平原则策略
方格网络上用户均衡行为效率损失研究
基于系统最优策略的占线交通流量分配
交通网络最大流关键边
路段权重不确定时占线选择路径
报童问题的最优竞争比策略及其风险补偿模型
基于方格路网的两车应急救援路径在线选择
在线多租赁选择问题的最优竞争策略
Formulation and a Simulation Based Algorithm for Line-side Buffer Assignment Problem in Systems of G
Finding an anti-risk path between two nodes in undirected graphs[J].
Online scheduling on m uniform machines to minimize total(weighted) completion time
基于强化学习的JLQ模型的直接自适应最优控制.
Minimum-Cost Consensus Models Under Aggregation Operators.
Optimal algorithms for online scheduling on parallel machines to minimize the makespan with a period
Optimal algorithms for the online time series search problem.
Semi-online scheduling on 2 machines under a grade of service provision with bounded processing time
Linear optimization modeling of consistency issues in group decision making based on fuzzy preferenc
Online scheduling to minimize modified total tardiness with an availability constraint
An optimal online algorithm for single machine scheduling with bounded delivery times
基于在线方法的蓝藻危机应急预案启动策略.
太湖水华危机应急预案在线风险补偿启动策略.
基于效用替代率的物资储备量模型与算法.
考虑二手货市场的在线租赁决策与竞争.
单水库在线发电调度策略设计与分析.
在线收益管理的动态售票策略及竞争分析.
报童问题的最优竞争比策略及其风险补偿模型[J].
水库群水电站短期调度的整数规划方法[J]
How much can lookahead help in online single machine scheduling[J].
Fast Unit Commitment Based on Optimal Linear Approximation to Nonlinear Fuel Cost: Error Analysis an
Ordinal Optimization and Quantification of Heuristic Designs[J]
Universal Alignment Probability Revisited[J]
Optimization of Group Elevator Scheduling with Advance Information[J]
Computing the Numerical Scale of the Linguistic Term Set for the 2-Tuple Fuzzy Linguistic Representa
多智能体并行仿真框架
基于强化学习的JLQ模型的直接自适应最优控制
最小化车辆数的供应商直接配送策略
一种节能混合无线传感器网络MAC协议
考虑能量可实现性的电厂发电经济分配问题模型与求解
Petri网分布式仿真中的冲突问题及解决方法
基于序优化的嵌套分区算法
基于Globus的仿真网格框架的设计与实现
嵌套分割算法在旅行商问题上的应用
Flow shop问题的嵌套分区优化调度方法
关于电网络中负荷均衡时的线损研究
上游水库在线水量调度策略设计与分析
需水量具有无后效性的在线水库调度研究
考虑二手货市场的在线租赁决策与竞争
Production Line Capacity Planning Concerning Uncertain Demands for a Class of Manufacturing Systems with Multiple Products
期刊信息
  • 《清华大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:教育部
  • 主办单位:清华大学
  • 主编：梁恩忠
  • 地址：北京市海淀区清华大学学研大厦B座908
  • 邮编：100084
  • 邮箱：xuebaost@tsinghua.edn.cn
  • 电话：010-62788108 62792976
  • 国际标准刊号：ISSN：1000-0054
  • 国内统一刊号：ISSN：11-2223/N
  • 邮发代号:2-90
  • 获奖情况:
  • 国家期刊奖,国家“双高”期刊,1992年以来，历次国家级和省部级一等奖,第一、二届全国优秀科技期刊一等奖，教育部优秀期...,第三届中国出版政府奖提名奖
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,美国应用力学评论,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:43470