Filters
total: 989
filtered: 876
-
Catalog
Chosen catalog filters
Search results for: mappings creation and verification
-
Mersenne Number Finding and Collatz Hypothesis Verification in the Comcute Grid System
PublicationIn 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
PublicationThe 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...
-
REPORT Verification expertise of Detroit Diesel engines 16V149TI on the vessel ORP GEN. PUŁASKI
PublicationVerification 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 New Method of the Load Compensation Use During Creation of Post Blackout Start-up Path in Power System
PublicationIn the paper a new method of effective use of load compensation during creation of post blackout start-up path is proposed. Theoretical assumptions and simulation results of an investigation are presented. An experiment performed in the Polish Power System is also described. This experiment proved that the method proposed by the authors is advisable. The method may be utilized by power system operators for power system restoration...
-
Verification of algorithms determining wave loads on support structure of wind turbine
PublicationThe 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...
-
The Effects of Cluster Cooperation as a Source of Company Value Creation
Publication -
Creation and properties of the (Mn-N-O) layers on aluminium
Publicationprzedstawiono metodę wytwarzania warstw powierzchniowych zawierających mangan, azot i tlen na stopie Al-Si-Mg-Cu-Ni. Określono ich mikrostrukturę, mikrotwardość, wlaściwości tribologiczne oraz korozyjne w roztworze 0,01M H2SO4. Stwierdzono wielokrotny wzrost odporności na ścieranie stopu aluminium z wytworzoną warstwą wierzchnią we współpracy ciernej z żeliwem szarym perlitycznym.
-
Chatter surveillance with the creation of a map of optimal spindle speeds
PublicationW pracy przedstawiono metodę nadzorowania drgań samowzbudnych typu chatter. Wyznaczono wartości optymalnych prędkości obrotowych wrzeciona dla poszczególnych punktów na powierzchni przedmiotu obrabianego, wykorzystując rożne techniki analizy modalnej. Badania eksperymentalne wykazały, że otrzymana w ten sposób mapa optymalnych prędkości obrotowych wrzeciona jest skutecznym narzędziem do eliminacji drgań chatter w procesie obróbki...
-
IT PROJECT TEAMS CREATION AND ANALYSIS IN C2 NIWA ENVIRONMENT
PublicationTeams are the basic unit of the C2NIWA community, which – using the technical capabilities of this environment – focuses on the implementation of various projects. This article presents one of the competitions carried out within the framework of a C2NIWA project called Uwaga! Upadek! [Attention! Fall!], used as an example of a collaborative project for which analyses related to the assessment of teamwork based on the input-process-result...
-
APPLICATION OF SATELLITE IMAGERY AND GIS TOOLS FOR LAND SURFACE TEMPERATURE ESTIMATION AND VERIFICATION
PublicationLand 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...
-
Application of dynamic time warping and cepstrograms to text-dependent speaker verification
PublicationThis 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
PublicationW 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
PublicationLow-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...
-
A Fail-Safe NVRAM Based Mechanism for Efficient Creation and Recovery of Data Copies in Parallel MPI Applications
PublicationThe paper presents a fail-safe NVRAM based mechanism for creation and recovery of data copies during parallel MPI application runtime. Specifically, we target a cluster environment in which each node has an NVRAM installed in it. Our previously developed extension to the MPI I/O API can take advantage of NVRAM regions in order to provide an NVRAM based cache like mechanism to significantly speed up I/O operations and allow to preload...
-
Verification of the new viscoelastic method of thermal stress calculation in asphalt layers of pavements
PublicationThe 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...
-
Experimental verification of a new method of loop resistance testing in low voltage systems with residual current devices
PublicationA 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...
-
Improving the Workflow for Creation of Textual Versions of Polish Historical Documents
Publication -
Building the Learning Environment for Sustainable Development: a Co-creation approach
PublicationEducation for sustainable development supports the improvement of knowledge, skills, attitudes and behaviors related to global challenges such as climate change, global warming and environmental degradation, among others. It is increasingly taking place through projects based on information and communication technologies. The effectiveness of the actions taken depends not only on the quality of the project activities or the...
-
Comparing some convolution-based methods for creation of surround sound
PublicationW referacie przedstawiono eksperymenty związane z symulacją dźwięku dookólnego w sali koncertowej. W tym celu wykorzystano splot odpowiedzi impulsowej z danego wnętrza (wielokanałowe nagrania odpowiedzi impulsowej) z nagraniami z komory bezechowej. Uzyskany w ten sposób sygnał został następnie przypisany do odpowiednich kanałów w systemie dookólnym. Uzyskane w ten sposób nagrania były następnie porównywane w testach subiektywnych...
-
Identity verification based on mouse movements
PublicationW 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...
-
Experimental verification of MWO bearing machine
PublicationPrzedstawiono 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...
-
Just look at to open it up: A biometric verification facility for password autofill to protect electronic documents
PublicationElectronic 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...
-
A model development and experimental verification for a vapour microturbine with a permanent magnet synchronous generator
PublicationVapour 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...
-
Verbal Thinking in the Design Process: Internal and External Communication of Architectural Creation
Publication -
Creation of mesopores in carbon nanotubes with improved capacities for lithium ion batteries
Publication -
ARCHITECTURAL STRATEGIES THAT PROMOTE CREATION OF SOCIAL BONDS WITHIN ECO-NEIGHBOURHOODS
Publication -
Creation and characteristics of the (Mn-N-O) surface layers on aluminium alloy
PublicationPrzedstawiono koncepcję tworzenia warstw powierzchniowych zawierających mangan, azot i tlen. Warstwy wykazują twardość powierzchniową 358 HV0,01, zwiększoną odporność na korozję w kwasie siarkowym oraz odporność na zużycie ścierne w skojarzeniu z żeliwem szarym.
-
Development and Verification of the Diagnostic Model of the Sieving Screen
Publication -
Acoustic verification on onomatopoeic sets in contrastive approach
Publication -
Acoustic verification on onomatopoeic sets in contrastive approach
Publication -
Spectroscopic verification of ionic matrices for MALDI analysis
Publication -
Verification of the fit to user profiles for UML tools
PublicationDopasowanie 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
PublicationW 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
PublicationPraca 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
PublicationThis 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...
-
Verification of baffle factor for straight pipe flow
PublicationDuring 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.
-
A method of verification diagnostics for functional safety analysis
PublicationProblemy 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...
-
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...
-
Effect of structure modification with potassium on grains layer creation process and phase transitions
PublicationZbadano szkła germanianowo-ołowiowe i krzemianowo bizutowe. Wartwy metalicznych granul wytwarzano w nich poprzez redukcję powierzchni w atmosferze wodoru. Praca dotyczy wpływu potasu na tworzenie się warstwy granul oraz na procesy topnienia i krzepnięcia granul w trakcie obróbki termicznej.
-
Value co‐creation (VCC) and value co‐destruction (VCD) via open government data (OGD): Empirical case of Tanzania
PublicationHaving emphasized upon the potential benefits of Open Government Data (OGD) initiatives via value derivation and innovation pursuits of the stakeholders, it falls in place to complement this line of OGD research in the specific case of Tanzania, a developing country, to support the inferences. Specifically, it is important to understand the manner in which OGD VCC-one of the hinges of OGD initiatives- and OGD VCD-a possible fall...
-
Historic centre of Gdańsk as a unique example of postwar socialist city creation = Historyczne śródmieście Gdańska jako unikalny przykład powojennej kreacji miasta socjalistycznego
PublicationThe historic centre of Gdańsk, totally destroyed towards the end of the Second World War, became an area of postwar creation of a socialist town. During over a dozen first years, three projects were prepared for implementation within its borders, first in the convention of reconstruction and rest simply as development, for three consecutive historic city complexes: The Main Town (1948), The Old Town (1955) and The Old Suburbs (1958),...
-
Verification of multiband system for non-contact emissivity measurements
PublicationW 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
PublicationThis 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
PublicationThe 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...
-
Neovagina creation methods in Müllerian anomalies and risk of malignancy: insights from a systematic review
Publication -
Creation of structures by 4, 5 and 6-year-old children, considering the conditions for the structure
Publication -
Verification of multiple model neural tracking filter with ship's radar
Publication -
Interpolation of complex dynamic trajectory for hand-written signature verification
PublicationRożważono problem interpolacji trajektorii jedno-grafelowego podpisu odręcznego do rozpoznawania i weryfikacji podpisu złożonego za pomocą tabletu. Przedyskutowano użyteczność interpolacji celem unifikacji podpisu, dla potrzeb porównania aktualnie złożonego podpisu ze wzorcem zapisanym w bazie. Wykorzystano różne reprezentacje trajektorii. Opracowano system decyzyjny wykorzystujący filtr dopasowany. Pracę zilustrowano przykładami...
-
Methods for verification safety integrity level in control and protection systems
PublicationW 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 the criteria for evaluation of water and frost resistance of asphalt concrete
PublicationThe 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...