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-5 z 5
    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ł:
    Modification of the PathFinder algorithm for calculating granular beds with various particle size distributions
    Autorzy:
    Dudda, W.
    Sobieski, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/297908.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Warmińsko-Mazurski w Olsztynie
    Tematy:
    PathFinder code
    porous media
    granular beds
    tortuosity
    Opis:
    This paper discusses a new approach to analyzing fluid flow through a granular bed. The analysis involves the determination of a set of geometric parameters characterizing a granular bed based on information about the location and diameter of all bed particles. The above task has been achieved with the use of the PathFinder numeric code developed by the authors. The study proposes a new algorithm for calculating the parameters of granular beds composed of spherical particles with various diameters in the PathFinder program. The algorithm has been verified with the use of independent tools and implemented in the new version of the PathFinder code. The modified algorithm’s effect on flow path tortuosity has been analyzed. Path length is used to determine tortuosity, a key parameter of pore geometry that is difficult to calculate. Comparative calculations were performed in a granular bed generated by the Discrete Element Method in the PFC3D program.
    Źródło:
    Technical Sciences / University of Warmia and Mazury in Olsztyn; 2014, 17(2); 135-148
    1505-4675
    2083-4527
    Pojawia się w:
    Technical Sciences / University of Warmia and Mazury in Olsztyn
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A new approach for obtaining the geometric properties of a granular porous bed based on DEM simulations
    Autorzy:
    Sobieski, W.
    Dudda, W.
    Lipiński, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/297977.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Warmińsko-Mazurski w Olsztynie
    Tematy:
    granular beds
    spatial structure
    Discrete Element Method
    PathFinder code
    Opis:
    In the article, a new way for obtaining a set of geometrical parameters of granular porous beds is presented, if the data on the locations and sizes of all particles is available. The input data were prepared with the use of Discrete Element Method. The other way for acquiring the input data may be the application of Computed Tomography (CT) and Image Analysis (IA) techniques. All geometrical parameters are calculated with the use of own numerical code called PathFinder (freely available in the Internet together with its source code). In addition to description of the method of calculations, two examples of its use are presented. One simulation was performed in PFC3D code, and the other in YADE software. The aim of the article was to show clearly that a porosity is not sufficient to describe the spatial structure of a porous body. In both presented examples, the porosity value is almost the same, but other parameters, e.g. tortuosity, are different. The motivation to write the PathFinder code were significant problems with obtaining geometrical parameters needed in investigations related to granular porous media. The issues described in the article are a part of an overall research methodology relating to the linking the micro- and macro-scale investigations of granular porous beds. The areas of applications of this methodology are not discussed in the article.
    Źródło:
    Technical Sciences / University of Warmia and Mazury in Olsztyn; 2016, 19(2); 165-187
    1505-4675
    2083-4527
    Pojawia się w:
    Technical Sciences / University of Warmia and Mazury in Olsztyn
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Research on hybrid modified pathfinder algorithm for optimal reactive power dispatch
    Autorzy:
    Suresh, V.
    Senthil Kumar, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/2086822.pdf
    Data publikacji:
    2021
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    optimal reactive power dispatch
    ORPD
    real-power losses
    pathfinder algorithm
    PFA
    modified pathfinder algorithm
    mPFA
    hybrid pathfinder algorithm
    HPFA
    optymalna dyspozycja mocy biernej
    strata mocy rzeczywistej
    algorytm wyszukiwania najkrótszej drogi
    algorytm wyszukiwania najkrótszej drogi zmodyfikowany
    algorytm wyszukiwania najkrótszej drogi hybrydowy
    Opis:
    Hybridization of meta-heuristic algorithms plays a major role in the optimization problem. In this paper, a new hybrid meta-heuristic algorithm called hybrid pathfinder algorithm (HPFA) is proposed to solve the optimal reactive power dispatch (ORPD) problem. The superiority of the Differential Evolution (DE) algorithm is the fast convergence speed, a mutation operator in the DE algorithm incorporates into the pathfinder algorithm (PFA). The main objective of this research is to minimize the real power losses and subject to equality and inequality constraints. The HPFA is used to find optimal control variables such as generator voltage magnitude, transformer tap settings and capacitor banks. The proposed HPFA is implemented through several simulation cases on the IEEE 118-bus system and IEEE 300-bus power system. Results show the superiority of the proposed algorithm with good quality of optimal solutions over existing optimization techniques, and hence confirm its potential to solve the ORPD problem.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2021, 69, 4; e137733, 1--8
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    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-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