Filters
total: 15285
filtered: 13713
-
Catalog
- Publications 13713 available results
- Journals 72 available results
- Conferences 32 available results
- People 177 available results
- Inventions 1 available results
- Projects 15 available results
- Research Equipment 8 available results
- e-Learning Courses 148 available results
- Events 10 available results
- Open Research Data 1109 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: MODEL-BASED TESTING
-
Short clinically-based prediction model to forecast transition to psychosis in individuals at clinical high risk state
Publication -
Towards a Method Evaluating Control Actions in STPA-Based Model of Ship-Ship Collision Avoidance Process
Publication -
Toward a Method Evaluating Control Actions in STPA-Based Model of Ship-Ship Collision Avoidance Process
Publication -
Dirk Dreheim, Gerald Weber: Form-oriented analysis : a new methodology to model form-based applications
PublicationArtykuł stanowi omówienie nowej metodyki modelowania interfesu użytkownika, przeznaczonej do projektowania aplikacji opartych na pracy z formularzami elektronicznymi. Metodyka ta, przedstawiona w książce Dreheima i Webera, stanowi interesującą notacje graficzną, która umożliwia projektowanie interfejsu użytkownika o wysokich własciwościach ergonomicznych i użytkowych. Szczególnie interesujace sa w tej metodyce możliwości elastycznego...
-
Collaboration between a proportional-derivative and a model-based controllers in case of a variable mass redundantly articulated manipulators
PublicationW pracy zaprezentowano wyniki analizy numerycznej dynamiki złożonego układu mechatroniczego. Częścią mechaniczną analizowanego układu jest manipulator sterowany nadmiarowo. Rozważania ograniczono do analizy płaskiego manipulatora równoległego. Część sterująca to układ sterowania (regulacji) z modelem. Analizowane zadanie polega na wymuszeniu ruchu wzdłuż zadanej trajektorii. Problemy związane ze sterowaniem prowadzą nas do pierwszego...
-
Model-Based Evaluation of N2O Production Pathways in the Anammox-Enriched Granular Sludge Cultivated in a Sequencing Batch Reactor
PublicationA mechanistic model was developed as an extension of the Activated Sludge Model No. 1 to describe three nitrous oxide (N2O) production pathways in a laboratory-scale anammox-enriched granular sequencing batch reactor. Heterotrophic denitrification and two processes mediated by ammonia oxidizing bacteria (AOB), that is, ammonia (NH4+) oxidation via hydroxylamine (NH2OH) and autotrophic denitrification, were considered. A systematic...
-
Application of Open-Hardware-Based Solutions for Rapid Transition From Stationary to the Remote Teaching Model During Pandemic
PublicationWhile research indicates usefulness of remote laboratories in teaching of digital hardware systems, their main application is to complement stationary classes. This work presents a low-cost, scalable architecture that supports rapid transformation of teaching to a model based solely on remote access mechanisms. Background: Adaptation of online laboratory solutions from the literature to en-masse teaching of digital circuits is...
-
Model Management for Low-Computational-Budget Simulation-Based Optimization of Antenna Structures Using Nature-Inspired Algorithms
PublicationThe primary objective of this study is investigation of the possibilities of accelerating nature-inspired optimization of antenna structures using multi-fidelity EM simulation models. The primary methodology developed to achieve acceleration is a model management scheme which the level of EM simulation fidelity using two criteria: the convergence status of the optimization algorithm, and relative quality of the individual designs...
-
A Computationally Efficient Model for Predicting Successful Memory Encoding Using Machine-Learning-based EEG Channel Selection
PublicationComputational cost is an important consideration for memory encoding prediction models that use data from dozens of implanted electrodes. We propose a method to reduce computational expense by selecting a subset of all the electrodes to build the prediction model. The electrodes were selected based on their likelihood of measuring brain activity useful for predicting memory encoding better than chance (in terms of AUC). A logistic...
-
“Don’t call it work”: An interpretative phenomenological analysis of volunteer firefighting in young adults based on the volunteer process model
PublicationThe number of people engaging in volunteer firefighting is on the decline. It is important to understand what factors on a personal and social level and from the three stages of the volunteer process model: antecedents, experiences and consequences, might be linked to starting and sustaining such engagement. To address this problem, a qualitative, interview-based study was performed on a sample of 10 volunteer firefighters from...
-
An inverse algorithm for contact heat conduction problems with an interfacial heat source based on a first-order thermocouple model
PublicationInverse problems of contact heat conduction with an interfacial heat source are common in various fields of science, engineering and technology. In this study, an algorithm for their solution is developed based on an inverse parametric optimisation method with an impulse response function describing the heat partition and contact heat transfer. A first-order thermocouple model with a time constant parameter is embedded in the impulse...
-
"Creating a numerical model of noise conditions based on the analysis of traffic volume changes in cities with low and medium structure.
PublicationThe subject of this research study is to analyze noise conditions of the selected area in the city of Gdańsk using data related to traffic volume changes during a day. This is because daily distribution of noise levels is much more helpful for noise control and reduction than traditional maps with Lden levels indicated. Calculations are made with the use of a numerical model developed at the Gdansk Univ. of Technology and implemented...
-
"Creating a numerical model of noise conditions based on the analysis of traffic volume changes in cities with low and medium structure.
PublicationThe subject of this research study is to analyze noise conditions of the selected area in the city of Gdańsk using data related to traffic volume changes during a day. This is because daily distribution of noise levels is much more helpful for noise control and reduction than traditional maps with Lden levels indicated. Calculations are made with the use of a numerical model developed at the Gdansk Univ. of Technology and implemented...
-
A novel DEM-based pore-scale thermal-hydro-mechanical model for fractured non-saturated porous materials
PublicationDo propagacji pęknięć wykorzystano nowy oparty na DEM, termiczno-hydromechaniczny model dwufazowego przepływu płynu w skali porów rozszerzony o wymianę ciepła w nienasyconych materiałach porowatych o małej porowatości. Wykonano obliczenia numeryczne dla kohezyjnych próbek ziarnistych przy użyciu DEM w pełni sprzężonego z CFD (opartego na sieci przepływu płynu) i wymianą ciepła, który zintegrował mechanikę dyskretną z mechaniką...
-
Automated Valuation Model based on fuzzy and rough set theory for real estate market with insufficient source data
PublicationObjective monitoring of the real estate value is a requirement to maintain balance, increase security and minimize the risk of a crisis in the financial and economic sector of every country. The valuation of real estate is usually considered from two points of view, i.e. individual valuation and mass appraisal. It is commonly believed that Automated Valuation Models (AVM) should be devoted to mass appraisal, which requires a large...
-
A new fuzzy model of multi-criteria decision support based on Bayesian networks for the urban areas' decarbonization planning
Publication -
Analysis of expression of genes responsible for regulation of cellular proliferation and migration – microarray approach based on porcine oocyte model
Publication -
Verification of the theoretical methods for the prediction of resistance of sailing yachts based on model test results of a yacht V.O.60
PublicationWeryfikacja opiera się głównie na serii systematycznych badań modelowych wykonanych w roku 2001 w Laboratorium Hydromechaniki Okrętu WOIO PG. Zademonstrowano prognozy oporu jachtu wykonane trzema metodami z oszacowaniem i dyskusją rozbieżności wyników. Przeprowadzone badania są zorientowane na opracowanie wiarygodnego programu komputerowego dla prognozowania prędkości i innych parametrów ruchu żaglowych, regatowych jachtów oceanicznych...
-
Evaluation the environmental fate of pharmaceuticals using a level III model based on poly-parameter linear free energy relationships
PublicationOpisano możliwości zastosowania modelu ''Level III Model'' do opisu losu środowiskowego pozostałości farmaceutyków w środowisku. Zastosowany model umożliwia oszacowanie trwałości, stężeń oraz transportu poszczególnych zanieczyszczeń pomiędzy poszczególnymi elementami składowymi środowiska (powietrze, woda, gleba i osady denne).
-
Personalized prediction of the secondary oocytes number after ovarian stimulation: A machine learning model based on clinical and genetic data
PublicationControlled ovarian stimulation is tailored to the patient based on clinical parameters but estimating the number of retrieved metaphase II (MII) oocytes is a challenge. Here, we have developed a model that takes advantage of the patient’s genetic and clinical characteristics simultaneously for predicting the stimulation outcome. Sequence variants in reproduction-related genes identified by next-generation sequencing were matched...
-
Monitoring the gas turbine start-up phase on the platform using a hierarchical model based on Multi-Layer Perceptron networks
PublicationVery often, the operation of diagnostic systems is related to the evaluation of process functionality, where the diagnostics is carried out using reference models prepared on the basis of the process description in the nominal state. The main goal of the work is to develop a hierarchical gas turbine reference model for the estimation of start-up parameters based on multi-layer perceptron neural networks. A functional decomposition...
-
Laboratory Load Model Based on 150 kVA Power Frequency Converter and Simulink Real-Time – Concept, mplementation, Experiments
PublicationFirst section of the paper provides technical specification of laboratory load model basing on 150 kVA power frequency converter and Simulink Real-Time platform. Assumptions, as well as control algorithm structure is presented. Theoretical considerations based on criteria which load types may be simulated using discussed laboratory setup, are described. As described model contains transformer with thyristor-controlled tap changer,...
-
Geometrically nonlinear FEM analysis of 6-parameter resultant shell theory based on 2-D Cosserat constitutive model
PublicationWe develop the elastic constitutive law for the resultant statically and kinematically exact, nonlinear, 6-parameter shell theory. The Cosserat plane stress equations are integrated through-the- thickness under assumption of the Reissner-Mindlin kinematics. The resulting constitutive equations for stress resultant and couple resultants are expressed in terms of two micropolar constants: the micropolar modulus Gc and the micropolar...
-
Experimental and model-based evaluation of the role of denitrifying polyphosphate accumulating organisms at two large scale WWTPs in northern Poland
PublicationW pracy dokonano oceny zdolności denitryfikacyjnych bakterii fosforowych na przykładzie oczyszczalni ścieków ''Wschód'' w Gdańsku i ''Dębogórze'' w Gdyni. W tym celu wykonano serię testów z wykorzystaniem tzw. reaktora ''wsadowego'', które następnie były modelowane za pomocą modelu ASM2d. Badania wykazały, że tylko 32% bakterii fosforowych posiada zdolność do denitryfikacji. Szybkość denitryfikacji związana z aktywnością bakterii...
-
Artificial Intelligence-Based Weighting Factor Autotuning for Model Predictive Control of Grid-Tied Packed U-Cell Inverter
Publication -
Automatic Identification System (AIS) Dynamic Data Integrity Monitoring and Trajectory Tracking Based on the Simultaneous Localization and Mapping (SLAM) Process Model
PublicationTo enhance the safety of marine navigation, one needs to consider the involvement of the automatic identification system (AIS), an existing system designed for ship-to-ship and shipto- shore communication. Previous research on the quality of AIS parameters revealed problems that the system experiences with sensor data exchange. In coastal areas, littoral AIS does not meet the expectations of operational continuity and system availability,...
-
Stability analysis of nanobeams in hygrothermal environment based on a nonlocal strain gradient Timoshenko beam model under nonlinear thermal field
PublicationThis article is dedicated to analyzing the buckling behavior of nanobeam subjected to hygrothermal environments based on the principle of the Timoshenko beam theory. The hygroscopic environment has been considered as a linear stress field model, while the thermal environment is assumed to be a nonlinear stress field based on the Murnaghan model. The size-dependent effect of the nanobeam is captured by the nonlocal strain gradient...
-
A coupled constitutive model for fracture in plain concrete based on continuum theory with non-local softening and eXtended Finite Element Method
PublicationThe paper presents a constitutive model for concrete which combines a continuous and discontinuous fracture description. In a continuum regime, two different constitutive laws were used. First, a plasticity model with a Rankine failure criterion and an associated fl ow rule was used. Second, a constitutive law based on isotropic damage mechanics was formulated. In order to capture the width of a localized zone and to obtain mesh-independent...
-
A dynamic vehicle-bridge model based on the modal identification results of an existing EN57 train and bridge spans with non-ballasted tracks
PublicationThis paper addresses the methodology of the bridge-vehicle dynamic model definition based on the free response measurements of an existing train and existing bridge spans. In the case of the railway vehicle, the methodology uses the impulse excitations of a single car by means of the wedge method. In the case of the bridge spans, free responses are collected after the passages of trains. The global modal parameters (frequencies...
-
An automated learning model for twitter sentiment analysis using Ranger AdaBelief optimizer based Bidirectional Long Short Term Memory
PublicationSentiment analysis is an automated approach which is utilized in process of analysing textual data to describe public opinion. The sentiment analysis has major role in creating impact in the day-to-day life of individuals. However, a precise interpretation of text still relies as a major concern in classifying sentiment. So, this research introduced Bidirectional Long Short Term Memory with Ranger AdaBelief Optimizer (Bi-LSTM RAO)...
-
Expression-based decision tree model reveals distinct microRNA expression pattern in pediatric neuronal and mixed neuronal-glial tumors
Publication -
Torsional stability capacity of a nano-composite shell based on a nonlocal strain gradient shell model under a three-dimensional magnetic field
PublicationThis paper considers a single-walled composite nano-shell (SWCNS) exposed in a torsional critical stability situation. As the magnetic field affects remarkably nanostructures in the small size, a three-dimensional magnetic field is assessed which contains magnetic effects along the circumferential, radial and axial coordinates system. Based on the results of the nonlocal model of strain gradient small-scale approach and the first-order...
-
A Novel Versatile Decoupling Structure and Expedited Inverse-Model-Based Re-Design Procedure for Compact Single-and Dual-Band MIMO Antennas
PublicationMultiple-input multiple-output (MIMO) antennas are considered to be the key components of fifth generation (5G) mobile communications. One of the challenges pertinent to the design of highly integrated MIMO structures is to minimize the mutual coupling among the antenna elements. The latter arises from two sources, the coupling in the free space and the coupling currents propagating on a ground plane. In this paper, an array of...
-
What determines export structure in the EU countries? The use of gravity model in international trade based on the panel data for the years 1995-2015
Publication -
Laxer Clinical Criteria for Gaming Disorder May Hinder Future Efforts to Devise an Efficient Diagnostic Approach: A Tree-Based Model Study
PublicationInternet Gaming Disorder (IGD) has been recognized in May 2013 and can be evaluated using the criteria developed by American Psychiatric Association (APA). The present study investigated the role each IGD criteria plays in diagnosing disordered gaming. A total of 3,377 participants (mean age 20 years, SD = 4.3 years) participated in the study. The data collected was scrutinized to detect patterns...
-
Accurate Modeling of Frequency Selective Surfaces Using Fully-Connected Regression Model with Automated Architecture Determination and Parameter Selection Based on Bayesian Optimization
PublicationSurrogate modeling has become an important tool in the design of high-frequency structures. Although full-wave electromagnetic (EM) simulation tools provide an accurate account for the circuit characteristics and performance, they entail considerable computational expenditures. Replacing EM analysis by fast surrogates provides a way to accelerate the design procedures. Unfortunately, modeling of microwave passives is a challenging...
-
HYGRO-MAGNETIC VIBRATION OF THE SINGLE-WALLED CARBON NANOTUBE WITH NONLINEAR TEMPERATURE DISTRIBUTION BASED ON A MODIFIED BEAM THEORY AND NONLOCAL STRAIN GRADIENT MODEL
PublicationIn this study, vibration analysis of single-walled carbon nanotube (SWCNT) has been carried out by using a refined beam theory, namely one variable shear deformation beam theory. This approach has one variable lesser than a contractual shear deformation theory such as first-order shear deformation theory (FSDT) and acts like classical beam approach but with considering shear deformations. The SWCNT has been placed in an axial or...
-
A constitutive model for concrete based on continuum theory with non-local softening coupled with eXtended Finite Element Method. Computational Modelling of Concrete Structures,
PublicationArtykuł omawia model połączony ciągły-nieciągły do modelowania stref lokalizacji i rys w betonie niezbrojonym. Obliczenia wykonano stosując rozszerzoną metodę elementów skończonych. Wyniki numeryczne porównano z doświadczeniami.
-
Density functional theory-based simulations of sum frequency generation spectra involving methyl stretching vibrations: effect of the molecular model on the deduced molecular orientation and comparison with an analytical approach
PublicationThe knowledge of the first hyperpolarizability tensor elements of molecular groups is crucial for a quantitative interpretation of the sum frequency generation (SFG) activity of thin organic films at interfaces. Here, the SFG response of the terminal methyl group of a dodecanethiol (DDT) monolayer has been interpreted on the basis of calculations performed at the density functional theory (DFT) level of approximation. In particular,...
-
Pro-Cognitive Properties of the Immunomodulatory Polypeptide Complex, Yolkin, from Chicken Egg Yolk and Colostrum-Derived Substances: Analyses Based on Animal Model of Age-Related Cognitive Deficits
Publication -
Erratum to: Pro-Cognitive Properties of the Immunomodulatory Polypeptide Complex, Yolkin, from Chicken Egg Yolk and Colostrum-Derived Substances: Analyses Based on Animal Model of Age-Related Cognitive Deficits
Publication -
Wyznaczenie optymalnego sposobu eksploatacji ujęć za pomocą modelu numerycznego na przykładzie rejonu Słupska = Determination of the optimal way of the exploitation based on the numerical model - case study Słupsk region
PublicationRejon Słupska należy do obszarów o korzystnych lecz skomplikowanych warunkach hydrogeologicznych. W neogeńskim poziomie wodonośnym wyróżnia się dwie warstwy wodonośne, przy czym obie narażone są na możliwość zasolenia w wyniku ascenzji wód piętra kredowego. Ze względu na planowane zaopatrzenie w wodę miasta Słupska wyłącznie w oparciu o ujęcia Westerplatte i Głobino, badaniami objęto przybliżony obszar zasilania i oddziaływania...
-
Experience with instantiating an automated testing process in the context of incremental and evolutionary software development
PublicationThe purpose of this article is to present experiences from testing a complex AJAX-based Internet-system which is under development for more than five years. The development process follows incremental and evolutionary lifecycle model and the system is delivered in subsequent releases. Delivering a new release involves both, the new tests (related to the new and/or modified functionalities) and the regression tests (after their...
-
Testing OFDM Transmission Schemes for Shallow Water Acoustic Communications
PublicationLarge variability of communication properties of underwater acoustic channels, and especially strongly varying instantaneous conditions in shallow waters, is a tough challenge for the designers of underwater acoustics communication (UAC system. There is a need for developing adaptive signaling schemes that would dynamically optimize signal parameters in both physical and link layers of communication protocols. The orthogonal frequency...
-
Bridge Non-Destructive Measurements Using a Laser Scanning during Acceptance Testing: Case Study
PublicationOwing to the recent proliferation of inventory works on roads and railways, bridge acceptance tests have increased exponentially. These tests’ results are often misinterpreted owing to the use of various measuring equipment types, rendering integrated interpretation problematic. It is also problematic that adjusting the measurement method is difficult when the structure’s response to load is uncertain. Therefore, it is important...
-
Alternative Modeling of Volunteer Based Systems
PublicationThe canonical approach to model a flow of a voluntary based computing, as presented in Chapter 7 may tax the capacity of the simulator, especially when a more complex model of Voluntary Computing, proposed in [1], is used which would imply that, for typical heterogeneous groups of volunteers, several thousands of threads would have to be run inside the simulator, to mimic closely the behaviour of every volunteer. This chapter presents...
-
Graph security testing
PublicationSet S ⊂ V is called secure set iff ∀ X ⊂ S | N [ X ] ∩ S | ≥ | N ( X ) \ S | [3]. That means that every subset of a secure set has at least as many friends (neighbour vertices in S) as enemies (neighbour vertices outside S) and will be defended in case of attack. Problem of determining if given set is secure is co −NP -complete, there is no efficient algorithm solving it [3]. Property testers are algorithms that distinguish inputs...
-
Autonomous Driver Based on an Intelligent System of Decision-Making
PublicationThe paper presents and discusses a system (xDriver) which uses an Intelligent System of Decision-making (ISD) for the task of car driving. The principal subject is the implementation, simulation and testing of the ISD system described earlier in our publications for the task of autonomous driving. The design of the whole ISD system is a result of a thorough modelling of human psychology based on an extensive literature study. Concepts...
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublicationThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
An Attempt to Create Speech Synthesis Model That Retains Lombard Effect Characteristics
PublicationThe speech with the Lombard effect has been extensively studied in the context of speech recognition or speech enhancement. However, few studies have investigated the Lombard effect in the context of speech synthesis. The aim of this paper is to create a mathematical model that allows for retaining the Lombard effect. These models could be used as a basis of a formant speech synthesizer. The proposed models are based on dividing...