Abstract: Assertion-Based software testing has been shown to
be a promising tool for generating test cases that reveal program
faults. Because the number of assertions may be very large for
industry-size programs, one of the main concerns to the applicability
of assertion-based testing is the amount of search time required to
explore a large number of assertions. This paper presents a new
approach for assertions exploration during the process of Assertion-
Based software testing. Our initial exterminations with the proposed
approach show that the performance of Assertion-Based testing may
be improved, therefore, making this approach more efficient when
applied on programs with large number of assertions.
Abstract: This study is purposed to develop an efficient fault
detection method for Global Navigation Satellite Systems (GNSS)
applications based on adaptive noise covariance estimation. Due to the
dependence on radio frequency signals, GNSS measurements are
dominated by systematic errors in receiver’s operating environment.
In the proposed method, the pseudorange and carrier-phase
measurement noise covariances are obtained at time propagations and
measurement updates in process of Carrier-Smoothed Code (CSC)
filtering, respectively. The test statistics for fault detection are
generated by the estimated measurement noise covariances. To
evaluate the fault detection capability, intentional faults were added to
the filed-collected measurements. The experiment result shows that
the proposed method is efficient in detecting unhealthy measurements
and improves GNSS positioning accuracy against fault occurrences.
Abstract: Supermarkets are the most electricity-intensive type of
commercial buildings. The unsuitable indoor environment of a
supermarket provided by abnormal HVAC operations incurs waste
energy consumption in refrigeration systems. This current study
briefly describes significantly solid backgrounds and proposes easyto-
use analysis terminology for investigating the impact of HVAC
operations on refrigeration power consumption using the field-test
data obtained from building automation system (BAS). With solid
backgrounds and prior knowledge, expected energy interactions
between HVAC and refrigeration systems are proposed through
Pearson’s correlation analysis (R value) by considering correlations
between equipment power consumption and dominantly independent
variables (driving force conditions).The R value can be conveniently
utilized to evaluate how strong relations between equipment
operations and driving force parameters are. The calculated R values
obtained from field data are compared to expected ranges of R values
computed by energy interaction methodology. The comparisons can
separate the operational conditions of equipment into faulty and
normal conditions. This analysis can simply investigate the condition
of equipment operations or building sensors because equipment could
be abnormal conditions due to routine operations or faulty
commissioning processes in field tests. With systematically solid and
easy-to-use backgrounds of interactions provided in the present
article, the procedures can be utilized as a tool to evaluate the proper
commissioning and routine operations of HVAC and refrigeration
systems to detect simple faults (e.g. sensors and driving force
environment of refrigeration systems and equipment set-point) and
optimize power consumption in supermarket buildings. Moreover,
the analysis will be used to further study the FDD research for
supermarkets in future.
Abstract: In new energy development, wind power has boomed.
It is due to the proliferation of wind parks and their operation in
supplying the national electric grid with low cost and clean resources.
Hence, there is an increased need to establish a proactive
maintenance for wind turbine machines based on remote control and
monitoring. That is necessary with a real-time wireless connection in
offshore or inaccessible locations while the wired method has many
flaws. The objective of this strategy is to prolong wind turbine
lifetime and to increase productivity. The hardware of a remote
control and monitoring system for wind turbine parks is designed. It
takes advantage of GPRS or Wi-Max wireless module to collect data
measurements from different wind machine sensors through IP based
multi-hop communication. Computer simulations with Proteus ISIS
and OPNET software tools have been conducted to evaluate the
performance of the studied system. Study findings show that the
designed device is suitable for application in a wind park.
Abstract: We used high-precision Global Positioning System
(GPS) to geodetically constrain the motion of stations in the
Darjiling-Sikkim Himalayan (DSH) wedge and examine the
deformation at the Indian-Tibetan plate boundary using IGS
(International GPS Service) fiducial stations. High-precision GPS
based displacement and velocity field was measured in the DSH
between 1997 and 2009. To obtain additional insight north of the
Indo-Tibetan border and in the Darjiling-Sikkim-Tibet (DaSiT)
wedge, published velocities from four stations J037, XIGA, J029 and
YADO were also included in the analysis. India-fixed velocities or
the back-slip was computed relative to the pole of rotation of the
Indian Plate (Latitude 52.97 ± 0.22º, Longitude - 0.30 ± 3.76º, and
Angular Velocity 0.500 ± 0.008º/ Myr) in the DaSiT wedge.
Dislocation modelling was carried out with the back-slip to model the
best possible solution of a finite rectangular dislocation or the
causative fault based on dislocation theory that produced the
observed back-slip using a forward modelling approach. To find the
best possible solution, three different models were attempted. First,
slip along a single thrust fault, then two thrust faults and in finally,
three thrust faults were modelled to simulate the back-slip in the
DaSiT wedge. The three-fault case bests the measured displacements
and is taken as the best possible solution.
Abstract: Most of the PV systems are designed with transformer for safety purpose with galvanic isolation. However, the transformer is big, heavy and expensive. Also, it reduces the overall frequency of the conversion stage. Generally PV inverter with transformer is having efficiency around 92%–94% only. To overcome these problems, transformerless PV system is introduced. It is smaller, lighter, cheaper and higher in efficiency. However, dangerous leakage current will flow between PV array and the grid due to the stray capacitance. There are different types of configurations available for transformerless inverters like H5, H6, HERIC, oH5, and Dual paralleled buck inverter. But each configuration is suffering from its own disadvantages like high conduction losses, shoot-through issues of switches, dead-time requirements at zero crossing instants of grid voltage to avoid grid shoot-through faults and MOSFET reverse recovery issues. The main objective of the proposed transformerless inverter is to address two key issues: One key issue for a transformerless inverter is that it is necessary to achieve high efficiency compared to other existing inverter topologies. Another key issue is that the inverter configuration should not have any shoot-through issues for higher reliability.
Abstract: In this paper, for detection of inclined eccentricity in an induction motor, time–frequency analysis of the stator startup current is carried out. For this purpose, the discrete wavelet transform is used. Data are obtained from simulations, using winding function approach. The results show the validity of the approach for detecting the fault and discriminating with respect to other faults.
Abstract: This paper deals with the assessment of faulted area around an industrial customer connected to a particular electric grid that will cause a certain sag magnitude on this customer. The faulted (critical or exposed) area’s length is calculated by adding all line lengths in the neighborhood of the critical node (customer). The applied method is the so-called Method of Critical Distances. By using advanced short-circuit analysis, the Critical Area can be accurately calculated for radial and meshed power networks due to all symmetrical and asymmetrical faults. For the demonstration of the effectiveness of the proposed methodology, a study case is used.
Abstract: Historically, actuators’ redundancy was used to deal
with faults occurring suddenly in flight systems. This technique was
generally expensive, time consuming and involves increased weight
and space in the system. Therefore, nowadays, the on-line fault
diagnosis of actuators and accommodation plays a major role in the
design of avionic systems. These approaches, known as Fault
Tolerant Flight Control systems (FTFCs) are able to adapt to such
sudden faults while keeping avionics systems lighter and less
expensive. In this paper, a (FTFC) system based on the Geometric
Approach and a Reconfigurable Flight Control (RFC) are presented.
The Geometric approach is used for cosmic ray fault reconstruction,
while Sliding Mode Control (SMC) based on Lyapunov stability
theory is designed for the reconfiguration of the controller in order to
compensate the fault effect. Matlab®/Simulink® simulations are
performed to illustrate the effectiveness and robustness of the
proposed flight control system against actuators’ faulty signal caused
by cosmic rays. The results demonstrate the successful real-time
implementation of the proposed FTFC system on a non-linear 6 DOF
aircraft model.
Abstract: This paper presents a fault identification, classification and fault location estimation method based on Discrete Wavelet Transform and Adaptive Network Fuzzy Inference System (ANFIS) for medium voltage cable in the distribution system.
Different faults and locations are simulated by ATP/EMTP, and then certain selected features of the wavelet transformed signals are used as an input for a training process on the ANFIS. Then an accurate fault classifier and locator algorithm was designed, trained and tested using current samples only. The results obtained from ANFIS output were compared with the real output. From the results, it was found that the percentage error between ANFIS output and real output is less than three percent. Hence, it can be concluded that the proposed technique is able to offer high accuracy in both of the fault classification and fault location.
Abstract: This paper presents the implementation of Artificial Bees Colony (ABC) algorithm in solving Directional OverCurrent Relays (DOCRs) coordination problem for near-end faults occurring in fixed network topology. The coordination optimization of DOCRs is formulated as linear programming (LP) problem. The objective function is introduced to minimize the operating time of the associated relay which depends on the time multiplier setting. The proposed technique is to taken as a technique for comparison purpose in order to highlight its superiority. The proposed algorithms have been tested successfully on 8 bus test system. The simulation results demonstrated that the ABC algorithm which has been proved to have good search ability is capable in dealing with constraint optimization problems.
Abstract: Damping of inter-area electromechanical oscillations is one of the major challenges to the electric power system operators. This paper presents Gravitational Search Algorithm (GSA) for tuning Static Synchronous Series Compensator (SSSC) based damping controller to improve power system oscillation stability. In the proposed algorithm, the searcher agents are a collection of masses which interact with each other based on the Newtonian gravity and the laws of motion. The effectiveness of the scheme in damping power system oscillations during system faults at different loading conditions is demonstrated through time-domain simulation.
Abstract: This work evaluates the ability of OBT for detecting parametric faults in continuous-time filters. To this end, we adopt two filters with quite different topologies as cases of study and a previously reported statistical fault model. In addition, we explore the behavior of the test schemes when a particular test condition is changed. The new data reported here, obtained from a fault simulation process, reveal a lower performance of OBT not observed in previous work using single-deviation faults, even under the change in the test condition.
Abstract: In this work, the main problem considered is the
detection and the isolation of the actuator fault. A new formulation of
the linear system is generated to obtain the conditions of the actuator
fault diagnosis. The proposed method is based on the representation
of the actuator as a subsystem connected with the process system in
cascade manner. The designed formulation is generated to obtain the
conditions of the actuator fault detection and isolation. Detectability
conditions are expressed in terms of the invertibility notions. An
example and a comparative analysis with the classic formulation
illustrate the performances of such approach for simple actuator fault
diagnosis by using the linear model of nuclear reactor.
Abstract: In the literature, surfing technique has been proposed for single ended wave-pipelined serial interconnects to increase the data transfer rate. In this paper a novel surfing technique is proposed for differential wave-pipelined serial interconnects, which uses a 'Controllable inverter pair' for surfing. To evaluate the efficiency of this technique, a transceiver with transmitter, receiver, delay locked loop (DLL) along with 40mm metal 4 interconnects using the proposed surfing technique is implemented in UMC 180nm technology and their performances are studied through post layout simulations. From the study, it is observed that the proposed scheme permits 1.875 times higher data transmission rate compared to the single ended scheme whose maximum data transfer rate is 1.33 GB/s. The proposed scheme has the ability to receive the correct data even with stuck-at-faults in the complementary line.
Abstract: Cavitation is one of the most well-known process faults that may occur in different industrial equipment especially centrifugal pumps. Cavitation also may happen in water pumps and turbines. Sometimes cavitation has been severe enough to wear holes in the impeller and damage the vanes to such a degree that the impeller becomes very ineffective. More commonly, the pump efficiency will decrease significantly during cavitation and continue to decrease as damage to the impeller increases. Typically, when cavitation occurs, an audible sound similar to ‘marbles’ or ‘crackling’ is reported to be emitted from the pump. In this paper, the most effective monitoring items and techniques in detecting cavitation discussed in details. Besides, some successful solutions for solving this problem for sea water vertical Centrifugal lift Pump discussed through a case history related to Iran oil industry. Furthermore, balance line modification, strainer choking and random resonance in sea water pumps discussed. In addition, a new Method for diagnosing mechanical conditions of sea water vertical Centrifugal lift Pumps introduced. This method involves disaggregating bus current by device into disaggregated currents having correspondences with operating currents in response to measured bus current. Moreover, some new patents and innovations in mechanical sea water pumping and cooling systems discussed in this paper.
Abstract: Various studies have showed that about 90% of single line to ground faults occurred on High voltage transmission lines have transient nature. This type of faults is cleared by temporary outage (by the single phase auto-reclosure). The interval between opening and reclosing of the faulted phase circuit breakers is named “Dead Time” that is varying about several hundred milliseconds. For adjustment of traditional single phase auto-reclosures that usually are not intelligent, it is necessary to calculate the dead time in the off-line condition precisely. If the dead time used in adjustment of single phase auto-reclosure is less than the real dead time, the reclosing of circuit breakers threats the power systems seriously. So in this paper a novel approach for precise calculation of dead time in power transmission lines based on the network equivalencing in time domain is presented. This approach has extremely higher precision in comparison with the traditional method based on Thevenin equivalent circuit. For comparison between the proposed approach in this paper and the traditional method, a comprehensive simulation by EMTP-ATP is performed on an extensive power network.
Abstract: Real-time or in-line process monitoring frameworks are designed to give early warnings for a fault along with meaningful identification of its assignable causes. In artificial intelligence and machine learning fields of pattern recognition various promising approaches have been proposed such as kernel-based nonlinear machine learning techniques. This work presents a kernel-based empirical monitoring scheme for batch type production processes with small sample size problem of partially unbalanced data. Measurement data of normal operations are easy to collect whilst special events or faults data are difficult to collect. In such situations, noise filtering techniques can be helpful in enhancing process monitoring performance. Furthermore, preprocessing of raw process data is used to get rid of unwanted variation of data. The performance of the monitoring scheme was demonstrated using three-dimensional batch data. The results showed that the monitoring performance was improved significantly in terms of detection success rate of process fault.
Abstract: This paper deals with the evaluation of different detection strategies used in power electronic devices as a critical element for an effective mitigation of voltage disturbances. The effectiveness of those detection schemes in the mitigation of disturbances such as voltage sags by a Solid-State Transfer Switch is evaluated through simulations. All critical parameters affecting their performance is analytically described and presented. Moreover, the effect of fast detection of sags on the overall performance of STS is analyzed and investigated.
Abstract: Fault detection determines faultexistence and detecting
time. This paper discusses two layered fault detection methods to
enhance the reliability and safety. Two layered fault detection methods
consist of fault detection methods of component level controllers and
system level controllers. Component level controllers detect faults by
using limit checking, model-based detection, and data-driven
detection and system level controllers execute detection by stability
analysis which can detect unknown changes. System level controllers
compare detection results via stability with fault signals from lower
level controllers. This paper addresses fault detection methods via
stability and suggests fault detection criteria in nonlinear systems. The
fault detection method applies tothe hybrid control unit of a military
hybrid electric vehicleso that the hybrid control unit can detect faults
of the traction motor.