Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Verification" wg kryterium: Temat


Tytuł:
Verifying the prediction result reliability using k-ε, eddy dissipation and discrete transfer models applied on methane combustion using a prototype low-pressure burner
Autorzy:
Honus, S.
Pospíšilík, V.
Jursová, S.
Šmída, Z.
Molnár, V.
Dovica, M.
Powiązania:
https://bibliotekanauki.pl/articles/103231.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
burner
combustion
mathematical modeling
verification
Opis:
The article aims to verify the accuracy of a method to simulate the combustion chamber with a low-pressure prototype burner equipped with a specific “mixing element” and air baffle. The burner has an output of 4 kW and combusts methane. In detail, the article evaluates the accuracy of the final courses of temperatures and CO concentrations in the combustion chamber, which were obtained having combined the mathematical models k-ε, Eddy Dissipation and Discrete Transfer. CFD software CFX was used for the solution and visualisation of the results. The verification measurements imply that the final course of temperature plotted on the vertical axis of the combustion chamber differs from the real course by +21.7% on average. The predicted CO concentrations are relatively satisfactory in the chamber locations with lower temperatures – at the combustion chamber outlet the deviation from the measured value was +31.8%. Overall, the applied method may be considered acceptable to simulate the thermal field in a combustion chamber with the described burner.
Źródło:
Advances in Science and Technology. Research Journal; 2017, 11, 4; 252-259
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metrological equipment for verification and calibration of non-automatic weighing instruments – axle and crane weighting instrument
Autorzy:
Gajdosik, Tomas
Kucera, Lubos
Gajdac, Igor
Fric, Anton
Markovic, Jaromir
Powiązania:
https://bibliotekanauki.pl/articles/1849138.pdf
Data publikacji:
2021
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
metrology
calibration
verification
weights
design
Opis:
The paper deals with the design of equipment for verification and calibration of axle and crane weighing instruments. In its introduction, it discusses the basic concepts of axle and crane weighing instruments, their calibration, and verification. The paper briefly describes the original technical design solution used in the calibration and verification of these weighing instruments. Subsequently, the article describes the legislative, technical and functional requirements for metrological equipment being developed. The paper presents two design solutions for handling calibration weights. In both solutions, the construction and individual functional parts of the equipment are described. Both of these solutions were designed and tested in practical measurements in the Laboratory for Testing of Weighing Instruments of the Slovak Legal Metrology n.o. Finally, the paper presents the results of the development of a new measuring system at the University of Žilina.
Źródło:
Metrology and Measurement Systems; 2021, 28, 2; 397-407
0860-8229
Pojawia się w:
Metrology and Measurement Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Resistance calibrators for verification of instruments destined for industrial applications
Autorzy:
Mykyychuk, M.
Yatsuk, V.
Ivakhiv, O.
Powiązania:
https://bibliotekanauki.pl/articles/114226.pdf
Data publikacji:
2015
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
calibration
active imitator
verification
resistance
Opis:
Nowadays, there are some problems corresponding with specifics of industrial instrumentation metrological support, i.e., compatibility ranges of resistance reproducibility in existing calibrators and the measurement range of industrial instrumentation, disability of controlling metrological characteristics in operation mode etc. To solve such problems, the use of active resistance simulators is possible. In the paper, there is presented the proper structure of an industrial resistance calibrator together with the calibrator error analysis.
Źródło:
Measurement Automation Monitoring; 2015, 61, 8; 390-394
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Comparison of models for dynamic analysis of a mobile telescopic crane
Porównanie modeli do analizy dynamicznej samojezdnego żurawia teleskopowego
Autorzy:
Maczyński, A.
Szczotka, M.
Powiązania:
https://bibliotekanauki.pl/articles/281173.pdf
Data publikacji:
2002
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
crane
modelling
dynamic analysis
verification
Opis:
he paper compares two models of a mobile telescopic crane. The first is analytical and uses methods common in manipulator dynamics together with the modal method; the second uses the commercial ADAMS... package. Results of numerical simulations for rotation of the crane upper structure are presented and compared. Models are evaluated in terms of calculation time, possible development and use in crane design.
W pracy przedstawiono porównanie dwóch modeli samojezdnego żurawia teleskopowego. Pierwszy został opracowany na drodze analitycznej przy zastosowaniu metod z zakresu dynamiki manipulatorów z wykorzystaniem metody modalnej, drugi przy użyciu komercyjnego pakietu ADAMS... . Przedstawiono i porównano przykładowe wyniki symulacji numerycznych dla ruchu obrotowego nadwozia żurawia. Dokonano oceny modeli pod względem czasochłonności obliczeń, możliwości ich rozbudowy i zastosowania w projektowaniu żurawi.
Źródło:
Journal of Theoretical and Applied Mechanics; 2002, 40, 4; 1051-1074
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Verification mechanism for lightweight componenent-based environment based on ioc container
Autorzy:
Leszko, R.
Piętak, K.
Powiązania:
https://bibliotekanauki.pl/articles/305795.pdf
Data publikacji:
2013
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
verification
component-based systems
functional integrit
Opis:
This paper presents a concept of component verification framework dedicated to a particular lightweight component environment. The starting point of the paper constitutes a discussion about the significance of verification of syntax in- consistencies in software development. Next, the need of verification in service-oriented and component-based systems is presented, and various approaches of verification in existing component environments are explained. The main part of the paper introduces a concept of functional integrity of component-based systems that utilize verification mechanisms which check consistency between components. The proposed solution is built on a fine-grained component environment (close to classes similarly to the Spring Framework) realized in the AgE platform. Selected technical aspects of framework design illustrate the considerations of the paper.
Źródło:
Computer Science; 2013, 14 (4); 577-588
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Fingerprint-Based Digital Images Watermarking for Identity Authentication
Autorzy:
Wójtowicz, W.
Powiązania:
https://bibliotekanauki.pl/articles/106264.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
watermarking
fingerprint
biometric watermark
verification methods
Opis:
In this paper the combination of fingerprint verification methods with watermarking technology to provide copyright protection and authentication of digital images is proposed. The goal of this study is to investigate how watermarking processing affects the quality of biometric watermarks. Performed experiments showed that extracted fingerprint images have roughly equal verification performance even if some watermarked images undergo additional degradation. Proposed methodology will be improved using more sophisticated fingerprint verification methods and subsequently incorporated into multimodal watermarking schemes.
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2014, 14, 1; 85-96
1732-1360
2083-3628
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Assessment of correctness of information obtained from Automatic Identification of Ships System (AIS)
Autorzy:
Śniegocki, H.
Powiązania:
https://bibliotekanauki.pl/articles/247446.pdf
Data publikacji:
2010
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
AIS
ARPA
collision avoiding
data verification
Opis:
In order to provide safety of navigation, the ship's officer employs a lot of different devices which are installed on navigational bridge. One of them, very useful equipment is system for Automatic Identification of Ships (AIS). How ever, the Information thus obtained can be inaccurate or even false. In this article the author presented ways to verify the data obtained from Automatic Identification of Ships (AIS) with the help of radar (ARPA). The advantages of earlier verification of information obtained from AIS are presented when a vessel is manoeuvring and the data presented by ARPA are not reliable. An algorithm of a program which makes it possible to verify the reliability of data obtained from AIS has been presented here. A possibility has been demonstrated of constructing a device employing that algorithm in order to support the navigating officer in making decisions avoiding collisions. This system will alert the Watch Officer about incorrectness and about inaccuracy of ARPA and AIS. This solution could be a very helpful tool to be used in adverse weather conditions particularly for the vessels in collision situation.
Źródło:
Journal of KONES; 2010, 17, 3; 437-442
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Joint Factor Analysis of Channel Mismatch in Whispering Speaker Verification
Autorzy:
Lv, G
Zhao, H.
Powiązania:
https://bibliotekanauki.pl/articles/176713.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
joint factor analysis
whisper
speaker verification
Opis:
A speaker recognition system based on joint factor analysis (JFA) is proposed to improve whisper- ing speakers’ recognition rate under channel mismatch. The system estimated separately the eigenvoice and the eigenchannel before calculating the corresponding speaker and the channel factors. Finally, a channel-free speaker model was built to describe accurately a speaker using model compensation. The test results from the whispered speech databases obtained under eight different channels showed that the correct recognition rate of a recognition system based on JFA was higher than that of the Gaussian Mixture Model–Universal Background Model. In particular, the recognition rate in cellphone channel tests increased significantly.
Źródło:
Archives of Acoustics; 2012, 37, 4; 555-559
0137-5075
Pojawia się w:
Archives of Acoustics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dynamic behavior of an axially moving wide web
Dynamika szerokiej wstęgi przesuwającej się osiowo
Autorzy:
Cedrowska, A.
Marynowski, K.
Powiązania:
https://bibliotekanauki.pl/articles/281802.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
axially moving plate
dynamic analysis
experimental verification
Opis:
Theoretical and experimental dynamic analysis of an axially moving wide composite web is presented in this paper. The mathematical model of the system under consideration has the form of a differential equation with partial derivatives. The approximate solution using the extended Galerkin method has been determined in this work. Dynamic analysis allowed one to determine the natural frequency of bending and torsional vibrations of the web. Experimental investigations of dynamic behavior of the axially moving web was performed on a laboratory stand in the form of belt transmission. The experimental verification of numerical studies concerned the lowest frequencies of bending and torsional vibrations. The fundamental frequency of bending vibration was determined numerically with the greatest accuracy. accuracy.
W pracy przedstawiono teoretyczno-doświadczalną analizę dynamiczną przesuwającej się osiowo szerokiej kompozytowej wstęgi. Model matematyczny rozpatrywanego układu ma postać równania różniczkowego o pochodnych cząstkowych. Przybliżone rozwiązanie modelu matematycznego zostało określone przy wykorzystaniu rozszerzonej metody Galerkina. Analiza dynamiczna umożliwia wyznaczenie częstotliwości drgań własnych giętych i skrętnych wstęgi. Badania eksperymentalne dynamiki przesuwającej się osiowo wstęgi zostały przeprowadzone na stanowisku laboratoryjnym w postaci przekładni pasowej. Eksperymentalna weryfikacja badań numerycznych dotyczyła wyznaczenia najniższych częstotliwości drgań giętnych i skrętnych wstęgi. Podstawowa częstotliwość drgań giętnych została wyznaczona w badaniach numerycznych z największą dokładnością.
Źródło:
Journal of Theoretical and Applied Mechanics; 2012, 50, 4; 903-911
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Verification of Staff Proficiency in the Calibration Laboratory on Voltage, Frequency, Resistance and Capacity Measurements
Autorzy:
Warzec, A.
Marszalec, M.
Lusawa, M.
Powiązania:
https://bibliotekanauki.pl/articles/308453.pdf
Data publikacji:
2016
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
Calibration and Measurement Capability
staff proficiency verification
Opis:
The Laboratory of Electrical, Electronic and Optoelectronic Metrology is accredited by the Polish Center of Accreditation for nearly two decades. Over time, the requirements of proficiency verification are growing continuously. In order to satisfy higher and higher of reliability demands the most promising staff proficiency verification estimators were examined for voltage, frequency, resistance and capacity measurements. The article presents measurement systems used for verification, analysis of results or simulations, and shows conclusion for selecting the best solution.
Źródło:
Journal of Telecommunications and Information Technology; 2016, 4; 94-101
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Representation of UML Class Diagrams in OWL 2 on the Background of Domain Ontologies
Autorzy:
Sadowska, Małgorzata
Huzar, Zbigniew
Powiązania:
https://bibliotekanauki.pl/articles/384092.pdf
Data publikacji:
2019
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
UML
OWL2
transformation rules
verification rules
Opis:
Background: UML class diagrams can be automatically validated if they are compliant with a domain knowledge specified in a selected OWL 2 domain ontology. The method requires translation of the diagrams into their OWL 2 representation. Aim: The aim of this paper is to present transformation and verification rules of UML class diagrams to their OWL 2 representation. Method: The analysis of the results of the systematic literature review on the topic of transformation rules between elements of UML class diagrams and OWL 2 constructs. The purpose of the analysis is to present the extent to which state-of-the-art transformation rules cover the semantics expressed in class diagrams. On the basis of the analysis, new transformation rules expressing the semantics not yet covered but expected from the point of view of domain modelling pragmatics have been defined. Results: The first result is the revision and extension of the transformation rules identified in the literature. The second original result is a proposition of verification rules necessary to check if a UML class diagram is compliant with the OWL 2 domain ontology. Conclusion: The proposed transformations can be used for automatic validation of compliance of UML class diagrams with respect to OWL 2 domain ontologies.
Źródło:
e-Informatica Software Engineering Journal; 2019, 13, 1; 63-103
1897-7979
Pojawia się w:
e-Informatica Software Engineering Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Eyetracking or a piece of paper in didactic research
Autorzy:
Stawiarska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/472566.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:
eyetracking,
instructing,
verification of knowledge,
didactic research
Źródło:
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Biologiae Pertinentia; 2017, VII; 68-75
2083-7267
2450-3487
Pojawia się w:
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Biologiae Pertinentia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Effectiveness of friction force reduction in sliding motion depending on the frequency of longitudinal tangential vibrations, sliding velocity and normal pressure
Autorzy:
Leus, Mariusz
Gutowski, Paweł
Rybkiewicz, Marta
Powiązania:
https://bibliotekanauki.pl/articles/27314317.pdf
Data publikacji:
2023
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
reduction of friction force
vibrations
experimental verification
Opis:
The article presents the results of experimental research and simulation analyses of the influence of slip velocity, normal pressures and vibration frequency on the effectiveness of friction force reduction carried out in sliding motion in the presence of forced tangential vibrations. In experimental studies, changes in the driving force were measured during the slip of the upper body over the vibrating lower body. The direction of these vibrations was parallel both to the contact plane and to the direction of movement of the shifted body. The simulation tests were carried out in the Matlab/Simulink environment through the use of numerical procedures that were specially created for this purpose. Dynamic friction models considering the tangential compliance of contact and the phenomenon of pre-sliding displacement were used for calculations. The paper presents the designated values of the so-called coefficient of average friction force reduction in sliding motion for the following friction pairs: steel C45–steel C45, steel C45–cast iron GGG40 and steel C45–polytetrafluoroethy-lene PTFE (Teflon). The results of numerical analyses were in good agreement with those of experimental tests. A significant dependence of the level of average friction force reduction on the frequency of forced vibrations, sliding velocity as well as the kind of sliding pair material, and normal pressures was shown.
Źródło:
Acta Mechanica et Automatica; 2023, 17, 4; 490--498
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
BSBI - a Simple Protocol for Remote Verification of Identity
Autorzy:
Kozakiewicz, A.
Pałka, P.
Powiązania:
https://bibliotekanauki.pl/articles/309333.pdf
Data publikacji:
2012
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
access control
authentication
biometric verification
network protocols
Opis:
The paper presents the design and the rationale behind a simple verification protocol for autonomous verification modules, and the architecture enabling use of such modules. The architecture assumes strict separation of all personal metadata and the actual verification data. The paper also describes a prototype implementation of the protocol and its extension enabling the state of the module to be monitored from the main system. The proposed design solves the problem of using advanced verification methods, especially biometric ones, in systems where direct implementation is not possible due to hardware incompatibilities, insufficient resources or other limitations.
Źródło:
Journal of Telecommunications and Information Technology; 2012, 3; 50-57
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza koncepcji mDokumentów
Analysis of the mDocuments concept
Autorzy:
Lewandowski, Remigiusz
Powiązania:
https://bibliotekanauki.pl/articles/891248.pdf
Data publikacji:
2018-08-10
Wydawca:
Wyższa Szkoła Bezpieczeństwa Publicznego i Indywidualnego Apeiron w Krakowie
Tematy:
weryfikacja tożsamości
GSM
bezpieczeństwo
identity verification
security
Opis:
Celem artykułu jest przedstawienie analizy zagrożeń związanych z wdrożeniem mechanizmu weryfikacji tożsamości obywatela poprzez wykorzystanie telefonu komórkowego. Analiza ta dotyczy modelu opublikowanego przez Ministerstwo Cyfryzacji Opisu założeń projektu informatycznego pn. „mDokumenty w Administracji Publicznej w Polsce – Faza 1”, opartego o dane identyfikacyjne przechowywane i przetwarzane w ramach rejestrów centralnych. Artykuł oparto o analizę Opisu założeń projektu informatycznego oraz analizę literatury przedmiotu i publicznie dostępnych danych dotyczących stopnia informatyzacji Polski. Analiza wskazuje, że wykorzystanie telefonu komórkowego jako narzędzia identyfikacji obywatela budzi wątpliwości i obarczone jest poważnymi mankamentami. Najważniejsze z nich to: niewystarczająca pewność co do poprawności weryfikacji tożsamości wynikająca m.in. z niezastosowania narzędzi biometrycznych, wysokie ryzyko kradzieży tożsamości poprzez phishing lub poprzez kradzież aparatu telefonicznego, uzależnienie procesu weryfikacji tożsamości od żywotności baterii w telefonie oraz od przebywania w zasięgu działania sieci GSM. Artykuł prowadzi do wniosku, że w dalszych pracach nad koncepcją mDokumentów rozważone powinny zostać możliwości zwiększenia bezpieczeństwa identyfikacyjnego poprzez wprowadzenie identyfikacji opartej o narzędzia biometryczne oraz poprzez wprowadzenie szyfrowania SMS.
The goal of the paper is to present an analysis related to an introduction of citizen identity verification mechanism based on the mobile phone. The analysis refers to the model published by the Ministry of Digitalization in The Description of an IT Project’s Design Brief “mDocuments in the Public Administration in Poland – Phase 1”. The model is based on personal data stored and processed by central registers. The article is based on the analyses of The Description of an IT Project’s Design Brief, the literature concerning the issue as well as publicly available data referring to the level of Poland’s digitalization. The analysis shows that using a mobile phone as an instrument of citizen identification is questionable and it has various drawbacks. The most important of them refer to insufficient confidence related to the correctness of a verified identity (resulting from lack of biometric tools), high risk of identity theft by phishing or phone theft, dependence of the identity verification process on the battery lifespan as well as GSM coverage. The article leads to the conclusion that one should consider possible ways of increasing the identification security in the prospective work on the idea of mDocuments. These ways include identification based on biometric tools and SMS encryption.
Źródło:
Kultura Bezpieczeństwa. Nauka – Praktyka – Refleksje; 2016, 24; 135-150
2299-4033
Pojawia się w:
Kultura Bezpieczeństwa. Nauka – Praktyka – Refleksje
Dostawca treści:
Biblioteka Nauki
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies