Verifying Very Large Industrial Circuits Using 100 Processes and Beyond

2005 ◽  
pp. 11-25 ◽  
Author(s):  
Limor Fix ◽  
Orna Grumberg ◽  
Amnon Heyman ◽  
Tamir Heyman ◽  
Assaf Schuster
Keyword(s):  
Industrial Circuits

Resistive bridging fault simulation of industrial circuits

2008 ◽  
Author(s):  
Piet Engelke ◽  
Ilia Polian ◽  
Juergen Schloeffel ◽  
Bernd Becker
Keyword(s):  
Fault Simulation ◽  
Bridging Fault ◽  
Industrial Circuits

Automatic test pattern generation for industrial circuits with restrictors

1995 ◽  
Vol 26 (7) ◽  
pp. 635-645 ◽  
Author(s):  
M.H. Konijnenburg ◽  
J.Th. van der Linden ◽  
A.J. van de Goor
Keyword(s):  
Test Pattern ◽  
Pattern Generation ◽  
Test Pattern Generation ◽  
Automatic Test Pattern Generation ◽  
Automatic Test ◽  
Industrial Circuits

Compact test sets for industrial circuits

2002 ◽  
Author(s):  
M.H. Konijnenburg ◽  
J.T. van der Linden ◽  
A.J. van de Goor
Keyword(s):  
Test Sets ◽  
Industrial Circuits ◽  
Compact Test

A Metric to Target Small-Delay Defects in Industrial Circuits

2011 ◽  
Vol 28 (2) ◽  
pp. 52-61 ◽  
Author(s):  
M Yilmaz ◽  
M Tehranipoor ◽  
K Chakrabarty
Keyword(s):  
Small Delay Defects ◽  
Small Delay ◽  
Delay Defects ◽  
Industrial Circuits

Circuit Breaker Protection for Industrial Circuits

1933 ◽  
Vol 52 (2) ◽  
pp. 568-576 ◽  
Author(s):  
H. J. Lingal ◽  
O. S. Jennings
Keyword(s):  
Circuit Breaker ◽  
Industrial Circuits

scholarly journals Harmonic Distortion Evaluation Generated by PWM Motor Drives in Electrical Industrial Systems

2017 ◽  
Vol 7 (6) ◽  
pp. 3207 ◽  
Author(s):  
Vladimir Sousa ◽  
Hernán Hernández Herrera ◽  
Enrique C Quispe ◽  
Percy R Viego ◽  
Julio R Gómez
Keyword(s):  
Harmonic Distortion ◽  
Practical Method ◽  
Motor Drives ◽  
Statistical Characterization ◽  
Industrial Systems ◽  
Point Of Common Coupling ◽  
Seventh Order ◽  
The Difference ◽  
Industrial Circuits ◽  
Voltage Harmonics

This paper evaluates the harmonic distortion generated by PWM motor drives in an electrical industrial system of a wheat flour mill company. For this, a comparative study between two industrial circuits connected at the same point of common coupling (PCC) with similar characteristics of load and transformers is presented. The difference is that one circuit has PWM motor drives and the other does not have them. In the study, a practical method based on the statistical characterization of the total harmonic distortion of voltage (THDV) and current (THDI), individual voltage distortion (IVD), individual current distortion (ICD) and K-Factor is applied. As result, it was observed that PWM motor drives generated voltage harmonics mainly of fifth and seventh order with values that exceed limits established by standards in both circuits. With these values, the operation of elements such as capacitors, motors and transformers can be affected. In the work is also demonstrated that in the analysis of harmonics is necessary to consider various parameters and not only one.

VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND

2007 ◽  
Vol 18 (01) ◽  
pp. 45-61 ◽  
Author(s):  
LIMOR FIX ◽  
ORNA GRUMBERG ◽  
AMNON HEYMAN ◽  
TAMIR HEYMAN ◽  
ASSAF SCHUSTER
Keyword(s):  
High Performance ◽  
Large Scale ◽  
Real Life ◽  
Distributed Model ◽  
Computational Grids ◽  
Great Promise ◽  
Model Checker ◽  
Symbolic Model ◽  
Computing Platforms ◽  
Industrial Circuits

Recent advances in scheduling and networking have paved the way for efficient exploitation of large-scale distributed computing platforms such as computational grids and huge clusters. Such infrastructures hold great promise for the highly resource-demanding task of verifying and checking large models, given that model checkers would be designed with a high degree of scalability and flexibility in mind. In this paper we focus on the mechanisms required to execute a high-performance, distributed, symbolic model checker on top of a large-scale distributed environment. We develop a hybrid algorithm for slicing the state space and dynamically distribute the work among the worker processes. We show that the new approach is faster, more effective, and thus much more scalable than previous slicing algorithms. We then present a checkpoint-restart module that has very low overhead. This module can be used to combat failures, the likelihood of which increases with the size of the computing plat-form. However, checkpoint-restart is even more handy for the scheduling system: it can be used to avoid reserving large numbers of workers, thus making the distributed computation work-efficient. Finally, we discuss for the first time the effect of reorder on the distributed model checker and show how the distributed system performs more efficient reordering than the sequential one. We implemented our contributions on a network of 200 processors, using a distributed scalable scheme that employs a high-performance industrial model checker from Intel. Our results show that the system was able to verify real-life models much larger than was previously possible.

Sign in / Sign up

Export Citation Format

Share Document