Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

A study on cooperation of urban transport means: PRT and light rail

100%

Grabski W. , Daszczuk W. B.

tom T. 12, z. 4

5--14

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.

Priority rules on ATN (PRT) intersections

100%

Grabski W. , Daszczuk W. B.

tom R. 18, nr 12

1503--1506, CD

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.

Generacja kodu dla asynchronicznych wywołań funkcji w środowisku COSMA dla modelu CSM/ECSM

100%

Grabski W. , Nowacki M.

tom T. 13

339-346

Środowisko COSMA, rozwijane w Instytucie Informatyki Politechniki Warszawskiej, powstało z myślą o weryfikacji modeli (model checking) systemów reaktywnych specyfikowanych przy pomocy automatów CSM (Concur-rent State Machines). ECSM (Extended CSM) stanowi rozszerzenie modelu CSM o złożone struktury danych, atrybuty związane z przejściami i stanami oraz możliwość bezpośredniego użycia kodu w C/C++. Powoduje to, że model wyrażony w ECSM nie może być formalnie weryfikowany, a jedynie stanowić krok pośredni przy generacji kodu. W takim podejściu model CSM reprezentuje sterowanie i komunikację pomiędzy modułami systemu, podczas gdy elementy ECSM, dane i szczegóły przetwarzania. Artykuł omawia sposób modelowania wywołań asynchronicznych w modelu CSM/ECSM i metodę generacji kodu z modelu ECSM zawierającego asynchroniczne wywołania funkcji. Omawiany temat zilustrowany jest przykładem.

The COSMA software environment, developed in the Institute of Computer Science, WUT, was designed primarily for model checking of reactive systems specified in terms of Concurrent State Machines (CSM). However, COSMA supports also Extended CSM (ECSM). The extensions allow for using complex data types and pieces of C/C++ code, attributed to CSM states and/or transitions. Because of these extensions, ECSM models cannot be verified by model checking, but they can be used as an intermediate step in code generation. The underlying CSM represent then the flow of control within cooperating components and the communication among them white the extensions specify the data structures and the details of their processing. The paper discusses modeling the asynchronous function calls in CSM/ECSM diagrams and the code generation from ECSM diagrams which models asynchronous function calls. The approach is illustrated with an example.