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
-
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...
-
Molecular dynamics-based model of VEGF-A and its heparin interactions
Publication -
Modeling and control of a redundantly actuated variable mass 3RRR planar manipulator controlled by a model-based feedforward and a model-based-proportional-derivative feedforward–feedback controller
PublicationIn the paper, dynamics of a complex mechatronics system is considered. A redundantly actuated planar manipulator is the base of the mechanical part of it. It is a 3RRR 1 platform based parallel manipulator. To control its trajectory, a model-based feedforward controller is employed. Three aspects are fundamental in the presented investigations. The first focus is on development of an accurate numerical model used to solve the inverse...
-
Testing impedance analyzer with potentiostat using RC model with Si diode at 200 mV
Open Research DataThe dataset presents impedance spectrum non-linear RC model with diode presented in the figure below. This model was used as a test engine of the impedance analyzer with potentiostat described in the referenced paper. When changing the DC polarisation of the model the non-linear phenomena could be observed. Thanks to this, the model can be used as a...
-
Testing impedance analyzer with potentiostat using RC model with Si diode at 0 V
Open Research DataThe dataset presents impedance spectrum non-linear RC model with diode presented in the figure below. This model was used as a test engine of the impedance analyzer with potentiostat described in the referenced paper. When changing the DC polarisation of the model the non-linear phenomena could be observed. Thanks to this, the model can be used as a...
-
Testing impedance analyzer with potentiostat using RC model with Si diode at 600 mV
Open Research DataThe dataset presents impedance spectrum non-linear RC model with diode presented in the figure below. This model was used as a test engine of the impedance analyzer with potentiostat described in the referenced paper. When changing the DC polarisation of the model the non-linear phenomena could be observed. Thanks to this, the model can be used as a...
-
Testing impedance analyzer with potentiostat using RC model with Si diode at 400 mV
Open Research DataThe dataset presents impedance spectrum non-linear RC model with diode presented in the figure below. This model was used as a test engine of the impedance analyzer with potentiostat described in the referenced paper. When changing the DC polarisation of the model the non-linear phenomena could be observed. Thanks to this, the model can be used as a...
-
Noise spectral density computation based on finite element model of piezoceramic sensor
PublicationThe high sensitivity with wide bandwidth is required for sensor applications in non-destructive testing (NDT). The sensitivity of piezoceramic sensors demands to minimize their noise especially thermal noise, polarisation noise and low frequency 1/f noise,which are the main sources of voltage or current fluctuation in this sort of sensors. For simplicity, only the piezoceramic part of sensor was under study. the theoretical and...
-
Simulation Model of IMS/NGN with Transport Stratum Based on MPLS Technology
PublicationIn the paper we continue our research on traffic modelling in the Next Generation Network (NGN) architecture, which includes the IP Multimedia Subsystem (IMS) elements. A simulation model of a single NGN domain with transport stratum based on the Multiprotocol Label Switching (MPLS) technology is proposed, which allows evaluation of mean response time of this stratum. The simulation model is applied to verify the results obtained...
-
Material Identification of the Human Abdominal Wall Based On the Isogeometric Shell Model
PublicationThe human abdominal wall is an object of interest to the research community in the context of ventral hernia repair. Computer models require a priori knowledge of constitutive parameters in order to establish its mechanical response. In this work, the Finite Element Model Updating (FEMU) method is used to identify an heterogeneous shear modulus distribution for a human abdominal wall model, which is based on nonlinear isogeometric...
-
Decisional DNA based intelligent knowledge model for flexible manufacturing system
PublicationModeling an effective mechanism for design and control strategies for the implementation of a flexible manufacturing system (FMS) has been a challenge. Consequently, to overcome this issue various techniques have applied in the past but most of these models are effective only for some specific situation or an element of FMS. In this study, the knowledge representation technique of Decisional DNA (DDNA) is applied to FMS to develop...
-
A simplified behavioral MOSFET model based on parameters extraction for circuit simulations.
PublicationThe paper presents results on behavior modeling of general purpose Metal-Oxide Semiconductor Field-Effect Transistor (MOSFET) for simulation of power electronics systems requiring accuracy both in steady-state and in switching conditions. Methods of parameters extraction including nonlinearity of parasitic capacitances and steady-state characteristics are based on manufacturer data sheet and externally measurable characteristics....
-
Proportional-Derivative and Model-Based Controllers for Control of a Variable Mass Manipulator
PublicationIn the paper, numerical analysis of dynamics of a variable mass manipulator is presented. A revolute joints composed manipulator is considered. Payload of the gripper is considered as the only element characterized by unknown value of its mass (variable between subsequent operations). As in other cases of the revolute joints composed manipulators, its behaviour dependents significantly on the pose of the manipulator. When the manipulator...
-
Investigating Analytics Dashboards’ Support for the Value-based Healthcare Delivery Model
PublicationImproving the value of care is one of the essential aspects of Value-Based Healthcare (VBHC) model today. VBHC is a new HC delivery model which is centered on patient health outcomes and improvements. There is anecdotal evidence that the use of decision aid tools like dashboards can play a significant role in the successful implementation of VBHC models. However, there has been little or no systematic studies and reviews to establish...
-
Time domain model of the resonance-based electromagnetic pulses emission system
PublicationIn the literature, the emission properties of the electromagnetic field pulse systems based on high voltage antennas (HVR) have been widely described. In order to increase the emission efficiency by extending duration and increasing amplitude of the impulse it is possible to use a resonance system tuned to the parameters of the signal shaped in the pulse forming circuit. The synthesis of a time-domain simulation model of a complex...
-
Deep Learning-Based Cellular Nuclei Segmentation Using Transformer Model
PublicationAccurate segmentation of cellular nuclei is imperative for various biological and medical applications, such as cancer diagnosis and drug discovery. Histopathology, a discipline employing microscopic examination of bodily tissues, serves as a cornerstone for cancer diagnosis. Nonetheless, the conventional histopathological diagnosis process is frequently marred by time constraints and potential inaccuracies. Consequently, there...
-
Simulation model for assessment of IMS-based NGN call processing performance
PublicationIn current telecommunications it is assumed that demands of information society for quickly delivered services will be satisfied by Next Generation Network (NGN) architecture, which includes IP Multimedia Subsystem (IMS) elements. To guarantee Quality of Service (QoS), proper design and dimensioning of NGN is absolutely necessary, for which appropriate models have to be proposed. As NGN architecture is very complicated, the most...
-
Rule-Based Model for Selecting Integration Technologies for Smart Cities Systems
PublicationThe aim of this article is to present the stages of development for an information technology integration model for the design of systems for smart cities. The Introduction explains the need for integration technologies and presents a model for selecting integration technologies and the conditions for its use in designing smart cities systems. Then two verification stages of the presented model are discussed. In the first stage,...
-
Trust-Based Model for the Assessment of the Uncertainty of Measurements in Hybrid IoT Networks
PublicationThe aim of this paper is to introduce a NUT model (NUT: network-uncertainty-trust) that aids the decrease of the uncertainty of measurements in autonomous hybrid Internet of Things sensor networks. The problem of uncertainty in such networks is a consequence of various operating conditions and varied quality of measurement nodes, making statistical approach less successful. This paper presents a model for decreasing the uncertainty...
-
Control system based on the modified multiscalar model for the double fed machine
PublicationPrzedstawiono układ sterowania maszyną asynchroniczą dwustronnie zasilaną wykorzystujący zmodyfikowany model multisaklarny. Wprowadzone nielinowe sprzężenia pozwalają na podział systemu na dwa niezależne podukłady. Pododuje to brak zauważalnych sprzężeń przy regulacji mocy czynnej i biernej regulowanej przez kontrolery PI. W układzie wyeliminowano konieczność stosowania kaskadowego połączenia regulatorów. Przedstawiono wyniki symulacji.
-
Distributed MIND - A New Processing Model Based on Mobile Interactive Documents
PublicationObliczenia w trybie zespołowym pozwalają na integrację działań ludzi i agentów systemowych w otwartym środowisku rozproszonym w celu rozwiązywania problemów formułowanych dynamicznie w trakcie pracy systemu. Problemy te najczęściej nie mają charakteru algorytmicznego, tzn. generowane rozwiązania nie mogłyby zostać wyliczone w skończonej liczbie kroków na podstawie danych charakteryzujących uczestników obliczeń. Autorzy proponują...
-
Analysis of dynamics of a map-based neuron model via Lorenz maps
PublicationModeling nerve cells can facilitate formulating hypotheses about their real behavior and improve understanding of their functioning. In this paper, we study a discrete neuron model introduced by Courbage et al. [Chaos 17, 043109 (2007)], where the originally piecewise linear function defining voltage dynamics is replaced by a cubic polynomial, with an additional parameter responsible for varying the slope. Showing that on a large...
-
A novel DEM-based pore-scale thermo-hydro-mechanical model
PublicationW warunkach nieizotermicznych ruch płynu w układzie porów i kapilar betonu jest silnie sprzężony z przenoszeniem ciepła. W takich warunkach pory i spękania ułatwiają wnikanie do betonu zewnętrznych czynników agresywnych, które degradują zarówno beton, jak i zbrojenie. Opracowano innowacyjny model termo-hydro-mechaniczny oparty na modelu DEM, aby szczegółowo śledzić frakcje cieczy/gazów w porach i pęknięciach pod kątem ich różnej...
-
Asynchronous distributed state estimation based on a continuous-time stochastic model
PublicationW artykule rozważa się problem estymacji stanu w asynchronicznych rozłożonych systemach (ADE) opartych na wielu czujnikach pomiarowych. W systemach takich stan obiektu jest oceniany przez grupę lokalnych estymatorów, z których każdy (oparty zwykle na filtrze Kalmana) dokonuje fuzji danych zebranych poprzez jego lokalne czujniki oraz danych odebranych od innych zdalnych procesorów, w celu wyznaczenia możliwie najlepszych estymat....
-
Asynchronous distributed state estimation based on a continuous-time stochastic model
PublicationW artykule rozważa się ogólny problem estymacji stanu w asynchronicznych rozłożonych systemach (ADE) opartych na wielu czujnikach. W takich systemach stan obiektu jest oceniany przez grupę lokalnych estymatorów, z których każdy oparty zwykle na filtrze Kalmana, dokonuje fuzji danych zebranych poprzez jego lokalne czujniki oraz danych uzyskanych od innych (zdalnych) procesorów, w celu wyznaczenia możliwie najlepszych estymat. Przeprowadzając...
-
Proportional-derivative and Model-based Controllers for Control of a Variable Mass Manipulator
PublicationW artykule prezentowano wyniki analiza numeryczna dynamiki manipulatora o zmiennej masie. W skład manipulatora wchodzą jedynie członu i przeguby obrotowe. Ładowność chwytaka jest traktowana jako jedyny element o zmiennej masie. Podobnie jak w przypadku innych manipulatorów wyposażonych w przeguby obrotowe, parametry jego dynamika zależą od aktualnego ustawienia. Gdy przemieszczenia obejmują większy zakres roboczy, w równaniach...
-
Towards an evidence-based probabilistic risk model for ship-grounding accidents
Publication -
A probabilistic model of ship performance in ice based on full-scale data
Publication -
Asynchronous distributed state estimation based on a continuous time stochastic model
PublicationGłównym zadaniem systemu estymacji jest szacowanie stanu obserwowanego obiektu. W rozproszonych wieloczujnikowych systemach estymacji stan obiektu jest estymowany przez pewien zbiór estymatorów lokalnych. Każdy estymator lokalny wykonuje filtrację (np opartą na filtracji Kalmana) danych pochodzących ze skojarzonego z nim czujnika bądź czujników oraz fuzję przetworzonych danych z czujników z danymi pochodzącymi z innych lokalnych...
-
Mixture Model Based Efficient Method for Magnetic Resonance Spectra Quantification
Publication -
A Consolidation Curve Reproduction Based on Sigmoid Model: Evaluation and Statistical Assessment
Publication -
Control of the induction motor in the field weakening region based on the multiscalar model.
PublicationNajwiększą korzyścią płynąca z zastosowania w układzie regulacji modelu multiskalarnego jest pełne odsprzężenie toru sterowania prędkością i toru sterowania strumieniem. Wykorzystanie zależności występujących w modelu multiskalarnym pozwala na określenie maksymalnego momentu wyjściowego w układzie napędowym dla zakresu osłabiania pola. Zaproponowany został bezczujnikowy układ regulacji w oparciu o obserwator prędkości.
-
Mathematical Modeling of Hydrodynamics in Bioreactor by Means of CFD-Based Compartment Model
Publication -
A Consolidation Curve Reproduction Based on Sigmoid Model: Evaluation and Statistical Assessment
Publication -
An Intelligent Decision-Making System for Autonomous Units Based on the Mind Model
PublicationThis article presents a specific part of current trends in autonomous robotics. It pays special attention to the basic aspects of cognitive architecture. After a brief introduction, we shortly describe the Intelligent System of Decision-making developed at the Gdansk University of Technology.
-
Fast Low-fidelity Wing Aerodynamics Model for Surrogate-Based Shape Optimization
PublicationVariable-fidelity optimization (VFO) can be efficient in terms of the computational cost when compared with traditional approaches, such as gradient-based methods with adjoint sensitivity information. In variable-fidelity methods, the directoptimization of the expensive high-fidelity model is replaced by iterative re-optimization of a physics-based surrogate model, which is constructed from a corrected low-fidelity model. The success...
-
Low-fidelity model considerations for simulation-based optimisation of miniaturised wideband antennas
PublicationHere, variable-fidelity electromagnetic (EM)-based design optimisation of miniaturised antennas is discussed. The authors focus on an appropriate selection of discretisation density of the low-fidelity EM model, which results in good performance of the optimisation algorithm in terms of its computational complexity and reliability. Trust-region gradient search with low-fidelity model corrected by means of non-linear frequency scaling...
-
A simplified energy dissipation based model of heat transfer for subcooled flow boiling
PublicationIn the paper a model is presented based on energetic considerations for subcooled flow boiling heat transfer. The model is the extension of authors own model developed earlier for saturated flow boiling and condensation. In the former version of the model we used the heat transfer coefficient for the liquid single-phase as a reference level, due to the lack of the appropriate model for heat transfer coefficient for the subcooled...
-
A compact smart sensor based on a neural classifier for objects modeled by Beaunier's model
PublicationA new solution of a smart microcontroller sensor based on a simple direct sensor-microcontroller interface for technical objects modeled by two-terminal networks and by the Beaunier’s model of anticorrosion coating is proposed. The tested object is stimulated by a square pulse and its time voltage response is sampled four times by the internal ADC of microcontroller. A neural classifier based on measurement data classifies the...
-
Linear viscoelastic transversely isotropic model based on the spectral decomposition of elasticity tensors
PublicationThe linear viscoelasticity is still a useful model in the engineering for studying the behavior of materials loaded with different loading rates (frequencies). Certain types of materials reveal also an anisotropic behavior: fiber reinforced composites, asphalt concrete mixtures, or wood, to name a few. In general, researchers try to identify experimentally the dependence of engineering constants like: directional Young’s moduli...
-
Nuclear Power Plant Steam Turbine - Modeling for Model Based Control Purposes
PublicationThe nature of the processes taking place in a nuclear power plant (NPP) steam turbine is the reason why their modeling is very difficult, especially when the model is intended to be used for on-line optimal model based process control over a wide range of operating conditions, caused by changing electrical power demand e.g. when combined heat and power mode of work is utilized. The paper presents three nonlinear models of NPP steam...
-
Traffic Model of IMS/NGN Architecture with Transport Stratum Based on MPLS Technology
PublicationGrowing expectations for a fast access to information create strong demands for a universal telecommunication network architecture, which provides various services with strictly determined quality. Currently it is assumed that these requirements will be satisfied by Next Generation Network (NGN), which consists of two stratums and includes IP Multimedia Subsystem (IMS) elements. To guarantee Quality of Service (QoS) all NGN stratums...
-
Traffic model for evaluation of call processing performance parameters in IMS-based NGN
PublicationIn the modern world requirements for accurate and fast information distribution are becoming more and more important, which creates a strong necessity for appropriate telecommunication network architecture. Proposition of such an architecture is the Next Generation Network (NGN) concept, which in order to guarantee Quality of Service (QoS), should be correctly designed and dimensioned. For this reason proper traffic models must...
-
Expedited Metaheuristic-Based Antenna Optimization Using EM Model Resolution Management
PublicationDesign of modern antenna systems heavily relies on numerical opti-mization methods. Their primary purpose is performance improvement by tun-ing of geometry and material parameters of the antenna under study. For relia-bility, the process has to be conducted using full-wave electromagnetic (EM) simulation models, which are associated with sizable computational expendi-tures. The problem is aggravated in the case of global optimization,...
-
A model for performance assessment of damaged ships when using the risk-based method
PublicationW pracy omówiono metody oceny bezpieczeństwa statków w stanie uszkodzonym w warunkach operacyjnych. Przedstawiono metodę oceny bezpieczeństwa statków w stanie uszkodzonym opartą na analizie ryzyka. Przedstawiono model oceny zachowania się statku w stanie uszkodzonym, który jest oparty na tak zwanym quasi-dynamicznym modelu zatapiania statku. Omówiono elementy związane z analizą ryzyka i ocena bezpieczenstwa statków.
-
Accelerated Gradient-Based Optimization of Antenna Structures Using Multi-Fidelity Simulations and Convergence-Based Model Management Scheme
PublicationThe importance of numerical optimization has been steadily growing in the design of contemporary antenna structures. The primary reason is the increasing complexity of antenna topologies, [ a typically large number of adjustable parameters that have to be simultaneously tuned. Design closure is no longer possible using traditional methods, including theoretical models or supervised parameter sweeping. To ensure reliability, optimization...
-
Detection and isolation of manoeuvres in adaptive tracking filtering based on multiple model switching
PublicationW rozdziale przedstawia się model radarowego procesu pomiarowego oraz omawiaproblem modelowania trajektorii ruchu obiektów latających. Przyjęto klasę o-biektów cywilnych, których tor ruchu można opisać jak złożenie ruchu prosto-liniowego jednostajnego oraz ruchu prostoliniowego jednostajnie zmiennegolub ruchu po okręgu ze stałą prędkością (manewru). zastosowano również meto-dę estymacji nieznanej wartości wielkości sterującej,...
-
Model based evaluation of plant improvement at a large wastewater treatment plant (WWTP)
PublicationIn this work, the effect of the improvement carried out at a large-scale wastewater treatment plant (WWTP) was evaluated, by means of modelling works, with the aim to determine the influence of the modernization over the process performance. After modernization, the energy consumption due to the aeration decreased about a 20% maintaining the effluent quality. In order to double-check the good effluent quality, modelling works were...
-
On dynamic modeling of piezomagnetic/flexomagnetic microstructures based on Lord–Shulman thermoelastic model
PublicationWe study a time-dependent thermoelastic coupling within free vibrations of piezomagnetic (PM) microbeams considering the flexomagnetic (FM) phenomenon. The flexomagneticity relates to a magnetic field with a gradient of strains. Here, we use the generalized thermoelasticity theory of Lord–Shulman to analyze the interaction between elastic deformation and thermal conductivity. The uniform magnetic field is permeated in line with...
-
Induction Motor Multiscalar Model Based Sensorless Control Using Power Measurement
Publication