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ę "automaty" wg kryterium: Wszystkie pola

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-15 z 61
Tytuł:
Bisimulation relation for selected types of probabilistic and quantum automata
Autorzy:
Siedlecka-Lamch, O.
Powiązania:
https://bibliotekanauki.pl/articles/121922.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
bisimulation relation
probabilistic automata
quantum automata
relacja bisymulacji
automaty probabilistyczne
automaty kwantowe
Opis:
The first step to make transitional systems more efficient is to minimize the number of their states. A bisimulation relation is a mathematical tool that helps in searching for equivalent systems, what is useful in the minimization of algorithms. For two transition systems bisimulation is a binary relation associating systems which behave in the same way in the sense that one system simulates the other and viceversa. The definition for classical systems is clear and simple, but what happens with nondeterministic, probabilistic and quantum systems? This will be the main topic of this article.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2011, 16; 135-140
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automaty komórkowe w modelowaniu ewakuacji
Cellular Automata in Evacuation Modelling
Autorzy:
Barański, M.
Maciak, T.
Powiązania:
https://bibliotekanauki.pl/articles/373258.pdf
Data publikacji:
2016
Wydawca:
Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
Tematy:
bezpieczeństwo pożarowe
ewakuacja ludności
modelowanie ewakuacji
automaty komórkowe
fire safety
people evacuation
evacuation modelling
cellular automata
Opis:
Cel: Przedstawienie i omówienie modeli automatów komórkowych wykorzystywanych w oprogramowaniu do modelowania ewakuacji i zjawisk jej towarzyszących. Wprowadzenie: Bezpieczeństwo w budynkach i obiektach budowlanych obejmuje wiele zagadnień. Jednym z nich jest zapewnienie procesu bezpiecznej ewakuacji z zagrożonych budowli. W obliczeniach symulacyjnych ewakuacji szerokie zastosowanie znalazło specjalistyczne oprogramowanie pozwalające na przybliżenie rzeczywistych zjawisk panujących podczas ewakuacji. Programy te pozwalają również na oszacowanie czasu ewakuacji. Obliczenia czasu ewakuacji dokonuje się według określonych algorytmów i modeli. W pracy zaprezentowano możliwości zastosowania jednej z gałęzi informatyki jaką są automaty komórkowe do projektowania modeli pozwalających odwzorowywać ewakuację. Na wstępie zostały zawarte założenia niezbędne do prawidłowej budowy modelu. Następnie przedstawiono rozwój modeli wykorzystujących automaty komórkowe. Autorzy przedstawili również niedoskonałości modeli oraz problemy, które mogą występować podczas implementacji algorytmów opartych na automatach komórkowych. Zaprezentowany materiał w sposób syntetyczny przedstawia elementy, które mogą posłużyć do budowy programów modelujących ewakuację na bazie automatów komórkowych. Jednym z najważniejszych w tym obszarze jest model Floor Field. Model ten podlega ciągłym modyfikacjom i udoskonaleniom. Zastosowanie automatów komórkowych pozwala na modelowanie ewakuacji przy wykorzystaniu znacznie mniejszych zasobów obliczeniowych niż w przypadku modeli agentowych czy Social Force, a dokładność wykonanych obliczeń jest porównywalna. Zrozumienie własności automatów komórkowych ma ogromne znaczenie we właściwym odwzorowaniu procesu ewakuacji przy zastosowaniu tego typu modeli. Metodologia: Przegląd publikacji, analiza poszczególnych modeli. Wnioski: W wyniku analizy literatury przedstawiono rozwój modeli na przestrzeni ostatnich lat. Wykazano, że proste modele bazujące na automatach komórkowych mają niską złożoność obliczeniową, co pozwala na modelowanie ewakuacji dla dużej grupy osób przy niewielkiej mocy obliczeniowej komputerów. Prawidłowo zweryfikowany model można stosować do dokładnego szacowania czasu ewakuacji osób z budynków i obiektów budowlanych.
Aim: Presentation and discourse of issues associated with cellular automata models used in evacuation modelling software and accompanying events. Introduction: Security in buildings and construction works covers many issues. One of these addresses the matter of ensuring a process for the safe evacuation of endangered buildings. Specialized simulation software for approximation of real events, which prevail during an evacuation, was used in calculations. Such software also allows for the estimation of evacuation time. Evacuation time calculations are performed according to specific algorithms and models. This paper reveals the potential use of one branch of computer science, namely cellular automata, to design models, which facilitate the mapping of evacuations. At the outset it was necessary to make essential assumptions for a proper construction of the model. These were followed by the development of models using cellular automata. The authors described the model imperfections and problems, which can occur during implementation of algorithms based on cellular automata. Material revealed by the study shows in a synthetic way the elements, which can be used to build evacuation modelling programmes using cellular automata. One of the most important models in this area is known as Floor Field. This model is exposed to continuous modifications and improvements. The use of cellular automata allows for the modelling of evacuations using much less computational resources than in the case of agent models or Social Force and the accuracy of calculations is comparable. Understanding the properties of cellular automata is of great importance for the correct mapping of the evacuation process when using such models. Methodology: Review of publications and analysis of individual models. Conclusions: An analysis of literature reveals advances made in the development of models during recent years. It is revealed that simple models based on cellular automata have low computational complexity, which permits the modelling of evacuation for a large group of people with low computing power. A properly validated model can be used to estimate the time to evacuate people from buildings and construction works with great accuracy.
Źródło:
Bezpieczeństwo i Technika Pożarnicza; 2016, 43, 3; 127-141
1895-8443
Pojawia się w:
Bezpieczeństwo i Technika Pożarnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Systemy pobierania opłat w oparciu o automaty biletowe
Autorzy:
Szymański, R.
Powiązania:
https://bibliotekanauki.pl/articles/315910.pdf
Data publikacji:
2008
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
system taryfowo-biletowy
bilet
komunikacja zbiorowa
Opis:
Ze względu na zastosowanie zasadniczo wyróżniamy dwa rodzaje automatów biletowych: stacjonarne - przystosowane do zabudowania na wolnym powietrzu i mobilne - montowane wewnątrz pojazdów. System pobierania opłat można podzielić na dwa segmenty: gotówkowy - składający się z elementów obsługujących monety oraz akceptory banknotów i bezgotówkowy - składający się z czytnika kart bankowych oraz terminalu do wprowadzania numeru PIN dla karty.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2008, 9, 7-8; 42-44
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automaty komórkowe jako narzędzie modelowania i symulacji procesów przestrzennych w systemach informacji geograficznej
Cellular automata - a tool for spatio-temporal modelling and simulation in GIS
Autorzy:
Drzewiecki, W.
Powiązania:
https://bibliotekanauki.pl/articles/262335.pdf
Data publikacji:
2006
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
system informacji geograficznej
GIS
automaty komórkowe
modelowanie
geographic information system (GIS)
cellular automata
modeling
Opis:
W artykule przedstawiono definicję i zasadę funkcjonowania automatu komórkowego oraz sposoby integracji automatów komórkowych z systemami informacji geograficznej. Zaprezentowano również zaczerpnięte z literatury przykłady zastosowań automatów komórkowych jako narzędzia modelowania i symulacji dynamicznych procesów przestrzennych w systemach informacji geograficznej.
The paper presents a cellular automata definition and functionality as well as ways of its integration with Geographical Information Systems. In the second part a short review of cellular-based GIS applications to modelling and simulation of dynamic spatial processes is given.
Źródło:
Geodezja / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie; 2006, 12, 2/1; 183-195
1234-6608
Pojawia się w:
Geodezja / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przepustowość rond w modelach wykorzystujących automaty komórkowe
Capacity of Roundabouts in a Cellular Automata Models
Autorzy:
Smoczyński, M.
Powiązania:
https://bibliotekanauki.pl/articles/316176.pdf
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
przepustowość rond
automaty komórkowe
model Nagela-Schreckenberga
ruch drogowy
bezpieczeństwo ruchu na rondach
capacity of roundabout
road traffic
cellular automation
Nagel-Schreckenberg model
traffic safety at roundabouts
Opis:
W artykule przedstawiono metodę obliczania przepustowości rond w modelu ruchu wykorzystującym automat komórkowy. Sposoby obliczania przepustowości i warunków ruchu dla rond określa instrukcja wydana przez Generalną Dyrekcję Dróg Krajowych i Autostrad. Nie może zostać ona użyta w pewnych przypadkach, związanych szczególnie z blokowaniem strumienia pojazdów na wylotach. Nie może być ona także wykorzystana dla zmiennych obciążeń ruchem. Zaproponowano więc wykorzystanie automatu komórkowego. Podstawowy model Nagela-Schreckenberga uzupełniono o zasady ruchu na rondach, procedury zachowania bezpiecznej prędkości oraz możliwość uwzględnienia pojazdów ciężkich. Przewidziano możliwość stosowania w modelu obiektów blokujących strumień pojazdów – na przykład przejść dla pieszych. Zaproponowano i szczegółowo omówiono sposób obliczenia przepustowości rzeczywistej wlotów i całego ronda oraz przepustowości możliwej poszczególnych wlotów. Przygotowano i przetestowano uproszczony model jednopasowego, czterowlotowego ronda. Przeprowadzono szereg symulacji, które pokazały podobieństwa i różnice pomiędzy wynikami uzyskiwanymi z wykorzystaniem obowiązującej procedury obliczeniowej oraz automatu komórkowego. Uzyskano dobrą zgodność z obowiązującą procedurą obliczeniową, szczególnie w zakresie dużych obciążeń i nierównomiernego obciążenia wlotów ronda. Ze względu na dyskretny charakter modelu niezbędne jest przygotowanie zakresów wartości parametrów wejściowych zależnych od parametrów ronda. Przetestowane elementy składowe po walidacji pozwolą na budowanie modeli rond dowolnego rodzaju oraz symulację sytuacji nieuwzględnionych w obowiązującej instrukcji obliczeniowej dla rond.
This paper shows a method of calculation of the capacity of the roundabouts in a cellular automata model. The method of calculating capacity and lost time for some types of roundabouts was shown in Generalna Dyrekcja Dróg Krajowych i Autostrad instruction. However this instruction should not be used for some cases, especially those including phenomenon that cause blocking the traffic stream on roundabout exits. This instruction should not be used in case of changing load too. Usage of a cellular automata was proposed. Basic Nagel-Schreckenberg model was extended by inter alia traffic rules on the roundabouts, procedures of keeping safe velocity and possibility of using heavy vehicles. Possibility of using objects which block the stream of vehicles, such as pedestrian crossings was included. The method of calculating real capacities for entries and whole roundabout and possible capacities for entries was proposed and examined. Simplified model of one-lane, four-entry roundabout was prepared and tested. A number of simulations were made. Similarities and differences between the results from two calculating methods: obligatory instruction and the model of roundabout using a cellular automata were shown and analyzed. Such model was consistent with obligatory method of calculation, especially for large loads and uneven loads of roundabout entries. Due to discreet character of proposed model, it is crucial to prepare the range of entry parameters that depend on roundabout parameters. After the validation of the model, its elements will be used to build models of any kind of roundabouts. It will be possible to simulate of the situations not taken into account in obligatory method of roundabouts calculations.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 6; 679-683
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Grain Size Dependence of Creep Lifetime Modeled by Means of Cellular Automata
Autorzy:
Nowak, K.
Powiązania:
https://bibliotekanauki.pl/articles/386257.pdf
Data publikacji:
2011
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
automaty komórkowe
pełzanie
zależność
cellular automata
creep
dependence
Opis:
Grain size dependence of creep is a complex relation. It can be increasing, decreasing or constant function accordingly to current conditions and material. It is a consequence of complex nature of microscopic mechanisms affecting creep. Some of them are analyzed in current paper by means of multiscale model, using simulation of damage development done by cellular automata technique. It was shown that enlarged sizes of grains, which promote development of intergranular microcracks, are compensated by reduced density of voids forming vacancies. Obtained in simulations grain size dependency follows experimentally observed dependency for small grains in dislocation creep range.
Źródło:
Acta Mechanica et Automatica; 2011, 5, 4; 81-85
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Mathematical modelling and simulation of interacting cell systems with cellular automata
Autorzy:
Deutsch, A.
Powiązania:
https://bibliotekanauki.pl/articles/332851.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
symulacja wzrostu guza
automaty komórkowe
simulation of tumour growth
cellular automata
Źródło:
Journal of Medical Informatics & Technologies; 2002, 3; IP3-6
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie dynamiki tłumu
Crowd dynamics modeling
Autorzy:
Wąs, J.
Powiązania:
https://bibliotekanauki.pl/articles/275295.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
dynamika pieszych
modelowanie tłumu
niehomogeniczne automaty komórkowe
systemy agentowe
pedestrian dynamics
crowd behavior
cellular automata
Opis:
Niniejsza praca obejmuje problematykę modelowania dynamiki tłumu. W artykule opisano podstawowe informacje na temat współczesnych technik modelowania tłumu, a także poruszono problematykę walidacji modeli. W pracy zwrócono również uwagę na perspektywy rozwoju technologii modelowania tłumu.
This paper covers the issues of modeling the crowd dynamics. The article describes the basics of modern modeling techniques to the crowd, and the issue of validation of models. The paper also highlighted the prospects for the development of crowd modeling technologies.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 12; 217-219
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cellular automata: structures and some applications
Automaty komórkowe: struktura i pewne zastosowania
Autorzy:
Burzyński, M.
Cudny, W.
Kosiński, W.
Powiązania:
https://bibliotekanauki.pl/articles/282005.pdf
Data publikacji:
2004
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
cellular automata
traffic flow
fuzzy rules
Opis:
A new approach to the modelling of various nature phenomena such as predator and prey ecological system, heat transport, spreading of oil slick and traffic flow is introduced. Cellular automata (CA) are discrete dynamical systems whose behaviour is completely specified in terms of simple local relations. They are mathematical models of spatialy distributed processes; however they can lead to an appropriate simulation of comlex dynamic processes. Applications to heat transfer and problems of environmental simulations are done. A discrete automaton model with fuzzy rules to simulate one-way traffic flow is also described. Results of simulations are consistent with phenomena observed in reality. It gives a base to propose the cellular automata tool as an option in modelling and solving problems of complex (and some times, not completely known) nature.
W pracy zaprezentowano metodę modelowania układów i zjawisk obserwowanych w przyrodzie, takich jak dynamika systemu ekologicznego drapieżnik-ofiara, przewodzenie ciepła, rozprzestrzenianie się plamy ropy naftowej po wycieku na wodzie czy ruch strumienia pojazdów na drodze miejskiej. Metodę oparto na tzw. automatach komórkowych, które są układami dyskretnymi o zachowaniach ściśle zdeterminowanych prostymi relacjami o charakterze lokalnym. Automaty komórkowe to matematyczne modele procesów przestrzennych, mogące z powodzeniem opisywać złożone zjawiska dynamiczne. W pracy przedstawiono aplikację do zagadnienia przewodzenia ciepła oraz kilku symulacji środowiskowych. Przedstawiono także model automatowy z regułami rozmytymi opisujący jednokierunkowy ruch pojazdów na drodze. Wyniki symulacji okazały się zgodne z obserwacjami rzeczywistych układów. Zachęcające rezultaty badań skłaniają do postrzegania automatów komórkowych jako efektywnej opcji w modelowaniu i rozwiązywaniu problemów o złożonej (czasem nie całkiem rozpoznanej) naturze.
Źródło:
Journal of Theoretical and Applied Mechanics; 2004, 42, 3; 461-482
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie automatów komórkowych w modelowaniu ruchu drogowego
Use of cellular automata for traffic analysis
Autorzy:
Małecki, K.
Rokita, M.
Wątróbski, J.
Powiązania:
https://bibliotekanauki.pl/articles/154665.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
automaty komórkowe
symulacja
cellular automata
simulation
Opis:
Uniwersalność automatów komórkowych spowodowała, iż znajdują zastosowanie w wielu dziedzinach, np. w modelowaniu i symulacji ruchu drogowego. Autorzy prezentują dokonania w tym zakresie (tab. 1) oraz formułują nowy model, będący rozwinięciem modelu skrzyżowania dróg prezentowanego w [1] i [8]. Dodatkowo autorzy przedstawiają charakterystykę opracowanego, nowatorskiego systemu, umożliwiającego modelowanie dowolnego obszaru (zespół skrzyżowań i dróg) oraz symulowanie ruchu w ujęciu mikroskopowym.
Cellular automata are considered by some researchers to belong to one of the IT department, which is an artificial intelligence. Even though their history goes back to the forties of the last century, much attention is still paid to the use of cellular automata for the process of testing and simulation of different phenomena. The universality of cellular automata caused their application to many areas such as: physics, computer graphics and traffic modeling. The authors present the achievements in this field (Table 1) and formulate a new traffic model which is a development of the crossroads model defined by Chowdhury-Schadschneider [1] and later by Bartodziej [8]. This new model helps to simulate traffic at the crossroads of two-lane and two-way roads. In addition, there is given the worked out system characteristics which enables modeling any area (intersections and roads) and carrying out the traffic simulations in a microscopic approach. The software consists of two applications: TrafficCA (traffic simulator based on cellular automata) and the map editor (this application enables generating any area including roads, traffic lights and the surroundings). Taking into account the fact that the simulated cases are always correct (carried out in accordance with properly defined models of cellular automata), the developed system, except for the traffic modeling, can be used for showing driver behaviour unfavourable for traffic capacity.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 724-727
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 61

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