1,595 research outputs found
Partial discharge denoising for power cables
Partial discharge (PD) diagnostics is considered a major and effective tool for the monitoring of insulating conditions of power cables. As such, a large amount of off-line or online PD measurements have been deployed in power cables during the past decades. However, challenges still exist in PD diagnostics for power cables. Noise is one of the challenges involved in PD measurement. This thesis develops new algorithms based on the characteristics of both PD signals and noise to improve the effectiveness of wavelet-based PD denoising. In the meantime, it presents new findings in the application of empirical mode decomposition (EMD) in PD denoising. Wavelet-based technique has received high attention in the area of PD denoising, it still faces challenges, however, in wavelet selection, decomposition scale determination, and noise estimation. It is therefore the first area of interest in this thesis to improve the effectiveness of existing wavelet-based technique in PD detection by incorporating proposed algorithms. These new algorithms were developed based on the difference of entropy between transformed PD signals and noise, and the sparsity of transformed PD signals corrupted by noise. One concern commonly expressed by critics of wavelet-based technique is a pre-defined wavelet is applied in wavelet-based technique. EMD is an algorithm that can decompose a signal based on the signal itself. Thus, the second area of interest in this thesis is to further investigate the application of EMD in PD denoising; a technique that does not require the selection of a pre-defined signal to represent the "unknown" signal of interest. A new method for relative mode selection (RMS) was proposed based on the entropy of each intrinsic mode function (IMF). Although this new method cannot outperform the existing ones, it reveals that RMS is not as important as claimed in the application of EMD in signal denoising. Also, PD signals, especially those with lower magnitudes, can receive serious distortion through EMD-based denoising. Finally, comparisons between wavelet-based and EMD-based denoising were implemented in the following aspects, i.e., executing time, distortion, effectiveness, adaptivity and robustness. Results unveil that improved wavelet-based technique is more preferable as it can present better performance in PD denoising.Partial discharge (PD) diagnostics is considered a major and effective tool for the monitoring of insulating conditions of power cables. As such, a large amount of off-line or online PD measurements have been deployed in power cables during the past decades. However, challenges still exist in PD diagnostics for power cables. Noise is one of the challenges involved in PD measurement. This thesis develops new algorithms based on the characteristics of both PD signals and noise to improve the effectiveness of wavelet-based PD denoising. In the meantime, it presents new findings in the application of empirical mode decomposition (EMD) in PD denoising. Wavelet-based technique has received high attention in the area of PD denoising, it still faces challenges, however, in wavelet selection, decomposition scale determination, and noise estimation. It is therefore the first area of interest in this thesis to improve the effectiveness of existing wavelet-based technique in PD detection by incorporating proposed algorithms. These new algorithms were developed based on the difference of entropy between transformed PD signals and noise, and the sparsity of transformed PD signals corrupted by noise. One concern commonly expressed by critics of wavelet-based technique is a pre-defined wavelet is applied in wavelet-based technique. EMD is an algorithm that can decompose a signal based on the signal itself. Thus, the second area of interest in this thesis is to further investigate the application of EMD in PD denoising; a technique that does not require the selection of a pre-defined signal to represent the "unknown" signal of interest. A new method for relative mode selection (RMS) was proposed based on the entropy of each intrinsic mode function (IMF). Although this new method cannot outperform the existing ones, it reveals that RMS is not as important as claimed in the application of EMD in signal denoising. Also, PD signals, especially those with lower magnitudes, can receive serious distortion through EMD-based denoising. Finally, comparisons between wavelet-based and EMD-based denoising were implemented in the following aspects, i.e., executing time, distortion, effectiveness, adaptivity and robustness. Results unveil that improved wavelet-based technique is more preferable as it can present better performance in PD denoising
TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems
Trigger-action programming (TAP) is a popular end-user programming framework
that can simplify the Internet of Things (IoT) automation with simple
trigger-action rules. However, it also introduces new security and safety
threats. A lot of advanced techniques have been proposed to address this
problem. Rigorously reasoning about the security of a TAP-based IoT system
requires a well-defined model and verification method both against rule
semantics and physical-world states, e.g., concurrency, rule latency, and
connection-based interactions, which has been missing until now. This paper
presents TAPInspector, a novel system to detect vulnerabilities in concurrent
TAP-based IoT systems using model checking. It automatically extracts TAP rules
from IoT apps, translates them into a hybrid model with model slicing and state
compression, and performs model checking with various safety and liveness
properties. Our experiments corroborate that TAPInspector is effective: it
identifies 533 violations with 9 new types of violations from 1108 real-world
market IoT apps and is 60000 times faster than the baseline without
optimization at least.Comment: 14 pages, 5 figure
How Variations in Business Systems Affect the Innovativeness of Chinese Firms:Historical Background, Framework, and Case Studies
- …