Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Verification" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    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ł:
    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ł:
    Towards ensuring software interoperability between deep learning frameworks
    Autorzy:
    Lee, Youn Kyu
    Park, Seong Hee
    Lim, Min Young
    Lee, Soo-Hyun
    Jeong, Jongwook
    Powiązania:
    https://bibliotekanauki.pl/articles/23944833.pdf
    Data publikacji:
    2023
    Wydawca:
    Społeczna Akademia Nauk w Łodzi. Polskie Towarzystwo Sieci Neuronowych
    Tematy:
    deep learning
    interoperability
    validation
    verification
    deep learning framework
    model conversion
    Opis:
    With the widespread of systems incorporating multiple deep learning models, ensuring interoperability between target models has become essential. However, due to the unreliable performance of existing model conversion solutions, it is still challenging to ensure interoperability between the models developed on different deep learning frameworks. In this paper, we propose a systematic method for verifying interoperability between pre- and post-conversion deep learning models based on the validation and verification approach. Our proposed method ensures interoperability by conducting a series of systematic verifications from multiple perspectives. The case study confirmed that our method successfully discovered the interoperability issues that have been reported in deep learning model conversions.
    Źródło:
    Journal of Artificial Intelligence and Soft Computing Research; 2023, 13, 4; 215--228
    2083-2567
    2449-6499
    Pojawia się w:
    Journal of Artificial Intelligence and Soft Computing Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards optimal design of energy efficient buildings
    W kierunku projektowania budynków efektywnych energetycznie
    Autorzy:
    Gajewski, R. R.
    Kułakowski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/231240.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    budynek efektywny energetycznie
    symulacja
    weryfikacja
    walidacja
    MES
    MRS
    energy efficient building
    simulation
    verification
    validation
    FEM
    FVM
    FDM
    Opis:
    Buildings consume half of all energy use and are also responsible for a similar proportion of carbon dioxide emission. The heat transfer across the building envelope - the shell of a house that separates the inside and outside - should generally be minimized. In the paper validation and verification based on Building Energy Simulation Test (BESTEST) of Energy3D computer code is presented. Next, computations performed by means of Energy 3D and Energy Plus for BESTEST building are compared. In the last part of the paper results for computations for real building are presented. Program Energy 3D proved to be an excellent tool for qualitative and quantitative analysis of buildings with respect to energy consumption.
    W związku ze znaczącym udziałem budynków w globalnym zapotrzebowaniu na energię ich projektowanie staje się coraz bardziej ukierunkowane na efektywne wykorzystanie nieodnawialnych zasobów takich jak np. paliwa kopalne. Celem niniejszej publikacji jest prezentacja możliwości jakie daje wykorzystanie oprogramowania do symulacji energetycznych budynków przy ich projektowaniu. We współpracy z firmą Wienerberger, która udostępniła dane dotyczące ich budynku modelowego oraz wyniki symulacji przeprowadzonych przez Narodową Agencję Poszanowania Energii S.A. w ramach optymalizacji jego projektu, autorzy porównali możliwości przykładowych, dostępnych komercyjnie narzędzi symulacyjnych – Energy3D oraz EnergyPlus (Design Builder) oraz porównali z wynikami benchmarkowymi na przykładzie budynku BESTEST. Poza omówieniem założeń obliczeniowych, a także dostępnych funkcjonalności programów, niniejszy artykuł zawiera streszczenie zagadnień wymagających rozwiązania przy symulacjach dynamicznej wymiany ciepła w budynkach oraz wybrane metody obliczeniowe stosowane w komercyjnych programach komputerowych.
    Źródło:
    Archives of Civil Engineering; 2018, 64, 4/II; 135-153
    1230-2945
    Pojawia się w:
    Archives of Civil Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Certification of Highly Complex Safety-Related Systems
    Autorzy:
    Reinert, D.
    Schaefer, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/89868.pdf
    Data publikacji:
    1999
    Wydawca:
    Centralny Instytut Ochrony Pracy
    Tematy:
    certification
    complex electronic systems
    numerical controller
    power drive
    machining centre
    validation
    verification
    microcomputer
    metrics
    software
    certyfikacja
    systemy elektroniczne
    centra obróbkowe
    mikrokomputery
    oprogramowanie
    Opis:
    The BIA has now 15 years of experience with the certification of complex electronic systems for safety-related applications in the machinery sector. Using the example of machining centres, this presentation will show the systematic procedure for verifying and validating control systems using Application Specific Integrated Circuits (ASICs) and microcomputers for safety functions. One section will describe the control structure of machining centres with control systems using “ integrated safety.” A diverse redundant architecture combined with crossmonitoring and forced dynamisation is explained. In the main section the steps of the systematic certification procedure are explained showing some results of the certification of drilling machines. Specification reviews, design reviews with test case specification, statistical analysis, and walk-throughs are the analytical measures in the testing process. Systematic tests based on the test case specification, Electro Magnetic Interference (EMI) and environmental testing, and site acceptance tests on the machines are the testing measures for validation. A complex software driven system is always undergoing modification. Most of the changes are not safety-relevant but this has to be proven. A systematic procedure for certifying software modifications is presented in the last section of the paper.
    Źródło:
    International Journal of Occupational Safety and Ergonomics; 1999, 5, 4; 537-552
    1080-3548
    Pojawia się w:
    International Journal of Occupational Safety and Ergonomics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dyskretny model dynamiczny przekładni zębatej stożkowej - weryfikacja kodu źródłowego programu do symulacji numerycznej
    Discrete dynamic model of bevel gear - verification the program source code for numerical simulation
    Autorzy:
    Twardoch, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/197648.pdf
    Data publikacji:
    2014
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    przekładnia zębata stożkowa
    model dynamiczny
    weryfikacja
    walidacja
    symulacja numeryczna
    symulacja komputerowa
    MATLAB
    bevel gear
    dynamic model
    verification
    validation
    numerical simulation
    computer simulation
    Opis:
    W artykule przedstawiono nowe modele fizyczny i matematyczny przekładni zębatej stożkowej do badania wpływu parametrów konstrukcyjnych oraz eksploatacyjnych na stan dynamiczny przekładni. Omówiono przebieg procesu weryfikacji poprawności działania autorskiego programu obliczeniowego służącego do wyznaczania rozwiązań modelu dynamicznego przekładni zębatej stożkowej. Zaprezentowano schemat blokowy algorytmu obliczeniowego, który posłużył do stworzenia programu na potrzeby symulacji numerycznej. Kod źródłowy programu został napisany w języku interaktywnego środowiska do wykonywania obliczeń naukowych i inżynierskich MATLAB.
    In the article presented a new model of physical and mathematical bevel gear to study the influence of design parameters and operating factors on the dynamic state of the gear transmission. Discusses the process of verifying proper operation of copyright calculation program used to determine the solutions of the dynamic model of bevel gear. Presents the block diagram of a computing algorithm that was used to create a program for the numerical simulation. The program source code is written in an interactive environment to perform scientific and engineering calculations, MATLAB.
    Źródło:
    Zeszyty Naukowe. Transport / Politechnika Śląska; 2014, 83; 287-295
    0209-3324
    2450-1549
    Pojawia się w:
    Zeszyty Naukowe. Transport / Politechnika Śląska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wybrane zagadnienia modelowania słupów stalowych poddanych oddziaływaniom pożarowym
    Selected Issues Concerning the Use of Computational Techniques in the Design of Steel Pillars Subsequently Exposed to a Fire
    Autorzy:
    Król, P. A.
    Kwaśniewski, L.
    Łącki, K. J.
    Powiązania:
    https://bibliotekanauki.pl/articles/372862.pdf
    Data publikacji:
    2014
    Wydawca:
    Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
    Tematy:
    pożar
    słup stalowy
    model numeryczny
    weryfikacja
    walidacja
    kalibracja
    sprzężone analizy termo-mechaniczne
    fire
    steel column
    numerical model
    verification
    validation
    calibration
    coupled structural-thermal analysis
    Opis:
    Cel: Celem artykułu jest wskazanie możliwości wykorzystania dostępnych, zaawansowanych narzędzi numerycznych do wirtualnego testowania konstrukcji poddanych oddziaływaniom symulowanego pożaru. Przy poprawnie skalibrowanym modelu obliczeniowym, testy przeniesione na platformę wirtualną mogą stanowić wiarygodną alternatywę dla tradycyjnych, kosztownych metod badawczych, w szczególności badań doświadczalnych konstrukcji w skali naturalnej. Wprowadzenie: Modelowanie słupów stalowych w warunkach pożaru napotyka poważne trudności z uwagi na problemy z dopasowaniem i właściwą kalibracją modelu numerycznego w sposób zapewniający jak najlepsze odwzorowanie warunków pracy, zbliżonych do tych, w jakich znajduje się rzeczywista konstrukcja. W trakcie pożaru, w elementach nośnych (słupach, ryglach) rzeczywistej konstrukcji, przesztywnionej w sposób naturalny elementami doń dochodzącymi generują się dodatkowe siły wewnętrzne, trudne do przewidzenia i których wielkość zależy od sztywności elementów zbiegających się w węzłach, sposobu ich deformacji, rozkładu pól temperatury itp. Ograniczenie zarówno przemieszczeniowych, jak i obrotowych stopni swobody wywołuje dodatkowe obciążenie, które w połączeniu ze zmniejszoną (na skutek działania podwyższonej temperatury) sztywnością elementu może powodować jego wcześniejsze wyboczenie i tym samym – zmniejszenie jego odporności pożarowej, często poniżej poziomu wymaganego odpowiednimi przepisami techniczno-budowlanymi. Metodyka: W niniejszym opracowaniu zaprezentowano wyniki analiz i symulacji numerycznych przeprowadzonych z uwzględnieniem nieliniowego charakteru zjawisk. W pracy położono nacisk na doskonalenie przyjętego modelu obliczeniowego, jego weryfikację i wielokryterialną walidację. W analizach uwzględniono kilka wariantów warunków brzegowych – zarówno termicznych, jak i mechanicznych. Wyniki analiz porównano z wynikami autentycznych badań laboratoryjnych przeprowadzonych w Uniwersytecie Ulster we współpracy z Uniwersytetem w Sheffield (Wielka Brytania), które wykorzystano do walidacji modelu numerycznego. Wnioski: Ciągły rozwój technik obliczeniowych stwarza możliwości wykorzystania w analizie konstrukcji budowlanych nowoczesnych metod i narzędzi komputerowych, pozwalających na prowadzenie zaawansowanych analiz termo-mechanicznych. Dostępne narzędzia numeryczne umożliwiają dokładną ocenę przyrostu temperatury elementów konstrukcyjnych z równoczesną analizą wpływu warunków środowiska na mechaniczną odpowiedź konstrukcji. Na obecnym etapie stosowanie tego typu technik obliczeniowych wymaga, poza umiejętnościami obsługi skomplikowanych, komercyjnych narzędzi komputerowych, także zaawansowanej, gruntownej wiedzy teoretycznej. Przeprowadzone analizy wykazały, jak pozornie nieistotne i trudne do uchwycenia błędy modelowe mogą wpływać na jakość uzyskanych wyników.
    Aim: The purpose of this study is identification of accessible advanced computational tools to facilitate virtual testing of structures exposed to the thermal action of fire. With correctly calibrated numeric models, structure tests transferred to a virtual platform can provide a credible alternative to traditional costly research methods, particularly experimental research performed on actual scale constructions. Introduction: The modelling process for steel pillars exposed to action of a fire faces serious difficulties because of problems involving matching and proper calibration of the numeric model to ensure the best possible reproduction of working conditions, similar to those in the actual environment. During a fire incident, additional internal forces are generated, which are difficult to predict, culminating in deformation of pillars and adjoining structure elements. Axial and rotational restraints can produce significant loadings which, together with reduced rigidity caused by thermal action, may cause premature buckling of pillars, often below accepted parameters required by relevant building regulations, and reduce pillars’ resistance to the consequence of fire. Methodology: The paper reveals results from an analysis and performed numeric simulations, and takes account of the non-linear character of outcomes. The paper provides a focus on the development of a selected numeric model, its verification and validation. The analysis includes several variations of boundary conditions covering thermal as well as mechanical issues. For validation purposes, the numeric prediction of structural reaction during heating was compared with published experimental data for tests performed at the University of Ulster in collaboration with the University of Sheffield, UK. Conclusions: The continuous development of computational techniques provides opportunities in the application of modern techniques and computer technology for performing advanced structural-thermal analysis for building structures. Available numeric tools allow for an accurate assessment of temperature increases in structures. Simultaneously, they facilitate an examination of influences caused by environmental conditions on the mechanical reaction of structures. In order to use such a computational technique a prerequisite lies in the ability to manipulate complex commercial software. Additionally, it is necessary to have advanced and in depth theoretical knowledge of the topic. Examination by authors reveal how seemingly insignificant and difficult to identify modelling errors can affect the quality of final results.
    Źródło:
    Bezpieczeństwo i Technika Pożarnicza; 2014, 4; 65-76
    1895-8443
    Pojawia się w:
    Bezpieczeństwo i Technika Pożarnicza
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Design optimization of the Petri net-based production process supported by additive manufacturing technologies
    Autorzy:
    Patalas-Maliszewska, Justyna
    Wiśniewski, Remigiusz
    Topczak, Marcin
    Wojnakowski, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2173645.pdf
    Data publikacji:
    2022
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    additive manufacturing technology
    manufacturing processes
    Petri nets
    process modelling
    verification
    validation
    optimization of production process supported by AM technologies
    technologia wytwarzania przyrostowego
    proces produkcji
    sieci Petriego
    modelowanie procesów
    weryfikacja
    walidacja
    optymalizacja procesu produkcyjnego wspierana technologiami AM
    Opis:
    In the era of smart manufacturing and Industry 4.0, the rapid development of modelling in production processes results in the implementation of new techniques, such as additive manufacturing (AM) technologies. However, large investments in the devices in the field of AM technologies require prior analysis to identify the possibilities of improving the production process flow. This paper proposes a new approach to determine and optimize the production process flow with improvements made by the AM technologies through the application of the Petri net theory. The existing production process is specified by a Petri net model and optimized by AM technology. The modified version of the system is verified and validated by the set of analytic methods safeguarding against the formal errors, deadlocks, or unreachable states. The proposed idea is illustrated by an example of a real-life production process.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2022, 70, 2; art. no. e140693
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Nowoczesne technologie projektowania systemów automatyki
    Modern Technologies of Designing Automation Systems
    Autorzy:
    Pauluk, Mariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2068660.pdf
    Data publikacji:
    2020
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    systemy wbudowane
    jakość oprogramowania
    kryzys oprogramowania
    cykl życia oprogramowania
    Model V
    weryfikacja
    walidacja
    techniki testowania MIL
    techniki testowania SIL
    techniki testowania PIL
    techniki testowania HIL
    embedded systems
    quality of software
    software crisis
    software life cycle
    V-Model
    verification
    validation
    MIL model-in-the-loop testing
    SIL model-in-the-loop testing
    PIL model-in-the-loop testing
    HIL model-in-the-loop testing
    Opis:
    W pracy omówiono stosowane obecnie techniki wytwarzania systemów automatycznej regulacji. Rozpoczęto od przybliżenia stosowanych w inżynierii oprogramowania pojęć: kryzys oprogramowania, katastrofa oprogramowania oraz cykl życia oprogramowania. To ostatnie zostało w kolejnych rozdziałach poszerzone o najbardziej popularne modele wytwarzania oprogramowania. Następnie przybliżono na bazie modelu V rolę weryfikacji i walidacji w cyklu życia oprogramowania i sterownika oraz przedstawiono techniki testowe stosowane w walidacji sterownika. Są to testy typu: oprogramowanie w pętli, procesor w pętli oraz sterownik w pętli. Ostatni rozdział opisuje technikę projektowania systemów automatyki w oparciu o zaawansowane modele matematyczne Model Based Design.
    The paper presents the currently used techniques for the development of the automation control systems. It begins with the introduction of the concepts used in software engineering: software crisis, software disaster, and software life cycle. The subsequent chapters extend the latter by including the most popular software development models. Then, based on the V model, the role of verification and validation in the software and controller life cycle is presented, and the test techniques used in the controller validation are given. These test types include: software in the loop, processor in the loop, and controller in the loop. The last chapter describes the technique of designing automation systems based on the advanced mathematical models Model-Based Design.
    Źródło:
    Pomiary Automatyka Robotyka; 2020, 24, 4; 85--91
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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