Search
Filters
total: 15582
-
Catalog
- Publications 13963 available results
- Journals 72 available results
- Conferences 32 available results
- People 190 available results
- Inventions 1 available results
- Projects 15 available results
- Research Equipment 8 available results
- e-Learning Courses 167 available results
- Events 10 available results
- Open Research Data 1124 available results
displaying 1000 best results Help
Search results for: MODEL-BASED TESTING
-
Model-Based Testing of Embedded Systems in the Automotive Domain
PublicationPhD
-
Model-based testing for execution algorithms in the simulation of cyber-physical systems
PublicationThe understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process....
-
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
PublicationThis chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature. The techniques for testing are categorized using a number of dimensions to familiarize the reader with the terminology used throughout the chapters that follow. In this chapter, after a brief introduction, a general definition of MBT and related work on available MBT...
-
A Human Behaviour Model Agent for Testing of Voluntary Computing Systems
PublicationPaper presents a design and performance of a voluntary-based distributed computing system testing agent, implementing a human behaviour model. The agent, nicknamed iRobot, was designed and implemented to enable controlled, large scale testing of core algorithms of Comcute - a new voluntary distributed computing platform complementary to BOINC. The main agent design goals were: emulation of human behaviour when browsing web pages,...
-
Testing A Novel Gesture-Based Mixing Interface
PublicationWith a digital audio workstation, in contrast to the traditional mouse-keyboard computer interface, hand gestures can be used to mix audio with eyes closed. Mixing with a visual representation of audio parameters during experiments led to broadening the panorama and a more intensive use of shelving equalizers. Listening tests proved that the use of hand gestures produces mixes that are aesthetically as good as those obtained using...
-
Quality testing methods of foil-based capacitors
PublicationKondensatory foliowe są powszechnie stosowanymi elementami pasywnymi w ukłądach zasilania. Dotychczasowe metody oceny ich jakości są długotrwałe oraz zużywają energię. W pracy przedstawiono propozycje szeregu nowych, bardziej efektywnych metod, które mogą być z sukcesem stosowane podczas ich produkcji.
-
Peculiarities associated with testing polyetheretherketone (PEEK) in a model rolling contact
PublicationPolyetheretherketone (PEEK) was investigated using a modified version of the four-ball tester in which the upper forth ball was replaced by a cone in such a way that kinematics of the four-ball configuration were fully preserved. Rotation of the cone enforced orbiting and rolling of the ceramic balls around the polymer cup. The results produced some unexpected peculiarities in the wear of ceramic balls which, in principle, should...
-
Testing the Effect of Bathymetric Data Reduction on the Shape of the Digital Bottom Model
PublicationDepth data and the digital bottom model created from it are very important in the inland and coastal water zones studies and research. The paper undertakes the subject of bathymetric data processing using reduction methods and examines the impact of data reduction according to the resulting representations of the bottom surface in the form of numerical bottom models. Data reduction is an approach that is meant to reduce the size...
-
Acceptance Testing of Software Products for Cloud-Based On-Line Delivery
PublicationSoftware products intended for on-line delivery by distributors serving an open community of subscribers are developed in a specific life-cycle model, in which roles of the major stakeholders are strongly separated, unlike in any other software development model known in software engineering. Its specificity underlines the fact that a distributor of the final product, responsible for its acceptance for publication and delivery...
-
Direct design of Controlled Modulus Columns (CMC) based on in-situ testing
PublicationIn this paper, the serviceability limit state and bearing capacity of tension screw displacement piles were analyzed using the results of static pile load tests, carried out on the test plot near the Elbląg city, and field, and laboratory tests. The paper presents the methodology of determining the pile load-settlement curve using different types of t-z transfer functions. The new method of constructing the pile load-settlement...
-
Impedance Spectra of RC Model as a Result of Testing Pulse Excitation Measurement Method Dataset
PublicationThe dataset titled Impedance spectra of RC model as a result of testing pulse excitation measurement method contains the impedance spectrum of an exemplary test RC model obtained using pulse excitation. The dataset allows presentation of the accuracy of the impedance spectroscopy measuring instrument, which uses the pulse excitation method to shorten the time of the whole spectrum acquisition.
-
Reliability Testing of Wind Farm Devices Based on the Mean Time to Failures
Publication -
Testing method of analog parts for mixed signal microsystems based on microcontrolles.
PublicationZaproponowano nową metodę detekcji i lokalizacji pojedynczych uszkodzeń parametrycznych, która może znaleźć zastosowanie do samo-testowania sieci analogowych w mikrosystemach mieszanych sygnałowo sterowanych mikrokontrolerami. Metoda ta jest oparta na przekształceniu transformującym próbki odpowiedzi czasowej na pobudzenie impulsem prostokątnym na krzywe identyfikacyjne na płaszczyźnie. Metoda pozwala na detekcję i lokalizację...
-
Comparing noise levels and audiometric testing results employing it based diagnostic systems.
PublicationW referacie przedstawiono Internetowy system przeznaczony do przeprowadzania przesiewowych testów słuchu. Zaprezentowano również system informacyjny przeznaczony do monitorowania hałasu środowiskowego. Obie Internetowe aplikacje mogą być pomocne w zmniejszaniu częstości występowania chorób słuchu powodowanych przez hałas środowiskowy i przemysłowy. Porównano wyniki testów audiometrycznych z pomiarami hałasu na podstawie zawartości...
-
Model of Volunteer Based Systems.
PublicationThere are two main approaches to processing tasks requiring high amounts of computational power. One approach is using clusters of mostly identical hardware, placed in dedicated locations. The other approach is outsourcing computing resources from large numbers of volunteers connected to the Internet. This chapter attempts to formulate a mathematical model of the volunteer based approach to distributed computations and apply it...
-
Self-Testing of Analog Parts Terminated by ADCs Based on Multiple Sampling of Time Responses
PublicationA new approach for self-testing of analog parts terminated by analog-to-digital converters in mixed-signal electronic microsystems controlled by microcontrollers is presented. It is based upon a new fault diagnosis method using a transformation of the set of voltage samples of the time response of a tested analog part to a square impulse into localization curves placed in a multidimensional measurement space. The method can be used...
-
An idea of an approach to self-testing of mixed signal systems based on a quadratic function stimulation
PublicationA new approach to self-testing of the analog parts of mixed-signal electronic systems controlled by microcontrollers equipped with an ADC and a DAC is presented. It is based on a BIST and a new fault diagnosis method. A novelty is the use of the DAC as a component of the BIST, allowing to generate a stimulating signal with a quadratic function shape. It contributes to a better extraction of information about the state of the circuit...
-
Assembling and testing of quasi-static hybrid piezoelectric motor based on electroactive lubrication principle
PublicationThe presented paper concerns a novel concept of hybrid piezoelectric motor based on electroactive lubrication principle. Its structure is combined of quasi-static and resonance piezoelectric actuators, synchronizing their work to generate the rotary movement. The hybrid motor topology is compared to the existing piezoelectric motors, regarding its field of applications in embedded systems with very high security requirements. The...
-
Reliability Testing of Wind Farm Devices Based on the Mean Time between Failures (MTBF)
Publication -
Cold Plasma Synthesis and Testing of NiOX-Based Thin-Film Catalysts for CO2 Methanation
Publication -
Improving the procedure of probabilistic load testing design of typical bridges based on structural response similarities
PublicationThis paper concerns load testing of typical bridge structures performed prior to operation. In-situ tests of a two-span post-tensioned bridge loaded with three vehicles of 38-ton mass each formed the input of this study. On the basis of the results of these measurements, an advanced FEM model of the structure was developed for which the sensitivity analysis was performed for chosen uncertainty sources. Three uncorrelated random...
-
Model-free and Model-based Reinforcement Learning, the Intersection of Learning and Planning
PublicationMy doctoral dissertation is intended as the compound of four publications considering: structure and randomness in planning and reinforcement learning, continuous control with ensemble deep deterministic policy gradients, toddler-inspired active representation learning, and large-scale deep reinforcement learning costs.
-
A method of self-testing of analog circuits based on fully differential op-amps with theTCBF classifier
PublicationA new approach of self-testing of analog circuits based on fully differential op-amps of mixed-signal systems controlled by microcontrollers is presented. It consists of a measurement procedure and a fault diagnosis procedure. We measure voltage samples of a time response of a tested circuit on a stimulation of a unit step function given at the common-mode reference voltage input of the op-amp. The fault detection and fault localization...
-
Measurements and calculation of self inductance of testing coils used in physical transformer model construction and its frequency analysis
Publication -
Model-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development
PublicationMBD
-
A Set of Low-power Microcontroller-based Modules Used for Testing of Small Energy Measurement Methods
PublicationEstimation of energy consumption of low-power devices is not widely discussed in the scientific literature, but this topic is getting more and more popular. Evaluation process of newly developed methods and instrumentation requires carefull treatment. In order to fulfill this niche, the set of micro-power microcontroller based devices was proposed. The devices represent typical energy consuption profiles and allow experimental verification...
-
Carboxymethylated starch and cellulose derivatives-based film as human skin equivalent for adhesive properties testing
Publication -
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Self-testing of analog parts of mixed-signal electronic microsystems based on multiple sampling of time responses
PublicationW artykule przedstawiono nowe podejście samo-testowania toru analogowego zakończonego przetwornikiem A/C w mieszanych sygnałowo elektronicznych systemach wbudowanych sterowanych mikrokontrolerami. Bazuje ono na nowej metodzie diagnostycznej opartej na przekształceniu transformującym zbiór próbek odpowiedzi czasowej układu badanego na pobudzenie impulsem prostokątnym na rodzinę krzywych identyfikacyjnych umieszczonych w przestrzeni...
-
Technical State Assessment of Charge Exchange System of Self-Ignition Engine, Based On the Exhaust Gas Composition Testing
PublicationThis paper presents possible use of results of exhaust gas composition testing of self - ignition engine for technical state assessment of its charge exchange system under assumption that there is strong correlation between considered structure parameters and output signals in the form of concentration of toxic compounds (ZT) as well as unambiguous character of their changes. Concentration of the analyzed ZT may be hence considered...
-
Periodic and chaotic dynamics in a map‐based neuron model
PublicationMap-based neuron models are an important tool in modeling neural dynamics and sometimes can be considered as an alternative to usually computationally costlier models based on continuous or hybrid dynamical systems. However, due to their discrete nature, rigorous mathematical analysis might be challenging. We study a discrete model of neuronal dynamics introduced by Chialvo in 1995. In particular, we show that its reduced one-dimensional...
-
Spike patterns and chaos in a map-based neuron model
PublicationThe work studies the well-known map-based model of neuronal dynamics introduced in 2007 by Courbage, Nekorkin and Vdovin, important due to various medical applications. We also review and extend some of the existing results concerning β-transformations and (expanding) Lorenz mappings. Then we apply them for deducing important properties of spike-trains generated by the CNV model and explain their implications for neuron behaviour....
-
Multiscalar Model Based Control Systems for AC Machines
PublicationContents of the Chapter: Nonlinear transformations and feedback linearization. Models of the squirrel cage induction machine: Vector model of the squirrel cage induction machine. Multiscalar models of the squirrel cage induction machine.Feedback linearization of multiscalar models of the induction motor.Models of the double fed induction machine: Vector model of the double fed induction machine. Multiscalar model of the...
-
Distributed Representations Based on Geometric Algebra: the Continuous Model
PublicationAuthors revise the concept of a distributed representation of data as well as two previously developed models: Holographic Reduced Representation (HRR) and Binary Spatter Codes (BSC). A Geometric Analogue (GAc - ''c'' stands for continuous as opposed to its discrete version) of HRR is introduced - it employs role-filler binding based on geometric products. Atomic objects are real-valued vectors in n-dimensional Euclidean space...
-
Intelligent Knowledge-Based Model for IT Support Organization Evolution
Publication -
Project Team Management Supported by an Agent-Based Model
PublicationThis work is a continuation of a series of works about research into the use of multi-agent systems to support IT project management. Previous studies have shown the possibility of using a multi-agent in order to optimize management decisions concerning the selection of methods for project implementation. It was noted that the project manager's decisions are influenced by three fundamental parameters: the entropy of the project,...
-
Impedance spectra of RC model as a result of testing pulse excitation measurement method
Open Research DataThe impedance spectrum of RC model object obtained using pulse excitation EIS impedance spectrosocpy measurement method. The 1V voltage pulse excitation duration was set to 0.1s and the total acqusition time was set to 1000s. The object under test was built using RC components connected as Baunier model of anticorrosion coating with the following components...
-
Advanced fatigue and rutting characterisation of Polish asphalt mixtures based on the VECD model and viscoplastic shift model
PublicationThe advanced asphalt mixture performance-related specifications (AM-PRS) recently developed in USA can allow an optimisation of the design process of asphalt pavements thanks to the possibility to fully take into account the intrinsic material properties. In this study, four typical Polish mixtures, i.e. a Stone Mastic Asphalt (SMA) for wearing course, two mixtures for binder course with neat bitumen or Polymer modified Bitumen...
-
Model-Based Adaptive Machine Learning Approach in Concrete Mix Design
PublicationConcrete mix design is one of the most critical issues in concrete technology. This process aims to create a concrete mix which helps deliver concrete with desired features and quality. Contemporary requirements for concrete concern not only its structural properties, but also increasingly its production process and environmental friendliness, forcing concrete producers to use both chemically and technologically complex concrete...
-
Global Surrogate Modeling by Neural Network-Based Model Uncertainty
PublicationThis work proposes a novel adaptive global surrogate modeling algorithm which uses two neural networks, one for prediction and the other for the model uncertainty. Specifically, the algorithm proceeds in cycles and adaptively enhances the neural network-based surrogate model by selecting the next sampling points guided by an auxiliary neural network approximation of the spatial error. The proposed algorithm is tested numerically...
-
High-Precision FIR-Model-Based Dynamic Weighing System
PublicationConveyor belt-type checkweighers are increasingly popular components of modern production lines. They are used to assess the weight of the produced items in motion, i.e., without stopping them on the weighing platform. The main challenge one faces when designing a dynamic weighing system is providing high measurement accuracy, especially at high conveyor belt speeds. The approach proposed in this paper can be characterized as a...
-
Activity-based payments: alternative (anonymous) online payment model
PublicationElectronic payments are the cornerstone of web-based commerce. A steady decrease in cash usage has been observed, while various digital payment technologies are taking over. They process sensitive personal information raising concerns about its potentially illicit usage. Several payment models that confront this challenge have been proposed. They offer varying levels of anonymity and readiness for adoption. The aim of this study...
-
A material model of asphalt mixtures based on Monte Carlo simulations
PublicationThe paper aims to numerically reflect mineral-asphalt mixture structure by a standard FEM software. Laboratory test results are presented due to bending tests of circular notched elements. The result scatter is relatively high. An attempt was made to form a random aggregate distribution in order to obtain various results corresponding to laboratory tests. The material structure calibration, its homogenization and finite element...
-
On the Equations of the Surface Elasticity Model Based on the Theory of Polymeric Brushes
PublicationMotivating by theory of polymers, in particular, by the models of polymeric brushes we present here the homogenized (continual) two-dimensional (2D) model of surface elasticity. A polymeric brush consists of an system of almost aligned rigid polymeric chains. The interaction between chain links are described through Stockmayer potential, which take into account also dipole-dipole interactions. The presented 2D model can be treated...
-
Ship Dynamic Positioning Based on Nonlinear Model Predictive Control
PublicationThe presented work explores the simulation test results of using nonlinear model predictive control algorithm for ship dynamic positioning. In the optimization task, a goal function with a penalty was proposed with a variable prediction step. The results of the proposed control algorithm were compared with backstepping and PID. The effect of estimation accuracy on the control quality with the implemented algorithms was investigated....
-
Decisional-DNA Based Smart Production Performance Analysis Model
Publicationn order to allocate resources effectively according to the production plan and to reduce disturbances, a framework for smart production performance analysis is proposed in this article. Decisional DNA based knowledge models of engineering objects, processes and factory are developed within the proposed framework. These models are the virtual representation of manufacturing resources, and with help of Internet of Things, are capable...
-
Trigger-based Model to Assess the Readiness of IT Organizations to Agile Transformation
PublicationThe process of change the method of project management from waterfall to agile is called “agile transformation” (AT). The decision to agile transformation is undertaken based on many different factors. Many companies decide to abandon classic, waterfall methodology for agile without prior analysis. This approach makes the processes of agile transformation is hard to control and frequently the implementation of agile fails. The...
-
Ensemble-Based Logistic Model Trees for Website Phishing Detection
Publication -
Auditory-model based robust feature selection for speech recognition
Publication -
Molecular dynamics-based model of VEGF-A and its heparin interactions
Publication