Wyszukiwarka
Filtry
wszystkich: 10697
wybranych: 9472
-
Katalog
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: heuristic results verification
-
Application of dynamic time warping and cepstrograms to text-dependent speaker verification
PublikacjaThis work provides a description of an automatic speaker verification (ASV) system. In particular, it documents the evolution of all individual stages of the proposed ASV system design from the phase of preprocessing to an operational decision making system. The aim of this research was to achieve the system of the best safety and ease of use in view of users. The objective estimation of this target has been accomplished by assessing...
-
Subspace Algorithms for Face Verification
PublikacjaW rzeczywistych zastosowaniach problem weryfikacji wydaje się ważniejszy od klasyfikacji. Na ogół dysponujemy jedynie niewielkim zbiorem obrazów uczących reprezentujących daną osobę, a naszym zadaniem jest podjęcie decyzji odnośnie tego, czy nowo pozyskana fotografia jest do nich wystarczająco podobna - bez użycia oddzielnego zbioru przykładów negatywnych. W takim przypadku uzasadnione wydaje się zastosowanie metody podprzestrzeni,...
-
Verification of safety in low-voltage power systems without nuisance tripping of residual current devices
PublikacjaLow-voltage power systems require initial and periodical verification to check the effectiveness of protection against electric shock. As a protection in case of fault, automatic disconnection of supply is most often used. To verify such a protection measure, the earth fault loop impedance or resistance is measured. This measurement is easy to perform in circuits without residual current devices. When residual current devices are...
-
Integration of electric vehicle into smart grid: a meta heuristic algorithm for energy management between V2G and G2V
PublikacjaRecently, Electric Vehicles (EV) have been providing fast response and substantial progress in the power generation model. Further, EVs are exploited as adaptable Energy Storage Systems (ESSs) and show a promising performance in ancillary service markets to increase the demand of Smart Grid (SG) integration. The expansion of Vehicle-to-Grid concept has created an extra power source when renewable energy sources are not available....
-
Experimental verification of a new method of loop resistance testing in low voltage systems with residual current devices
PublikacjaA periodical verification of the effectiveness of protection against electric shock shall be performed in low voltage systems. The scope of this verification includes loop impedance/resistance testing. If a residual current device is installed in a tested circuit, this testing is problematic. A residual current device trips out during the test, because of the high value of measurement current. This precludes the execution of the...
-
Integration and verification of meteorological observations and NWP model data for the local GNSS tomography
PublikacjaGNSS 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...
-
Analiza drgań przewodu jezdnego sieci trakcyjnej w aspekcie oceny jej stanu technicznego.
PublikacjaGórna sieć trakcyjna jest nadal najefektywniejszym sposobem zasilania kolejowych pojazdów elektrycznych. Sieć jezdna nie ma możliwości technicznych redundancji, co wymaga okresowej oceny stanu technicznego w celu zapewnienia prawidłowej współpracy z odbierakami prądu pojazdów. W artykule przedstawiono aspekty oceny stanu technicznego górnej sieci trakcyjnej na podstawie modelowania matematycznego i wybranych badań laboratoryjnych....
-
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...
-
Experimental verification of MWO bearing machine
PublikacjaPrzedstawiono wyniki weryfikacji doświadczalnej nowego stanowiska przeznaczonego do badań wytrzymałości zmęczeniowej warstwy powierzchniowej łożysk ślizgowych. Badano dwu- i trójwarstwowe cienkościenne panwie ślizgowe. Warstwa nośna wykonana była ze stopu CuPb30. W wariancie trójwarstwowym występowała powłoka ze stopu PbSnCu. Przedstawiono przykłady zaobserwowanych pęknięć zmęczeniowych. Maszyna MWO okazała się w pełni przydatna...
-
Identity verification based on mouse movements
PublikacjaW pracy przedstawiono ideę systemu zabezpieczeń biometrycznych opartego na sposobie poruszania myszą. Pomiary odczytywane z myszy są przykładem cech behawioralnych, które w przeciwieństwie do fizjologicznych są bardzo niestabilne. Opisano zbiór cech, które można wydobyć z danych pochodzących z myszy. Przeprowadzono eksperymenty dla danych zebranych od trzynastu użytkowników. Zaprezentowano wyniki uwierzytelniania za pomocą metody...
-
Just look at to open it up: A biometric verification facility for password autofill to protect electronic documents
PublikacjaElectronic documents constitute specific units of information, and protecting them against unauthorized access is a challenging task. This is because a password protected document may be stolen from its host computer or intercepted while on transfer and exposed to unlimited offline attacks. The key issue is, therefore, making document passwords hard to crack. We propose to augment a common text password authentication interface...
-
ASSESSMENT OF ENGINE OPERATION WITH THE USE OF AN OPERATION INDICATOR BASED ON TEST BENCH RESULTS OF A ROBINSUBARU EX17 ENGINE
PublikacjaPaper presents results of an experimental verification of the method of quantitative evaluation of engine operation, presented in the literature, exemplified by a low-power internal combustion piston engine. In accordance with such interpretation, engine operation may be presented as a physical quantity defined as operation indicator. The paper presents results of preliminary tests, processed in that aspect, carried out on an engine...
-
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...
-
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...
-
Wieloobszarowa rozmyta regulacja PID mocy reaktora jądrowego
PublikacjaW artykule przedstawiono wieloobszarowy regulator rozmyty z lokalnymi regulatorami PID dla sterowania mocą reaktora jądrowego typu PWR. Wykorzystano model matematyczny o parametrach skupionych reaktora PWR obejmujący procesy generacji i wymiany ciepła oraz efektów reaktywnościowych. Nastawy lokalnych regulatorów PID zostały dobrane w sposób optymalny, minimalizując całkowy wskaźnik jakości ISE. Na przykładzie pokazano że zastosowane...
-
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...
-
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 -
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...
-
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...
-
Development and Verification of the Diagnostic Model of the Sieving Screen
Publikacja -
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...
-
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.
-
Quality of analytical results
PublikacjaW pracy przedstawiono podstawowe informacje dotyczące kontroli i zapewnienia jakości wyników analitycznych (QC/QA). W postaci odpowiednich schematów zaprezentowano: ideę spójności pomiarowej; zasady walidacji metodyk analitycznych; rolę materiałów odniesienia w procesie analitycznym.
-
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...
-
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,...
-
Generic appearance of objective results in quantum measurements
PublikacjaMeasurement is of central interest in quantum mechanics as it provides the link between the quantum world and the world of everyday experience. One of the features of everyday experience is its robust, objective character, contrasting the delicate nature of quantum systems. Here we analyze in a completely model-independent way the celebrated von Neumann measurement process, using recent techniques of information flow, studied in...
-
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.
-
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...
-
Discrete modelling results of a direct shear test for granular materials versus FE results
PublikacjaArtykuł porównuje wyniki DEM i MES dla testu bezpośredniego ścinania materiałów granulowanych. Obliczenia MES wykonano przy zastosowaniu mikropolarnego modelu hipoplastycznego. W obliczeniach DEM z kulami i momentami kontaktu zwrócono uwagę na zjawiska mikrostrukturalne w strefie ścinania na poziomie ziaren.
-
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...
-
Verification of the Parameterization Methods in the Context of Automatic Recognition of Sounds Related to Danger
PublikacjaW 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....
-
Empirical verification in industrial conditions of fracture mechanics models of cutting power prediction
PublikacjaA comparison of experimental results obtained in the industrial conditions at a sawmill located in the Baltic Natural Forest Region (PL) and theoretical cutting power consumption forecasted with the models which include work of separation (fracture toughness) in addition to plasticity and friction has been described. In computations of cutting power consumption during rip sawing of Scots pine wood (Pinus sylvestris L.) values of...
-
Verification of the Analytical Traffic Model of a Multidomain IMS/NGN Using the Simulation Model
PublikacjaIn this paper we verify the previously proposed analytical traffic model of a multidomain Next Generation Network (NGN), which is standardized for delivering multimedia services based on the IP Multimedia Subsystem (IMS). For this reason a proper simulation model used, in which not theoretical queuing system models but the operation of real network elements and standardized call scenarios are accurately implemented. Consequently,...
-
Verification of the method of reconstructing convective velocity fields on the basis of temperature fields in vertical, differential and equally heated, open and closed channels
PublikacjaThis paper describes a method of reconstructing velocity fields, i.e. a numerical reconstruction procedure (NRP) that involves the numerical processing of experimentally measured temperature distributions in free convection heat transfer. The NRP consists in solving only the continuity and Navier–Stokes equations with an additional source term. This term is proportional to a known temperature (e.g. from a thermal imaging camera)...
-
TDOA Navigation Using CDMA2000 Signals – Experimental Results
PublikacjaThis paper presents results of an experiments on the possibility to estimate position of a CDMA2000 receiver on the basis of TDOA measurements. The hardware and software structure of a navigation receiver used during investigation is briefly described with focus on drawbacks and limitations. The main part of this paper contains basic information about CDMA2000 network in northern Poland, which signals were recorded during tests...
-
Scoreboard Architectural Pattern and Integration of Emotion Recognition Results
PublikacjaThis paper proposes a new design pattern, named Scoreboard , dedicated for applications solving complex, multi-stage, non-deterministic problems. The pattern provides a computational framework for the design and implementation of systems that integrate a large number of diverse specialized modules that may vary in accuracy, solution level, and modality. The Scoreboard is an extension of Blackboard design pattern and comes under...
-
Modular high precision high current source for special applications — Simulation and verification
PublikacjaThis paper presents selected issues concerning realization of high precision high current source for special applications, where high demands of output parameters of such device are required. A new 80 kW prototype of modular high precision high current source is presented, where output current accuracy reaches 5x10-5. This paper presents also results of operation of the simulation model and of the prototype converter. In order...
-
Comparison of strain results at a laser weld notch obtained by numerical calculations and experimental measurements
PublikacjaIn the development of ship structures applying new materials and it’s purposeful placement play an important role. During the last years, especially in a construction of ro-ro type vessels, the usage of novel sandwich structures in cargo decks is profitable. Steel sandwich panel is an innovative solution which at a todays state of development can be used for the construction of any members not taking part in a global bending of...
-
Spectral Clustering Wikipedia Keyword-Based search Results
PublikacjaThe paper summarizes our research in the area of unsupervised categorization of Wikipedia articles. As a practical result of our research, we present an application of spectral clustering algorithm used for grouping Wikipedia search results. The main contribution of the paper is a representation method for Wikipedia articles that has been based on combination of words and links and used for categoriation of search results in this...
-
Evaluation of the influence of the opening pressure of a marine Diesel engine injector on the results of numerical simulation of the working cycle and their comparison with the results of the laboratory experiment
PublikacjaThe article presents the results of a numerical simulation of the working process carried out in a diesel engine. In the applied utility program DIESEL-RK, the laboratory engine Farymann Diesel type D10 was implemented. A selected inoperability of its functional fuel supply system - reduced opening pressure of the injector pinj - was introduced. The values of adequate diagnostic parameters were determined: working gas temperature...
-
Design and experimental verification of multi-layer waveguide using pin/hole structure
PublikacjaThis study presents a novel technique for minimizing RF leakage in metallic hollow waveguides fabricated using the multilayer split-block method. By integrating a pin/hole wall into the split-block multilayers, a substantial reduction of RF leakage can be achieved while reducing the circuit size and mitigating the performance variations. To validate the proposed approach, a slot antenna fed by single ridge waveguide has been prototyped...
-
New Generation of Water lubricated Foil bearing - Numerical Models and Experimental Verification
PublikacjaIn the paper a new idea of foil water lubricated bearing and methodology of hydrodynamic characteristics calculations is presented. To assesses the theoretical characteristics of these bearings two different computer models were built. First is structural model coupled with fluid model. It takes into account: fluid flow in the deformed fluid gap, specific design of bearing support and friction in bearing support. The second is...
-
Mining inconsistent emotion recognition results with the multidimensional model
PublikacjaThe paper deals with the challenge of inconsistency in multichannel emotion recognition. The focus of the paper is to explore factors that might influence the inconsistency. The paper reports an experiment that used multi-camera facial expression analysis with multiple recognition systems. The data were analyzed using a multidimensional approach and data mining techniques. The study allowed us to explore camera location, occlusions...
-
Verification of multiple model neural tracking filter with ship's radar
Publikacja -
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.