PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  systemy asynchroniczne
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Digital phase-location system for marine applications
Sadowski J., Stefański J.
Zeszyty Naukowe Akademii Marynarki Wojennej
|
2017
|
R. 58 nr 3 (210)
97--106
EN
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.
PL
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.
2
Asynchroniczny system fazolokacyjny
Sadowski J., Stefański J.
Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
|
2017
|
nr 6
501--504, CD
PL
Referat zawiera opis prototypu systemu fazolokacyjnego w wersji asynchronicznej. Przedstawione zostały założenia wstępne, konstrukcja systemu oraz parametry użytkowe, uzyskane podczas testów systemu w warunkach laboratoryjnych.
EN
This paper presents prototype of asynchronous radiolocation system based on phase measurements. Initial assumptions, construction of system elements and parameters measured in laboratory are briefly described.
3
Content available Towards partial order reductions for fragments of alternating-time temporal logic
Dembiński P., Jamroga W., Mazurkiewicz A., Penczek W.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2016
|
Nr 1036
1--32
EN
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.
PL
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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.