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ę "validation model" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    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ł:
    Zastosowanie testu Cross Validation do weryfikacji modeli regresyjnych pogoda-plon na przykladzie pszenicy ozimej uprawianej w północno-wschodniej Polsce
    Autorzy:
    Draganska, E.
    Kuchar, L.
    Szwejkowski, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/46784.pdf
    Data publikacji:
    2004
    Wydawca:
    Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
    Tematy:
    weryfikacja
    model pogoda-plon
    Polska Polnocno-Wschodnia
    uprawa roslin
    pszenica ozima
    warunki meteorologiczne
    plonowanie
    test Cross Validation
    modele regresyjne
    Cross Validation test
    meteorological condition
    North-Eastern Poland
    plant cultivation
    regression model
    verification
    winter wheat
    yielding
    Opis:
    Dane empiryczne wykorzystane w badaniach obejmują wyniki przeprowadzonych w latach 1971-1995 doświadczeń odmianowych z pszenicą ozimą wraz z obserwacjami meteorologicznymi z pobliskich stacji IMGW zlokalizowanych w regionie Polski północno- schodniej. W pracy analizowano związki pomiędzy plonowaniem pszenicy ozimej a zmiennymi meteorologicznymi (z uwzględnieniem liniowego trendu plonów) oraz zależności pomiędzy relatywnymi terminami pojawienia się pełni faz rozwojowych rośliny oraz liczbą dni trwania międzyfaz a warunkami termicznymi i opadowymi. Po określeniu miar dopasowania R2, R2 adj i błędu E każdy model regresji wielokrotnej poddano weryfikacji testem Cross Validation (CV) w wersji LOO w celu niezależnej oceny metody. Przeprowadzenie testu CV okazało się ostrym narzędziem selekcyjnym, gdyż wykazało, że należy zdyskwalifikować niemal połowę spośród weryfikowanych równań. Wśród udowodnionych relacji stwierdzono większą wyrazistość wpływu elementów meteorologicznych na rozwój roślin niż na ich plon.
    The empirical data used in the present research cover the results of winter wheat cultivar experiments carried out over 1971-1995 and the weather observations reported by local meteorological stations in the north-eastern Poland. The study analysed the relations between winter wheat yielding and meteorological variables, including the yield linear trend, as well as relations between the beginning dates of full development stages of plants and the number of days at a given stage and the temperature and precipitation. Having defined the standard fitting method (R2, R2 adj, E), each multiple regression model was verified with Cross Validation (CV) test, the LOO version, to obtain an independent evaluation method. The CV test showed an effective tool as it disqualified almost half of the equations. The significant effects showed a greater impact of weather conditions on plant development than on plant yield.
    Źródło:
    Acta Scientiarum Polonorum. Agricultura; 2004, 03, 1; 29-36
    1644-0625
    Pojawia się w:
    Acta Scientiarum Polonorum. Agricultura
    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ł:
    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-5 z 5

      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