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ę "data verification" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    Wykorzystanie przebiegów rejestracji szybkozmiennych do weryfikacji modeli dynamicznych KSE
    Autorzy:
    Klucznik, J.
    Dobrzyński, K.
    Lubośny, Z.
    Trębski, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/397352.pdf
    Data publikacji:
    2011
    Wydawca:
    ENERGA
    Tematy:
    Krajowy System Elektroenergetyczny
    model dynamiczny
    weryfikacja danych
    modelowanie
    National Power System
    dynamic model
    verification of data
    modelling
    Opis:
    W artykule przedstawiono koncepcję narzędzia pozwalającego na weryfikowanie parametrów modeli dynamicznych elementów KSE. Narzędzie wykorzystuje program obliczeniowy PSLF, stosowany powszechnie przez operatora systemu przesyłowego. Nowatorstwo polega na wykorzystaniu dodatkowej aplikacji (programu w systemie MS Windows), która steruje pracą programu obliczeniowego. Powstaje w ten sposób tandem wygodnego interfejsu użytkownika, umożliwiającego sterowanie i analizowanie uzyskiwanych wyników, oraz programu obliczeniowego – silnika pozwalającego na symulowanie stanów pracy systemu elektroenergetycznego. Algorytmy optymalizacyjne zawarte w aplikacji dopasowują odpowiedź uzyskiwaną z symulacji do rzeczywistego przebiegu, zarejestrowanego na podlegającym weryfikacji obiekcie, oceniając poprawność danego modelu.
    Źródło:
    Acta Energetica; 2011, 3; 31-37
    2300-3022
    Pojawia się w:
    Acta Energetica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mikrozmienność charakterystyk metrologicznych termo- i higrometrycznych urządzeń i układów pomiarowych w automatycznych stacjach meteorologicznych Państwowej Służby Hydrologiczno - Meteorologicznej
    Micro-variability of characteristics of thermo- and hygrometric circuits in automatic meteorological stations of the State Hydrological-Meteorological Service (PSHM)
    Autorzy:
    Różdżyński, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/158475.pdf
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    niestabilność
    dryft charakterystyk meteorologicznych stacji automatycznych
    metody weryfikacji danych meteorologicznych
    instability
    drift characteristics of automatic meteorological station
    method of verification meteorological data
    Opis:
    Przedstawiono wyniki badań zjawiska mikrozmienności charakterystyk, pojawiającego się w niektórych obwodach pomiarowych automatycznych stacji meteorologicznych. Opracowano trzy postępowania, oparte na metodzie pomiarów porównawczych i metodach analizy statystycznej, dla detekcji, oceny oraz przybliżonej kompensacji skutków tych zjawisk. Uzyskano przybliżone obrazy rozwoju procesu mikrozmienności. Postępowania mogą być wykorzystane dla celów analizy jakości danych. Opracowana metodologia została zweryfikowana na 96 rocznych szeregach czasowych o objętości około 0,7 mln par danych.
    Results of complex research of phenomena and process of micro-variability of characteristics occurring in thermometric and hygrometric measurement circuits of automatic meteorological stations are presented in the study. Three independent procedures based on the application of the comparative method and statistical analysis enable detecting, evaluating and compensating approximately the effects of the said phenomena and processes. The procedures provided approximate but coherent images of the process of micro-variability and can be used for the purpose of data quality analysis, also in the operational mode. The methodology of detecting and defining the micro-variability processes was verified on 96 annual time series, 1-hour thermometric and hygrometric data of total volume of ca. 0.7 million data pairs.
    Źródło:
    Pomiary Automatyka Kontrola; 2013, R. 59, nr 6, 6; 562-565
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O weryfikowaniu poprawności matematycznych procesów w oparciu o dane empiryczne
    Verification of mathematical models of the processes on the basis of experimental data
    Autorzy:
    Kornacki, A.
    Wesołowska-Janczarek, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/238905.pdf
    Data publikacji:
    2008
    Wydawca:
    Instytut Technologiczno-Przyrodniczy
    Tematy:
    model matematyczny
    proces
    weryfikacja
    dane empiryczne
    mathematical model
    process
    models' verification
    experimental data
    Opis:
    Opisywanie przebiegu procesów modelami matematycznymi jest problemem, który interesuje wielu badaczy w różnych dziedzinach wiedzy. Jednakże ustalenie kształtu modelu wymaga jeszcze zweryfikowania jego poprawności w oparciu o dane empiryczne. Praca zawiera propozycje metod statystycznych, które mogą być wykorzystywane do przeprowadzenia takiej weryfikacji. Zaproponowane metody zostały zilustrowane na przykładach wyników badań uzyskanych podczas eksperymentów z dziedziny inżynierii rolniczej.
    In many fields of natural sciences the mathematical models are used to describe the different processes and phenomena. Very important issue for the research is verification of developed models with the experimental data. Paper presents some propositions of statistical methods which may be used for such verification. The methods proposed are illustrated by the experimental data from the field of agricultural engineering.
    Źródło:
    Problemy Inżynierii Rolniczej; 2008, R. 16, nr 3, 3; 5-18
    1231-0093
    Pojawia się w:
    Problemy Inżynierii Rolniczej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kilka uwag na temat możliwości ustalenia wysokości kosztów procesu karnego w Polsce w drodze wnioskowania statystycznego
    A few remarks on estimating criminal trial costs in Poland by means of inferential statistics
    Autorzy:
    Florczak, Waldemar
    Powiązania:
    https://bibliotekanauki.pl/articles/2140646.pdf
    Data publikacji:
    2022-10-04
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Tematy:
    accounting records
    query data
    representative sample
    verification of statistical hypotheses
    dane księgowe
    kwerenda danych
    próba reprezentatywna
    weryfikacja hipotez statystycznych
    Opis:
    Przedmiot badań: Przedmiot badań stanowią szacunki kosztów procesu karnego w Polsce przy użyciu dostępnych danych zastanych i ankietowych. Cel badawczy: Celem artykułu jest próba empirycznej odpowiedzi na kilka ważkich pytań związanych z możliwością pomiaru wysokości kosztów procesu karnego w polskim sądownictwie. Metoda badawcza: Do realizacji celu badawczego wykorzystano dane zastane z oficjalnych raportów księgowych, prowadzonych na szczeblu wybranych sądów, oraz podjęto starania o ich zaczerpnięcie ze źródeł bezpośrednio afiliowanych przy Ministerstwie Sprawiedliwości. Wysiłki te nie doprowadziły do oczekiwanych efektów; jedynym źródłem informacji w w/w obszarze okazała się baza danych utworzona na potrzeby realizacji grantu NCN nr 2015/19/B/HS5/01217 „Koszty procesu karnego w świetle ekonomicznej analizy prawa”, kierowanego przez dr hab. Dobrosławę Szumiło-Kulczycką, prof. UJ. Informacje zawarte w tej bazie posłużyły do sformułowania kilku hipotez badawczych – poniżej intencjonalnie przedstawionych w formule pytań – których weryfikacji dokonano za pomocą adekwatnych narzędzi statystyki matematycznej (testdwóch średnich, metoda ANOVA, test wielu proporcji). Wyniki: Pomimo że utworzona baza danych stanowi bezprecedensowe i najpełniejsze źródło wiedzy w zakresie ilościowych, kosztowych aspektów procesu karnego w Polsce, to jednak próba generalizacji wniosków, które mogłyby być sformułowane na jej podstawie na populację wszystkich sądów w Polsce, musi być bardzo ostrożna. W świetle przeprowadzonego w tym artykule badania zgromadzone w bazie dane nie mogą być bowiem uznane za w pełni reprezentatywne. Ponadto – warunkowo względem wniosku poprzedzającego – zróżnicowanie przedmiotowe spraw karnych nie tłumaczy w sposób jednoznaczny różnic w kosztach procesu karnego.
    Background: The paper attempts to estimate criminal trial costs in Poland by means of existing official data as well as survey data dedicated to such costs. Research purpose: The paper aims to empirically answer several weighty questions concerning the estimation of criminal trial costs in Poland. Methods: An attempt was made to benefit from existing official data found in accounting records reported regularly by individual courts of justice, as well as by the Ministry of Justice. However, both attempts failed, so the only credible source of data was the database elaborated within research project no 2015/19/B/HS5/01217 “Criminal trial costs in the light of law and economics analysis”, funded by the National Science Centre of Poland (NCN), and supervised by Prof. Dobroslawa Szumilo-Kulczycka, PhD from the Jagiellonian University. Information collected in the database enabled the author to formulate a few research hypotheses – presented in the form of brief questions – to be verified using appropriate statistical methods (test for two means, ANOVA method, multi proportions test). Conclusions: Although the database elaborated for the NCN project constitutes an unprecedented source of credible data regarding criminal trial costs in Poland, any attempts to generalize possible conclusions that could be drawn on the basis of this data for all Polish courts must be cautious. This is because, in the light of the statistical analyses carried out in this investigation, the data cannot be regarded as fully representative. Additionally, diversification in the structure of criminal acts across individual courts cannot explain the actual differences in the criminal trial costs reported by individual courts .  
    Źródło:
    Studia Prawno-Ekonomiczne; 2022, 124; 101-119
    0081-6841
    Pojawia się w:
    Studia Prawno-Ekonomiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
    Use of LOTOS language in modeling HOOD method structures
    Autorzy:
    Brzuchcz, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/320396.pdf
    Data publikacji:
    2006
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    systemy czasu rzeczywistego
    weryfikacja oprogramowania
    algebry procesów
    abstrakcyjne typy danych
    LOTOS
    HOOD
    real-time systems
    software verification
    process algebras
    abstract data types
    Opis:
    W pracy zaprezentowano możliwości użycia języka LOTOS [3, 7] w projektowaniu oprogramowania systemów czasu rzeczywistego metodą HOOD [6, 13]. Wybrane struktury HOOD zostają wyrażone w języku algebry procesów i abstrakcyjnych typów danych, co zapewnia możliwość formalnej analizy tworzonego projektu. We wprowadzeniu do pracy wyjaśniono cel i motywacje do tworzenia modelu formalnego projektu systemu czasu rzeczywistego. Następnie przedstawiono skrócony opis metodyki hierarchicznego projektowania HOOD, której notacja i proces projektowy stanowią bazę dla proponowanej metody formalizacji. Wyjaśniono znaczenie takich konstrukcji, jak moduł, interfejs, operacja, hierarchia użycia i zawierania. W kolejnym punkcie, po krótkim przedstawieniu języka LOTOS [3, 7], zaprezentowano technikę, w której konstrukcje metody HOOD zostają zinterpretowane w języku formalnym algebry procesów i abstrakcyjnych typów danych. Opis przeprowadzony jest dla prostego przykładu projektu w HOOD, celem wyjaśnienia istoty interpretacji. W części końcowej pracy podano wnioski wraz ze wskazaniem dalszych możliwych kierunków rozwoju i zastosowań prezentowanej metody.
    The article presents a possibility of using LOTOS [3, 7] formal language in the HOOD [6, 13] real-time system design. Process algebras and abstract data types are used to express some HOOD structures in order to allow formal analysis of the system. The introduction explains the motivations and the goal of the work. Then, there is a brief survey of the HOOD hierarchical design method in the next point. It states as the base for the formalization method explained in the article. The notions of module, interface, operation, use and include relations are briefly explained. After it, the simple LOTOS language constructs are also presented. Next point explains the formalization of the HOOD structures. This is the most essentials part of the work where the method is presented on the exemplary HOOD diagram. LOTOS code is produced relate to the HOOD informal semantic. It expresses the main concepts of the HOOD dynamic model. There are the conclusions and further works proposals at the end of the article.
    Źródło:
    Elektrotechnika i Elektronika; 2006, 25, 1; 1-9
    1640-7202
    Pojawia się w:
    Elektrotechnika i Elektronika
    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