Filtry
wszystkich: 14814
wybranych: 13285
-
Katalog
- Publikacje 13285 wyników po odfiltrowaniu
- Czasopisma 72 wyników po odfiltrowaniu
- Konferencje 32 wyników po odfiltrowaniu
- Osoby 171 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 13 wyników po odfiltrowaniu
- Aparatura Badawcza 8 wyników po odfiltrowaniu
- Kursy Online 140 wyników po odfiltrowaniu
- Wydarzenia 10 wyników po odfiltrowaniu
- Dane Badawcze 1082 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: MODEL-BASED TESTING
-
Model-free and Model-based Reinforcement Learning, the Intersection of Learning and Planning
PublikacjaMy 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
PublikacjaA 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...
-
A Set of Low-power Microcontroller-based Modules Used for Testing of Small Energy Measurement Methods
PublikacjaEstimation 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
Publikacja -
Model-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development
PublikacjaMBD
-
Measurements and calculation of self inductance of testing coils used in physical transformer model construction and its frequency analysis
Publikacja -
A model-based approach to analysis of authentication protocols.
PublikacjaW 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
PublikacjaW 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
PublikacjaThis 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
PublikacjaMap-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
PublikacjaThe 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
PublikacjaContents 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
PublikacjaAuthors 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...
-
Project Team Management Supported by an Agent-Based Model
PublikacjaThis 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,...
-
Intelligent Knowledge-Based Model for IT Support Organization Evolution
Publikacja -
Advanced fatigue and rutting characterisation of Polish asphalt mixtures based on the VECD model and viscoplastic shift model
PublikacjaThe 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
PublikacjaConcrete 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
PublikacjaThis 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
PublikacjaConveyor 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
PublikacjaElectronic 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...