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,...
Finding motifs in networks usually involves traversing through the network to enumerate all possible subgraphs of a given size, and then determining their statistical uniqueness by sampling subgraphs from many randomly generated networks that share similar features with the original network. Current algorithms for network motif analysis can be categorized into either network-centric or motif-centric...
Psychological testing is a process to know a human feeling or thought in a normal situation or a pressure situation, to know personal behavior. A psychological evaluation technique that generally uses questionnaires wrote by a specialist investigating personal behavior. In this research, we motivate on applying hidden markov models to recognize the personal behavior of human from doing the psychological...
The paper deals with algorithmic issues of the process of separating periods in the pulsed signal of the radial artery. The periodization algorithm is a set of various procedures for processing an impulse signal that can confidently allocate periods in a signal. It precedes the rest of the analysis stages. The procedures used in the algorithm are described. The expediency of their application is discussed...
The report is devoted to comparison of existing methods of detecting changes (structural breaks) in random processes designed to detect the appearance of bubbles in financial markets. The report considers and compares the estimates obtained by monitoring algorithms and posterior algorithms for the purpose of determining the existence and date of the “bubble”.
In this paper, we proposed a framework for detecting network's intrusions using Genetic Algorithm (GA) with multiple criteria. First of all, we build an intrusion detection system (IDS) using a pure GA with multiple selection methods. Then, we proposed one of the few hybrid algorithms in the literature, which is hybridized using a GA and a Tabu search (TS) algorithm. The proposed hybrid algorithm...
This paper gives a brief overview of the current state in the ant colony optimization (ACO) field of study. Furthermore, it introduces an alternative pheromone laying strategy for the ACO algorithm. In the paper, the newly introduced strategy is implemented, tested on a model problem and compared with the classical approach. A parameterized problem space generator has been introduced. The generator...
Formal verification serves as the theoretical basis for the engineering task of correctness and performance (quality) assurance. State of the art model checking, automatic specification refinement and theorem proving are employed to tackle the often undecidable (as imposed by the halting problem) task of complete verification. In this paper we formalize, prove and demonstrate a new unobtrusive way...
The controller program is the core of a safety-critical control system. However, the testing of controller program has been facing challenges because of the oracle problem. Since Proportional-Integral-Derivative (PID) controller is the most commonly used controller in the industry, this paper proposes to apply Metamorphic Testing (MT) to test it. Our experimental results show that MT is effective...
We give an adaptive algorithm that tests whether an unknown Boolean function f: {0,1}^n -≈ {0, 1} is unate (i.e. every variable of f is either non-decreasing or non-increasing) or ≥-far from unate with one-sided error and O(n^{3/4}/≥^2) many queries. This improves on the best adaptive O(n/≥)-query algorithm from Baleshzar, Chakrabarty, Pallavoor, Raskhodnikova...
Memory protocol commands and firmware features for storage solutions may function correctly by themselves, but due to implicit cross-feature dependencies they may exhibit incorrect behavior when exercised in combination with other features or commands. How can we efficiently use a set of standalone per-feature tests to test the cross-features dependencies? We define an algorithm that is based on greedy...
There is a desire to detect and assess unmanned aerial systems (UAS) with a high probability of detection and low nuisance alarm rates in numerous fields of security. Currently available solutions rely upon exploiting electronic signals emitted from the UAS. While these methods may enable some degree of security, they fail to address the emerging domain of autonomous UAS that do not transmit or receive...
Pairwise strategies have tested effectively a range of software and hardware systems. These testing strategies offer solutions that can substitute exhaustive testing. In simple terms, a pairwise testing strategy significantly minimizes large input parameter values (or configuration options) of a system into a smaller set based on pairwise interaction (or combination). Fuzzy Adaptive Teaching Learning-based...
In semi administered bunching is one of the vital errands and goes for gathering the information objects into classes (groups) to such an extent that the similitude of items inside bunches is high and the comparability of articles between bunches is Less. The dataset once in a while might be in blended nature that is it might comprise of both numeric and unmitigated sort of information. So two types...
In this work, we revisit the problem of uniformity testing of discrete probability distributions. A fundamental problem in distribution testing, testing uniformity over a known domain has been addressed over a significant line of works, and is by now fully understood. The complexity of deciding whether an unknown distribution is uniform over its unknown (and arbitrary) support, however, is much less...
A classical difficult isomorphism testing problem is to test isomorphism of p-groups of class 2 and exponent p in time polynomial in the group order. It is known that this problem can be reduced to solving the alternating matrix space isometry problem over a finite field in time polynomial in the underlying vector space size. We propose a venue of attack for the latter problem by viewing it as a linear...
Analog-to-Digital Converters (ADCs) are becoming increasingly common to be involved in most systems in Integrated Circuits (ICs). Thanks to the rapid growth of modern semiconductor technology, the performance of the data converters becomes better and better. One of the difficulties being faced is to be able to accurately and cost-effectively test the continually better performance ADCs. The conventional...
Available sensing measurements in modern industrial process include two significant characteristics: distribution and autocorrelation. Different types of sensing measurements exhibit different characteristics. Moreover, different feature extraction methods are suitable for data with corresponding characteristics. This paper proposes a novel dual-step subspace partition method in order to establish...
The interoperability testing of CTCS-3 Level Train Control System guarantees the safe operation of train running on different lines. It makes great sense to achieve automatic analysis of interoperability testing results, which could improve the efficiency and accuracy of testing. In this paper, a research was conducted on automatic analysis of testing results for on-board equipment of train control...
Three dimensional (3D) integration based on through-Silicon-Via (TSV) is currently evolving as an area of great interest in modern semiconductor industry. 3D integration provides higher performance, bandwidth and lower power consumption. But due to scaling in technology features these chips are more complex. Hence, testing of these 3D integrated circuits (ICs) is a challenging task. Effective test...
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.