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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Złożoność półgrup charakterystycznych iloczynów prostych „G” automatów asynchronicznych silnie spójnych
    Complexity of characteristic semi-groups of „G” direct sums of the strongly connected asynchronous automatons
    Autorzy:
    Bocian, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/309744.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    automat
    teoria automatów
    automat asynchroniczny spójny
    iloczyn prosty
    półgrupa charakterystyczna
    automaton
    automata theory
    asynchronous automaton
    direct sum
    characteristic semi-group
    Opis:
    W artykule przedstawiono i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych iloczynów prostych „G” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Iloczyn prosty automatów można uważać za realizację – odpowiednio równoległych obliczeń.
    The paper presents the assumption and the evidence is carried out of the direct product complexity of characteristic semi-groups of any numbers „G” of deterministic, finite, asynchronous, highly consistent DFASC2 automata. The characteristic semi-group is the particularly essential conception in the automaton theory; it is the carrier of the important information and define the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct product of automatons can be considered as the realization – the parallel calculations accordingly.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 6; 1322-1326, CD
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Natężenie nasycenia relacji dla skrzyżowań z sygnalizacją świetlną modelowanych z wykorzystaniem automatów komórkowych
    Saturation flow of vehicle streams for signalised intersections in a cellular automata models
    Autorzy:
    Smoczyński, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/313320.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    natężenie nasycenia
    sygnalizacja świetlna
    skrzyżowanie z sygnalizacją świetlną
    automat komórkowy
    saturation flow
    traffic lights
    intersection with traffic lights
    cellular automata
    Opis:
    W artykule przedstawiono metodę obliczania natężeń nasycenia dla relacji na skrzyżowaniu z sygnalizacją świetlną w modelu ruchu wykorzystującym automat komórkowy. Sposoby obliczania przepustowości i warunków ruchu dla skrzyżowań z sygnalizacja świetlną 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 takiego skrzyżowania. Nie może być ona także wykorzystana dla zmiennych obciążeń ruchem. Zaproponowano użycie automatu komórkowego do modelowania skrzyżowań z sygnalizacją świetlną. Podstawowy model Nagela-Schreckenberga uzupełniono o zasady ruchu na skrzyżowaniach z sygnalizacją świetlną, możliwość uwzględnienia pojazdów ciężkich oraz procedury zachowania bezpiecznej odległości pomiędzy pojazdami. Przewidziano możliwość zmniejszania prędkości pojazdów, umożliwiając w ten sposób symulację rzeczywistych warunków ruchu. Zaproponowano i szczegółowo omówiono sposób obliczenia natężenia nasycenia dla relacji na skrzyżowaniu z sygnalizacją świetlną. Przygotowano i przetestowano uproszczony model małego, jednopasowego, czterowlotowego skrzyżowania z sygnalizacją świetlną. 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. Wykazano możliwość kształtowania w proponowanym modelu dowolnych wartości natężeń nasycenia dla poszczególnych relacji i różnych organizacji ruchu na skrzyżowaniu z sygnalizacją świetlną. Przetestowane elementy składowe po walidacji pozwolą na budowanie modeli dowolnych skrzyżowań z sygnalizacją świetlną, nawet nietypowych, oraz symulację sytuacji nieuwzględnionych w obowiązującej instrukcji obliczeniowe.
    This paper shows a method of calculation of the saturation flows for vehicle streams in the signalised intersection in a cellular automata model. The method of calculating capacity and lost time for some types of signalised intersections 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 intersection exits. This instruction also should not be used in case of changing load. Usage of a cellular automata for modelling the traffic for signalized intersections was proposed. Basic Nagel-Schreckenberg model was extended by inter alia traffic rules on the signalised intersections, possibility of using heavy vehicles and procedures of keeping safe distance between vehicles. Possibility of decreasing of vehicle speed, making it possible to simulate the real conditions of traffic, was included. The method of calculating saturation flow for vehicle streams was proposed and examined. Simplified model of small, one-lane, four-entry signalised intersection 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 signalised intersection using a cellular automata were shown and analysed. Possibility of receiving any values of saturation flow for vehicle streams in proposed model was shown and analysed. After the validation of the model, its elements will be used to build models of any kind of signalised intersections, even untypical. It will be possible to simulate situations not taken into account in obligatory method of the signalised intersections calculations.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 6; 1267-1272, CD
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Przepustowość wlotów nadrzędnych w modelach wykorzystujących automaty komórkowe
    Capacity of Priority Entries in a Cellular Automata Models
    Autorzy:
    Smoczyński, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/310657.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    automat komórkowy
    model ruchu drogowego
    wlot nadrzędny
    przepustowość wlotów nadrzędnych
    skrzyżowanie bez sygnalizacji świetlnej
    cellular automata
    traffic model
    priority entry
    capacity of priority entries
    intersection without traffic lights
    Opis:
    W artykule przedstawiono metodę obliczania przepustowości wlotów nadrzędnych w modelu ruchu wykorzystującym automat komórkowy. Sposoby obliczania przepustowości i warunków ruchu dla skrzyżowań bez sygnalizacji świetlnej 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 skrzyżowania. Nie może być ona także wykorzystana dla zmiennych obciążeń ruchem. Zaproponowano użycie automatu komórkowego do modelowania skrzyżowań tego typu. Podstawowy model Nagela-Schreckenberga uzupełniono o zasady ruchu na skrzyżowaniach z pierwszeństwem przejazdu, możliwość uwzględnienia pojazdów ciężkich oraz procedury zachowania bezpiecznej odległości pomiędzy pojazdami. 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 wlotów nadrzędnych skrzyżowań z pierwszeństwem przejazdu. Przygotowano i przetestowano uproszczony model małego, jednopasowego, czterowlotowego skrzyżowania bez sygnalizacji świetlnej. 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 średnich i małych obciążeń. Wyniki uzyskiwane z symulacji dla dużych obciążeń były mniejsze niż uzyskiwane zgodnie z obowiązującą instrukcją. Przetestowane elementy składowe po walidacji pozwolą na budowanie modeli skrzyżowań dowolnego rodzaju, nawet nietypowych oraz symulację sytuacji nieuwzględnionych w obowiązującej instrukcji obliczeniowej.
    This paper shows a method of calculation of capacity of the priority entries in a cellular automata model. The method of calculating the capacity and lost time for some types of priority intersections 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 intersection exits. This instruction also should not be used in case of changing load too. Usage of a cellular automata for modeling of traffic for this kind of intersections was proposed. Basic Nagel-Schreckenberg model was extended by inter alia traffic rules on the priority intersections, possibility of using heavy vehicles and procedures of keeping safe distance between vehicles. Possibility of using objects which block the stream of vehicles, such as pedestrian crossings, was included. The method of calculating capacities for priority entries was proposed and examined. Simplified model of small, one-lane, four-entry priority intersection was prepared and tested. A multiple simulations were conducted. Similarities and differences between the results from two calculating methods: obligatory instruction and the model of priority intersection using a cellular automata were shown and analyzed. Such model was consistent with obligatory method of calculation, especially for small and medium loads. For large loads, the capacities from cellular automata model were smaller then calculated with obligatory method. After the validation of the model, its elements will be used to build models of any kind of priority intersections, even untypical. It will be possible to simulate situations not taken into account in obligatory method of the priority intersections calculations.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 6; 1273-1279, CD
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Złożoność półgrup charakterystycznych sum prostych “AG” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmani DFASC2
    Complexity of the characteristic semi-group “AG” of the asynchronous automatons of the strongly connected determined analogs, their extensions associated with isomorpism DFASC2
    Autorzy:
    Bocian, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/309692.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    pojazd szynowy
    sterowanie pojazdem
    symulacja sterowania
    teoria automatów
    automaty asynchroniczne
    analiza graficzna
    izomorfizm
    model matematyczny
    rail vehicle
    vehicle control
    control simulation
    automata theory
    asynchronous automaton
    graphical analysis
    isomorphism
    mathematical model
    Opis:
    W artykule przedstawiono i przeprowadzono dowód na wyznaczanie złożoności półgrup charakterystycznych sum prostych “AG” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczanie złożoności półgrupy charakterystycznej pozwala na oszacowanie złożoności obliczeniowej uogólnionych homomorfizmów dla innych klas automatów. W zakresie modelu matematycznego koncepcja ustalonego analogu rozszerzania automatu AG związanego z izomorfizmami g0, g1,..., gq-1 gdzie q stopień rozszerzenia, przy odpowiednich założeniach symuluje automat zmienny w czasie. Automat zmienny w czasie jest adekwatnym modelem matematycznym dla wielu procesów technicznych i obliczeniowych czasu rzeczywiste. Automaty te symulują prace kilku automatów za pomocą jednego automatu zmiennego w czasie. Sumę prosta automatów można uważać odpowiednio za realizację sekwencyjnych obliczeń.
    The paper presents the assumption and the evidence is carried out of the simple sum complexity of characteristic semi-groups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC2. automata. The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homoeomorphism of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homoeomorphism for the other classes of automatons. In the range of the mathematical model the conception of the determined analog of the extension of the automaton A associated with the isomorphism g0, g1,..., gq-1 where is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automaton in time is the adequate mathematical model for the many technical and computational processes of the real time. The direct sum of automatons can be considered as the realization - sequence calculations accordingly.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 12; 1473-1477, CD
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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