Filtry
wszystkich: 728
-
Katalog
- Publikacje 572 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 11 wyników po odfiltrowaniu
- Osoby 10 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Kursy Online 6 wyników po odfiltrowaniu
- Wydarzenia 1 wyników po odfiltrowaniu
- Dane Badawcze 124 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: SIGNATURE%20VERIFICATION
-
Magnetic Signature Description of Ellipsoid-Shape Vessel Using 3D Multi-Dipole Model Fitted on Cardinal Directions
PublikacjaThe 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...
-
Improving the Quality of Magnetic Signature Reproduction by Increasing Flexibility of Multi-Dipole Model Structure and Enriching Measurement Information
PublikacjaThe paper presents the construction of a multi-dipole model that allows reproducing magneticsignatures of ferromagnetic objects. The virtual object used in the paper is an ellipsoid, which is the sourceof synthetic data. To make the situation more realistic, noise is added to the synthetic data. Two significantimprovements compared to previous work are presented. Three-axial magnetometers are introduced insteadof uniaxial magnetometers....
-
Magnetic signature reproduction of ferromagnetic ships at arbitrary geographical position, direction and depth using a multi-dipole model
PublikacjaThe reproduction of magnetic signatures is an important issue concerning the safety of ship traffic, as well as the identification and classification of vessels. Moreover, military applications of magnetic signatures and their reproduction refer to the activation or protection against activation of magnetic naval mines. Previous works on this subject focused on recording and replicating the signatures under the same conditions...
-
The influence of the geographic positioning system error on the quality of ship magnetic signature reproduction based on measurements in sea conditions
PublikacjaIn previous studies, the authors performed the magnetic signature reconstruction of the marine ship Zodiak as part of the measurement campaign focused on recording magnetic data and the relative position of a ship during its passage over a magnetometer immersed on the testing ground. A high degree of representation of the magnetic signature was obtained. However, the recorded measurement data revealed new patterns of the multidipole model...
-
Magnetic signature reproduction of ferromagnetic ships at arbitrary geographical position, direction and depth using a multi-dipole model – source and verification dataset with description
Dane BadawczeThe dataset include source synthetic magnetic data concerning the corvette-type ship numeric model. The data are for 6 locations around the World with different V1 ÷ V6 Earth magnetic field values. The attached data is in Matlab. MAT format, but the data can also be used in Octave software.
-
Identification of serum proteome signatures of locally advanced and metastatic gastric cancer: a pilot study
Publikacja -
Verification of the fit to user profiles for UML tools
PublikacjaDopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...
-
program verification strategy and edge ranking of graphs
PublikacjaW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Accoustic verification of onomatopoeic sets in contrastive approach
PublikacjaPraca relacjonuje efekty prób wykorzystania technik cyfrowego przetwarzania sygnału mowy dla zaspokojenia specyficznych potrzeb nauk humanistycznych, które, ograniczając się wyłącznie do tra-dycyjnie stosowanego warsztatu badawczego, napotykają współcześnie na bariery znacznie blokują-ce oczekiwany postęp. Omówiono proces badawczy, który służyć ma językoznawcom dokonującym porównań wyrażeń dźwiękonaśladowczych odnajdywanych w odmiennych...
-
Acoustic verification on onomatopoeic sets in contrastive approach
Publikacja -
Acoustic verification on onomatopoeic sets in contrastive approach
Publikacja -
Spectroscopic verification of ionic matrices for MALDI analysis
Publikacja -
Development and Verification of the Diagnostic Model of the Sieving Screen
Publikacja -
Verification of agent system for it project management support
PublikacjaThis article is a continuation of article series telling about research about possibility of using agent system to information technology evaluation. Following article presents full conception of exploiting agent system and shows how it can support some managers works, especially in taking correct management method and information tool for project management. In this article the agent system that based on knowledge and can process...
-
Integrity level verification for safety-related functions
PublikacjaThis article describes methods for safety integrity level (SIL) verification of safety-related functions with regard to probabilistic criteria given international standards IEC 61508 and IEC 61511. These functions are to be realized using the electrical, electronic and programmable electronic (E/E/PE) systems or safety instrumented systems (SIS). Some methods are proposed for quantitative probabilistic modelling taking into account...
-
Verification of baffle factor for straight pipe flow
PublikacjaDuring the water disinfection devices designing, it is often assumed that the baffle factor for a straight pipe reactors is equal to one. It would be possible only for the plug flow, which is a simplified model of the flow and does not appear in real situations. The paper contains an equation which enables calculation of the real value of the baffle factor for the pipe flow.
-
Verification and Benchmarking in MPA Coprocessor Design Process
PublikacjaThis paper presents verification and benchmarking required for the development of a coprocessor digital circuit for integer multiple-precision arithmetic (MPA). Its code is developed, with the use of very high speed integrated circuit hardware description language (VHDL), as an intellectual property core. Therefore, it can be used by a final user within their own computing system based on field-programmable gate arrays (FPGAs)....
-
Testbed for development and verification of hybrid localization systems
PublikacjaIn this paper a testbed for development and verification of hybrid localization systems is presented. It allows for systematic analysis of hybrid localization methods and speed up the development of new schemes. The proposed testbed platform is composed of subsystem for sequential data collection and testing infrastructure that can be used for investigating the localization mechanisms in controllable environment.
-
A method of verification diagnostics for functional safety analysis
PublikacjaProblemy analizy bezpieczeństwa zostały zapoczątkowane w lotnictwie i energetyce jądrowej, a obecnie wprowadzane są szeroko do różnych gałęzi przemysłu, jak przemysł chemiczny, mechaniczny, etrochemiczny, spożywczy, itp. W analizie bezpieczeństwa funkcjonalnego względem przyjętego poziomu SIL wyznacza się prawdopodobieństwa nie wypełnienia określonej funkcji na żądanie (PDF). Do tego celu stosuje się różne metody analityczne, wykorzystuje...
-
Elgold intermediate: verified by verification team
Dane BadawczeThe dataset contains the texts from Elgold intermediate: annotated raw additionaly verified by the five-person verification team. arly 25% of the mentions were corrected in some aspect.
-
Applying of thin plate boundary condition in analysis of ship’s magnetic field
PublikacjaThis paper presents computer simulations of ship’s magnetic signatures using a new thin plate boundary condition implemented in the Opera-3d 18R2 program. The paper aims to check the magnetic signatures’ numerical calculations precision of objects using the thin plate boundary conditions and analysis of the magnetic signature of ship with a degaussing system and with and without inner devices.
-
Tumor infiltrating lymphocyte signature is associated with single nucleotide polymorphisms and predicts survival in esophageal squamous cell carcinoma patients
Publikacja -
On the necessity of experimental verification of numerical results in biomedical applications
PublikacjaPorous structures made of metal or biopolymers with a structure similar in shape and mechanical properties to human bone can be easily produced by stereolitography techniques, e.g. selective laser melting (SLM). Numerical techniques, like finite element method (FEM) have great potential in testing new, even the most sophisticated designs, according to their mechanical properties, i.e. strength or stiffness. However, due to different...
-
Stress analysis of the bridge hangers in terms of the fatigue verification
PublikacjaThe paper presents the results of numerical stress analysis of the bridge rod hangers. Two types of hangers were taken into account, i.e. the bolted hanger and the welded hanger. A detailed FEM shell models of the connection area between the hanger and the bridge span have been developed. Local stress concentration effects have been investigated in terms of fatigue verification.
-
Emotion Monitoring – Verification of Physiological Characteristics Measurement Procedures
PublikacjaThis paper concerns measurement procedures on an emotion monitoring stand designed for tracking human emotions in the Human-Computer Interaction with physiological characteristics. The paper addresses the key problem of physiological measurements being disturbed by a motion typical for human-computer interaction such as keyboard typing or mouse movements. An original experiment...
-
Experimental Verification of Storm Sewer Transient Flow Simulation
PublikacjaThe paper focuses mainly on laboratory investigations of transient and transcritical flow in a single pipe of a sewer system. The aim of this paper is to present a comparison between pressure values calculated by an improved McCormack scheme and those measured at the hydraulic laboratory of the Gdansk University of Technology, which were observed inside a pipe in an experiment for water flow with pressurization. The analysis proves...
-
Face detection algorithms evaluation for the bank client verification
PublikacjaResults of investigation of face detection algorithms in the video sequences are presented in the paper. The recordings were made with a miniature industrial USB camera in real conditions met in three bank operating rooms. The aim of the experiments was to check the practical usability of the face detection method in the biometric bank client verification system. The main assumption was to provide as much as possible user interaction...
-
Game with a Purpose for Verification of Mappings Between Wikipedia and WordNet
PublikacjaThe paper presents a Game with a Purpose for verification of automatically generated mappings focusing on mappings between WordNet synsets and Wikipedia articles. General description of idea standing behind the games with the purpose is given. Description of TGame system, a 2D platform mobile game with verification process included in the game-play, is provided. Additional mechanisms for anti-cheating, increasing player’s motivation...
-
Verification of multiband system for non-contact emissivity measurements
PublikacjaW pracy przeprowadzono weryfikację wielopasmowej pasywnej metody pomiaru emisyjności obiektu na drodze eksperymentalnej. W oparciu o zrealizowane stanowisko pomiarowe dokonano pomiarów emisyjności wybranych obiektów. Uzyskano dobrą zgodność wyników pomiarów z wynikami wcześniejszej komputerowej analizy systemu. Potwierdziło to przydatność wielopasmowej metody do pomiaru emisyjności w warunkach roboczych.
-
In Situ Verification of Numerical Model of Water Hammer in Slurries
PublikacjaThis paper presents a numerical model of transient flow in a pressure slurry pipeline network with verification based on in situ measurements. The model, primarily verified in laboratory conditions, has been extended and applied to the case of a large and complex slurry pipeline network in Poland. In the model, the equivalent density concept was applied. In situ experiments were performed for various unsteady flow episodes, caused by...
-
Harmonics produced by traction substations – computer modelling and experimental verification
PublikacjaVoltage and current harmonics have a detrimental effect on the components of a power system. Current harmonics may result in the overload and damage to power transformers. Voltage harmonics may result in, for example, damage to capacitor banks used to compensate reactive power. Devices which contribute to both current and voltage distortion include traction rectifiers. This paper presents results of the computer investigation of...
-
Pilot Testing of Developed Multimodal Biometric Identity Verification System
PublikacjaThe bank client identity verification system developed in the course of the IDENT project is presented. The total number of five biometric modalities including: dynamic signature proofing, voice recognition, face image verification, face contour extraction and hand blood vessels distribution comparison have been developed and studied. The experimental data were acquired employing multiple biometric sensors installed at engineered...
-
Evaluation of Face Detection Algorithms for the Bank Client Identity Verification
PublikacjaResults of investigation of face detection algorithms efficiency in the banking client visual verification system are presented. The video recordings were made in real conditions met in three bank operating outlets employing a miniature industrial USB camera. The aim of the experiments was to check the practical usability of the face detection method in the biometric bank client verification system. The main assumption was to provide...
-
Verification of the criteria for evaluation of water and frost resistance of asphalt concrete
PublikacjaThe paper presents the results of field investigation - condition survey of existing pavements and the results of laboratory tests on water and frost resistance of samples cored from the these pavements. The purpose of testing was to verify the criteria for evaluation of the resistance of asphalt concrete to the action of water and frost by way of comparing the results of field and laboratory tests, followed by evaluation of their...
-
Numerical modelling and experimental verification of compressible squeeze film pressure
PublikacjaThe validity of using the Reynolds equation for compressible squeeze film pressure was tested with computational fluid dynamics (CFD). A squeeze film air bearing was instrumented with pressure sensors and non-contacting displacement probes to provide transient measurements of film thickness and pressure. The film thickness measurements also provided input parameters to the numerical prediction. However, numerical results showed...
-
Methods for verification safety integrity level in control and protection systems
PublikacjaW artukule przedstawiono podstawowe oraz zaawansowane ilościowe metody weryfikacji poziomów nienaruszalności bezpieczeństwa SIL w systemach sterowania i zabezpieczeń. Metody te zawierają analizę wrażliwości i niepewności modeli probabilistycznych tych systemów. Pod uwagę wzięte zostały także uszkodzenia o wspólnej przyczynie. Zaprezentowane zostały wyniki analiz oraz zalety ich stosowania.
-
Verification of multiple model neural tracking filter with ship's radar
Publikacja -
Verification of punching shear outside the shear cap by the direct method
PublikacjaThe proposition of a method to verify the punching resistance for very large supports based on the EN 1992-1-1 standard is described in this paper. The present standard guidelines for the calculation of the punching resistance for large supports are also summarised. The proposed direct method is compared with other standard methods using an example taken from design practice. This method consists of a direct check of the shear...
-
Performance Analysis of Developed Multimodal Biometric Identity Verification System
PublikacjaThe bank client identity verification system developed in the course of the IDENT project is presented. The total number of five biometric modalities including: dynamic handwritten signature proofing, voice recognition, face image verification, face contour extraction and hand blood vessels distribution comparison have been developed and studied. The experimental data were acquired employing multiple biometric sensors installed...
-
Optical method for verification of homogeneity of phantoms for calibration of magnetic resonance
PublikacjaThe primary purpose of this study was to develop a laboratory photonic set-up for characterisation of homogeneity of gel phantoms for calibration of magnetic resonance. In this system, optical coherence tomography allows the detection of micro- and macroscopic heterogeneities of a structure. The set-up was used to perform measurements of agar and agar-carrageenan gels, which are the basis for more complex phantoms for magnetic...
-
Experimental Verification of the CFD Model of the Squeeze Film Lifting Effect
PublikacjaAbstract: The presented study shows the results of the research into the squeeze film levitation phenomena. The system introduced in the investigation is composed of a vibrating surface, air squeeze film, and the surface of the body freely suspended over the film. The use of the CFD (Computational Fluid Dynamics) model used in the system allows us to determine the steady state, periodic behavior of the air film (described by Navier–Stokes,...
-
Analysis of ship's magnetic field with consideration of inner ferromagnetic devices
PublikacjaThis paper presents computer simulations of ship’s magnetic signatures. The influence of ship’s inner ferromagnetic devices on the signature was presented. The magnetic fields of the ship’s model were calculated in Opera 3D 18R2. The model was built from thin plates. The new, thin plate boundary condition was introduced on all ship’s surfaces.
-
Rozdział 3. Symptomy i sygnatury niesprawnej pracy ustabilizowanych cieplnie bloków energetycznych
PublikacjaOpisano metody budowania relacji diagnostycznych dla siłowni parowych pracujących w realnych warunkach eksploatacji. Zajęto się problemem dokładności relacji diagnostycznych cieplno-przepływowych budowanych w oparciu o opisywane metody.
-
Verification of ESPAR Antennas Performance in the Simple and Calibration Free Localization System
PublikacjaThis paper presents the results of simulations and measurements of an indoor localization system that uses Electronically Steerable Parasitic Array Radiator (ESPAR) antennas with switched directional beam. Proposed antennas are dedicated for 2.4GHz ISM low-cost applications where determination of the incoming signal is required. The antennas performance is analyzed and verified with relation to positioning methods based on the...
-
Mersenne Number Finding and Collatz Hypothesis Verification in the Comcute Grid System
PublikacjaIn this chapter, some mathematic applications have been described to test scalability of the Comcute grid system. Especially, a verification of the Collatz hypothesis and finding Mersenne numbers were applied to prove the scalability and high performance of this grid system. Results were compared with outcomes obtained by the other grid systems.
-
Eigenfaces, Fisherfaces, Laplacianfaces, Marginfaces – How to Face the Face Verification Task
PublikacjaThis paper describes the exhaustive tests of four known methods of linear transformations (Eigenfaces, Fisherfaces, Laplacianfaces and Marginfaces) in the context of face verification task. Additionally, we introduce a new variant of the transformation (Laplacianface + LDA), and the specific interval-based decision rule. Both of them improve the performance of face verification, in general, however, our experiments show that the...
-
The project IDENT: Multimodal biometric system for bank client identity verification
PublikacjaBiometric identity verification methods are implemented inside a real banking environment comprising: dynamic handwritten signature verification, face recognition, bank cli-ent voice recognition and hand vein distribution verification. A secure communication system based on an intra-bank client-server architecture was designed for this purpose. Hitherto achieved progress within the project is reported in this paper with a focus...
-
Verification of algorithms determining wave loads on support structure of wind turbine
PublikacjaThe offshore wind turbines require determination of wave loads on their support structure. This structure is fixed and, therefore, this problem is reduced to solving only the diffraction problem, which is determined by Laplace equation and conditions on the following boundaries: on the support structure, on the sea free surface and on its bottom, and at infinity on free surface. The linear problem was applied to determine the wave...
-
Verification of the compatibility of TOC, TOKC duct silencers with selected EN standards
PublikacjaThe TOC and TOKC ventilation silencers tested during the a.m. procedures are compatible with selected standards to the extents and classes as stated above without further limitations.
-
Higher harmonics produced by traction substations – computer modelling and experimental verification
PublikacjaVoltage and current harmonics have a detrimental effect on the components of a power system. Current harmonics may result in the overload and damage to power transformers, although the rms value of load current does not exceed their current-carrying capacity. Voltage harmonics may result in, for example, damage to capacitor banks used to compensate reactive power. Devices which contribute to both current and voltage distortion...