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ę "weryfikacja metody" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-14 z 14
    Tytuł:
    Verification of probabilistic method for under keel clearance assessment based on ships entering to Świnoujście, Szczecin and Police ports
    Weryfikacja probabilistycznej metody szacowania zapasu wody pod stępką w oparciu o statki wchodzące do portów w Świnoujściu, Szczecinie i Policach
    Autorzy:
    Schoeneich, M.
    Sokołowska, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/359443.pdf
    Data publikacji:
    2010
    Wydawca:
    Akademia Morska w Szczecinie. Wydawnictwo AMSz
    Tematy:
    zapas wody pod stępką
    weryfikacja metody
    ocena ryzyka
    under keel clearance
    verification of the method
    risk assessment
    Opis:
    The paper presents verification of probabilistic method for under keel clearance determination. The method enables to determine the distribution of under keel clearance in several ship's passages and in further step to assess the probability of ship's grounding accident during the port approach. The model which uses this method is available online for authorized users and could be used for decision making process of harbour captain in everyday practice. The results of using this model could be used in risk assessment of ships entering to the ports, therefore it is possible to introduce using online model for Polish harbours workers. Research results present verification of probabilistic model, based on data from Szczecin Maritime Office and probability of touching the bottom during ships' passages on Świnoujście-Szczecin waterway. Moreover there are presented examples of some situations when entering to the port for analyzed ships is not allowed.
    W artykule zaprezentowano weryfikację probabilistycznej metody określania zapasu wody pod stępką. Metoda ta pozwala na określenie rozkładu zapasu wody pod stępką, a także wskazanie prawdopodobieństwa wejścia na mieliznę statku podczas podejścia poszczególnej jednostki do portu. Model, który korzysta z tej metody jest dostępny on-line dla uprawnionych użytkowników i może być używany w codziennej praktyce przy podejmowaniu decyzji przez Kapitana Portu. Wyniki otrzymane przy wykorzystaniu modelu mogą służyć do oceny ryzyka statków, które zawijają do portu, dlatego też możliwe jest zalecenie wykorzystania modelu on-line przez pracowników polskich portów. Wyniki badań prezentują weryfikację modelu probabilistycznego w oparciu o dane z Urzędu Morskiego w Szczecinie oraz prawdopodobieństwo kontaktu kadłuba statku z dnem w czasie przejścia torem wodnym Świnoujście-Szczecin. Podane są także przykłady pewnych sytuacji, gdy wejście analizowanych statków do portu jest niedozwolone.
    Źródło:
    Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2010, 20 (92); 114-119
    1733-8670
    2392-0378
    Pojawia się w:
    Zeszyty Naukowe Akademii Morskiej w Szczecinie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The method of determining horizontal curvature in geometrical layouts of railway track with the use of moving chord
    Metoda wyznaczania krzywizny poziomej w układzie geometrycznym drogi kolejowej z wykorzystaniem ruchomej cięciwy
    Autorzy:
    Koc, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/1853681.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    tor kolejowy
    geometria toru
    krzywizna pozioma
    wykorzystanie
    cięciwa ruchoma
    weryfikacja metody
    railway track
    track geometry
    horizontal curvature
    use
    moving chord
    method verification
    Opis:
    In the paper, the issue of determining the horizontal curvature of the railway track axis was discussed to define unknown geometric characteristics of the measured route (location of straight and arched sections, circular arc radii, transition curve lengths, etc.). This problem has not been solved yet, and so far geometrical characteristics have been identified by approximate methods (e.g. horizontal arrow chart). Operating the angles of tangent to the geometrical layout (resulting from the very definition of curvature) seems very difficult in a real railway track reproduced on the basis of measurements. Therefore, a new concept has emerged to determine the curvature of the track not with the use of tangent but corresponding chords. In this way, the idea of curvature determination using the method of changing the slope angles of the moving chord was developed. Verification of the proposed method, carried out on a clearly defined basic geometric system of tracks, showed a sufficient compliance of the obtained curvature charts with the charts of the corresponding geometric solution. In order to use this method, one must know the coordinates of the points of a given section of the route in the Cartesian system.
    W pracy podjęto kwestię wyznaczania krzywizny poziomej osi toru kolejowego w celu określenia nieznanych charakterystyk geometrycznych pomierzonej trasy (położenia odcinków prostych i łukowych, promieni łuków kołowych, długości krzywych przejściowych i in.). Problem ten nie został dotąd rozwiązany, a określanie charakterystyk geometrycznych odbywa się metodami przybliżonymi (np. z wykorzystaniem wykresu strzałek poziomych). Ponieważ wynikające z definicji krzywizny operowanie kątami nachylenia stycznej do układu geometrycznego jest w rzeczywistym, odtworzonym na drodze pomiarów torze kolejowym bardzo utrudnione, pojawiła się nowa koncepcja, żeby przy wyznaczaniu krzywizny toru nie operować stycznymi lecz odpowiadającymi cięciwami. W ten sposób powstała idea wyznaczania krzywizny metodą zmiany kątów nachylenia ruchomej cięciwy pomiarowej. Weryfikacja zaproponowanej metody, przeprowadzona na jednoznacznie zdefiniowanym elementarnym układzie geometrycznym torów, wykazała całkowitą zgodność uzyskanych wykresów krzywizny z wykresami stanowiącymi podstawę uzyskania odpowiadającego rozwiązania geometrycznego. Aby można było stosować omawianą metodę, niezbędna jest znajomość współrzędnych punktów danego rejonu trasy w kartezjańskim układzie współrzędnych.
    Źródło:
    Archives of Civil Engineering; 2020, 66, 4; 579-591
    1230-2945
    Pojawia się w:
    Archives of Civil Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metoda weryfikacji mówcy na podstawie nieuzgodnionej wypowiedzi
    Autorzy:
    Grad, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/273287.pdf
    Data publikacji:
    2005
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    weryfikacja mówcy
    niezależna detekcja klas
    metody minimalnoodległościowe
    Opis:
    W artykule została przedstawiona metoda weryfikacji mówcy na podstawie nieuzgodnionej wypowiedzi (ang. text independent). Metoda ta oparta jest na metodzie niezależnej detekcji klas, zaliczanej dp metod klasyfikacji minimalnoodległościowych.
    Źródło:
    Biuletyn Instytutu Automatyki i Robotyki; 2005, R. 11, nr 22, 22; 93-104
    1427-3578
    Pojawia się w:
    Biuletyn Instytutu Automatyki i Robotyki
    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ł:
    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ł:
    Using probabilistic automata for security protocols verification
    Autorzy:
    Siedlecka-Lamch, O.
    Kurkowski, M.
    Piątkowski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/122825.pdf
    Data publikacji:
    2016
    Wydawca:
    Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
    Tematy:
    verification of security protocols
    probabilistic methods
    weryfikacja protokołów bezpieczeństwa
    metody probabilistyczne
    protokoły uwierzytelniania
    Opis:
    The article discusses the issues of modeling and the analysis of executions, which is a substantial part of modern communication protocols - authentication protocols, which are generally referred to herein as security protocols. The article presents a way of security protocols executions analysis with the use of probabilistic automata, without well known and widely used perfect cryptography assumption (we assume allowing the possibility of breaking a key with a specified probability). This type of analysis leads to interesting observations about the operation of the protocol and its weaknesses.
    Źródło:
    Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 2; 119-125
    2299-9965
    Pojawia się w:
    Journal of Applied Mathematics and Computational Mechanics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Robot sterujący SR60 jako narzędzie weryfikacji modeli symulacyjnych kierowalności pojazdów
    Robot SR60 as a tool for verification simulation model vehicles steering
    Autorzy:
    Kupicz, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/395447.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    pojazdy
    kierowalność
    metody badań
    weryfikacja modeli symulacyjnych
    vehicles
    steerability
    research methods
    simulation models verification
    Opis:
    W artykule przedstawiono wyniki badań służące opracowaniu metodyki badań kierowalności i stateczności wojskowych pojazdów specjalnych przy użyciu robota sterującego SR 60. Pojazdy opancerzone, ze względu na wysoko położony środek masy oraz duży moment bezwładności bryły nadwozia stwarzają duże zagrożenie podczas dynamicznych manewrów. Niebezpieczne jest zjawisko nadsterowności, które powoduje samoczynne zmniejszenie promienia skrętu a co za tym idzie zwiększenie przyspieszenia poprzecznego co przy wysoko położonym środku masy zazwyczaj prowadzi do wywrócenia pojazdu. Dlatego też badania zachowania pojazdów specjalnych w tym wojskowych podczas badań drogowych należą do szczególnie niebezpiecznych. Opracowana metodyka pozwala zminimalizować ryzyko a zastosowanie robota sterującego pozwala uzyskiwać bardzo dużą powtarzalność wyników badań, nieosiągalną nawet dla bardzo wprawnego kierowcy testowego. Dzięki niespotykanej powtarzalności testów robot sterujący może być doskonałym narzędziem do weryfikacji modeli symulacyjnych.
    The paper presents testing results that serve the development of research methodology for steerability and stability of military special-purpose vehicles using the SR 60th control robot. Due to their high center of mass and a large moment of inertia of their body, armored vehicles pose a serious hazard during dynamic maneuvers. The phenomenon of oversteering is dangerous, which causes automatic reduction in turning radius and thus increases the lateral acceleration at the high-lying center of mass usually leads to the vehicle rollover. Therefore, the research studies on behavior of special-purpose vehicles, including the military ones during road tests are particularly dangerous. The developed methodology allows mitigating the risk of using the steering robot and enables to obtain a very high research results repeatability, unattainable even for a very skilled test driver. Thanks to its unique testing repeatability, the control robot may be an excellent tool to verify simulation models.
    Źródło:
    Postępy Nauki i Techniki; 2012, 14; 123-134
    2080-4075
    Pojawia się w:
    Postępy Nauki i Techniki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Taktyka i metody przesłuchania świadka w postępowaniu przygotowawczym
    Tactics and methods of questioning witnesses in preparatory proceedings
    Autorzy:
    Kuźmiński, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/1371608.pdf
    Data publikacji:
    2014-12-30
    Wydawca:
    Fundacja Pedagogium
    Tematy:
    przesłuchanie
    śledztwo
    metody
    taktyka
    weryfikacja zeznań
    świadek
    interrogation
    investigation
    methods
    tactics
    statement verification
    witness
    Opis:
    Autor koncentruje swoją uwagę na czynności przesłuchania świadka w sprawie karnej. Obecnie składanie zeznań przez świadka jest traktowane jako jedna z najbardziej istotnych części postępowania przygotowawczego. Artykuł prezentuje wskazówki, w jakim kierunku powinno przebiegać prowadzenie przesłuchania. Artykuł jest oparty na publikacjach książkowych i dokumentach, pochodzących od wielu znamienitych policjantów, prokuratorów oraz kryminologów. Cele, które przyświecają przedmiotowej publikacji są następujące: podkreślenie praw i obowiązków przysługujących świadkowi w postępowaniu karnym; opis procedur podczas przesłuchania; zwrócenie uwagi na proces weryfikacji zeznań.
    The author focuses on the activity of witness interrogation during a criminal case. Currently, making statements by a witness is treated as one of the most important parts of the preparatory proceeding. The article presents the ways in which an interrogation should be carried out. The article is based on books and documents deriving from many eminent police officers, public prosecutors and criminologists. The aims of the paper are as follows: outlining the rights and obligations of a witness in a criminal proceeding; description of procedures during questioning; drawing attention do the process of verifying statements.
    Źródło:
    Resocjalizacja Polska; 2014, 8; 119-130
    2081-3767
    2392-2656
    Pojawia się w:
    Resocjalizacja Polska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Comparison of Methods for Modelling Vibrations of Collecting Electrodes in Dry Electrostatic Precipitators
    Porównanie metod modelowania drgań elektrod osadczych elektrofiltru suchego
    Autorzy:
    Adamiec-Wójcik, I.
    Nowak, A.
    Wojciech, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/139806.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    finite element method
    vibration analysis
    experimental verification
    metody elementów skończonych
    analiza wibracji
    weryfikacja doświadczalna
    Opis:
    Dry electrostatic precipitators (ESPs) are widely used for purification of exhaust gases in industrial applications. Maintenance of their high efficiency depends primarily on periodical cleaning of the collecting electrodes (CEs). Dust removal (regeneration of CEs) is realized by inducing periodical vibrations of the electrodes. The paper presents results of vibration modelling of a system of CEs; the results were obtained by means of the finite element method, the hybrid finite element method, the finite strip method and a model formulated using Abaqus. Numerical results are compared with those obtained from experimental measurements. Conclusions concerning numerical effectiveness and exactness of the methods are formulated and reasons for differences are discussed.
    Elektrofiltry suche są powszechnie stosowane do odpylania przemysłowych gazów spalinowych. Utrzymanie ich wysokiej skuteczności zależy przede wszystkim od okresowego oczyszczania elektrod osadczych. Usuwanie pyłu z ich powierzchni realizuje sie poprzez wywołanie okresowych drgań elektrod. W pracy przedstawiono wyniki modelowania drgań układu elektrod osadczych. Wyniki uzyskano za pomocą metod: metody elementów skończonych, hybrydowej metody elementów skończonych, metody pasm płytowych oraz modelu sformułowanego w pakiecie ABAQUS. Wyniki obliczeń numerycznych porównano z wynikami uzyskanymi z pomiarów doświadczalnych. Sformułowano wnioski dotyczące skuteczności i numerycznej dokładności modeli oraz przedyskutowano przyczyny różnic występujących pomiędzy nimi.
    Źródło:
    Archive of Mechanical Engineering; 2013, LX, 3; 431-449
    0004-0738
    Pojawia się w:
    Archive of Mechanical Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analiza potencjału ataków wykorzystujących syntetycznie wygenerowane głosy na systemy biometrycznej weryfikacji mówców oraz wykrywania materiałów deepfake
    Autorzy:
    Bartuzi-Trokielewicz, Ewelina
    Powiązania:
    https://bibliotekanauki.pl/articles/31342041.pdf
    Data publikacji:
    2024-05-20
    Wydawca:
    Akademia Sztuki Wojennej
    Tematy:
    cyberbezpieczeństwo
    biometria
    weryfikacja mówców
    audio deepfake
    syntetyczne głosy
    metody sztucznej inteligencji
    uczenie maszynowe
    uczenie głębokie
    Opis:
    Postęp technologiczny w dziedzinie głębokiego uczenia znacząco przyczynił się do rozwoju syntezowania głosu, umożliwił tworzenie realistycznych nagrań audio, które mogą naśladować indywidualne cechy głosów ludzkich. Chociaż ta innowacja otwiera nowe możliwości w dziedzinie technologii mowy, niesie ze sobą również poważne obawy dotyczące bezpieczeństwa, zwłaszcza w kontekście potencjalnego wykorzystania technologii deepfake do celów przestępczych. Przeprowadzone badanie koncentrowało się na ocenie wpływu syntetycznych głosów na systemy biometrycznej weryfikacji mówców w języku polskim oraz skuteczności wykrywania deepfake’ów narzędziami dostępnymi publicznie, z wykorzystaniem dwóch głównych metod generowania głosu, tj. przekształcenia tekstu na mowę oraz konwersji mowy. Jednym z głównych wniosków analizy jest potwierdzenie zdolności syntetycznych głosów do zachowania charakterystycznych cech biometrycznych i otwierania drogi przestępcom do nieautoryzowanego dostępu do zabezpieczonych systemów lub danych. To podkreśla potencjalne zagrożenia dla indywidualnych użytkowników oraz instytucji, które polegają na technologiach rozpoznawania mówcy jako metodzie uwierzytelniania i wskazuje na konieczność wdrażania modułów wykrywania ataków. Badanie ponadto pokazało, że deepfaki odnalezione w polskiej części internetu dotyczące promowania fałszywych inwestycji lub kierowane w celach dezinformacji najczęściej wykorzystują popularne i łatwo dostępne narzędzia do syntezy głosu. Badanie przyniosło również nowe spojrzenie na różnice w skuteczności metod konwersji tekstu na mowę i klonowania mowy. Okazuje się, że metody klonowania mowy mogą być bardziej skuteczne w przekazywaniu biometrycznych cech osobniczych niż metody konwersji tekstu na mowę, co stanowi szczególny problem z punktu widzenia bezpieczeństwa systemów weryfikacji. Wyniki eksperymentów podkreślają potrzebę dalszych badań i rozwoju w dziedzinie bezpieczeństwa biometrycznego, żeby skutecznie przeciwdziałać wykorzystywaniu syntetycznych głosów do nielegalnych działań. Wzrost świadomości o potencjalnych zagrożeniach i kontynuacja pracy nad ulepszaniem technologii weryfikacji mówców są ważne dla ochrony przed coraz bardziej wyrafinowanymi atakami wykorzystującymi technologię deepfake.
    Źródło:
    Cybersecurity and Law; 2024, 12, 2; 25-36
    2658-1493
    Pojawia się w:
    Cybersecurity and Law
    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ł:
    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ł
    Tytuł:
    Weryfikacja pochodzenia świerka pospolitego (Picea abies) w Nadleśnictwie Gołdap
    Verification of the origin of Norway spruce (Picea abies) stands in the Goldap Forest District
    Autorzy:
    Lewandowski, A.
    Litkowiec, M.
    Grygier, A.
    Dering, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/972766.pdf
    Data publikacji:
    2012
    Wydawca:
    Polskie Towarzystwo Leśne
    Tematy:
    region mt-D02
    lesnictwo
    Nadlesnictwo Goldap
    drzewa lesne
    swierk pospolity
    Picea abies
    drzewa mateczne
    pochodzenie roslin
    weryfikacja
    metody badan
    markery genetyczne
    DNA mitochondrialny
    origin
    mitochondrial marke
    Opis:
    The origin of the Norway spruce in the Gołdap Forest District from the north−eastern part of Poland was verified using the maternally inherited mitochondrial marker mt15−D02, which in Poland displays a geo−graphical specifity. We analyzed 730 trees from 29 populations and 21 plus trees. These populations included four reserves, four registered seed stand and 21 managed tree−stands. As a result of the performed analyses it was found that 8 out of 21 plus trees were non−native. Also 11 out of the 29 investigated pop−ulations contained trees of non−native origin. The scale of this phenomenon varies, although it encom−passes the entire region of the forest district.
    Źródło:
    Sylwan; 2012, 156, 07; 494-501
    0039-7660
    Pojawia się w:
    Sylwan
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-14 z 14

      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