Xiuqin Wang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Without any information on the mixing system, the blind source separation (BSS) technique efficiently separates mixed signals. The approach called evolutionary algorithms was used for the BSS problem in this paper. The fitness function based on the feature distance and kurtosis was proposed to measure the degree of the separated signals in this paper.(More)
The operation process of equipment and personnel controls for power plant are recorded in the real-time data. It could provide us information for decision making, maintenance and incident handling. Instantaneous generator output power is an important parameter which shows the operation status of the adjusting and control equipment. The information of data(More)
Weighted directed graph, being the abstract model of traffic network structure, is the hotspot of data mining research currently. This paper aims at mining weighted directed graph, two kinds of new algorithms are proposed and a connected complete subgraph could be obtained. The first algorithm WDSpan compares the value of weight on the basis of using(More)
All-solution Boolean satisfiability (SAT) solver has been widely used throughout the EDA industry fields, such as formal verification, circuit synthesis and automatic test pattern generation. Exploiting structure information especially observability donpsilat cares(ODCs) of circuits can improve the efficiency of SAT solvers. The authors converted the ODC(More)
Boolean satisfiability is a NP-hard problem in computer theoretic science. There are two types of SAT solvers, random local solver and DPLL-based complete solver. Some people have proposed hybrid SAT solvers that combined the advantage of them both. They have successfully applied them to solve large or hard random SAT problems and circuit related problems.(More)
  • 1