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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Code generation for CSM/ECSM models in COSMA environment
    Generacja kodu programu na podstawie modelu CSM/ECSM w środowisku COSMA
    Autorzy:
    Grabski, W.
    Nowacki, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/305423.pdf
    Data publikacji:
    2007
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    weryfikacja
    COSMA
    generacja kodu
    CSM
    ECSM
    automaty skończenie stanowe
    model checking
    code generation
    FSM
    Opis:
    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 verifed 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 while the extensions specify the data structures and the details of their processing. The paper discusses the code generation from ECSM diagrams. The approach is illustrated with an example.
    Środowisko COSMA, rozwijane w Instutycie Informatyki Politechniki Warszawskiej, powstało z myślą o weryfikacji modeli (model checking) systemów reaktywnych specyfikowanych przy pomocy automatów CSM (Concurrent State Machines) jak i ich rozszerzonej wersji (ECSM - Extended CSM). Rozszerzenie CSM o złożone struktury danych, atrybuty związane z przejściami i stanami oraz możliwość bezpośredniego użycia kody w C/C++ powodują, ż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 ECSM - dane i szczegóły przetwarzania. Artykuł omawia generację kodu z modelu ECSM zilustrowaną przykładem.
    Źródło:
    Computer Science; 2007, 8, Spec. Ed; 49-59
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    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ł:
    Parochial science
    Autorzy:
    Grabski, Maciej W.
    Powiązania:
    https://bibliotekanauki.pl/articles/703246.pdf
    Data publikacji:
    2010
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Źródło:
    Nauka; 2010, 3
    1231-8515
    Pojawia się w:
    Nauka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Honesty of scientists and reliability of science. Practice
    Autorzy:
    Grabski, Maciej W.
    Powiązania:
    https://bibliotekanauki.pl/articles/703354.pdf
    Data publikacji:
    2009
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    science
    honesty
    dishonesty
    reliability
    misconduct
    Opis:
    The changing environment of science and transformed methods of practising science are a tough test of its honesty and honour. The situation today is completely different than a few decades ago, when science was able to deal by itself with disclosed cases of dishonesty in the community. Today new discoveries require huge outlays of public money, team work, interinstitutional and multidisciplinary methods, and international co-operation. Furthermore, increasingly close interactions between politics, business and society on the one hand, and science on the other, have become a lasting element of the contemporary world, bringing with it conflicts of interest and the threat of intellectual corruption. These factors have led to pathological trends in science that are hard to control, while the problem of scientific misconduct is no longer an internal concern of the scientific community. To maintain public confidence in science and the trust science should have in itself, it is necessary to create an environment which would properly, institutionally protect and promote diligence and an attachment to compliance with high standards. This process began in the world twenty years ago, but has yet to be started in Poland. This is why the scientific community, acting in its own interest, should demand of administrators of science in Poland that they, like their counterparts in other countries which want to play a major role in science and its international partnership, undertake genuine measures aimed at introducing a system for protecting science from the pathologies and various forms of dishonesty it is plagued by. The solutions are simple, and many well-tested examples exist. Unless this succeeds, our lack of preparation for dealing with inevitably approaching events will cause us to pay a huge social price.
    Źródło:
    Nauka; 2009, 2
    1231-8515
    Pojawia się w:
    Nauka
    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ł:
    Badania drugiej fazy nad skutecznością i bezpieczeństwem długotrwałej powtarzalnej szybkoczęstotliwościowej przezczaszkowej stymulacji magnetycznej w terapii depresji
    2nd phase clinical examination of the efficacy and safety of prolonged rapid-rate repetitive transcranial magnetic stimulation in the treatment of depression
    Autorzy:
    Zyss, T.
    Zięba, A.
    Dudek, D.
    Datka, W.
    Siwek, M.
    Wróbel, A.
    Grabski, B.
    Mączka, G.
    Brudkiewicz, P.
    Wojnar, N.
    Łączyńska, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/261554.pdf
    Data publikacji:
    2011
    Wydawca:
    Politechnika Wrocławska. Wydział Podstawowych Problemów Techniki. Katedra Inżynierii Biomedycznej
    Tematy:
    przezczaszkowa stymulacja magnetyczna
    terapia
    depresja
    transcranial magnetic stimulation
    therapy
    depression
    Opis:
    W artykule zaprezentowano wyniki badań klinicznych drugiej fazy nad bezpieczeństwem i efektywnością przezczaszkowej stymulacji magnetycznej (TMS – Transcranial Magnetic Stimulation) w porównaniu z terapią elektrowstrząsową oraz samodzielną farmakoterapią. Do badań zakwalifikowano 75 pacjentów, których przydzielono losowo do trzech grup. We wszystkich grupach po zastosowaniu terapii stan kliniczny pacjentów wyraźnie się poprawił (objawy depresji ustąpiły). Najlepszy efekt zaobserwowano w grupie poddanej zabiegom elektrowstrząsowym oraz zażywającej leki przeciwdepresyjne. Nie udało się wykazać, że terapia łącząca stymulację magnetyczną z farmakoterapią była bardziej skuteczna od samodzielnego leczenia farmakologicznego. Podjęto próbę wyjaśnienia nieskuteczności przezczaszkowej stymulacji magnetycznej.
    The paper presents the results of the 2nd phase clinical examination of the safety and efficiency of the transcranial magnetic stimulation TMS, compared to the electroconvulsive therapy and standalone pharmacotherapy. 75 patients were enrolled into the study. They were divided randomly into three groups. The significant improvement of clinical state (diminishment of depressive symptoms) was achieved in all groups. The best effect was observed in the group of patients treated with the electroconvulsive therapy, combined with the drugs. However, transcranial magnetic stimulation, along with pharmacotherapy did not prove to be more effective than standalone pharmacological treatment. Possible explanations of ineffectiveness of the transcranial magnetic stimulation therapy is given.
    Źródło:
    Acta Bio-Optica et Informatica Medica. Inżynieria Biomedyczna; 2011, 17, 4; 301-307
    1234-5563
    Pojawia się w:
    Acta Bio-Optica et Informatica Medica. Inżynieria Biomedyczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-10 z 10

      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