Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
In machine recognition the benefit of utilizing multiple evidence lies in the combination schemes employed. In speaker verification (SV) tasks the score level combination scheme is widely used. The score level combination scheme provides interesting improvements in the overall performance, but when evidence from different features are complementary in nature. It is conjecture that collectively contributed...
There are many commercially available rheometric instruments that link bolus formulation and flow characteristics to quantitative engineering metrics. However, the exploration of these relationships does not necessarily capture the macroscale of bolus transport or arguably the most important interaction: what pressure the alimentary tract imparts on a bolus during swallowing, and to what end is viscosity...
Obesity is increasing globally and is a risk factor for many chronic conditions such as such as heart disease, sleep apnea, type-2 diabetes, and some cancers. Research shows that food logging is beneficial in promoting weight loss. Crowdsourcing has also been used in promoting dietary feedback for food logging. This work investigates the feasibility of crowdsourcing to provide support in accurately...
This paper presents a generalized modeling framework of fault detection and correction processes with bivariate distributions. The presented framework includes almost all existing software reliability growth models, namely the models in which both fault detection and correction processes are described by non-homogeneous Poisson processes. In our framework, the time dependency of fault correction time...
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”.
Emergency protection of objects in the process of testing and functioning should respond to a wide range of abnormal situations: malfunctions, which can be eliminated during testing; emergency situations that can be eliminated in the operational mode, or require the shutdown of the process and the elimination of the consequences of the accident; catastrophic situations that require an a priori reaction...
Magnetic Core Characterization is returning as a critical area of research. This is due in part to the rise of wide bandgap semiconductors that have enabled new applications, new converter topologies and system designs that are pushing the limits of passive components. Similarly, new core materials are opening design spaces previously unfilled by legacy cores. With all of these new opportunities,...
Microgrids are seen to play an ever increasing role in providing clean energy which is essential to ensure sustainable and equitable growth. A variety of challenges need to be overcome for these microgrids to be successful, varying from stability, power quality issues to protection and management. Various control algorithms are actively being proposed, and emerging challenges still being researched...
Real-time simulation tools are commonly used for designing and testing of automotive embedded control systems. In addition, the Hardware-In-the-Loop (HIL) technique enables previous verification and validation of control strategy avoiding an expensive and time-consuming field test. For this reason, this paper shows a HIL platform for designing and testing of Electrical Power Assisted Steering Systems...
When using formal verification on critical software, an important question involves whether we have we specified enough properties for a given implementation model. To address this question, coverage metrics for property-based formal verification have been proposed. Existing metrics are usually based on mutation, where the implementation model is repeatedly modified and re-analyzed to determine whether...
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...
The systems and the software in the domain of industrial trucks are becoming increasingly complex due to the rapidly increasing demand for more functionality. This leads to an even faster rising effort for manual verification activities. Therefore, automated testing techniques need to be introduced into the verification process.In this work, a search-based test generation technique has been adapted...
The process of designing and evaluating distributed Cyber-Physical Systems (CPSs) is not a trivial task. There are many challenges to tackle such as managing distributed resources, enabling communication between components, and choosing performance metrics to evaluate the “goodness” of the system. Smart Grids (SGs) are prominent representatives of CPSs, a particular type of Critical Infrastructure...
In order to perform efficient testing of software intensive safety-critical products, organisations often utilise hardware-in-the-loop simulation of the system under test surrounding environment. This way, the system could be invoked and its behaviour could be observed in a controlled setting rather than in the field. However, what effect simulation quality might have on the effectiveness of the testing...
As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is large, and requires automated testing solutions. In this paper we propose a methodology that automatically generates validation environments for highly configurable embedded software...
Peripherals like keyboard and mouse are part of technological evolution. Along the years there were new interaction alternates with computers. But those original devices are still an important part of the human-computer interaction. Many papers are focused on the scientific analysis of personality profiling and stress evaluation. By using the keyboard and mouse they can perform good approximations,...
Based on the method of Skeletonization, the concept of influence factor is introduced in this paper. A method for trimming the fat from a Back Propagation (BP) neural network is proposed by modifying weight and influence factor alternately, and node with the least influence factor was deleted. This method is applied to modeling superheated steam temperature system of plant station. Simulation results...
This paper describes the design and testing process of low power current sensors using PCB rogowski-coil for high current application. The design and testing process of PCB rogowski-coil transducer and electronic circuit are explained in deeply analyze based on the physical structure. It also reveals the linearity and error rates of PCB rogowski-coil current sensors. Tests carried out using Current...
Infrared thermography has been widely used today for nondestructive evaluation and testing of materials and other qualitative approaches. However, the field of thermography is much less developed. Most of the existing research uses a relatively simple model, while more realistic models are currently in development. One interesting scenario for thermography is determining the material composition of...
This paper presents the DeepCD framework which learns a pair of complementary descriptors jointly for image patch representation by employing deep learning techniques. It can be achieved by taking any descriptor learning architecture for learning a leading descriptor and augmenting the architecture with an additional network stream for learning a complementary descriptor. To enforce the complementary...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.