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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Model checking of java programs using networks of fadds
    Autorzy:
    Woźna, B.
    Zbrzezny, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/121764.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    język programowania Java
    programowanie komputerowe
    Pathfinder
    języki programowania
    Java programming language
    computer programming
    PathFinder code
    programming languages
    Opis:
    In the paper we present the current theoretical base of the J2FADD tool, which translates a Java program to a network of finite automata with discrite data (FADDs).The reason for building the tool is that to model check a concurrent program writ-ten in Java by means of the tools like Uppaal or VerICS (the module VerICS ), an automata model of the Java program must be build first. This is because these tools verify only systems modeled as networks of automata, in particular, systems modeled as networks of FADDs. We also make an attempt to evaluate the J2FADD tool by comparison of it with the two well known Java verification tools: Bandera and Java PathFinder.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 151-164
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Nowoczesne techniki symulacyjne zagrożeń w inżynierii bezpieczeństwa
    Modern techniques of simulation risks in safety engineering
    Autorzy:
    Prauzner, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/103456.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    Pathfinder
    symulacja komputerowa
    inżynieria bezpieczeństwa
    modelowanie
    dydaktyka
    computer simulation
    safety engineering
    modeling
    teaching
    Opis:
    W obszarze nauk technicznych proces modelowania oraz symulacji jest najczęściej pierwszym krokiem w pracy inżyniera. Symulacja pozwala na wygenerowanie wstępnych wyników w badanego zjawiska, a dopiero na jej podstawie wdraża się badania bardziej profesjonalne, często oparte na kosztownych obiektach rzeczywistych. W pracy przedstawiony y zostanie program symulacyjny Pathfinder wykorzystywany w inżynierii bezpieczeństwa do modelowania przebiegu ewakuacji i oceny y zachowań osób przebywających w analizowanym obszarze badań. Symulację oparto na a podstawie uproszczonego modelu komputerowego sanktuarium Matki Bożej Częstochowskiej Królowej Polski mieszczącego się w kompleksie budynków zakonu paulinów na Jasnej Górze w Częstochowie Miejsce to zostało wybrane nieprzypadkowo, albowiem ze względu na popularność jest ono często i tłumnie odwiedzane podczas uroczystości kościelnych. Badania przeprowadzono na podstawie dwóch modeli algorytmu obliczeń programu: SFPE oraz modelu zmienno-sterującego. Otrzymane wyniki porównano oraz dokonano oceny przydatności programu w symulacji przebiegu działań ratowniczych. Program ten może być również przykładem nowoczesnej pomocy dydaktycznej w zakresie kształcenia BHP.
    n the area o of technical sciences, process modelling and simulation is most often the first step in w working engineer. Simulation allows to generate the preliminary results of the studied phenomenon and only on the basis of them using g the more professional studies, often based on expensive real objects. In the pap per will be presented simulation program Pathfinder used in safety engineering modelling and evaluation of the course of the evacuation behavior of people in the analyzed area of research. The simulation was based on a simplified computer model of the Shrine of Our Lady of Czestochowa, Queen of Polish located in the complex of buildings of Jasna Góra in Czestochowa. The site was chosen because coincidentally due to the popularity it is often crowded visited during church ceremonies . The study was conducted on the basis of two models of computation algorithm of the program: SFPE and model of floating-point control. The results were compared and evaluated the usefulness of the simulation run rescue operations. This program can also be an example of modern teaching aid in the field of health and safety training.
    Źródło:
    Prace Naukowe Akademii im. Jana Długosza w Częstochowie. Technika, Informatyka, Inżynieria Bezpieczeństwa; 2014, T. 2; 253-265
    2300-5343
    Pojawia się w:
    Prace Naukowe Akademii im. Jana Długosza w Częstochowie. Technika, Informatyka, Inżynieria Bezpieczeństwa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The anthropometric criterion in the modelling of evacuation
    Kryterium antropometryczne w modelowaniu warunków ewakuacji
    Autorzy:
    Dahlke, Grzegorz
    Powiązania:
    https://bibliotekanauki.pl/articles/1182047.pdf
    Data publikacji:
    2020
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    modelling
    evacuation
    anthropometry
    Pathfinder
    human motion simulator
    evacuation simulation models
    modelowanie
    ewakuacja
    antropometria
    symulator ruchu człowieka
    modele symulacyjne ewakuacji
    Opis:
    W artykule zaprezentowano przykład badania wpływu uwzględnienia kryteriów antropometrycznych na proces modelowania warunków ewakuacji. Formalne modele ewakuacyjne różnią się szczegółowością odwzorowania rzeczywistości. Podstawowym parametrem ustalanym za ich pomocą jest czas ewakuacji. Do podstawowych danych wprowadzanych podczas modelowania należy prędkość przemieszczania się osób, a liczne prace badawcze zawierają przykłady wartości dla osób o różnym wieku, ubraniu (mniej lub bardziej ograniczającym ruchy) i obuwiu. Przy zastosowaniu modeli umożliwiających uwzględnienie podstawowych parametrów ewakuacji nie bierze się pod uwagę liczby ewakuowanych. W modelowaniu z użyciem modeli ruchu lub behawioralnych konieczne jest uwzględnienie liczby ewakuowanych. Przy większym natężeniu ruchu, powodującym zatory, ważne jest uwzględnianie wymiarów osób. W artykule przeanalizowano wpływ zmian wymiarów antropometrycznych dla przykładowego obiektu z użyciem programu Pathfinder. Wskazano zalecenia co do postępowania podczas analizowania warunków ewakuacji dla różnych grup budynków i różnych użytkowników.
    Źródło:
    Informatyka Ekonomiczna; 2020, 1 (55); 21-37
    1507-3858
    Pojawia się w:
    Informatyka Ekonomiczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      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