Search
Search results for: verification and validation
-
Journal of Verification, Validation and Uncertainty Quantification
Journals -
International Conference on Software Testing, Verification and Validation
Conferences -
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Conferences -
International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Conferences -
Validation of an Agent and Ontology-based Information Technology Assessment System
PublicationThe aim of this paper is to present a new method of the validation of an Agent and Ontology-based Information Technology Assessment System. In the introduction part of the paper, the characteristics of the proposed multi-agent system are presented. Next, some important details regarding the ontology functionality of this system are described and an approach to its verification process is proposed. The approach employs semantic...
-
Evaluation of Decision Fusion Methods for Multimodal Biometrics in the Banking Application
PublicationAn evaluation of decision fusion methods based on Dempster-Shafer Theory (DST) and its modifications is presented in the article, studied over real biometric data from the engineered multimodal banking client verification system. First, the approaches for multimodal biometric data fusion for verification are explained. Then the proposed implementation of comparison scores fusion is presented, including details on the application...
-
Hip endhoprothesis development using rapid prototyping methods
PublicationIntegrated product development based on Rapid Prototyping methods, connected with computer aided 3D design and computer aided engineering enables fast and full new product verification and validation. A case study derived from clinical and technological practice using hip implant construction is also included.
-
Road noise mapping in the city area: measurements compared to model-based estimations
PublicationThe paper presents an approach to the verification of noise prediction models in selected localization in the city of Gdansk. The experiments described include a comparison between environmentalmeasurement results performed in the terrain and the noise level prediction results. The NMPB-96 (Nouvelle Méthode de Prévision du Bruit) and Harmonoise models outcomes provide the subject ofthe analysis. The proposed solution of continuous...
-
Mechanical-Level Hardware-In-The-Loop and Simulation in Validation Testing of Prototype Tower Crane Drives
PublicationIn this paper, the static and dynamic simulations, and mechanical-level Hardware-In-the-Loop (MHIL) laboratory testing methodology of prototype drive systems with energy-saving permanent-magnet electric motors, intended for use in modern construction cranes is proposed and described. This research was aimed at designing and constructing a new type of tower crane by Krupiński Cranes Company. The described research stage was necessary...
-
Low-Cost Open-Hardware System for Measurements of Antenna Far-Field Characteristics in Non-Anechoic Environments
PublicationExperimental validation belongs to the most important steps in the development of antenna structures. Measurements are normally performed in expensive, dedicated facilities such as anechoic chambers, or open-test sites. A high cost of their construction might not be justified when the main goal of antenna verification boils down to demonstration of the measurement procedure, or rough validation of the simulation models used for...
-
Integration and verification of meteorological observations and NWP model data for the local GNSS tomography
PublicationGNSS meteorology applies the Global Navigation Satellite Systems (GNSS) to derive information about the state of the atmosphere (particularly troposphere). The tomography is one of the methods used in GNSS meteorology. The input data of GNSS tomography are the signal troposphere delays, results of GNSS data processing and additionally meteorological observations and Numerical Weather Prediction (NWP) models data. Different types...
-
DYNAMIC RESPONSE OF FORUM GDANSK STRUCTURE DUE TO RAIL TRAFFIC
PublicationThe paper presents the study of the impact of vibration induced by the movement of the railway rolling stock on the Forum Gdańsk structure. This object is currently under construction and is located over the railway tracks in the vicinity of the Gdańsk Główny and Gdańsk Śródmieście railway stations. The analysis covers the influence of vibrations on the structure itself and on the people within. The in situ measurements on existing...
-
Development and performance analysis of a novel multiphase doubly-fed induction generator
PublicationThis paper presents the research into the design and performance analysis of a novel five-phase doubly-fed induction generator (DFIG). The designed DFIG is developed based on standard induction motor components and equipped with a five-phase rotor winding supplied from the five-phase inverter. This approach allows the machine to be both efficient and reliable due to the ability of the five-phase rotor winding to operate during...
-
Foundations of Grid Processing Architecture for the Comcute System
PublicationFundamental system algorithms and structures implemented in the Comcute system are described and analysed in detail. Layered architecture of the system model is highlighted. System tasks of the layers are elaborated, presented and described. Operational details of communication interfaces among layers are worked out and examined. The focus is put onto implemented system components with regard to their operability and efficiency....
-
Detailed experimental investigations on frictional pressure drop of R134a during flow boiling in 5 mm diameter channel: The influence of acceleration pressure drop component =Études expérimentales détaillées sur la chute de pression frictionnelle du R134a lors de l'ébullition en écoulement dans un canal de 5 mm de diamètre : influence de la composante d'accélération de la chute de pression
PublicationThis article presents detailed two-phase diabatic pressure drop data for refrigerant R134a at a saturation pressure of 5.5 bar corresponding to the saturation temperature of 19.4 °C. Study cases have been set for a mass flux varying from 100 to 500 kg m−2 s−1. The obtained data are used as a validation of the void fraction literature models, a set of graphs shows comparisons, for a representative set of experimental conditions,...
-
Remote Stateful Autoconfiguration for Mobile IPv6 Nodes with Server Side Duplicate Address Detection
PublicationDuring interdomain handover, IPv6 node requires new address at its new location. Once the L2 handover procedure is completed, mobile node (MN) starts its IPv6 configuration, using stateless (router advertisements) or stateful (DHCPv6 communication) mode. Once the address is obtained, its uniqueness has to be verified, using Duplicate Address Detection (DAD) procedure. Depending on the interface type, this procedure may easily take...
-
Magnetic Signature Description of Ellipsoid-Shape Vessel Using 3D Multi-Dipole Model Fitted on Cardinal Directions
PublicationThe article presents a continuation of the research on the 3D multi-dipole model applied to the reproduction of magnetic signatures of ferromagnetic objects. The model structure has been modified to improve its flexibility - model parameters determined by optimization can now be located in the cuboid contour representing the object's hull. To stiffen the model, the training dataset was expanded to data collected from all four cardinal...
-
Natura i dziedzictwo – Cele Zrównoważonego Rozwoju (SDG) jako czynniki integracji społecznej w przestrzeniach osiedli mieszkaniowych. Studium Zaspy./ Nature and heritage – Sustainable Development Goals (SDG) as factors of social integration in the space of housing estates. Study of Zaspa
PublicationThis article introduces the topic of revitalising outdoor common spaces in existing housing developments. The aim of the research is to present universal design models by analysing nature and heritage as dominant values, complementing perceived natural and cultural deficiencies. For this purpose, the Sustainable Development Goals (SDG), UNESCO (UNESCO, 2015) and the Research Through Design (RTD) method were used. The Zaspa housing...
-
Reduced-cost design closure of antennas by means of gradient search with restricted sensitivity update
PublicationDesign closure, i.e., adjustment of geometry parameters to boost the performance, is a challenging stage of antenna design process. Given complexity of contemporary structures, reliable parameter tuning requires numerical optimization and can be executed using local algorithms. Yet, EM-driven optimization is a computationally expensive endeavour and reducing its cost is highly desirable. In this paper, a modification of the trust-region...
-
Playback detection using machine learning with spectrogram features approach
PublicationThis paper presents 2D image processing approach to playback detection in automatic speaker verification (ASV) systems using spectrograms as speech signal representation. Three feature extraction and classification methods: histograms of oriented gradients (HOG) with support vector machines (SVM), HAAR wavelets with AdaBoost classifier and deep convolutional neural networks (CNN) were compared on different data partitions in respect...
-
Method of earth fault loop impedance measurement without nuisance tripping of RCDs in 3-phase low-voltage circuits
PublicationVerification of electrical safety in low-voltage power systems includes the measurement of earth fault loop impedance. This measurement is performed to verify the effectiveness of protection against indirect contact. The widespread classic methods and meters use a relatively high value of the measuring current (5–20) A, so that they are a source of nuisance tripping of residual current devices (RCDs). The meters dedicated to circuits...
-
Experimental and computational study on mechanical behaviour of carpentry corner log joints
PublicationThis work concerns experimental and numerical research on carpentry joints used in historic wooden buildings in southeastern Poland and western Ukraine. These structures are mainly sacred buildings, and the types of corner log joints characteristic of this region are primarily saddle-notch and dovetail joints; thus, these two types of joints were analysed in this study. The modelling of historic timber structures is a complex...
-
On implementation of fibrous connective tissues’ damage in Abaqus software
PublicationConnective fibrous tissues, such as tendons and ligaments, in humans and animals exhibit hyperelastic behaviour. The constitution of the material of these tissues is anisotropic due to the presence of the collagen fibres, where one family of fibres is the typical case. Traumatic events and/or aging may sometimes lead to the damage of the tissue. The study of motion of affected joints or limbs is usually not permitted in vivo. This...
-
Wzory kreatywności. Koncepcja modelu prawdopodobieństwa działania kreatywnego jako narzędzie badania procesu twórczego w środowisku miejskim
PublicationWspółczesne koncepcje kształtowania miast, takie jak zrównoważony rozwój, miasto odporne, inteligentne miasto, miasto kreatywne, tworzą obecnie ramy urbanistyki o charakterze jednej uogólnionej idei kształtującej środowisko społeczno-materialne. Kontekstualne ujęcie badań kreatywności opisuje zależności między środowiskiem miejskim a twórczością w mieście kreatywnym. Ujęcie procesualne kreatywności stanowi hic et nunc urbanizmu,...
-
Cost‐efficient performance‐driven modelling of multi‐band antennas by variable‐fidelity electromagnetic simulations and customized space mapping
PublicationElectromagnetic (EM) simulations have become an indispensable tool in the design of contemporary antennas. EM‐driven tasks, for example, parametric optimization, entail considerable computational efforts, which may be reduced by employing surrogate models. Yet, data‐driven modelling of antenna characteristics is largely hindered by the curse of dimensionality. This may be addressed using the recently reported domain‐confinement...
-
An ANN-Based Approach for Prediction of Sufficient Seismic Gap between Adjacent Buildings Prone to Earthquake-Induced Pounding
PublicationEarthquake-induced structural pounding may cause major damages to structures, and therefore it should be prevented. This study is focused on using an artificial neural network (ANN) method to determine the sufficient seismic gap in order to avoid collisions between two adjacent buildings during seismic excitations. Six lumped mass models of structures with a different number of stories (from one to six) have been considered in...
-
Wpływ wysokiej osteotomii piszczelowej na mechanikę stawu kolanowego
PublicationW rozprawie podjęto próbę weryfikacji wpływu zabiegu chirurgicznego wysokiej osteotomii piszczelowej na mechanikę stawu kolanowego. Po wykonanym przeglądzie literatury, postawiono trzy hipotezy, które poddano weryfikacji na drodze badań numerycznych. Otrzymane wyniki zwalidowano poprzez badania nacisków powierzchniowych występujących w stawach kolanowych świni domowej, prowadzonych na maszynie do jednoosiowego ściskania. Praca...
-
Zarządzanie terminowością w projektach. Wskaźniki i narzędzia
PublicationCzas jest istotnym elementem tzw. trójkąta projektu, dlatego też terminowość, rozu-miana, jako realizacja przedsięwzięcia w zadanym czasie, to parametr, który powinien podle-gać szczególnemu nadzorowi, a ryzyko nieterminowej realizacji powinno być wykrywane niezwłocznie. Istniejące już metody, takie jak np. wartość wypracowana (j.ang Earned Value - EV) pozwalają zaadresować te wyzwania, jednak ze względu na swoją złożoność mogą...
-
Verification of the Parameterization Methods in the Context of Automatic Recognition of Sounds Related to Danger
PublicationW artykule opisano aplikację, która automatycznie wykrywa zdarzenia dźwiękowe takie jak: rozbita szyba, wystrzał, wybuch i krzyk. Opisany system składa się z bloku parametryzacji i klasyfikatora. W artykule dokonano porównania parametrów dedykowanych dla tego zastosowania oraz standardowych deskryptorów MPEG-7. Porównano też dwa klasyfikatory: Jeden oparty o Percetron (sieci neuronowe) i drugi oparty o Maszynę wektorów wspierających....
-
Design and experimental validation of a single-stage PV string inverter with optimal number of interleaved buck-boost cells.
PublicationIncreasing converter power density is a problem of topical interest. This paper discusses an interleaved approach of the efficiency increase in the buck-boost stage of an inverter with unfolding circuit in terms of losses in semiconductors, output voltage ripples and power density. Main trends in the power converter development are reviewed. A losses model was designed and used for the proposed solution to find an optimal number...
-
cDNA fingerprint from the hepatopancreatic glands of pond snails (Lymnaea stagnalis) exposed to benzo[a]pyrene
PublicationIdentification of differentially expressed genes that could be potentially used as biomarkers of PAH exposure of common invertebrate animal (like freshwater snail) would be a valuable resource for investigators interested in toxicology and biomonitoring of aquatic environments. Therefore, the aim of this research was to investigate effects of waterborne benzo[a]pyrene (B[a]P) exposure on mRNA expression in the pond snail’s (Lymnaea...
-
Validation of a virtual test environment for C2X communication under radio jamming conditions
PublicationIn this paper, we propose a novel car-2-x communication security testing methodology in the physical layer of wireless systems. The approach is dedicated to automated testing of autonomous vehicles and it is essential for such complex systems operation, especially with regard to safety and security issues. It is based on scenario-driven testing in virtual and real test environments created from collected or simulated data. The...