Abstract The access to distributed power sources such as small hydropower (SHP) makes the distribution system present a multi-power supply pattern, which has an adverse impact on voltage-time type feeder automation (VTFA) suitable for one-side system. In view of this influence, paper proposes new terminal unit (FTU) VTFA, energy processing mode. mode, in case phase-to-phase short-circuit fault ...

In this paper, the prosodic information, a very special and important feature in Mandarin speech, is used for Mandarin telephone speech utterance verification. A two-stage strategy, with recognition followed by verification, is adopted. For keyword recognition, 59 context-independent subsyllables, i.e., 22 INITIAL’s and 37 FINAL’s in Mandarin speech, and one background/silence model, are used a...

In this paper we present an automated testing environment for the system level test of Computer Telephony Integrated applications. Its novelty consists of a coordinative test management layer that instantiates a general-purpose environment for the specification and verification of workflows in the testing domain. This results in a test environment that does not only control the individual test ...

Hardware verification and sequemio/ leSI genera/ion are aspects of the same problem. namely /0 prove the equal behavior determined by two circuit descriptions. During test generatjon, this altempi succeeds for the faulty and fault free circuil if redundancy exisis, and during verification it succeeds. if the implemenlofion is correct with regard to ils specification. This observation can be use...

In tradition probability statistics model, speaker verification threshold is instability in different test situations. A novel speaker verification method based on Support Vector Data Description (SVDD) is proposed to remedy the defect of probability statistics model. To simplify the threshold value setting and improve the robustness and recognition accuracy of the verification system, traditio...

THE PRIMARY CHALLENGE during the modern integrated circuit development process lies in coping with the progressively shorter time-to-market of the chips. Modular design through design re-use in the System-on-Chip (SoC) technology though aids in reducing the design time, the process of testing and verification of such highly complex circuits turns out to be more challenging. The overall objectiv...

Current advances in technology provide less invasive or less expensive diagnostic tests for identifying disease status. When a diagnostic test is evaluated against an invasive or expensive gold standard test, one often finds that not all patients undergo the gold standard test. The sensitivity and specificity estimates based only on the patients with verified disease are often biased. This bias...