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.
We propose a method for generating interpretable descriptions of inputs that cause faults in high-dimensional software interfaces. Our method models the set of fault-triggering inputs as a Cartesian product and identifies this set by actively querying the system under test. The active sampling scheme is very efficient in the common case that few fields in the interface are relevant to causing the...
A test-ecosystem is a configurable, modularized and scalable technology platform which combines test-relevant building blocks like roles, processes, strategies, methods, tools and technology from multiple sources and multiple vendors. Our objective is to provide an end-to-end testing environment for self-organizing and adaptive systems. Users customize test-ecosystem instances to suit needs dependent...
In this paper, a novel sEMG decoder was proposed for estimating the detailed human intentions. For the use in practical applications, an sEMG decoder needs to have a high decoding performance, a robustness to the changes of electrode positions, and a capability to extract detailed and continuous intentions behind human motions. The new decoder satisfies all these needs by using a new supervised feature...
This paper examines a two-player, non-zero-sum, sequential detection game motivated by problems arising in the cyber-security domain. A defender agent seeks to sequentially detect the presence of an attacker agent via the drift of a stochastic process. The attacker strategically chooses the drift of the observed stochastic process, while his payoff increases in both the drift of the stochastic process...
Standard methods of analyzing Bell's inequalities are fundamentally flawed when it comes to ruling out local realism. Here we present a powerful analysis technique that can falsify local realism in a certifiable manner.
The concept of software testability has been researched in several different dimensions, however the relation of this important concept with other quality attributes is a grey area where existing evidence is scattered. The objective of this study is to present a state-of-the-art with respect to issues of importance concerning software testability and an important quality attribute: software robustness...
Matching of repeat optical satellite images is a powerful tool for the analysis of glacier movement. Due to the rapid growth of earth observation data archives there is an increasing potential for regional glacier flow studies on a decadal scale. However, exploitation of these image collections is hindered by the currently manual pre- and post-processing steps required. Automating these steps, and...
In this paper, a new coordinated control method for Battery Energy Storage Systems (BESS) to smooth long-term and short-term wind power fluctuations is proposed. Model Predictive Control (MPC) optimization is integrated with Low Pass Filter (LPF) in the proposed method. To enhance the robustness of MPC optimization, which is adversely impacted by wind power prediction errors, Taguchi's Orthogonal...
Testing preorders on component specifications ensure that replacing a specification by a refined one does not introduce unwanted behaviour in an overall system. Considering deadlocks as unwanted, the preorder can be characterized by a failure semantics on labelled transition systems (LTS). In previous work, we have generalized this to modal transition systems (MTS) with a new, MTS-specific idea. In...
High-power, bidirectional DC/DC converters are widely used in electric vehicles. As vehicle volumes increase, the robust and efficient testing of these converters will be key to high reliability and low cost. A highly configurable, closed-loop, regenerative burn-in test system is presented here that reduces power supply and load requirements to less than 1/10th of those required for conventional test...
For the reliability considerations, a 60-V power p-channel LDMOS transistor co-designed with none-OD zone in the bulk end by a 0.25-μm process will be evaluated in this paper. From the experimental data found that as the none-OD zones inserting, meanwhile the none-OD zone percentage was increased, the anti-ESD capability will be strengthened too, i.e. its It2 value is improved by using this manner...
In order to effectively improve the ESD capability of a p-channel lateral-diffused MOS device, we aimed at the anti-ESD protection capability of the different layout types in the drain-side for the 0.25-μm 60-V high voltage p-channel LDMOS devices. Here, a drain-side pnp arranged-type in a pLDMOS-SCR parasitic structure is used to investigate the layout placement effect. At first, the layout type...
The HiNCube project ran from 2006 to 2013 where a group of students from Narvik University College in Norway designed, built and launched a pico-satellite. Unfortunately, no communication link was established after launch, and this paper details the overall design and highlights many of the different problems and challenges that arose through the project.
In hyerspectral image analysis, representation-based classification is a novel concept — a testing pixel is linearly represented by using the labeled samples. The weight coefficients can be solved by an ℓ1-norm penalty for sparse representation, or solved by an ℓ2-norm penalty for collaborative representation. In this work, a convex combination of these two representations using the elastic net model...
Multi-modality data recently attract more and more research attention. In this paper, we concentrate on a very interesting problem — image classification with missing modality. Specifically, only images in one modality as well as a relevant auxiliary database are accessible during the training phase, which is significantly different from general image classification under the same modality. To this...
In this paper, a voting based weighted online sequential extreme learning machine (VWOS-ELM) is proposed for class imbalance learning (CIL). VWOS-ELM is the first sequential classifier that can tackle the class imbalance problem in multi-class data streams. Utilizing WOS-ELM and the recently proposed voting based online sequential extreme learning machine (VOS-ELM) method, VWOS-ELM adapts better to...
The test complexity of high density DRAMs increases with technology evolution, due to a larger impact of process variation and weak defects. In particular, resistive open defects turn to be a major concern in DRAMs. Our analysis and simulation results show that an important phenomenon exists, charge accumulation, which is currently not considered in DRAM testing. Charge accumulation occurs in DRAM...
In this paper, we propose a patch based face recognition framework. First, a face image is iteratively divided into multi-level patches and assigned hierarchical labels. Second, local classifiers are built to learn the local prediction of each patch. Third, the hierarchical relationships defined between local patches are used to obtain the global prediction of each patch. We develop three ways to...
In this paper a method is presented for copyright protection in digital images. Copyright protection is achieved by embedding an invisible signal, known as digital signature or watermark, in the digital image. The method proposed in this paper casts the signature in the frequency domain by slightly modifying the values of randomly selected DC coefficients of the Discrete Cosine Transform (DCT) of...
In hypothesis testing, the phenomenon of label noise, in which hypothesis labels are switched at random, contaminates the likelihood functions. In this paper, we develop a new method to determine the decision rule when we do not have knowledge of the uncontaminated likelihoods and contamination probabilities, but only have knowledge of the contaminated likelihoods. In particular we pose a minimax...
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.