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ę "ants" wg kryterium: Temat


Wyświetlanie 1-1 z 1
Tytuł:
Prototyping self-healing behavior for NASA swarm-based systems with ASSL
Autorzy:
Vassev, Emil
Hinchey, Mike
Powiązania:
https://bibliotekanauki.pl/articles/1954581.pdf
Data publikacji:
2021
Wydawca:
Politechnika Gdańska
Tematy:
intelligent swarms
formal methods
autonomic computing
ASSL
ANTS
inteligentne roje
metody formalne
obliczenia autonomiczne
Opis:
Autonomic computing promises computer systems capable of self-management, which augurs great promise for unmanned spacecraft. Such spacecraft are extremely appropriate for deep space exploration missions because the former bring onboard intelligence and less reliance on control links. The Autonomic System Specification Language (ASSL) is a framework for developing autonomic systems. As part of our research on ASSL, we have successfully specified autonomic properties, verified their consistency, and generated implementation for both the NASA ANTS (Autonomous Nano-Technology Swarm) concept mission and the NASA Voyager mission. This paper presents concrete results on the use of ASSL to develop a self-healing behavior model for NASA ANTS swarm-based exploration missions. Here, we present specification and implementation results. Moreover, we experiment with the ASSL-generated code to demonstrate that the implemented ANTS system is capable of self-management in respect of the specified self-healing model.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2021, 25, 2; 203-231
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-1 z 1

    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