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 methods" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    Model checking processes specified in join-calculus algebra
    Autorzy:
    Maludziński, S.
    Dobrowolski, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/305715.pdf
    Data publikacji:
    2014
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    join-calculus
    model checking
    formal methods
    automatic software verification
    Opis:
    This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic. Join-calculus algebra, with its operational semantics defined by a chemical abstract machine, serves as the basic method for the specification of concurrent systems and their synchronization mechanisms, allowing for the examination of more complex systems. The described model checker is a proof of concept for the utilization of new methodologies of formal system specification and verification in software engineering practice.
    Źródło:
    Computer Science; 2014, 15 (1); 61-74
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Estymacja parametrów nieliniowych modeli funkcyjnych na potrzeby predykcji rynkowej wartości nieruchomości
    Estimation of parameters of non-linear function models for real estate market value prediction
    Autorzy:
    Barańska, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/262248.pdf
    Data publikacji:
    2005
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    wartość rynkowa
    model multiplikatywny
    metody estymacji
    weryfikacja modelu
    market value
    multiplicative model
    estimation methods
    verification of model
    Opis:
    Podstawą modelowania jednostkowych wartości nieruchomości są informacje o cenach i cechach nieruchomości, będących przedmiotem obrotu rynkowego lub o rynkowych wartościach nieruchomości reprezentatywnych i ich atrybutach. Zbiór takich informacji stanowi reprezentatywną bazę nieruchomości dla analizowanego rynku, która spełnia wszystkie kryteria zmiennej losowej wielowymiarowej. Spośród różnych nieliniowych funkcji wielu zmiennych w modelowaniu wartości nieruchomości będzie rozpatrywana multiplikatywna funkcja wykładnicza względem poszczególnych atrybutów. Wykładnicza postać funkcji zapewnia dodatnią wartość rynkową nieruchomości oraz pozwala opisywać zmienność w formie funkcji monofonicznej. Rozpatrywany był model w formie następującej multiplikatywnej funkcji wykładniczej [wzór]. Estymacja parametrów modelu może być wykonana różnymi metodami. W niniejszym opracowaniu przedstawiony został schemat postępowania dla metody Markowa (w postaci ważonej metody najmniejszych kwadratów). Weryfikacja wyestymowanego modelu przebiega następująco: 1. badanie dopuszczalności modelu ze względu na wartości współczynników zmienności oraz zbieżności, 2. badanie istotności współczynników modelu, 3. badanie symetrii składnika losowego.
    The basis of modelling real estate unit values is information on prices and qualities of real estates as subject of market turnover or on market values of representative real estates and their attributes. Such a data set constitutes a representative basis of real estates for analysing the market, meeting all criteria of multidimensional random variable. Among different non-linear functions of many variables, in modelling of a real estate unit price or value, multiplicative exponential function is chosen to be examined in relation to the particular attributes. Exponential form of the function assures positive values of real estates and it permits to describe their variability as a monotone function. The model of real estates unit values in form of multiplicative exponential function was analysed as follow [formula]. Estimation of model parameters may be done in many ways. In the present paper, the run system for Markow method (in form of least squares weighing method) will be submitted. Verification of estimated model proceeds as follows: 1. investigation of model acceptability regarding the values of factors variability as well as the convergence, 2. analysis of model factors significance, 3. analysis of random components symmetry.
    Źródło:
    Geodezja / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie; 2005, 11, 2; 213-219
    1234-6608
    Pojawia się w:
    Geodezja / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Timed concurrent state machines
    Współbieżne maszyny stanowe z czasem
    Autorzy:
    Daszczuk, W. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/305419.pdf
    Data publikacji:
    2007
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    metody formalne
    weryfikacja modelowa
    weryfikacja w czasie rzeczywistym
    automaty czasowe
    formal methods
    model checking
    real time verification
    Timed Automata
    Opis:
    Timed Concurrent State Machines are an application of Alur Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to storę a verified system in ready-to-verification form, and to multiply it by various testing automata.
    Współbieżne maszyny stanowe z czasem TCSM są aplikacją automatów czasowych Alura w środowisku koincydencyjnym współbieżnych maszyn czasowych CSM (w przeciwieństwie do środowisk przeplotowych). TCSM pasują do idei automatów testujących, które pozwalają wyspecyfikować zależności czasowe łatwiej niż poprzez formuły temporalne. Ponadto zdefiniowano sposób wyznaczania globalnej przestrzeni stanów w dziedzinie czasu (współbieżne maszyny stanowe regionów RCSM), co pozwala przechowywać badany system w postaci gotowej do weryfikacji i mnożyć go przez różne automaty testujące.
    Źródło:
    Computer Science; 2007, 8, Spec. Ed; 23-36
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
    Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
    Autorzy:
    Pietruch, Michał
    Młyniec, Andrzej
    Wetula, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/2106554.pdf
    Data publikacji:
    2020
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    ADAS validation
    active safety systems verification
    autonomous driving
    testing methods in the loop testing
    ADAS
    weryfikacja systemów aktywnego bezpieczeństwa
    jazda autonomiczna
    metody testowania
    testowanie w pętli
    Opis:
    The number of advanced driver assistance systems has increased dramatically in recent years. This led to a need for the development of testing methods to prove the quality and reliability of such systems. This publication presents an overview of the testing methods used in the automotive industry for the verification and validation of advanced driver assistance systems (ADAS), active safety, and autonomous driving systems. The first part presents the approach to X-in-the-loop testing such as model, software, hardware, etc., presenting the most interesting implementations. Then it discusses testing in proven areas like road traffic, artificial cities, and test tracks. The last part presents validation in the laboratory using both invasive and non-invasive methods based on virtual test drives, sensor stimulators and chassis dynamometers. Moreover, we identified the most promising approaches for the efficient verification and validation of ADAS, active safety and autonomous driving systems. Finally, we address some gaps in the research which require further investigation.
    W ostatnich latach znacznie wzrosła liczba zaawansowanych systemów wspomagających kierowcę. Spowodowało to potrzebę opracowania metod testowania ich jakości i niezawodności. Artykuł przedstawia przegląd metod badawczych stosowanych w przemyśle motoryzacyjnym wykorzystywanych w weryfikacji i walidacji zaawansowanych systemów wspomagania kierowcy (ADAS), aktywnego bezpieczeństwa i systemów jazdy autonomicznej. W pierwszej części przedstawiono podejście do testów nazywanych testowaniem w pętli, takich jak model w pętli, oprogramowanie w pętli itd., prezentując najciekawsze implementacje. Następnie omówiono testy wykonywane na różnych terenach testowych, które mają udowodnić niezawodność i jakość systemu. Testowymi terenami mogą być tory testowe, sztuczne miasta czy drogi publiczne. W ostatniej części przedstawiono walidację wykonaną w laboratorium z wykorzystaniem metod zarówno inwazyjnych, jak i nieinwazyjnych, opartych na wirtualnych jazdach testowych, stymulatorach czujników i hamowniach podwoziowych. Ponadto zidentyfikowaliśmy najbardziej obiecujące podejścia do skutecznej weryfikacji i walidacji systemów ADAS, aktywnego bezpieczeństwa oraz jazdy autonomicznej. Na koniec wskazujemy potencjalne luki w tym temacie, które wymagają dalszych badań.
    Źródło:
    Mining – Informatics, Automation and Electrical Engineering; 2020, 58, 1; 19-27
    2450-7326
    2449-6421
    Pojawia się w:
    Mining – Informatics, Automation and Electrical Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
    An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
    Autorzy:
    Pietruch, Michał
    Młyniec, Andrzej
    Wetula, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/2106555.pdf
    Data publikacji:
    2020
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    ADAS
    weryfikacja systemów aktywnego bezpieczeństwa
    jazda autonomiczna
    metody testowania
    testowanie w pętli
    ADAS validation
    active safety systems verification
    autonomous driving
    testing methods in the loop testing
    Opis:
    W ostatnich latach znacznie wzrosła liczba zaawansowanych systemów wspomagających kierowcę. Spowodowało to potrzebę opracowania metod testowania ich jakości i niezawodności. Artykuł przedstawia przegląd metod badawczych stosowanych w przemyśle motoryzacyjnym wykorzystywanych w weryfikacji i walidacji zaawansowanych systemów wspomagania kierowcy (ADAS), aktywnego bezpieczeństwa i systemów jazdy autonomicznej. W pierwszej części przedstawiono podejście do testów nazywanych testowaniem w pętli, takich jak model w pętli, oprogramowanie w pętli itd., prezentując najciekawsze implementacje. Następnie omówiono testy wykonywane na różnych terenach testowych, które mają udowodnić niezawodność i jakość systemu. Testowymi terenami mogą być tory testowe, sztuczne miasta czy drogi publiczne. W ostatniej części przedstawiono walidację wykonaną w laboratorium z wykorzystaniem metod zarówno inwazyjnych, jak i nieinwazyjnych, opartych na wirtualnych jazdach testowych, stymulatorach czujników i hamowniach podwoziowych. Ponadto zidentyfikowaliśmy najbardziej obiecujące podejścia do skutecznej weryfikacji i walidacji systemów ADAS, aktywnego bezpieczeństwa oraz jazdy autonomicznej. Na koniec wskazujemy potencjalne luki w tym temacie, które wymagają dalszych badań.
    The number of advanced driver assistance systems has increased dramatically in recent years. This led to a need for the development of testing methods to prove the quality and reliability of such systems. This publication presents an overview of the testing methods used in the automotive industry for the verification and validation of advanced driver assistance systems (ADAS), active safety, and autonomous driving systems. The first part presents the approach to X-in-the-loop testing such as model, software, hardware, etc., presenting the most interesting implementations. Then it discusses testing in proven areas like road traffic, artificial cities, and test tracks. The last part presents validation in the laboratory using both invasive and non-invasive methods based on virtual test drives, sensor stimulators and chassis dynamometers. Moreover, we identified the most promising approaches for the efficient verification and validation of ADAS, active safety and autonomous driving systems. Finally, we address some gaps in the research which require further investigation.
    Źródło:
    Mining – Informatics, Automation and Electrical Engineering; 2020, 58, 1; 28-36
    2450-7326
    2449-6421
    Pojawia się w:
    Mining – Informatics, Automation and Electrical Engineering
    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