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: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: systemy asynchroniczne

Sortuj według:

Ogranicz wyniki do:

Estymacja położenia i orientacji w systemie lokalizacyjnym z częściową synchronizacją węzłów referencyjnymi

100%

Sadowski J. , Stefański J.

Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne

2024

tom nr 4

89--92

W referacie przedstawiono koncepcję systemu lokalizacyjnego do jednoczesnej estymacji położenia i orientacji obiektów. Obiekt ruchomy jest wyposażony w zestaw zsynchronizowanych odbiorników. Nadajniki referencyjne systemu są podzielone na grupy i pracują synchronicznie tylko w obrębie swojej grupy, bez zachowania synchronizacji pomiędzy grupami nadajników.

The paper presents the concept of a positioning system for simultaneous estimation of the position and orientation of objects. The moving object is equipped with a set of synchronized receivers. The system's reference transmitters are divided into groups and work synchronously only within their group, without maintaining synchronization between groups of transmitters.

Pomiarowa weryfikacja efektywności pracy asynchronicznej metody jednoczesnej estymacji położenia i orientacji obiektu

100%

Sadowski J. , Błaszkiewicz O. , Cwalina K. , Olejniczak A. , Rajchowski P. , Stefański J.

Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne

2024

tom nr 4

155--158

W referacie opisano wyniki pomiarowej weryfikacji efektywności pracy asynchronicznej metody lokalizowania obiektu na płaszczyźnie za pomocą sygnałów lokalizacyjnych wysyłanych jednocześnie z dwóch nadajników umieszczonych na tym obiekcie w znanej odległości od siebie.

The paper describes the results of a measurement verification of the effectiveness of an asynchronous method of locating an object on a plane using localization signals sent simultaneously from two transmitters placed on that object at a known distance from each other.

Towards partial order reductions for fragments of alternating-time temporal logic

84%

Dembiński P. , Jamroga W. , Mazurkiewicz A. , Penczek W.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2016

tom Nr 1036

1--32

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.

Digital phase-location system for marine applications

84%

Sadowski J. , Stefański J.

Zeszyty Naukowe Akademii Marynarki Wojennej

2017

tom R. 58 nr 3 (210)

97--106

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.