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ł:
    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ł
      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