Wyszukiwarka
Filtry
wszystkich: 10697
wybranych: 9472
-
Katalog
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: heuristic results verification
-
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...
-
Analysis of results of large-scale multimodal biometric identity verification experiment
PublikacjaAn analysis of a large set of biometric data obtained during the enrolment and the verification phase in an experimental biometric system installed in bank branches is presented. Subjective opinions of bank clients and of bank tellers were also surveyed concerning the studied biometric methods in order to discover and to explore relations emerging from the obtained multimodal dataset. First, data acquisition and identity verification...
-
Verification of the theoretical methods for the prediction of resistance of sailing yachts based on model test results of a yacht V.O.60
PublikacjaWeryfikacja 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...
-
System Weryfikacji Autentyczności Podpisu Odręcznego
PublikacjaW referacie przedstawiono system statycznej i dynamicznej weryfikacji autentyczności podpisu odręcznego, składanego piórem biometrycznym, wyposażonym w 2 akcelerometry, 2 żyroskopy i 3 czujniki ścisku, na rezystancyjnej powierzchni dotykowej, łączącym się bezprzewodowo z urządzeniami komputerowymi. We wstępie przedstawiono architekturę sieciową wielomodalnego systemu biometrii. Przedstawiono warstwę sprzętową systemu weryfikacji...
-
Heuristic scheduling algorithms for uniform load of computer system
PublikacjaW pracy zaprezentowano opracowany heurystyczny algorytm szeregowania zadań UNILO (ang. UNIform LOad - jednakowe obciążenie), umożliwiający redukcję całkowitego zapotrzebowania na moc obliczeniową systemu komputerowego bez pogarszania jego wydajności. Algorytm ten realizuje takie przydzielenie zadań obliczeniowych do poszczególnych jednostek (procesorów), aby zapewnić ich jednakowe obciążenie. Opracowany algorytm został zweryfikowany...
-
O projektowaniu ściany szczelinowej
PublikacjaW pracy przedstawiono proces weryfikacji i porównania obliczeń otrzymanych z programu bazującego na metodzie elementów skończonych z wynikami analitycznymi dla analizowanej ściany szczelinowej z przyporą ziemną. Dodatkowo autorzy dokonali krótkiego przeglądu literatury z zakresu ścian szczelinowych.
-
Szacowanie niepewności funkcji przetwarzania przetwornika LEM CT -5T metodą Monte Carlo
PublikacjaW referacie zaprezentowano metodologię szacowania niepewności funkcji przetwarzania przetwornika prądowego, na przykładzie przetwornika LEM CT-5T, przy zastosowaniu metody opartej na Przewodniku GUM z zastosowaniem prawa propagacji niepewności oraz metody numerycznej Monte Carlo. Przedstawiono szczegółową analizę doboru rozkładu wielkości wejściowej. W przypadku metody Monte Carlo dobór rozkładu wielkości wejściowych jest bardzo...
-
Szacowanie niepewności funkcji przetwarzania przetwornika LEM CT -5T metodą Monte Carlo
PublikacjaW referacie zaprezentowano metodologię szacowania niepewności funkcji przetwarzania przetwornika prądowego, na przykładzie przetwornika LEM CT-5T, przy zastosowaniu metody opartej na Przewodniku GUM, z zastosowaniem prawa propagacji niepewności oraz metody numerycznej Monte Carlo. Przedstawiono szczegółową analizę doboru rozkładu wielkości wejściowej. W przypadku metody Monte Carlo dobór rozkładu wielkości wejściowych jest bardzo...
-
Performance improvement of NN based RTLS by customization of NN structure - heuristic approach
PublikacjaThe purpose of this research is to improve performance of the Hybrid Scene Analysis – Neural Network indoor localization algorithm applied in Real-time Locating System, RTLS. A properly customized structure of Neural Network and training algorithms for specific operating environment will enhance the system’s performance in terms of localization accuracy and precision. Due to nonlinearity and model complexity, a heuristic analysis...
-
Heuristic Method of Safe Manoeuvre Selection Based on Collision Threat Parameters Areas
PublikacjaThis paper is a continuation of papers dedicated to a radar-based CTPA (Collision Threat Parameters Area) display designed to support safe manoeuvre selection. The display visualizes all the ships in an encounter and presents situational overview from the own ship’s point of view. It calculates and displays information on unsafe or unrealistic own ship’s course & speed allowing a user to select a safe manoeuvre. So far only the...
-
Modelowanie podziału zadań przewozowych w obszarach zurbanizowanych
PublikacjaNiniejsza rozprawa doktorska dotyczy problematyki modelowania podziału zadań przewozowych w procesie modelowania podróży. Wykonane analizy wykazały zasadność zastosowania dodatkowych czynników w modelowaniu wyboru środka transportu z uwagi na ich istotny wpływ na jakość modelu dla wybranych motywacji podróży. W pracy zawarto przykładowe modele uwzględniające każdy z analizowanych czynników. Z wykorzystaniem badań heurystycznych...
-
Game with a Purpose for Mappings Verification
PublikacjaMappings verification is a laborious task. The paper presents a Game with a Purpose based system for verification of automatically generated mappings. 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 gameplay, is provided. Additional mechanisms for anti-cheating, increasing player’s motivation and gathering...
-
A handwritten signature verification method employing a tablet
PublikacjaA signature verification system based on static features and time-domain functions of signals obtained using a tablet has been presented in the paper. The signature verification method, based mainly on dynamic time warping coupled with some signature image features, has been described. The FRR measures reflecting the method's efficiency have been evaluated for verification attempts performed directly after obtaining model signatures...
-
ANYTIME POLYNOMIAL HEURISTIC ALGORITHM FOR PARTITIONING GROUPS OF DATA WITH PRESERVING CLASS PROPORTIONS FOR CROSS-VALIDATION
PublikacjaThe article describes a problem of splitting data for k-fold cross-validation, where class proportions must be preserved, with additional constraint that data is divided into groups that cannot be split into different cross-validation sets. This problem often occurs in e.g. medical data processing, where data samples from one patient must be included in the same cross-validation set. As this problem is NP-complete, a heuristic...
-
Badania eksperymentalne rezonansowego przetwornika piezoelektrycznego typu "unimorph"
PublikacjaW artykule opisano badania eksperymentalne piezoelektrycznego rezonansowego przetwornika zastosowanego do pomiaru właściwości mechanicznych tkanek miękkich. Po krótkim wstępie w kolejnych punktach przedstawiono opis stanowiska pomiarowego oraz metody pomiaru odkształceń prototypów, przesunięć częstotliwości rezonansowej, impedancji elektromechanicznej i parametrów schematów zastępczych. W dalszej...
-
Optimal Placement of Phasor Measurement Unit in Power System using Meta-Heuristic Algorithms
PublikacjaThe phasor measurement units (PMUs) play an important and vital role in power system monitoring and controlling, since they provide the power system phasors stamped with a common real time reference through a global positioning system (GPS). Indeed, from economical point of view it is not possible to set PMUs in all system buses due to the high cost and the requirement of more complex communication...
-
Microphone placement through meta-heuristic algorithms
Publikacja -
Biometric identity verification
PublikacjaThis chapter discusses methods which are capable of protecting automatic speaker verification systems (ASV) from playback attacks. Additionally, it presents a new approach, which uses computer vision techniques, such as the texture feature extraction based on Local Ternary Patterns (LTP), to identify spoofed recordings. We show that in this case training the system with large amounts of spectrogram patches may be difficult, and...
-
Identity verification using complex representations of handwritten signature
PublikacjaThis paper is devoted to handwritten signature verification using the cross-correlation approach (adopted by the authors from telecommunications) and dynamic time warping. The following invariants of the handwritten signature: the net signature, the instantaneous complex frequency and the complex cepstrum are analyzed. The problem of setting the threshold for deciding whether the current signature is authentic or forged is discussed....
-
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...
-
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 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)....
-
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.
-
A New Heuristic Algorithm for Effective Preemption in MPLS Networks
PublikacjaW artykule opisano nowy algorytm wywłaszczania przeznaczony dla sieci MPLS. Umożliwia on alokację zasobów sieci dla nowej ścieżki uwzględniając koszt usuniętych jednej lub wielu istniejących już ścieżek. Proponowany heurystyczny algorytm wybiera ścieżki do wywłaszczenia wykorzystując informację o topologii sieci. Używa funkcji optymalizacji minimalizującej stratę pasma na poziomie sieci. Przedstawiono i omówiono wyniki badań symulacyjnych...
-
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...
-
Handwritten signature verification system employing wireless biometric pen
PublikacjaThe handwritten signature verification system being a part of the developed multimodal biometric banking stand is presented. The hardware component of the solution is described with a focus on the signature acquisition and on verification procedures. The signature is acquired employing an accelerometer and a gyroscope built-in the biometric pen plus pressure sensors for the assessment of the proper pen grip and then the signature...
-
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...
-
Modified dynamic time warping method applied to handwritten signature authenticity verification
PublikacjaA signature verification system based on static features and time-domain functions of signals obtained using a tablet has been presented in the paper. The signature verification method, based mainly on dynamic time warping coupled with some signature image features, has been described. The FRR measures reflecting the method’s efficiency have been evaluated for verification attempts performed directly after obtaining model signatures...
-
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.
-
Safety integrity level verification for safety-related functions with security aspects
PublikacjaThe article is devoted some important issues of the functional safety analysis, in particular the safetyintegrity level (SIL) verification of safety functions to be implemented within the distributed controland protection systems with regard to cyber security aspects. The procedure for functional safety man-agement includes hazard identification, risk analysis and assessment, specification of overall safetyrequirements and definition...
-
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...
-
Heuristic Minimization of Symmetric Index Generation Functions utilizing their Properties
Publikacja -
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...
-
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.
-
Experimental verification of visual method for measuring displacements of contact line elements
PublikacjaThe increase of rail vehicles speed, as well as the increase of their power, puts high demands on the power delivery system for traction vehicles The most critical point in the vehicle's power supply circuit is the contact between the current collector and contact wires. Ensuring a reliable co-operation of the current collector and contact line, requires technical development...
-
Zastosowanie metody galwanostatycznej do wyznaczania błędu fazy elektrod woltamperometrycznych
PublikacjaW pracy przeanalizowano właściwości metrologiczne elektrod woltamperometrycznych w dziedzinie częstotliwości. Wykazano, że w przypadku, gdy reakcja elektrochemiczna kontrolowana jest procesem transportu jonów, elektroda woltamperometryczna zachowuje się tak jak przetwornik pomiarowy I rzędu. Jej właściwości metrologiczne opisane są przez czułość, częstotliwość graniczną, błąd amplitudy i błąd fazy. Przeprowadzona analiza pokazała,...
-
Ocena zasobów oraz weryfikacja granic obszaru ochronnego GZWP nr 133 Młotkowo za pomocą numerycznego modelu przepływu wód podziemnych
PublikacjaModel Głównego Zbiornika Wód Podziemnych powstał w celu dokonania oceny dostępnych zasobów wód oraz zweryfikowania granic strefy ochronnej. GZWP Młotkowo jest położony w południowej części Pojezierza Krajeńskiego. Ze względu na konieczność weryfikacji granic zbiornika wyznaczonych przez Kleczkowskiego i in. (1990) do badań modelowych przyjęto obszar cztery razy większy niż rozmiar GZWP. W celu osiągnięcia najbardziej wiarygodnych...
-
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...
-
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...
-
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...
-
Verification of the new viscoelastic method of thermal stress calculation in asphalt layers of pavements
PublikacjaThe new viscoelastic method of thermal stress calculations in asphalt layers has been developed and published recently by the author. This paper presents verification of this method. The verification is based on the comparison of the results of calculations with results of testing of thermal stresses in Thermal Stress Restrained Specimen Test. The calculations of thermal stresses according to the new method were based on rheological...
-
Wydajność przetwarzania żądań usług uwarunkowanych czasowo realizowanych w sieci IMS/NGN
PublikacjaW rozprawie dokonano przeglądu stanu implementacji koncepcji IMS/NGN, a także modeli systemów obsługi z oczekiwaniem pod kątem zastosowania dla serwerów i łączy w modelu analitycznym wielodomenowej sieci IMS/NGN. Przedstawiono założenia dla tego modelu oraz metodologię obliczeń i analizy wyników: średnich czasów E(CSD) zestawiania i E(CDD) rozłączenia połączenia dla scenariuszy połączeń zakończonych sukcesem. Opisano założenia,...
-
APPLICATION OF SATELLITE IMAGERY AND GIS TOOLS FOR LAND SURFACE TEMPERATURE ESTIMATION AND VERIFICATION
PublikacjaLand surface temperature (LST) plays an important role in many land-surface processes on regional as well on global scales. It is also a good indicator of energy flux phenomena and is used as a parameter in various Earth observation related studies. However, LST estimation based on processing and utilisation of satellite derived data constitutes several problems in terms of time limitations, accessibility, atmospheric influence...
-
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...
-
Experimental verification and comparison of mode shape-based damage detection methods
PublikacjaThis paper presents experimental verification and comparison of damage detection methods based on changes in mode shapes such as: mode shape curvature (MSC), modal assurance criterion (MAC), strain energy (SE), modified Laplacian operator (MLO), generalized fractal dimension (GFD) and Wavelet Transform (WT).
-
Adaptacyjny system sterowania ruchem drogowym
PublikacjaAdaptacyjny system sterowania ruchem drogowym to rodzaj systemu sterowania, który dynamicznie, w czasie rzeczywistym, dostosowuje swoje parametry w oparciu o bieżące warunki ruchu drogowego. Celem niniejszej rozprawy jest sprawdzenie wpływu wybranych cech systemu, zbudowanego w oparciu o zaprojektowane i zbudowane z udziałem autora inteligentne znaki drogowe, na wybrane parametry mające wpływ na bezpieczeństwo i płynność ruchu....
-
Wpływ wysokiej osteotomii piszczelowej na mechanikę stawu kolanowego
PublikacjaW 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...
-
REPORT Verification expertise of Detroit Diesel engines 16V149TI on the vessel ORP GEN. PUŁASKI
PublikacjaVerification expertise of propulsion engines for generating sets of the ORP GEN. PUŁASKI - type 16V149TI related to a complaint sent by the shipowner to Shiprepair Yard NAUTA S.A.
-
A bisection‐based heuristic for rapid EM‐driven multiobjective design of compact impedance transformers
PublikacjaDesign of microwave structures is a multiobjective task where several conflicting requirements have to be considered at the same time. For contemporary circuits characterized by complex geometries, multiobjective optimization cannot be performed using standard population‐based algorithms due to high cost of electromagnetic (EM) evaluations. In this work, we propose a deterministic approach for fast EM‐driven multiobjective design...
-
A model development and experimental verification for a vapour microturbine with a permanent magnet synchronous generator
PublikacjaVapour microturbines with permanent magnet synchronous generators are implemented in micropower plants for dispersed power generation systems. The dynamic model of such a microturbine set was developed and presented. The developed relations result from the generic equations. Experimental data for two different working medium were used for model verification. A microturbine set model was tested during the changes in the parameters...