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.
Autonomous Surface Vehicles (ASVs) rely on two layers of guidance for effective path planning: global and local methods. Global methods require a macroscopic view of the mission's goals in order to efficiently navigate an environment. For this research, different global path planner algorithms are explored both in simulation and in field tests to observe path planner qualities for modularity, practicality,...
Automated display testing for visual unpleasant and erroneous navigation sequences is an important step to preserve a high quality standard for premium vehicle manufacturers. This paper presents a novel error detection algorithm for navigation sequences based on novelty detection on motion parameters obtained from real world navigation sequences. Motion parameters are accumulated through key point...
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...
Multi-view data is very popular in real-world applications, as different view-points and various types of sensors help to better represent data when fused across views or modalities. Samples from different views of the same class are less similar than those with the same view but different class. We consider a more general case that prior view information of testing data is inaccessible in multi-view...
One of the challenges in IT Service Management is an assessment of an innovation benefit introduced into service delivery on performance of IT System Administrator (SA). The question is especially complex when variability of the service requests load is taken into account. We used the sequential probability ratio test to assess effects of innovation for a case when a load of the service teams is constant...
We consider the problem of multi-class classification when there are missing entries in both the training samples and the test samples. A modified version of the nearest subspace classifier is proposed and analyzed to handle missing data. We show the performance of the nearest subspace classifier is close to its counterpart when no missing data are present as long as the probability of observing each...
Web applications evolve at a very fast rate, to accommodate new functionalities, presentation styles and interaction modes. The test artefacts developed during web testing must be evolved accordingly. Among the other causes, one critical reason why test cases need maintenance during web evolution is that the locators used to uniquely identify the page elements under test may fail or may behave incorrectly...
An important aspect of traceability experiments is the ability to compare techniques. In order to assure proper comparison, it is necessary to perform statistical analysis of the dependent variables collected from technique application. Currently, there is a lack of components in TraceLab to support such analysis. The Software Verification and Validation Research Laboratory (SVVRL) and the Statistics...
Optimization of the trading strategy with application of the genetic algorithm methodology is discussed. The trading strategy design in the context of robustness criteria is analyzed. The trading system optimization is performed using technical analysis and genetic optimization software.
The traditional data-driven prognostic approach is to construct multiple candidate algorithms using a training data set, evaluate their respective performance using a testing data set, and select the one with the best performance while discarding all the others. This approach has three shortcomings: (i) the selected standalone algorithm may not be robust, i.e., it may be less accurate when the real...
Sequence generation is a key technology in protocol robustness testing. WANG Le-chun proposed a robustness sequence generation algorithm based on FSM, but if the algorithm is directly used in EFSM, the test sequence may be unenforceable. For this problem, in this paper the original algorithm is improved by adding changing parameter, replacing, removing the three kinds of processing methods, robustness...
The paper presents the preliminary architectural design of an automated boundary value testing tool for applicable 3-variable functions [1]. Specifically, this paper will discuss aspects of boundary value analysis test case generation and execution. A preliminary architectural design and a detailed design description are included.
This paper proposes Taguchi's method for design of experiments to test market splitting algorithm of an electric power exchange. Such a mechanism is required because price-volume pairs of a trader are usually bound by confidentiality requirement and hence not available as test data. We also propose a novel and simple market splitting heuristic considering congestion management problem in a meshed...
In e-learning environment, Web-based testing system can help to evaluate learners learning status precisely. To meet the needs of multiple assessment criteria, a new test-sheet construction model was proposed. Based on the proposed model, a differential evolution algorithm with effective coding strategy was designed to generate high quality test-sheets for Web- based testing. In simulation experiments,...
A cyclic edge cutset is an edge cutset whose deletion disconnects the graph such that two of the components contain a cycle respectively. The cyclic edge connectivity clambda(G) is the minimum cardinality of all the cyclic edge cutsets of G. There is no polynomial time algorithm to determine the cyclic edge connectivity of a graph. In this paper,we develop a polynomial time algorithm to determine...
The implementation of complex functionality in low-power nano-CMOS technologies leads to enhance susceptibility to parametric disturbances (environmental, and operation-dependent). The purpose of this paper is to present recent improvements on a methodology to exploit power-supply voltage and temperature variations in order to produce fault-tolerant structural solutions. First, the proposed methodology...
We have investigated a technique for recognising faces invariant of facial expressions. We apply multi-linear tensor algebra, which subsumes linear algebra, to analyse and recognise 3D face surfaces. This potent framework possesses a remarkable ability to deal with the shortcomings of principle component analysis in less constrained situations. A set of vector spaces can be used to represent the variation...
Encryption algorithms could suffer fault injection attacks in order to obtain the secret key. In this paper, a specific protection for any round-based encryption algorithm is presented, analyzed and tested. It is providing a high degree of robustness together with a small penalty in the algorithm throughput when dealing with specific intentional attacks. Experimental results on advanced encryption...
Transient faults have become increasingly observable in combinational logic. This is due to the weakening of some inherent protective mechanisms that logic traditionally holds against such flawed spurious events. One of the aforementioned mechanisms relates to the propagation of transient faults along sensitizable paths. Existing literature that relies on logic simulation under estimates the number...
The Niagara2 CMT system-on-chip incorporates many design-for-test features to achieve high test coverage for both arrays and logic. All the arrays are tested using memory built-in-self-test. This is supplemented with scan-based testing. Logic is tested with standard ATPG for slow-speed defects and extensive use of transition test, along with logic built-in-self-test for the SPARC cores, for at-speed...
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.