Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "systemy asynchroniczne" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
Digital phase-location system for marine applications
Cyfrowy system fazolokacyjny do zastosowań morskich
Autorzy:
Sadowski, J.
Stefański, J.
Powiązania:
https://bibliotekanauki.pl/articles/223452.pdf
Data publikacji:
2017
Wydawca:
Akademia Marynarki Wojennej. Wydział Dowodzenia i Operacji Morskich
Tematy:
radiolocalization
radionavigation
asynchronous systems
phase-location
radiolokalizacja
radionawigacja
systemy asynchroniczne
fazolokacja
Opis:
This paper presents concept and implementation of digital phase-location system, de-signed as a navigational aid for marine applications. Main feature of proposed system is the ability to work in both synchronous mode, with one master station and set of slave stations synchronized with master, and in asynchronous mode with independent clocking of all stations.
Artykuł zawiera opis działania oraz budowy prototypu cyfrowego systemu fazolokacyjnego. System ten został zaprojektowany do obsługi nawigacji morskiej, przy czym jego cechą charakterystyczną jest możliwość pracy zarówno w trybie synchronicznym, z wyróżnioną stacją główną oraz zestawem stacji podległych, jak i w trybie asynchronicznym, w którym wszystkie stacje bazowe są taktowane niezależnie z własnych generatorów wzorcowych.
Źródło:
Zeszyty Naukowe Akademii Marynarki Wojennej; 2017, R. 58 nr 3 (210), 3 (210); 97-106
0860-889X
Pojawia się w:
Zeszyty Naukowe Akademii Marynarki Wojennej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Towards partial order reductions for fragments of alternating-time temporal logic
O redukcjach częścio-porządkowych dla fragmentów logiki temporalnej czasu alternatywnego
Autorzy:
Dembiński, P.
Jamroga, W.
Mazurkiewicz, A.
Penczek, W.
Powiązania:
https://bibliotekanauki.pl/articles/182716.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
Alternating-Time Temporal Logic
asynchronous systems
partial order reduction
traces
logika temporalna czasu alternującego
systemy asynchroniczne
redukcje częścio-porządkowe
ślady
Opis:
A general semantics of strategic abilities of agents in asynchronous systems with and without perfect information is proposed, and some general complexity results for verification of strategic abilities in asynchronous systems are presented. A methodology for partial order reduction (POR) in verification of agents with imperfect information is developed, based on the notion of traces introduced by Mazurkiewicz. Two semantics of ATL∗ −X are considered and it is shown that for memoryless imperfect information (|=ir) contrary to memoryless perfect information (|=Ir), one can apply techniques known for LTL−X.
Raport definiuje ogólną semantykę dla strategicznych umiejętności agentów w systemach asynchronicznych z pełną i częściową informacją, oraz prezentuje ogólne wyniki dotyczące złożoności weryfikacji strategicznych możliwości w systemach asynchronicznych. Metoda redukcji częścio-porządkowych, wykorzystująca ślady Mazurkiewicza, została zastosowana do weryfikacji agentów z niepełną informacją. Dla rozważanych dwóch semantyk logiki ATL*_x zostało pokazane, że dla bezpamięciowej niepełnej informacji (|=ir) w przeciwieństwie do bezpamięciowej pełnej informacji (|=Ir), można zastosować metody znane dla LTL_x.
Źródło:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2016, 1036; 1-32
0138-0648
Pojawia się w:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    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