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ę "Daszczuk, W. B." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Timed concurrent state machines
    Współbieżne maszyny stanowe z czasem
    Autorzy:
    Daszczuk, W. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/305419.pdf
    Data publikacji:
    2007
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    metody formalne
    weryfikacja modelowa
    weryfikacja w czasie rzeczywistym
    automaty czasowe
    formal methods
    model checking
    real time verification
    Timed Automata
    Opis:
    Timed Concurrent State Machines are an application of Alur Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to storę a verified system in ready-to-verification form, and to multiply it by various testing automata.
    Współbieżne maszyny stanowe z czasem TCSM są aplikacją automatów czasowych Alura w środowisku koincydencyjnym współbieżnych maszyn czasowych CSM (w przeciwieństwie do środowisk przeplotowych). TCSM pasują do idei automatów testujących, które pozwalają wyspecyfikować zależności czasowe łatwiej niż poprzez formuły temporalne. Ponadto zdefiniowano sposób wyznaczania globalnej przestrzeni stanów w dziedzinie czasu (współbieżne maszyny stanowe regionów RCSM), co pozwala przechowywać badany system w postaci gotowej do weryfikacji i mnożyć go przez różne automaty testujące.
    Źródło:
    Computer Science; 2007, 8, Spec. Ed; 23-36
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Discrete event simulation of Personal Rapid Transit (PRT) systems
    Zdarzeniowa symulacja systemów PRT (Personal Rapid Transit)
    Autorzy:
    Daszczuk, W. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/310347.pdf
    Data publikacji:
    2016
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    Personal Rapid Transit
    PRT
    symulacja
    Eco-Mobilność
    simulation
    Eco-Mobility
    Opis:
    The article discusses issues related to the construction of the PRT network simulator and the simulation process: the elements of PRT network structure, their representation in the simulator, the simulation process itself, animation, and automation of the experiments. An example of a simulation environment Feniks is described, elaborated within the framework of the Eco- Mobility project.
    W artykule omówiono zagadnienia związane z budową symulatora sieci PRT oraz z samym procesem symulacji: struktury sieci PRT, ich reprezentację w symulatorze, przebieg symulacji, animację i automatyzację eksperymentów. Przedstawiono przykład środowiska symulacyjnego Feniks, wykonanego w ramach projektu Eco-Mobilność.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 6; 1302-1310
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Cooperation of PRT with ring monorail : a case study
    Studium współpracy sieci PRT z pierścieniową koleją miejską
    Autorzy:
    Grabski, W.
    Daszczuk, W. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/313367.pdf
    Data publikacji:
    2016
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    Personal Rapid Transit (PRT)
    urban rail
    monorail
    system PRT
    kolej miejska
    Opis:
    It is difficult to organize urban transport in a city center. Existing buildings, narrow streets and operating infrastructure make it difficult to let old-fashion transport means like tram or bus. In the paper, a raised transport consisting of ring monorail and commuter PRT network are analyzed. The proposed solution consists of fast ring railway called “monorail” and PRT (personal rapid transit) network serving as side roads. These two transportation means form a hierarchically layered system. It is shown on an case of an exemplary city that the proposed solution is possible and reasonable. A ridership of the whole system is obtained: for monorail by analytical calculations and for PRT by simulation.
    Zorganizowanie transportu miejskiego w centrum miasta nie jest prostą sprawą. Istniejące budynki, wąskie ulice i działająca infrastruktura utrudniają funkcjonowanie tradycyjnych środków transportu jak tramwaj czy autobus. W artykule przeanalizowano użycie transportu wyniesionego powyżej poziomu gruntu, składającego się z szybkiej lekkiej kolei zwanej „monorail” i systemu PRT (Personal Rapid Transit) służącego jako sieć dojazdowa. Te dwa środki transportu tworzą hierarchię warstw systemu. W artykule pokazano na przykładzie typowego miasta, że zaproponowane rozwiązanie jest możliwe i sensowne. Wyznaczono przepustowość całego systemu: dla kolei analitycznie a dla PRT przez symulację.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 12; 1567-1573
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A study on cooperation of urban transport means: PRT and light rail
    Autorzy:
    Grabski, W.
    Daszczuk, W. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/375485.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    personal rapid transit
    light urban rail
    transport means cooperation
    urban transport simulation
    Opis:
    It is difficult to organize urban transport in the city center. Existing buildings, narrow streets and working infrastructure make it difficult to use the oldfashion transport means such as trams or buses. The new idea consists in elevation of the transport in the very city above ground level (typical PRT systems cover rare areas like airport or fairgrounds). The study analyzes the hierarchical, layered system consisting of a ring light rail and PRT (Personal Rapid Transit) serving as commuter network. It is shown in the case of an exemplary city that the proposed solution is possible and reasonable. Ridership and vehicle mileage of the entire system are calculated for the light rail analytically, and in the case PRT by simulation.
    Źródło:
    Transport Problems; 2017, 12, 4; 5-14
    1896-0596
    2300-861X
    Pojawia się w:
    Transport Problems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Priority rules on ATN (PRT) intersections
    Zasady pierwszeństwa na skrzyżowaniach sieci ATN (PRT)
    Autorzy:
    Grabski, W.
    Daszczuk, W. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/314413.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    transport networks
    intersection
    capacity of intersection
    right of way
    traffic engineering
    sieci transportowe
    skrzyżowanie dróg
    przepustowość skrzyżowań
    pierwszeństwo przejazdu
    inżynieria ruchu
    Opis:
    In Autonomous Transit Networks some basic elements influence the throughput: network structure, maximum velocity, number of vehicles etc. Other parameters like station structure, dynamic routing or vehicle behavior on intersections play minor role. Yet in highly congested nets, when vehicles interfere in the traffic, some subtle decisions may influence overall system ridership. We tested the impact of intersection priority rules on passenger waiting time, which measures the through-put. The dependence occurred its relevance in a crowded network.
    W sieciach transportowych ATN (Autonomous Transit Network) na przepustowość mają wpływ jej główne elementy jak struktura sieci, maksymalna prędkość, liczba pojazdów itd. Inne parametry jak struktura przystanków, dynamiczny wybór drogi czy zachowania pojazdów na skrzyżowaniach grają niewielką rolę. Jednak przy dużym zagęszczeniu pojazdy przeszkadzają sobie wzajemnie i pewne subtelne decyzje mogą wpłynąć na zdolność przewozową sieci. Zbadaliśmy wpływ zasad pierwszeństwa na skrzyżowaniach na czas oczekiwania na pojazdy, który jest miarą przepustowości. Zależność okazała się istotna w zatłoczonej sieci.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 12; 1503-1506, CD
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Proposed benchmarks for PRT networks simulation
    Proponowane punkty odniesienia do symulacji sieci PRT
    Autorzy:
    Mieścicki, J.
    Daszczuk, W. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/224290.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    urban transport
    Personal Rapid Transit (PRT)
    PRT network models
    transport miejski
    sieć PRT
    modele sieci PRT
    Opis:
    Personal Rapid Transit (PRT) is a promising form of urban transport. Its operation relies on the use of small unmanned vehicles which carry the passengers between the stations within a dedicated network. Various aspects of the PRT network performance are frequently evaluated using the discrete-event simulation. The paper supports the need of establishing some reference models for the simulation of PRT networks, targeted mainly at the needs of the research on the network management algorithms. Three models of such PRT network models are proposed and discussed. The presented models can play the role of benchmarks which would be very useful for comparative evaluation of heuristic control algorithms, developed by different research groups.
    Personal Rapid Transit (PRT) jest obiecującą formą transportu miejskiego. Jego działanie opiera się na wykorzystaniu małych bezzałogowych pojazdów, które przewożą pasażerów między stacjami w sieci dedykowanej. Różne aspekty wydajności sieci PRT są często oceniane przy użyciu symulacji dyskretnego zdarzenia. Artykuł popiera potrzebę ustanowienia kilku modeli referencyjnych do symulacji sieci PRT, ukierunkowanych głównie na potrzeby badań nad algorytmami zarządzania siecią. Proponowane i omawiane są trzy modele takich sieci PRT. Prezentowane modele mogą pełnić rolę wzorców, które byłyby bardzo przydatne do oceny porównawczej heurystycznych algorytmów sterowania, opracowanych przez różne grupy badawcze.
    Źródło:
    Archives of Transport; 2013, 27-28, 3-4; 123-133
    0866-9546
    2300-8830
    Pojawia się w:
    Archives of Transport
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems
    Zastosowanie Uczenia Maszynowego (Machine Learning) do poprawy jakości działania zautomatyzowanych sieci transportowych (Automatic Transit Network-PRT)
    Autorzy:
    Czejdo, B.
    Daszczuk, W. B.
    Baszun, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/313805.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    machine learning
    transport system
    optimization of transport systems
    transport planning
    uczenie maszynowe
    system transportowy
    optymalizacja systemu transportowego
    planowanie przewozów
    organizacja przejazdów
    Opis:
    This paper discusses new techniques to enhance Automated Transit Networks (ATN, previously called Personal Rapid Transit - PRT) based on Artificial Intelligence tools. The main direction is improvement of the cooperation of autonomous modules that use negotiation protocols, following the IoT paradigm. One of the goals is to increase ATN system throughput by tuning up autonomous vehicles cooperation. Machine learning (ML) was used to improve algorithms designed by human programmers. We used “existing controls” corresponding to near-optimal solutions and built refinement models to more accurately relate a system’s dynamics to its performance. A mechanism that mostly influences ATN performance is Empty Vehicle Management (EVM). The algorithms designed by human programmers was used: calls to empty vehicles for waiting passengers and balancing based on reallocation of empty vehicles to achieve better regularity of their settlement. In this paper we discuss how we can improve these algorithms (and tune them to current conditions) by using ML to tailor individual behavioral policies. Using ML techniques was possible because our algorithm is based on a set of parameters. A number of weights and thresholds could be tuned up to give better decisions on moving empty vehicles across the track.
    W artykule omówiono nowe techniki usprawniania zautomatyzowanych sieci transportowych (ATN, wcześniej nazywanych Personal Rapid Transit - PRT), opartych na narzędziach sztucznej inteligencji. Głównym kierunkiem jest poprawa współpracy autonomicznych modułów, które używają protokołów negocjacyjnych w paradygmacie IoT. Jednym z celów jest zwiększenie przepustowości systemu transportowego poprzez dostrajanie współpracy autonomicznych pojazdów. Uczenie maszynowe (ML) jest wykorzystywane do poprawy algorytmów opracowanych przez programistów. Użyliśmy "istniejącego sterowania", odpowiadającego suboptymalnym rozwiązaniom, i skonstruowaliśmy modele dostrajania, aby dokładniej odnieść dynamikę systemu do jego wydajności. Mechanizm, który wpływa głównie na wydajność ATN to Zarządzanie Pustymi Pojazdami (Empty Vehicle Management - EVM). Wykorzystano algorytmy opracowane przez programistów: wzywanie pustych pojazdów dla oczekujących pasażerów i równoważenie w oparciu o realokację pustych pojazdów w celu osiągnięcia lepszej regularności ich rozmieszczenia. W tym artykule omówimy, jak można poprawić te algorytmy (i dostroić je do aktualnych warunków), używając ML do dostosowania indywidualnych zasad behawioralnych. Wykorzystanie technik ML było możliwe, ponieważ nasz algorytm oparty jest na zbiorze parametrów. Zestaw współczynników i progów może zostać dostrojony do podejmowania lepszych decyzji o planowaniu ruchu pustych pojazdów na torze.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 12; 1484-1489, CD
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Cooperation of multiple autonomous robots and analysis of their swarm behawior
    Współpraca roju autonomicznych robotów i analiza ich zbiorowych zachowań
    Autorzy:
    Czejdo, B.
    Daszczuk, W. B.
    Grabski, W.
    Bhattacharya, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/316981.pdf
    Data publikacji:
    2018
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    autonomous robots
    behavior verification
    model checking
    integrated model of distributed systems
    deadlock
    termination
    autonomiczne roboty
    weryfikacja zachowań
    weryfikacja modelowa
    zintegrowany model systemów rozproszonych
    zakleszczenie
    terminacja
    Opis:
    In this paper, we extended previous studies of cooperating autonomous robots to include situations when environmental changes and changes in the number of robots in the swarm can affect the efficiency to execute tasks assigned to the swarm of robots. We have presented a novel approach based on partition of the robot behavior. The sub-diagrams describing sub-routs allowed us to model advanced interactions between autonomous robots using limited number of state combinations avoiding combinatorial explosion of reachability. We identified the systems for which we can ensure the correctness of robots interactions. New techniques were presented to verify and analyze combined robots’ behavior. The partitioned diagrams allowed us to model advanced interactions between autonomous robots and detect irregularities such as deadlocks, lack of termination etc. The techniques were presented to verify and analyze combined robots’ behavior using model checking approach. The described system, Dedan verifier, is still under development. In the near future, timed and probabilistic verification are planned.
    W artykule opisano kontynuację wcześniejszych badań dotyczących współpracy autonomicznych robotów wewnątrz budynku. Obejmują one obejmują sytuacje, w których zmiany środowiska i zmiana liczby robotów w roju mogą poprawić lub pogorszyć efektywność wykonywania zadań przypisanych do roju robotów. Zaprezentowaliśmy nowatorskie podejście z wykorzystaniem dzielenia zachowań robota na zachowania składowe. Poddiagramy opisujące kładowe podmarszruty pozwoliły nam modelować zaawansowane interakcje między autonomicznymi robotami w oparciu o ograniczoną liczbę kombinacji zachowań, unikając eksplozji kombinatorycznej przestrzeni osiągalności. Opisano systemy, dla których możemy zapewnić poprawność interakcji robotów i zaprezentowano techniki weryfikacji i analizy zachowań połączonych robotów. Diagramy podzielone na partycje pozwoliły nam modelować zaawansowane interakcje pomiędzy autonomicznymi robotami i wykrywać nieprawidłowości, takie jak zakleszczenia, brak terminacji itp. Przedstawiono techniki weryfikacji i analizy złożonych zachowań robotów za pomocą techniki weryfikacji modelowej. Opisany system weryfikacji, Dedan, jest wciąż rozwijany. W niedalekiej przyszłości planowana jest weryfikacja z czasem rzeczywistym i probabilistyczna.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2018, 19, 12; 872-879
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Improving resilience of autonomous moving platforms by real-time analysis of their cooperation
    Poprawa bezpieczeństwa autonomicznych platform mobilnych drogą analizy ich współpracy w czasie rzeczywistym
    Autorzy:
    Czejdo, B.
    Bhattacharya, S.
    Baszun, M.
    Daszczuk, W. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/316013.pdf
    Data publikacji:
    2016
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    Autonomous Moving Platforms
    safety
    Dedan verifier system
    autonomiczne platformy mobilne
    bezpieczeństwo
    system weryfikacyjny Dedan
    Opis:
    Environmental changes, failures, collisions or even terrorist attacks can cause serious malfunctions of the delivery systems. We have presented a novel approach improving resilience of Autonomous Moving Platforms AMPs. The approach is based on multi-level state diagrams describing environmental trigger specifications, movement actions and synchronization primitives. The upper level diagrams allowed us to model advanced interactions between autonomous AMPs and detect irregularities such as deadlocks live-locks etc. The techniques were presented to verify and analyze combined AMPs’ behaviors using model checking technique. The described system, Dedan verifier, is still under development. In the near future, a graphical form of verified system representation is planned.
    Zmiany w otoczeniu, awarie, kolizje czy nawet ataki terrorystyczne mogą spowodować poważne awarie w systemach transportowych. W artykule zaprezentowaliśmy nowe podejście do poprawy odporności autonomicznych platform mobilnych (AMPs). Podejście to opiera się na specyfikacji przy pomocy wielopoziomowych diagramach stanów, opisujących wpływ otoczenia, podejmowane akcje komunikacyjne i prymitywy synchronizacyjne. Schematy na górnym poziomie pozwoliły modelować zaawansowane interakcje między autonomicznymi pojazdami i wykrywać nieprawidłowości, takie jak zakleszczenia, częściowe zakleszczenia itp. Zaprezentowano techniki zastosowane w celu weryfikacji i analizy łącznego zachowania pojazdów techniką weryfikacji modelowej. Opisany system weryfikacyjny Dedan jest wciąż w fazie rozwoju. W niedalekiej przyszłości planowana jest graficzna forma reprezentacji weryfikowanego systemu.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 6; 1294-1301
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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