The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In the process of testing the arrester, cranes, lift trucks are normally required in order to test the arresters by removing the high voltage lead conductors. However it's normally a time-consuming, costly, heavy load word with potential risk to the technicians and equipment in the field. Therefore efforts are taken by the researchers to figure out a way to test the MOA (metal-oxide arrester) without...
Pattern recognition (PR) based myoelectric hand control has become a research focus in the field of rehabilitative engineer and intelligent control. However, the state of the art method is hardly adopted for clinical use because of signal interfered by shift, fatigue and user-unfriendly of retraining. The aim of this study is to evaluate the performance of different kinds of online algorithms in classifying...
Point matching is an important component of image registration. Recent years, Coherent Point Drift (CPD) method becomes a very popular point matching approach. CPD treats point matching as a probability estimation problem and speeds up the process of matching a lot. In this method, one set of points are thought to be sampled from a Gaussian Mixture Model (GMM), which is centered by the other set of...
This paper proposes a requirement analysis approach to periodic control systems that are widely used as one of the real time systems. By regulating the initial requirement documents with key words in natural language, we compile the regulated requirement documents into an intermediate model specified by SPARDL language with formal syntax and semantics. To make the requirement executable, a prototype...
The pool-based active learning intends to collect the samples into the pool firstly, and selects the best informative sample from it which has no label to add into the training sets for updating the classifier secondly. This paper proposed a new method based on the incremental decision tree algorithm to measure the ambiguity of the unlabeled samples for the sample selection in the active learning.
One difficulty of automated test case generation is to deal with compositional units that brings in compositional space explosion of program states. We present a new dynamic execution framework which analyzes program behaviors dynamically for automatic test inputs generation. We utilize forward slicing to explore those functions affecting conditional predicates in program under test.The functions...
Test data generation is one of the important tasks during software testing. This paper proposes an approach to generating test cases automatically for the unit test of C programs with derived types including pointers, structures and arrays. Our approach combines symbolic execution and concrete execution. The approach captures operations on variables precisely by concrete execution, and thus it is...
With popular application of direct current (DC) transmission system, the DC electronic current transformer (ECT) is studied broadly. But the worse exchangeability and nonlinearity, and the stability of long-term operation all still in exist for DC ECT. So in this paper the on-line calibration method is proposed in order to solve existed problems. The giant magnetoresistance based DC ECT is proposed...
This paper proposes a realistic low cost fault coverage metric targeting both global and local delay faults. It suggests the test strategy of generating a different number of the longest paths for each line in the circuit while maintaining high fault coverage. This metric has been integrated into the CodGen ATPG tool. Experimental results show significant reductions in test generation time and vector...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.