Filtry
wszystkich: 10697
-
Katalog
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: heuristic results verification
-
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,...
-
SOFTWARE TESTING VERIFICATION & RELIABILITY
Czasopisma -
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...
-
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...
-
Research Results in Pharmacology
Czasopisma -
Results in Nonlinear Analysis
Czasopisma -
Results in Pharma Sciences
Czasopisma -
Results in Applied Mathematics
Czasopisma -
Research Results in Biomedicine
Czasopisma -
Results in Control and Optimization
Czasopisma -
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....
-
Journal of Verification, Validation and Uncertainty Quantification
Czasopisma -
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...
-
Sylwester Kaczmarek dr hab. inż.
OsobySylwester Kaczmarek ukończył studia w 1972 roku jako mgr inż. Elektroniki, a doktorat i habilitację uzyskał z technik komutacyjnych i inżynierii ruchu telekomunikacyjnego w 1981 i 1994 roku na Politechnice Gdańskiej. Jego zainteresowania badawcze ukierunkowane są na: sieci IP QoS, sieci GMPLS, sieci SDN, komutację, ruting QoS, inżynierię ruchu telekomunikacyjnego, usługi multimedialne i jakość usług. Aktualnie jego badania skupiają...
-
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...
-
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...
-
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 -
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...
-
Journal of Pharmaceutical Negative Results
Czasopisma -
Journal of Negative Results in BioMedicine
Czasopisma -
Recent Results in Cancer Research
Czasopisma -
Comprehensive Results in Social Psychology
Czasopisma