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ł
Tytuł:
Type-driven development of concurrent communicating systems
Autorzy:
Brady, E.
Powiązania:
https://bibliotekanauki.pl/articles/305793.pdf
Data publikacji:
2017
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
dependent types
domain specific languages
verification
concurrency
Opis:
Modern software systems rely on communication, for example mobile applcations communicating with a central server, distributed systems coordinaing a telecommunications network, or concurrent systems handling events and processes in a desktop application. However, reasoning about concurrent prgrams is hard, since we must reason about each process and the order in which communication might happen between processes. In this paper, I describe a type-driven approach to implementing communicating concurrent programs, using the dependently typed programming language Idris. I show how the type system can be used to describe resource access protocols (such as controlling access to a file handle) and verify that programs correctly follow those prtools. Finally, I show how to use the type system to reason about the order of communication between concurrent processes, ensuring that each end of a communication channel follows a defined protocol.
Źródło:
Computer Science; 2017, 18 (3); 219-240
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimized jk-nearest neighbor based online signature verification and evaluation of main parameters
Autorzy:
Saleem, Muhammad
Kovari, Bence
Powiązania:
https://bibliotekanauki.pl/articles/2097967.pdf
Data publikacji:
2021
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
k-nearest neighbor
online signature verification
classification
Opis:
In this paper, we propose an enhanced jk-nearest neighbor (jk-NN) algorithm for online signature verification. The effect of its main parameters is evaluated and used to build an optimized system. The results show that the jk-NN classifier improves the verification accuracy by 0.73–10% as compared to a traditional one-class k-NN classifier. The algorithm achieved reasonable accuracy for different databases: a 3.93% average error rate when using the SVC2004, 2.6% for the MCYT-100, 1.75% for the SigComp’11, and 6% for the SigComp’15 databases. These results followed a state-of-the-art accuracy evaluation where both forged and genuine signatures were used in the training phase. Another scenario is also presented in this paper by using an optimized jk-NN algorithm that uses specifically chosen parameters and a procedure to pick the optimal value for k using only the signer’s reference signatures to build a practical verification system for real-life scenarios where only these signatures are available. By applying the proposed algorithm, the average error rates that were achieved were 8% for SVC2004, 3.26% for MCYT-100, 13% for SigComp’15, and 2.22% for SigComp’11.
Źródło:
Computer Science; 2021, 22 (4); 539--551
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The reliability of integrated reporting
Autorzy:
Zyznarska-Dworczak, Beata
Powiązania:
https://bibliotekanauki.pl/articles/582495.pdf
Data publikacji:
2018
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
social responsibility accounting
integrated reporting
attestation
verification
Opis:
This paper presents the conclusions from analyzing the reliability of integrated reporting in the light of the strategic and information-related paradigm of accounting. The study demonstrates the reliability in the light of international standards that standardize integrated reporting, according to which there is a need for the improvement of credibility. As a key form of improving the reliability of integrated reporting the author indicates an internal and external verification of financial data and non-financial disclosure, both based on accountability account related to a company’s responsibility. The purpose of the study was achieved by employing pertinent research methods, including in particular a critical analysis of scholarly literature and the method of analogy. The study is axiomatic in nature, based on fundamental accounting theory assumptions.
Źródło:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu; 2018, 503; 494-502
1899-3192
Pojawia się w:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Verification of a survey of the most valuable trees in the city of Czestochowa
Autorzy:
Lechowicz, K.
Wronska-Pilarek, D.
Pilarek, Z.
Janyszek, M.
Powiązania:
https://bibliotekanauki.pl/articles/790672.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Przyrodniczy w Poznaniu
Tematy:
verification
tree
natural monument
dendrology
Czestochowa town
Opis:
In the city of Częstochowa a total of 122 valuable trees of 25 species from 12 families were inventoried. The most numerous group comprises trees with circumferences of natural monuments (55), followed by already registered natural monuments (25), trees with circumferences comparable to those of natural monuments and impressive trees (18 specimens each) and the category of “other trees” (6). The status of natural monuments presently found in the city of Częstochowa was confirmed. Described trees are typically native deciduous species, of which the most numerous are Acer platanoides (18 trees) and Tilia cordata (16 trees). Approximately 60% of them have circumferences from 201 to 300 cm. The health condition of surveyed trees is usually very good (84%). A total of 45 trees were selected with circumferences of natural monuments and characterised by a very good health condition, which may be proposed as worthy of protection as natural monuments.
Źródło:
Steciana; 2016, 20, 4
1689-653X
Pojawia się w:
Steciana
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Koło Wiedeńskie. Podstawowe założenia i próba krytyki
The Vienna Circle. Basic assumptions and a critique attempt
Autorzy:
Tryścień, Rafał
Powiązania:
https://bibliotekanauki.pl/articles/37179522.pdf
Data publikacji:
2023-01-31
Wydawca:
Akademia Humanistyczno-Ekonomiczna w Łodzi
Tematy:
Koło Wiedeńskie
pozytywizm logiczny
weryfikacja
Schlick
Carnap
zasada weryfikacji
Vienna Circle
logical positivism
verification
the principle of verification
Opis:
Działalność Koła Wiedeńskiego rozpoczęła nową erę. Radykalne przemyślenia, które miały z jednej strony ugruntować istniejącą naukę empiryczną, a z drugiej usunąć wszelką metafizykę i w konsekwencji zbudować prawdziwą, naukową filozofię, okazały się błędem. Radykalne założenia, które miały na celu uporządkowanie wiedzy, wbrew intencji doprowadziły do absurdalnych wniosków. Koło Wiedeńskie kierowało się zasadą weryfikacji, która miała rozstrzygnąć, czy dane zdanie jest zdaniem sensownym, czy bezsensownym. Niemniej jednak sama zasada, choć prosta w swoim wysłowieniu, nie była wolna od założeń, które miała pośrednio usunąć – założeń metafizycznych. Celem niniejszego artykułu jest prezentacja poglądów Koła Wiedeńskiego wraz z istotnymi, często w różnych publikacjach pomijanymi zagadnieniami. Natomiast centralnym punktem tekstu będzie próba przedstawienia krytyki podnoszonej w założeniach Koła Wiedeńskiego.
The works of the Vienna Circle introduced a new era. Radical thoughts that were supposed to consolidate the existing empirical science and remove all metaphysics in order to build a real, scientific philosophy proved to be a mistake. The radical assumptions led to absurd conclusions. The Vienna Circle was guided by the principle of verification which sought to establish whether a sentence was meaningful or not. Yet this principle was not free of the assumptions that it was supposed to indirectly remove – metaphysical assumptions. In this article, I present the views of the Vienna Circle that are often overlooked in various publications. The central point of the text will be an attempt to discuss the criticism of the Vienna Circle’s assumptions.
Źródło:
Kultura i Wychowanie; 2023, 24, 2; 125-145
2544-9427
2083-2923
Pojawia się w:
Kultura i Wychowanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Trudności eklezjalnej recepcji objawień prywatnych
Difficulties of the Ecclesiastical Reception of the so-called Private Apparitions
Autorzy:
Perszon, Jan
Powiązania:
https://bibliotekanauki.pl/articles/469523.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:
objawienia prywatne
weryfikacja
Kościół
private revelations
verification
Church
Opis:
Obchodzone niedawno stulecie objawień fatimskich oraz wątpliwości związane z Medjugorie dowodzą, że kwestia tzw. objawień prywatnych jest w Kościele katolickim ciągle aktualna. W opracowaniu zasygnalizowano trudności terminologiczne, jakie teologia napotyka w zdefiniowaniu tych zjawisk (jawienia, widzenia, natchnienia, doświadczenia mistyczne). Odniesiono się też – per analogiam – do objawienia biblijnego i form jego zaistnienia. Obfitość nowych objawień prywatnych każe zapytać o ich oddziaływanie na życie Kościoła: jego modlitwę, sferę wiary i postawy moralne wiernych. Komunikacja elektroniczna (Internet) błyskawicznie upowszechnia nadzwyczajne zdarzenia (znaki, widzenia), faktycznie uniemożliwiając Magisterium Kościoła skuteczne wykonywanie jego zadania, tj. rozpoznania i weryfikacji ich wiarygodności. W rozpoznaniu prawdziwości Bożych znaków teolodzy zwracają uwagę na ważną funkcję pobożności ludowej oraz sensus fidelium. Część trzecia referuje stosowane w Kościele kryteria rozpoznawania tzw. objawień prywatnych: zbadanie okoliczności, adresata objawień, jego świadków, wreszcie zaś oznak jego wiarygodności. Kazus Medjugorie, gdzie domniemane mariofanie trwają od roku 1981, pokazuje, że proces rozeznawania autentyczności Bożych znaków bywa bardzo trudny. Z jednej strony – co do wiarygodności objawień – są negatywne orzeczenia biskupów miejsca, z drugiej milionowe rzesze pielgrzymujących do Medjugorie. Decyzja Stolicy Apostolskiej, określająca Medjugorie jako „miejsce modlitwy”, a nie objawień, jest wyrazem „cierpliwości”, z jaką do takich fenomenów podchodzi Kościół.
The centenary of the Fatima apparitions that has been recently celebrated and the doubts about Medjugorje prove that the issue of private revelations is still present in the Catholic Church. The study indicates the terminological difficulties in defining these phenomena (discovery, vision, inspiration, mystical experience). It also refers – per analogiam – to a biblical revelation and forms of its existence. The abundance of new private revelations tells us about their influence on the Church life: its prayer, the sphere of faith and the moral attitudes of the faithful. Electronic communication (the Internet) instantly spreads extraordinary events (signs, visions), and consequently prevents the Magisterium of the Church from recognizing and verifying their credibility. To recognize the truth of God’s signs, theologians pay attention to the important function of popular piety and sensus fidelium. The third part of the article refers to the criteria used in the Church to recognize the so-called private revelations: examining the circumstances and the addressee of the apparitions, the witnesses, and finally the signs of its credibility. The case of Medjugorje, where alleged maryfans have lasted from 1981, shows that the process of discerning the authenticity of God’s signs can be very difficult. On the one hand – as to the credibility of the apparitions – there are negative statements of the place bish ops, on the other – millions of pilgrims who make a pilgrimage to Medjugorje. The decision of the Holy See, which defines Medjugorje as a “place of prayer” and not revelation, is an token of “patience” that the Church approaches such phenomena.
Źródło:
Studia Koszalińsko-Kołobrzeskie; 2019, 26; 133-164
1230-0780
2719-4337
Pojawia się w:
Studia Koszalińsko-Kołobrzeskie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parametric identification of MR linear automotive size damper
Identyfikacja parametryczna małogabarytowego liniowego tłumika MR
Autorzy:
Sapiński, B.
Powiązania:
https://bibliotekanauki.pl/articles/281381.pdf
Data publikacji:
2002
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
MR fluid
MR damper
rheological structure
identification
verification
Opis:
The paper deals with the problem of parametric identification of phenomenological models of a MR damper. The rheological structures of the MR damper described by two fundamentals parametric models that are due to Bingham and Spencer are reviewed. The problem of identification is considered, exemplary results of MR damper experimental tests and an adjustment procedure of the estimated parameters with respect to experimental data are discussed. A linear MR damper of RD-1005 series developed by Lord Corporation has been tested and modelled.
W artykule przedstawiono problem identyfikacji parametrycznej modeli fenomenologicznych liniowego tłumika magnetoreologicznego (MR). Rozważono struktury reologiczne tłumika MR opisane modelami Binghama i Spencera. Sformułowano zadanie identyfikacji, pokazano przykładowe wyniki badań doświadczalnych tłumika oraz procedurę doboru estymowanych współczynników modeli odpowiadających danym uzyskanym z eksperymentu identyfikacyjnego. Obiektem badań był małogabarytowy tłumik MR typu RD-1005 wyprodukowany przez firmę Lord Corporation.
Źródło:
Journal of Theoretical and Applied Mechanics; 2002, 40, 3; 703-722
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The degree of agility in a technology company’s strategy, management, and leadership
Autorzy:
Vanharanta, H.
Kantola, J.
Markopoulos, E.
Salo, M.
Einolander, J.
Hanhisalo, T.
Powiązania:
https://bibliotekanauki.pl/articles/406804.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
agility
application
innovativeness
leadership
management
ontology
validation
verification
Opis:
Agility is a concept and practice with significant importance in managing and leading added value in products, services, projects, and organizations, although it’s usage can also be very risky due to its degree of fuzziness, if not properly understood and defined. This research re-defines agility, emphasizes the need for ontologies for its management and leadership applications and uses a new type of fuzzy logic-based software to measure the degree of agility inside a technology company. In our agility research, various definitions of agility were first gathered and presented for the creation of an agility ontology through a mind map, revealing the main characteristics of agility. Then as part of the Co-Evolute theory and methodology, the first agility ontology was developed as well as the first software application that evaluates the degree of agility in an organization. The application includes statements on which the respondents give opinions in their situation concerning the current and future desired states of agility and its importance in an evaluative way. Today the application has been fully tested in the real world and we have obtained the first test results. The positive verification and validation of the method are shown in this article.
Źródło:
Management and Production Engineering Review; 2018, 9, 4; 129-137
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Experimental and simulative study on accumulator function in the process of wave energy conversion
Autorzy:
Zhang, W.
Liu, Y.
Luo, H.
Xue, G.
Zhang, J.
Powiązania:
https://bibliotekanauki.pl/articles/259862.pdf
Data publikacji:
2016
Wydawca:
Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:
wave energy converter
AMESim simulation
accumulator
experimental verification
Opis:
In this paper, a floating-buoy wave energy converter using hydrostatic transmission system is studied. The entire work progress of wave energy power generation device is introduced, and the hydraulic transmission principles are emphasized through the simulation to verify the feasibility of design principle of hydraulic transmission system. The mathematical model of the accumulator is established and applied in the AMEsim simulation. The simulation results show that the accumulator plays an important role in the wave power hydraulic transmission system and that the correct configuration of accumulator parameters can improve the rapidity and stability of the system work. Experimental results are compared with the simulation results to validate the correctness of the simulation results. This would provide a valuable reference to the optimal design of wave power generation.
Źródło:
Polish Maritime Research; 2016, 3; 79-85
1233-2585
Pojawia się w:
Polish Maritime Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulation and experimental study in the process of wave energy conversion
Autorzy:
Zhang, W.
Liu, Y.
Powiązania:
https://bibliotekanauki.pl/articles/260115.pdf
Data publikacji:
2016
Wydawca:
Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:
wave energy converter
suitable control technology
experimental verification
Opis:
This article introduces the operating principle of the wave energy device and makes AMEsim simulated analysis in the influence of the amplitude and period of the wave on the output efficient. By using the result of the simulation to optimize design, the article puts forwards a kind of suitable control technology which based on the disclosed amplitude and period of the wave to control the check valve, invoking the motor in different levels of efficiency. This kind of technology aims to solve the problem which includes low efficiency and high start wave of the wave energy device. The result is verified by the physical experiment, which lays the foundation for the implementation of marine engineering. The established methods of simulation model and analysis results are expected to be useful to designing and manufacturing of wave energy converter.
Źródło:
Polish Maritime Research; 2016, S 1; 123-130
1233-2585
Pojawia się w:
Polish Maritime Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Measurement and evaluation of functional and operational coefficients of hydraulic solenoid valve prototypes used for variable valve timing control in combustion engines
Autorzy:
Kalinowski, Marcin
Kamiński, Zbigniew
Powiązania:
https://bibliotekanauki.pl/articles/1837936.pdf
Data publikacji:
2021
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
variable valve timing
hydraulic solenoid valve
prototype verification
Opis:
: This paper describes the engineering structure and functions of a typical solenoid valve used in hydraulic mechanisms that are based on variable camshaft timing (VCT). The main operating parameters and functional utility coefficients of hydraulic solenoid valves have been defined. Tests of 10 reference and 10 prototype valves were run on a test stand for a comparative assessment of both engineering concepts based on Welch and Mann–Whitney statistical tests of the mean values of designated coefficients. The studies identified differences between both designs, and the obtained research material was used as an input to improve the performance of the engineered concept. To perform a final evaluation of the effects that arise as a result of changes introduced to some functional–operational coefficients, additional tests are required to be run on an engine testbed. The applied test methodology may then be used for control and verification tests of the valves, which can further be used in VCT technology.
Źródło:
Acta Mechanica et Automatica; 2021, 15, 2; 74-81
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quality assurance in environmental technology verification (ETV): analysis and impact on the EU ETV pilot programme performance
Autorzy:
Molenda, M.
Ratman-Kłosińska, I.
Powiązania:
https://bibliotekanauki.pl/articles/410069.pdf
Data publikacji:
2018
Wydawca:
STE GROUP
Tematy:
enviromental technology verification
quality assurance
environmental technologies
ecoinnovation
Opis:
Many innovative environmental technologies never reach the market because they are new and cannot demonstrate a successful track record of previous applications. This fact is a serious obstacle on their way to the market. Lack of credible data on the performance of a technology causes mistrust of investors in innovations, especially from public sector, who seek effective solutions however without compromising the technical and financial risks associated with their implementation. Environmental technology verification (ETV) offers a credible, robust and transparent process that results in a third party confirmation of the claims made by the providers about the performance of the novel environmental technologies. Verifications of performance are supported by high quality, independent test data. In that way ETV as a tool helps establish vendor credibility and buyer confidence. Several countries across the world have implemented ETV in the form of national or regional programmes. ETV in the European Union was implemented as a voluntary scheme if a form of a pilot programme. The European Commission launched the Environmental Technology Pilot Programme of the European Union (EU ETV) in 2011. The paper describes the European model of ETV set up and put to operation under the Pilot Programme of Environmental Technologies Verification of the European Union. The goal, objectives, technological scope, involved entities are presented. An attempt has been made to summarise the results of the EU ETV scheme performance available for the period of 2012 when the programme has become fully operational until the first half of 2016. The study was aimed at analysing the overall organisation and efficiency of the EU ETV Pilot Programme. The study was based on the analysis of the documents the operation of the EU ETV system. For this purpose, a relevant statistical analysis of the data on the performance of the EU ETV system provided by the European Commission was carried out.
Źródło:
Management Systems in Production Engineering; 2018, 1 (26); 49-54
2299-0461
Pojawia się w:
Management Systems in Production Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Development of a framework of safety goals for nuclear installations and its application in Germany
Autorzy:
Berg, H. P.
Powiązania:
https://bibliotekanauki.pl/articles/2069336.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
safety goals
safety assessment
safety verification
multi-units
Opis:
The International Atomic Energy Agency has started a few years ago a project to enhance the existing framework for safety goals for nuclear installations and currently is finalizing a publication aimed to provide guidance for a more holistic approach to establishing and utilizing safety goals for nuclear installations. The intention was to develop a more consistent and holistic framework for safety goals that would be composed of a hierarchical structure of qualitative concepts (e.g. defense in depth, various safety requirements) and quantitative risk metrics. The safety goals should be technology neutral at the higher level and should cover both normal operation and accident conditions as well as the risk to workers, public, and the environment. In the paper the development of a hierarchical framework for safety goals is described including a methodology to derive lower-(more technical) safety goals from the higher goals. Moreover a process for assessing the degree of compliance with the safety goals and their consistent use is provided. As an example the developed framework is applied to the German regulatory framework for nuclear installations but focused on nuclear power plants.
Źródło:
Journal of Polish Safety and Reliability Association; 2015, 6, 1; 15--22
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Tolerances for aluminium alloy-extruded profiles according to EN 755-9 and EN 12020-2 versus definitions of tolerances according to the ISO GPS system
Autorzy:
Humienny, Zbigniew
Blaszczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/1428683.pdf
Data publikacji:
2021
Wydawca:
Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
Tematy:
ISO GPS
geometrical tolerancing
aluminium extrusion
product verification
Opis:
The inconsistencies between tolerances for aluminium profiles as specified in EN 755-9:2016 along with EN 12020-2:2016 and tolerance concepts defined in ISO 1101:2017 are demonstrated. It is shown that the standards defining requirements for extruded profiles have been developed without considering provisions in the ISO GPS system. A number of ambiguities in EN 755-9 and EN 12020-2 that were overcome in the ISO GPS system are shown. For example, broad application of plus/minus tolerancing for step dimensions does not provide unique verification of aluminium alloy-extruded profiles. It is pointed out that some terms univocally defined in the ISO GPS system are used incorrectly in both standards. It makes it difficult for a customer to verify on CMM whether or not extruded profiles satisfy the requirements specified in the order. Finally, significant changes regarding geometrical tolerancing in standards for the aluminium alloy-extruded profiles are proposed.
Źródło:
Journal of Machine Engineering; 2021, 21, 1; 121-132
1895-7595
2391-8071
Pojawia się w:
Journal of Machine Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Software for data acquisition with options for multimeter calibration and verification of its accuracy
Autorzy:
Tabisz, R.
Zawisza, P.
Powiązania:
https://bibliotekanauki.pl/articles/973061.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
data acquisition
calibration
accuracy verification
measurements management systems
Opis:
The need to create software for measuring data acquisition to ensure data collection during calibration of the multimeter and to verify its accuracy was justified. The prototype of such software working with the M-4650CR multimeter was developed in the VBA MS Excel environment. This software, called "CAL-DAQ", is a modular structure that enables the execution of individual modules in order to facilitate the measurement procedure. Software of this kind can be useful in industrial measurement management systems which are an important part of quality management systems.
Źródło:
Measurement Automation Monitoring; 2017, 63, 8; 263-267
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Systematic Literature Review on Search Based Mutation Testing
Autorzy:
Nishtha, J.
Bharti, S.
Shweta, R.
Powiązania:
https://bibliotekanauki.pl/articles/384128.pdf
Data publikacji:
2017
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
software testing
analysis
verification
systematic review
mapping studies
Opis:
Search based techniques have been widely applied in the domain of software testing. This Systematic Literature Review aims to present the research carried out in the field of search based approaches applied particularly to mutation testing. During the course of literature review, renowned databases were searched for the relevant publications in the field to include relevant studies up to the year 2014. Few studies for the year 2015-16, gathered by performing snowball search, have also been included. For reviewing the literature in the field, 43 studies were evaluated, out of which 18 studies were thoroughly studied and analysed. The result of this SLR shows that search based techniques were applied to mutation testing primarily for two purposes, either for mutant optimisation or for test case optimisation. The future directions of this SLR suggests the application of search based techniques for other issues related to mutation testing, like, solution to equivalents mutants, generation of non-trivial mutants, multi-objective test data generation and non-functional testing.
Źródło:
e-Informatica Software Engineering Journal; 2017, 11, 1; 59-76
1897-7979
Pojawia się w:
e-Informatica Software Engineering Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Use of computer assistance in order to designate the tasks in the municipal services companies
Autorzy:
Izdebski, M.
Jacyna, M.
Powiązania:
https://bibliotekanauki.pl/articles/241863.pdf
Data publikacji:
2014
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
municipal services companies
transport
optimization
genetic algorithm
verification
Opis:
In this article, the method of designating the tasks in the municipal services companies was described. Presented method consists of three phase: the preparatory phase, the optimization phase and the generated tasks phase. Each phase was characterized. In this paper, the mathematical model of this problem was presented. The function of criterion and the condition on designating the tasks were defined. The minimum route described in the optimization phase was designated by the genetic algorithm. In this paper, the stages of constructing of the genetic algorithm were presented. A structure of the data processed by the algorithm, a function of adaptation, a selection of chromosomes, a crossover, a mutation and an inversion were characterized. A structure of the data was presented as string of natural numbers. In selection process, the roulette method was used and in the crossover, process the operator PMX was presented. The method was verified in programming language C #. The process of verification was divided into two stages. In the first stage, the best parameters of the genetics algorithm were designated. In the second stage, the algorithm was started with these parameters and the result was compared with the random search algorithm. The random search algorithm generates 2000 routes and the best result is compared with the genetic algorithm. The influence of the inversion, the mutation and the crossover on quality of the results was examined.
Źródło:
Journal of KONES; 2014, 21, 2; 105-112
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Walidacja a weryfikacja metody pomiarowej
Validation and verification of the measurement method
Autorzy:
Kołakowska, D.
Powiązania:
https://bibliotekanauki.pl/articles/266933.pdf
Data publikacji:
2018
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
walidacja
weryfikacja
parametry metody
validation
verification
test parameter
Opis:
Procedury walidacji i weryfikacji laboratoriów badawczych powinny być zgodne z wymogami prawnymi ujętymi w normach. Każde laboratorium badawcze musi dołożyć starań, aby badania i pomiary były wykonywane rzetelnie, zgodnie z aktualnym stanem wiedzy. W artykule przedstawiono wymogi norm, które dane laboratorium powinno przestrzegać.
There are many indicators of the "quality" of laboratory tests confirming the competence of laboratory staff as well as the technologies used. Validation is the process of monitoring a test, procedure or method. It proves that the laboratory controls the method and gives reliable results. Verification, whereas, is a one-off process, carried out to establish or confirm the expected performance of the test before applying it in the lab. Verification means checking the test in a given laboratory. The laboratory, while testing a given product, should be sure of the results obtained. Its duty is to confirm laboratory staff competences and ensure the recipient of the results that the measurements methods are appropriate. The use of welldescribed and tested methods does not automatically give a guarantee of obtaining reliable results. Therefore, the laboratory should control the quality of performed tests in order to be able to prove that it is able to meet the acceptance criteria described in the methods used by it.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2018, 59; 91-92
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Procedura weryfikacji metrologicznej potokowego, zautomatyzowanego systemu do kontroli przemysłowych wyrobów elektrycznych
The metrological verification procedure of automatic testing system for industrial electrical products
Autorzy:
Kern, J.
Machalica, P.
Powiązania:
https://bibliotekanauki.pl/articles/157432.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
system pomiarowy
weryfikacja metrologiczna
measurement system
metrological verification
Opis:
Referat przedstawia rozwiązanie problemu weryfikacji funkcjonalnej i metrologicznej zautomatyzowanego systemu do testowania wyrobów elektrycznych, systemu o podwyższonych wymaganiach z zakresu wydajności i wiarygodności wyników oceny wyrobów. Procedura, opracowana w oparciu o analizę niezawodnościową i opracowany zbiór etalonów, modelujących parametry testowanych obiektów, integruje dwie techniki diagnostyczne - współbieżne, permanentne monitorowanie stanów połączeń przemieszczanych głowic pomiarowych; oraz -okresową diagnostykę, w postaci dwu różnych działań -weryfikacji funkcjonalnej oraz weryfikacji niepewności pomiarowych systemu.
The paper presents the solution of the functional and metrological verification of the automatic system, developed for testing electrical products. The system is characterized by high speed of testing and high level of classification quality. The procedure is developed on the basis of reliability analyses and a special set of etalons, designed for modelling the characteristic of the product under test. The verification procedure integrates two diagnostic methods – concurrent, permanent monitoring of the states of moving test head connectors, and periodic diagnostics – in a form of two different activities- functional verification and metrological verification.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 9 bis, 9 bis; 368-371
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza dokładności modeli układu koło-podłoże dla warunków spulchnionej gleby lekkiej
Accuracy analysis of the tyre-soil models to the conditions of the loosened light sandy soil
Autorzy:
Szafarz, A.
Błaszkiewicz, Z.
Powiązania:
https://bibliotekanauki.pl/articles/291388.pdf
Data publikacji:
2005
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
układ koło-podłoże
model
weryfikacja numeryczna
weryfikacja empiryczna
spulchnianie gleby
gleba lekka
tyre-soil system
numerical verification
empirical verification
light soil
Opis:
W pracy przedstawiono analizę dokładności znanych modeli układu koło - podłoże dla warunków ruchu kół po spulchnionej glebie lekkiej. Obliczone z modeli w badaniach symulacyjnych takie parametry jak głębokość koleiny, opór toczenia i siła uciągu kół, na podstawie parametrów opon i parametrów trakcyjnych gleby wyznaczonych doświadczalnie, odniesiono odpowiednio do rezultatów badań empirycznych. Wykazano małą dokładność analizowanych modeli z wyjątkiem uwzględniających wiele parametrów opon i podłoża modeli Błaszkiewicza opartych o metody numeryczne.
In this work the accuracy analysis of the known tyre - soils models was performed to the conditions of the light sandy soil. The calculated values from the models of the traction parameters: tyre sinkage, rolling resistance and drawbar pull, on the basis the tyre and traction soil parameters, were compared with the investigation results, respectively. It was stated the small accuracy of the models other authors in the analysed soil conditions, exception of the Błaszkiewicz computer based models for the tyre sinkage and rolling resistance, included many tyre and soil parameters.
Źródło:
Inżynieria Rolnicza; 2005, R. 9, nr 2, 2; 145-152
1429-7264
Pojawia się w:
Inżynieria Rolnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Problematyka weryfikacji i naprawy wtryskiwaczy Common Rail Delhi
Issue of verification and repairing Common Rail Diesel Delphi injectors
Autorzy:
Stoeck, T.
Osipowicz, T.
Powiązania:
https://bibliotekanauki.pl/articles/315987.pdf
Data publikacji:
2013
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
wtryskiwacz
weryfikacja
naprawa
Common Rail Delphi
injectors
verification
repairing
Opis:
W artykule omówiono usterki i niedomagania wtryskiwaczy elektromagnetycznych układów typu Common Rail firmy Delphi. Pomimo stosunkowo prostej budowy i dużej floty pojazdów w których są one wykorzystywane, ich regeneracja napotyka na wiele trudności. Niewątpliwy wpływ na taki stan rzeczy ma ograniczony dostęp do części zamiennych, co wynika z polityki prowadzonej przez samego producenta. Metodykę weryfikacji i naprawy wtryskiwaczy przedstawiono dla jednostki napędowej pojazdu Mercedes-Benz E Klasa 2.2 CDI.
The article describes typical defects of Common Rail electromagnetic Delphi Diesel injectors. In spite of very easy construction and a huge usage theirs regeneration is not very easy because of limited possibilities of buying components. This is a such company policy. The verification methods has been presented to Mercedes Benz E Class vehicle with 2,2 CDI engine.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2013, 14, 10; 245-248
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Technologie OLEDB, ADO i ADO.NET w systemach informatycznych wspomagających proces weryfikacji wiedzy studentów
OLEDB and ADO.NET technologies in information systems supporting verification of the students’ knowledge
Autorzy:
Mueller, W.
Boniecki, P.
Kujawa, S.
Powiązania:
https://bibliotekanauki.pl/articles/290408.pdf
Data publikacji:
2005
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
weryfikacja wiedzy
student
OLEDB
ADO
ADO.NET
knowledge verification
Opis:
Proces weryfikacji wiedzy klasycznymi metodami, przy wzrastającej liczbie studentów oraz generalnie niskiej umiejętności przelewania swoich myśli na papier, jest wyjątkowo czasochłonny i w coraz większym stopniu subiektywny. W tej sytuacji uzasadniona jest budowa systemów informatycznych, pozwalających na sprawdzenie wiedzy studentów. Wśród technologii ułatwiających tworzenie tego typu aplikacji, które powinny mieć charakter internetowy, jest technologia OLEDB wraz z interfejsem ADO i ADO.NET. Upraszczają one w znaczący sposób pobór informacji z różnych źródeł danych, które stanowią podstawę budowy pytań. Na bazie tych technologii wytworzono systemy informatyczne, wspomagające proces weryfikacji wiedzy zdobytej przez studentów.
Traditional knowledge verification is exceptionally time consuming and subjective as the number of students increases and, generally, their writing skills are relatively low. This situation justifies construction of the information systems allowing verification of students’ knowledge. Among the internet technologies facilitating development of such applications there are the OLEDB and its interfaces – ADO and ADO.NET. They significantly simplify acquiring information from various data sources as the basis for constructing questions. With the use of such technologies the information systems were developed to support verification of knowledge gained by students.
Źródło:
Inżynieria Rolnicza; 2005, R. 9, nr 8, 8; 229-238
1429-7264
Pojawia się w:
Inżynieria Rolnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling and Verification of Solid Propellant Rocket Motor Operation
Autorzy:
Zygmunt, B.
Surma, Z.
Leciejewski, Z.
Motyl, K.
Rasztabiga, T.
Powiązania:
https://bibliotekanauki.pl/articles/358193.pdf
Data publikacji:
2016
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Przemysłu Organicznego
Tematy:
modelling of rocket motor operation
ballistic parameters
experimental verification
Opis:
This paper presents a mathematical-physical model of phenomena occurring in the combustion chamber of a new solid propellant rocket motor. Due to the fact that the geometrical shape of the propellant grain has already been elaborated, the proposal for the modelling of combustion gas generation is a novelty. To solve the system of equations associated with the mathematical model, a computer programme in Turbo Pascal 7.0 was developed. For the solution of ordinary first-order differential equations, the fourth-order Runge-Kutta numerical method was applied. The main results of the completed simulations, i.e. changes in gas pressure, p, in the combustion chamber, and the rocket motor thrust, R, as a function of time, t, of motor operation, are shown graphically. Experimental verification of the parameters of the designed motor shows good agreement with the numerically calculated parameters.
Źródło:
Central European Journal of Energetic Materials; 2016, 13, 4; 944-956
1733-7178
Pojawia się w:
Central European Journal of Energetic Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Component Composition Validation
Autorzy:
Speck, A.
Pulvermuller, E.
Jerger, M.
Franczyk, B.
Powiązania:
https://bibliotekanauki.pl/articles/908508.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
composition verification
component composition
feature interaction
model checking
Opis:
Many approaches such as component technologies have been invented in order to support software reuse. Based on these technologies a large variety of techniques have been introduced to connect components. However, there is little experience concerning the validation of component systems. We know how to plug components together, but we do need ways to check whether that works. In this paper we introduce an approach to validating component compositions and showing how such a process can be supported by tools. We introduce a way to compare the interface specification of components automatically against the code. Furthermore, we demonstrate how compositions of components can be specified by logical formulas, allowing us to automatically validate these compositions.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 4; 581-589
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sprawdzanie i weryfikacja defektoskopów ultradźwiękowych
Characterization and verification of ultrasonic flaw detector
Autorzy:
Katz, T.
Powiązania:
https://bibliotekanauki.pl/articles/107923.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sprawdzenie
weryfikacja
wzorcowanie
defektoskop
characterization
verification
calibration
flaw
detector
Opis:
Celem niniejszego referatu jest przedstawienie najważniejszych wymagań oraz przedyskutowanie problemów związanych z okresową kontrolą defektoskopów ultradźwiękowych zgodnie z wymaganiami normy PN-EN 12668-1:2010. Szczególną uwagę zwrócono na problematykę pomiaru podstawowych parametrów aparatu ultradźwiękowego, w tym wymagania dotyczące stosowanej aparatury kontrolno-pomiarowej. Zaproponowano wzór świadectwa sprawdzenia defektoskopu ultradźwiękowego, w którym wyszczególniono i potwierdzono wykonanie wszystkich testów grupy 2 normy PN-EN 12668-1:2010. Proponowane świadectwo potwierdza zgodność defektoskopu z wersją normy oraz grupą testów jakiej podlega testowany sprzęt.
The purpose of this article is to present the most important requirements and problems related to periodic inspection of ultrasonic flaw detectors in accordance with requirements of standard PN-EN 12668-1: 2010. Particular attention has been paid to the measurement of ultrasonic flaw detector parameters and requirements concerning specialist measuring equipment. The form of ultrasonic flaw detector certificate was proposed, which specifies all tests of group 2 of PN-EN 12668-1: 2010. The proposed certificate confirms the compatibility of the flaw detector with the specified standard and the test group under which the equipment was tested.
Źródło:
Badania Nieniszczące i Diagnostyka; 2017, 4; 29-32
2451-4462
2543-7755
Pojawia się w:
Badania Nieniszczące i Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Verification of the value of leakage current amperage of a rod insulator surface determined using an electric model of its surface percolation
Autorzy:
Frączak, P.
Powiązania:
https://bibliotekanauki.pl/articles/97353.pdf
Data publikacji:
2016
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
insulator percolation current amperage
insulator percolation current amperage verification
Opis:
This work presents simulation of calculations related to the value of leakage current amperage on a porcelain surface of a rod insulator performed using the percolation theory. Surface of a rod insulator has been presented in the percolation model for grid nodes. This model is an electric circuit which includes a resistance grid and a power (voltage) source. This model includes a randomised method of “filled” node creation within the grid. The procedure of simulation calculations of the leakage current amperage using the percolation model included creation of its equivalent circuit and declaration of appropriate current analysis in the PSpice program. Thus obtained values of leakage current on amperage the surface of a rod insulator were compared with values measured on insulators studied at the testing station. Similar values of leakage current amperage on surfaces of insulators were obtained in simulation calculations (for the percolation theory), and in actual measurements at the testing station.
Źródło:
Computer Applications in Electrical Engineering; 2016, 14; 201-209
1508-4248
Pojawia się w:
Computer Applications in Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
YouTube as a source of information on carbon monoxide poisoning: a content-quality analysis
Autorzy:
Krakowiak, Michał
Rak, Małgorzata
Krakowiak, Paweł
Racisz, Kinga
Słoniewski, Paweł
Ilczak, Tomasz
Krakowiak, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2084913.pdf
Data publikacji:
2022-06-08
Wydawca:
Instytut Medycyny Pracy im. prof. dra Jerzego Nofera w Łodzi
Tematy:
carbon monoxide
first aid
YouTube
social media
verification
poisons
Opis:
ObjectivesThe variety of clinical presentation on the topic of carbon monoxide (CO) intoxication ranges from slight headache to coma or death. YouTube allows patients to search not only for entertainment but also medical advice. Therefore, the aim of this study was to evaluate the content and quality of YouTube videos concerning CO poisoning as a source of knowledge for non-medical audience.Material and MethodsOn the December 8, 2020 a YouTube search was conducted for the following phrases: “carbon monoxide poisoning,” “carbon monoxide symptoms,” “CO poisoning,” “carbon monoxide asphyxiation,” “carbon monoxide intoxication” using the “incognito mode” and without attachment to Google Account. The search results were set as: “default” in the YouTube browser. The first 50 results were taken into consideration. Two raters, a specialist in emergency medicine and a specialist in clinical toxicology rated videos with Quality Criteria for Consumer Health Information (DISCERN), Global Quality Score (GQS) and Journal of the American Medical Association (JAMA). “VidIQ Vision for YouTube” plug-in was used.ResultsNinety-five videos were included. The interclass coefficient for DISCERN, GQS and JAMA scores were: 0.8, 0.74 and 0.62 reaching good and moderate reliability. The mean DISCERN/GQS/JAMA was 28.1 (SD 7.9), 2.5 (SD 0.8) and 1.1 (SD 0.7) respectively. Higher DISCERN/GQS/JAMA had videos providing information on: exposure time, treatment options, hyperbaric chamber indications as well as physician speaker (p < 0.05). Video Power Index was higher when the video contained animations and presented patients own history of CO exposure but not influenced the DISCERN/GQS/JAMA scores. Videos providing misleading information had a higher like ratio.ConclusionsThe overall video quality was poor indicating inappropriate educational and informative value for patients who search information about carbon monoxide poisoning.
Źródło:
International Journal of Occupational Medicine and Environmental Health; 2022, 35, 3; 285-295
1232-1087
1896-494X
Pojawia się w:
International Journal of Occupational Medicine and Environmental Health
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A fault verification method for testing of analogue electronic circuits
Autorzy:
Tadeusiewicz, M.
Hałgas, S.
Powiązania:
https://bibliotekanauki.pl/articles/221477.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
analogue circuits
multiple-fault diagnosis
Powell's method
verification technique
Opis:
The paper deals with multiple soft fault diagnosis of analogue circuits. A method for diagnosis of linear circuits is developed, belonging to the class of the fault verification techniques. The method employs a measurement test performed in the frequency domain, leading to the nonlinear least squares problem. To solve this problem the Powell minimization method is applied. The diagnostic method is adapted to real circumstances, taking into account deviations of fault-free parameters and measurement uncertainty. Two examples of electronic circuits encountered in practice demonstrate that the method is efficient for diagnosis of middle-sized circuits. Although the method is dedicated to linear circuits it can be adapted to multiple soft fault diagnosis of nonlinear ones. It is illustrated by an example of a CMOS circuit designed in a sub-micrometre technology.
Źródło:
Metrology and Measurement Systems; 2018, 25, 2; 331-346
0860-8229
Pojawia się w:
Metrology and Measurement Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Possible methods and approaches for verification of undeclared and decommissioned sites for verifying nuclear disarmament, the reasons to employ them, and the dissemination of findings
Autorzy:
Várdai, Mihail Istvanovics
Powiązania:
https://bibliotekanauki.pl/articles/2086240.pdf
Data publikacji:
2021
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
inspection activity
verification
nuclear disarmament
National Technical Means
sensors
Opis:
Objectives: The future verification of the nuclear disarmament poses different challenges. The International Partnership for Nuclear Disarmament Verification is working on these challenges. The verification methods and approaches are very different so they can greatly influence the outcome of the inspection activities. Methods: These methods and approaches can be identified in other, already functioning arms control arrangements and confidence and security building measures. The methods and approaches have their advantages and disadvantages, so the planning of different verification activities have to take into account these aspects. Results: The future nuclear disarmament verification can be achieved by combining the methods of verification. The availability of technology also can contribute for verification of nuclear disarmament without entering sensitive areas, thus the states can comply with the provisions of the Non-proliferation Treaty. The use of different sensors for verification can complement the on-site inspection activities by providing for the inspectors data on the outline of specific site. After the certification of the sensors, states can use those under specific information barriers. The recording of findings of a verification activity also important for planning future inspection missions, and in case of non-compliance they can be used as factual evidence in different negotiations. Conclusions: For this purpose the network maintained by the Organization of Security and Cooperation in Europe can be viewed as a model that ensures the confidentiality of the notifications.
Źródło:
Przegląd Nauk o Obronności; 2021, 6, 11; 89--113
2450-6869
Pojawia się w:
Przegląd Nauk o Obronności
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ehksperimental'nye issledovanija izmel'chitelja grubykh i stebel'chatykh kormov
Experimental reseаrches of shredding machine of coarse and stalky fodder
Autorzy:
Braginec, N.
Vertjj, A.
Powiązania:
https://bibliotekanauki.pl/articles/76512.pdf
Data publikacji:
2015
Wydawca:
Komisja Motoryzacji i Energetyki Rolnictwa
Tematy:
experimental research
shredder
construction characteristics
working body
experimental verification
Źródło:
Motrol. Motoryzacja i Energetyka Rolnictwa; 2015, 17, 7
1730-8658
Pojawia się w:
Motrol. Motoryzacja i Energetyka Rolnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikując modele mentalne tłumaczenia: atuty i pułapki okulografii
Verifying the mental models of translation: Advantages and pitfalls of the eye tracking method
Autorzy:
Płużyczka, Monika
Powiązania:
https://bibliotekanauki.pl/articles/1191867.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Wrocławski. Oficyna Wydawnicza ATUT – Wrocławskie Wydawnictwo Oświatowe
Tematy:
translation models
mental processes
eye tracking
verification
advantages
pitfalls
Opis:
In the article, the author shows how the research technology can increase our understanding of what is going on in the translator’s mind. She points out some of the advantages that the eye tracking method has in verifying the previous assumptions related to mental models of translation activity. On the basis of the author’s eye tracking research conducted in the recent years, she demonstrates the most interesting results related to mental processes involved in translation, but also shows the selected methodological pitfalls of eye tracking, and relatedly defines methodological challenges in this range of translation-oriented research for the nearest future.
Źródło:
Studia Translatorica; 2019, 10; 41-63
2084-3321
2657-4802
Pojawia się w:
Studia Translatorica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Hidden Signature for DTW Signature Verification in Authorizing Payment Transactions
Autorzy:
Putz-Leszczyńska, J.
Kudelski, M.
Powiązania:
https://bibliotekanauki.pl/articles/308543.pdf
Data publikacji:
2010
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
dynamic time warping
hidden signature
payment transactions
signature verification
Opis:
Traditional use of dynamic time warping for signature verification consists of forming some dissimilarity measure between the signature in question and a set of "template signatures". In this paper, we propose to replace this set with the hidden signature and use it to calculate the normalized errors of signature under verification. The approach was tested on the MCYT database, using both genuine signatures and skilled forgeries. Moreover, we present the real-world application of the proposed algorithm, namely the complete biometric system for authorizing payment transactions. The authorization is performed directly at a point of sale by the automatic signature verification system based on the hidden signature.
Źródło:
Journal of Telecommunications and Information Technology; 2010, 4; 59-67
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pomiary weryfikacyjne mikroklimatu w kopalniach Katowickiego Holdingu Węglowego S.A. i Kompanii Węglowej S.A.
Verification measurements of microclimate in the mines of Katowicki Holding Węglowy S.A. and Kompania Węglowa S.A.
Autorzy:
Słota, K.
Musioł, D.
Słota, Z.
Powiązania:
https://bibliotekanauki.pl/articles/186321.pdf
Data publikacji:
2013
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Technik Innowacyjnych EMAG
Tematy:
mikroklimat
mikroklimat kopalni
pomiary weryfikacyjne
microclimate
mines
verification measurements
Opis:
Artykuł poświęcony jest problemowi pomiarów weryfikacyjnych mikroklimatu w kopalniach. Przedstawiono w nim metodykę tego rodzaju badań, opracowaną w ramach realizacji projektu, przeznaczoną do wykorzystania w kopalniach, w których występują trudne warunki mikroklimatu. W dalszej części zaprezentowano wyniki dokonanych pomiarów weryfikacyjnych. Łącznie wykonano 10 serii pomiarowych, podczas których pomiarami objęto 20 różnych stanowisk pracy. Badania potwierdziły występowanie zagrożenia cieplnego w wybranych wyrobiskach podziemnych. Omówiono też wnioski z wywiadu środowiskowego (przeprowadzonego w postaci ankiet), który wykazał m. in., że górnicy często pracują w ciężkich warunkach klimatycznych.
The article is devoted to the issue of verification measurements of microclimate in coal mines. It features the methodology of such tests which was elaborated in the course of the project. The methodology had been developed for measurements in selected coal mines with harsh climatic conditions. In the further part of the article the authors presented the results of the conducted verification measurements. In total, there were 10 measurement series carried out on 20 different work stands. The tests confirmed the occurrence of the heat hazard in the selected underground excavations. Additionally, the results of the survey were discussed. The survey, in the form of questionnaires, showed that miners very often work in harsh climatic conditions.
Źródło:
Mechanizacja i Automatyzacja Górnictwa; 2013, R. 51, nr 2, 2; 31-37
0208-7448
Pojawia się w:
Mechanizacja i Automatyzacja Górnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Strength analysis of the magnesium alloy control system lever of the ILX-27 unmanned helicopter
Autorzy:
Wojtas, M.
Sobieszek, A.
Żurawski, R.
Powiązania:
https://bibliotekanauki.pl/articles/246896.pdf
Data publikacji:
2017
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
magnesium alloys
FEM
strain gauges
geometry verification
strength test
Opis:
The article presents the potential use of magnesium alloys in the aerospace industry. In this project the static strength analysis of magnesium alloy AZ31 of the control – system lever of the ILX-27 unmanned helicopter was carried out. Control-system levers are located between the swash plate and an actuator. The aim of the tests was to confirm the strength properties of the magnesium alloy control-system lever for their implementation on the ILX-27 unmanned helicopter. Strain gauge sensor was used during the tests. Strain gauges installation on easily corrodes surface requires special method. The laboratory tests were proceeded by the lever static strength calculations in the computing environment ANSYS Inc. Additionally, a geometry measurement of the control-system lever at CMM equipped with a laser scanner head was made to compare with the lever CAD model to assess the quality and method of conformance. Unmanned helicopter ILX-27 is being developed through the introduction new materials and technologies. Tests of control system lever have shown if it is possible to use lighter materials than aluminum alloy to provide sufficient strength properties while reducing the mass of the object. Analysis of the available materials used in aerospace engineering allowed selecting the best of magnesium alloy.
Źródło:
Journal of KONES; 2017, 24, 2; 293-300
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of a Bingham model of a magnetorheological damper considering stochastic uncertainties in their geometric variables
Autorzy:
Chen, Ke
Yu, Xiaopeng
Wang, Haishuo
Zheng, Hongmei
Zhang, Guojun
Wu, Rui
Powiązania:
https://bibliotekanauki.pl/articles/1839695.pdf
Data publikacji:
2021
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
Bingham model
literature model
stochastic uncertainty theory
experimental verification
Opis:
Stochastic uncertainty theory is used to develop a new Bingham model of magnetorheological dampers superior to the existing model. Some input variables are defined as stochastic variables by the stochastic factor method, and the stochastic Bingham model is developed by the algebraic synthesis method. Curves of the damping force obtained by the stochastic Bingham model and the Bingham model in the literature are compared with experimental results, revealing that the curves obtained by the stochastic Bingham model are much closer to the experimental curves. Therefore, we confirm that the stochastic Bingham model is superior to the model from the literature.
Źródło:
Journal of Theoretical and Applied Mechanics; 2021, 59, 1; 53-65
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
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