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 this paper, we review and prove certain properties regarding t-way coverage when covering arrays are merged together to form larger arrays. Moreover, we build upon these theoretical observations to formulate a procedure on how, from the input space model of a composed SUT and t-way test suites for its components, to create a larger and unified t-way test suite. The proposed modelling methodologies...
In recent years, statistical model checking (SMC) has become increasingly popular, because it scales well to larger stochastic models and is relatively simple to implement. SMC solves the model checking problem by simulating the model for finitely many executions and uses hypothesis testing to infer if the samples provide statistical evidence for or against a property. Being based on simulation and...
In this work, a stable marching-on-in-time method is presented to obtain scattering response from arbitrary wire structures illuminated by a Gaussian plane wave directly in the time domain. Contrary to all the available time domain algorithms till now, the present procedure is also capable of handling multiple excitations in a trivial manner. The new procedure is based on the conventional method of...
We present a process for sound conformance testing of cyber-physical systems, which involves functional but also non-functional aspects. The process starts with a hybrid model of cyber-physical systems in which the correct behavior of the system (at its interface level) is specified. Such a model captures both discrete behavior and evolution of continuous dynamics of the system in time. Since conformance...
Detection of defective items from a colossal number of items, commonly referred to as "Group Testing", has been widely studied because of its promising applications in various fields. To detect at most d defective items from N items, a subset of N items is formed into a test and tested. If the total number of tests needed is t, a set of t tests can be seen as a t × N measurement matrix,...
Multi-Label classification aims to classify an example that can belong to many classes. Although One-versus-All (OVA) is the most common approach, our prior work has shown that the proposed One-versus-One (OVO) always gives higher prediction accuracy than OVA. However, OVO requires an extremely high computational cost when there are a large number of labels. In this paper, we apply our OVO SVMs on...
This paper provides information on methods of measuring pilots' reactions to a changed flight parameter while being tested on simulators. The calculations are made on the grounds of mathematical algorithms modeling human behavior. The prepared mathematical models of behavior are based on transfer functions. The subsequent analysis aimed at acquiring time constants that shall appropriately characterize...
In this paper,[2] analyzed the interval optimality rejected level in k-phase Erlang service pattern. Here the queueing system consists in k-phase Erlang arrival pattern and the parameters are considered in TFN's. First we construct the inverse membership of the steady state performance measures. Second we construct the pairs of MILP to calculate the lower and upper bound of the performance measure...
The effective integrated approach for modeling of functional devices (FD), airborne computers and embedded systems on the devices design stage is proposed. This approach can be used at the manufacturers, which have a full production cycle, especially in the following industrial systems: instruments for onboard information processing and control, space systems, aviation systems and others. In the traditional...
This paper proposes analytical and numerical models for the measurement process of Eddy-Current (EC) non-destructive testing. EC inspection represents an essential method for the electromagnetic nondestructive evaluation (NDE) of cracks in conductive materials, with its main applications being found in the examination of aircraft, particle accelerators, and other engineering constructions. The method...
The purpose of this study was to study a relation between the electrical conductivity (EC) and the pH of the hydroponic nutrient mixing system and to find out EC and pH adjusting equation by using linear regression analysis in order to generate the mathematical equation. In the experiment use Green oak information to set EC and pH target in equation for adjusting. From the experiment researcher found...
Fitbit devices are one of the most popular wearable activity monitors in the consumer market. They are considerably cheaper than many of their clinical grade counterparts. However, they utilize proprietary algorithms for estimation of physical activity (PA). This study aims to model the measures of PA as reported by the ActiGraph GT3X using Fitbit measures of steps, METs, and intensity level. Such...
In this paper we study the masking effect on Computational Auditory Scene Analysis (CASA) based systems for single channel speech separation (SCSS). In this study, we focus on the benchmark masks of the literature that are namely: the ideal binary mask (IBM), the binary mask (BM) and soft mask. Each system is evaluated objectively and subjectively in order to highlight the effect of each mask on the...
Recently, Search Based Software Testing (SBST) research has gained much attention in producing the optimal solution for the optimization problem by automating the test data generation for the branch coverage criterion. Particle Swarm Optimization (PSO) has been emerged for obtaining optimal solution for the test data generation problem because of its easy implementation, fast convergence and few parameters...
Affiliate marketing (AM) is a popular and cost-effective marketing model for e-commerce practitioners to drive visitor traffic, to their e-commerce sites. Nevertheless, this popular marketing model is associated with inherent risks and known frauds, which could have a detrimental effect on its popularisation. Many studies have been carried out to explore risks and frauds that are typically associated...
Wind tunnels used for testing purposes help in analysing the forces, pressure fields and the flow patterns of air around a test specimen. This helps improving the specimen body so as to optimize the performance in the actual working model. The tests conducted are at high as well as low velocity to simulate the natural working environment when the body is in motion in the fluid. This involves maintaining...
Crouch Gait (CG) can be observed in the hemiplegia persons after ischemic stroke. Walking with Crouch Gait (CG) shown a large gaits disorder. This paper explores the use of adaptive wavelet extreme learning machine (AW-ELM) to classifying different gait conditions for hemiplegia and healthy subjects. Three participants having a Crouch Gait problem with categories of Mild, Moderate, and Severe gait...
The convergence of public data and statistical modeling has created opportunities for public safety officials to prioritize the deployment of scarce resources on the basis of predicted crime patterns. Current crime prediction methods are trained using observed crime and information describing various criminogenic factors. Researchers have favored global models (e.g., of entire cities) due to a lack...
One of the most critical and costly decisions made in emergency departments (EDs) is whether to admit a patient into the hospital. These decisions require investment in time for patient testing and treatment, delaying care to other patients. Short-stay units (SSUs) are an alternative to discharging or fully admitting ED patients, allowing extended patient observation. However, little is understood...
In reliability engineering, especially in the context of reliability test design, it is important to determine how many product samples should be put into field test to evaluate product reliability level or verify whether the product reliability satisfy the predefined requirement in the development contract. In this paper, the determination method on sample size under the condition of Bayesian sequential...
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.