Search results for: metody programowania
-
Efficient list cost coloring of vertices and/or edges of some sparse graphs
PublicationRozważane jest kolorowanie wierzchołków i krawędzi grafów w modelach klasycznym, totalnym i pseudototalnym z uwzględnieniem dodatkowego ograniczenia w postaci list dostępnych kolorów. Proponujemy wielomianowy algorytm oparty na paradygmacie programowania dynamicznego dla grafów o strukturze drzewa. Wynik ten można uogólnić na grafy o liczbie cyklomatycznej ograniczonej z góry przez dowolnie wybraną stała.
-
Inteligentne systemy agentowe w systemach zdalnego nauczania
PublicationW pracy omówiono inteligentne systemy agentowe w systemach zdalnego nauczania. Po krótkim przedstawieniu ewolucji systemów zdalnego nauczania i ich wybranych zastosowań, scharakteryzowano inteligentne agenty edukacyjne. Omówiono wykorzystanie programowania genetycznego oraz algorytmów neuro-ewolucyjnych do implementacji oprogramowania tej klasy. Ponadto, nawiązano do modelu Map-Reduce, który efektywnie wspiera architekturę nowoczesnego...
-
Koala graph coloring library: an open graph coloring library for real-world applications
PublicationPomimo intensywnej pracy naukowej na polu kolorowania grafów, nie jest znana kompletna i dedykowana biblioteka programistyczna. Celem artykułu jest zaproponowanie architektury takiej biblioteki. Celem jest spełnienie oczekiwań wypływających z rzeczywistych zastosowań, w szczególności spełnienie potrzeb wydajnościowych. Zaimplementowano szereg algorytmów cheurystycznego kolorowania grafów. Przyjętym językiem programowania jest C++....
-
Object oriented grid computing for computational electromagnetics
PublicationArtykuł opisuje bibliotekę WiCommGrid napisaną w języku java, która realizuje ideę wymiany informacji pomiędzy węzłami środowiska rozproszonego z zastosowaniem programowania zorientowanego obiektowo. Biblioteka ta przystosowana jest do współdziałania z wieloma systemami operacyjnymi oraz z rożnym środowiskiem sprzętowym. Zbudowaną aplikację zastosowano do zrównoleglonych obliczeń rozkładu pola elektromagnetycznego w oparciu o algorytm...
-
Programowanie Mikromodułów Komunikacyjnych - Nowy
e-Learning CoursesCelem przedmiotu jest wprowadzenie do programowania mikromodułów komunikacyjnych - przedstawienie podstaw technik i zasad programowania specyficznych dla układów wbudowanych oraz pozyskanie umiejętności programowania wybranych mikromodułów komunikacyjnych.
-
Programowanie Mikromodułów Komunikacyjnych - 2023/2024
e-Learning CoursesCelem przedmiotu jest wprowadzenie do programowania mikromodułów komunikacyjnych - przedstawienie podstaw technik i zasad programowania specyficznych dla układów wbudowanych oraz pozyskanie umiejętności programowania wybranych mikromodułów komunikacyjnych.
-
Szybka identyfikacja harmonicznych na podstawie oszczędnego próbkowania
PublicationW pracy przedstawiono implementację szybkiego algorytmu rekonstrukcji sygnału, opartego na teorii oszczędnego próbkowania, który może wykrywać harmoniczne w sygnale wejściowym. Zagadnienie rekonstrukcji sygnału jest problemem optymalizacyjnym rozwiązywanym za pomocą algorytmu programowania liniowego. Dodatkowo, aby przyspieszyć zbieżność rozwiązania zastosowano w rzadkiej dziedzinie sygnału filtr typu K-rank-order. Przeprowadzona...
-
Stanowisko laboratoryjne do transmisji danych pomiarowych z wykorzystaniem magistrali M-Bus
PublicationPrzedstawiono stanowisko laboratoryjne przeznaczone do zdalnego monitorowania zużycia różnych mediów użytkowych z wykorzystaniem magistrali M-Bus. Omówiono również aplikację, przygotowaną w środowisku programowania LabVIEW, której zadaniem jest zapewnienie obsługi i odczytu danych z urządzeń pomiarowych, zgodnie z formatem zdefiniowanym w protokole M-Bus. Podano przykładowe wyniki pomiarów uzyskanych z mierników zainstalowanych...
-
Modelowanie falownika napięcia z quasi-rezonansowym obwodem pośredniczącym
PublicationW pracy przedstawiono szerokopasmowe modelowanie falownika napięcia z quasi-rezonansowym obwodem pośredniczącym w środowisku symulatora SABER. Modele łączników energoelektronicznych oraz algorytm sterowania zostały zaimplementowane z wykorzystaniem języka programowania MAST. Dokładność modelu zweryfikowano w oparciu o porównanie charakterystycznych przebiegów symulacyjnych układu z przebiegami eksperymentalnymi oraz analizę porównawczą...
-
Podstawy Programowania 2022/23 (Informatyka & Inżynieria Danych)
e-Learning Courses{mlang pl}Kurs jest przeznaczony dla studentów pierwszego semestru kierunków Informatyka oraz Inżynieria Danych na Wydziale Elektroniki, Telekomunikacji i Informatyki.{mlang} {mlang en}This course is for 1st semester students of Data Engineering and Computer Science at Faculty of Electronics, Telecommunications and Informatics.{mlang}
-
Zdolni z Pomorza 2016/17 - HTML5 - podstawy programowania
e-Learning Courses -
Podstawy programowania w języku Python z biblioteką BioPython
e-Learning Courses -
Podstawy Programowania 2023/24 (Informatyka & Inżynieria Danych)
e-Learning Courses{mlang pl}Kurs jest przeznaczony dla studentów pierwszego semestru kierunków Informatyka oraz Inżynieria Danych na Wydziale Elektroniki, Telekomunikacji i Informatyki.{mlang} {mlang en}This course is for 1st semester students of Data Engineering and Computer Science at Faculty of Electronics, Telecommunications and Informatics.{mlang}
-
Wpływ makroregionalnej strategii dla regionu Morza Bałtyckiego i strategii Europa 2020 na kształtowanie polityki Litwy, Łotwy i Estonii w obszarze ubóstwa i wykluczenia społecznego
PublicationRozważania ukazują znaczenie strategii dla regionu Morza Bałtyckiego, w powiązaniu ze strategią Europa 2020, w kształtowaniu polityki Litwy, Łotwy i Estonii w sferze ubóstwa i wykluczenia społecznego. Podejście makroregionalne sprzyja osiąganiu celów strategii Europa 2020 w większym stopniu w obszarze podnoszenia jakości programowania polityk krajowych niż w rzeczywistej redukcji poziomu ubóstwa i wykluczenia społecznego w tych...
-
Revsable framework for telecontrol protocols. W: Springer Homepage [online] Proceedings. Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families. Las Palmas de Gran Canaria, Spain, February 26-27, 1998. [Dostęp: 20 grudnia**2002]. Ed. F. van der Linden. Dostępny w World Wide Web: http://link.springer.de/link/ /service/series/0558/tocs/t1429.htm [s. 6-13, 5 rys. bibliogr. 6 poz.] Wzorce wielokrotnego wykorzystania oprogramowania protokołów telesterowa- nia.
PublicationZaprezentowano wzorzec COMSOFT wielokrotnego wykorzystania oprogramowania o-pracowany dla protokołów telesterowania. Jego podstawy tworzą: metodologiaobiektowa i wzorce wielokrotnego użycia. Zastosowanie wzorców wspomagają:biblioteka komponentów, wykorzystywanych we wszystkich fazach konstrukcji o-programowania oraz procedury użytkowania i parametryzacji. Opracowane wzorcezostały praktycznie zastosowane do konstrukcji oprogramowania...
-
Remote monitoring and control of technical systems using internet network technology
PublicationPoruszono problem monitorowania stanu rozproszonych obiektów echnicznych. Przedstawiono możliwości zastosowania do tego celu technologii sieci Internet i rodziny protokołów TCP/IP. Omówiono koncepcję wykorzystania takich standardów jak: TCP, UDP, HTTP, SNMP oraz języków programowania Java i PHP. Zwrócono uwagę na aspekty bezpieczeństwa sieciowego. Przedstawiono przykład realizacji dużego systemu zdalnego zarządzania systemem central...
-
Implementacja reguł animacji w logice rozmytej
PublicationZaprojektowano system komputerowy wspomagający tworzenie animacji. System wykorzystuje reguły animacji wywodzące się z animacji tradycyjnej. Reguły opisują sposób uzyskiwania animacji postaci nacechowanych emocjonalnie. Na potrzeby badań zostały one sformułowane w logice rozmytej i zaimplementowane w języku programowania Python. Wykorzystując system wygenerowano animacje testowe, które poddano ocenie subiektywnej, w celu określenia...
-
Odwzorowanie mechanizmów promowania odnawialnych źródeł energii w modelowaniu rozwoju systemów energetycznych
PublicationW artykule przedstawiono problemy wynikające z konieczności odwzorowania mechanizmów wsparcia odnawialnych źródeł energii w modelu bilansowym, wykorzystywanym do programowania rozwoju systemów energetycznych. Przedstawiono funkcjonujący w Polsce mechanizm promowania odnawialnych źródeł energii, polegający na wtórnym obrocie tzw. świadectwami pochodzenia. Zaprezentowano metodykę uwzględniania tego mechanizmu w modelu prognostycznym....
-
Application of an online judge & contester system in academic tuition
PublicationPraca zawiera opis systemu typu ''Online judge & contester'' o nazwie SPOJ, wykorzystywanego do zdalnej nauki programowania. Został on pomyślnie wdrożony w nauczaniu informatyki na Politechnice Gdańskiej. Omówiono zasadę działania i mechanizmy bezpieczeństwa systemu SPOJ. Przedstawiono wnioski z doświadczeń przy stosowaniu tego typu systemów w nauczaniu na etapie studiów 1. i 2. stopnia w ciągu ostatnich czterech lat.
-
Application of an online judge & contester system in academic tuition
PublicationPraca zawiera opis systemu typu ''Online judge & contester'' o nazwie SPOJ, wykorzystywanego do zdalnej nauki programowania. Został on pomyślnie wdrożony w nauczaniu informatyki na Politechnice Gdańskiej. Omówiono zasadę działania i mechanizmy bezpieczeństwa systemu SPOJ. Przedstawiono wnioski z doświadczeń przy stosowaniu tego typu systemów w nauczaniu na etapie studiów 1. i 2. stopnia w ciągu ostatnich czterech lat.
-
MATLAB i jego środowisko
PublicationMATLAB jest pakietem obliczeniowym i programistycznym przygotowanym przede wszystkim do obliczeń numerycznych, analizy danych i wizualizacji wyników. Pakiet stanowi środowisko wyposażone w wiele narzędzi obliczeniowych i graficznych działających na bazie predefiniowanych funkcji oraz język programowania umożliwiający tworzenie własnych skryptów. Podstawowym typem danych w języku MATLAB jest macierz (matrix). Stąd nazwa MATrix...
-
Sztuka i matematyka -algorytmiczne i parametryczne detale
PublicationOpracowanie dotyczy wykorzystania komputerowych metod obliczeniowych do projektowania dzieł architektonicznych, w których geometria formy, detal struktury i efekty materiałowe są wynikiem spójnej reguły generatywnej. Nowatorskie biura tworzą własne narzędzia na poziomie języków programowania czerpiąc idee z abstrakcyjnych koncepcji i procedur matematycznych. W konsekwencji algorytmiczne i parametryczne strategie projektowania w...
-
Znaczenie analiz ruchowych w procesie optymalizowania zakresu infrastrukturalnych inwestycji kolejowych
PublicationW artykule poruszono problem zachowania pełnej sprawności i uniwersalności rozwiązań technicznych w całym cyklu programowania inwestycji infrastrukturalnych. Wskazano na konieczność monitorowania prawidłowości projektowanych rozwiązań w perspektywie wieloletniej za pomocą analiz inżynierii ruchu kolejowego. Analizy pozwalają identyfikować również tzw. migrację problemów, co umożliwia weryfikację zakresu inwestycji. Posłużono się...
-
Modelowanie rozwoju systemów energetycznych z uwzględnieniem mechanizmów promowania odnawialnych źródeł energii
PublicationW referacie omówiono problemy wynikające z konieczności odwzorowania mechanizmów wsparcia odnawialnych źródeł energii w modelu bilansowym, wykorzystywanym do programowania rozwoju systemów energetycznych. Szczególny nacisk położono na system wykorzystujący świadectwa pochodzenia energii elektrycznej ze źródeł odnawialnych. Zaprezentowano metodykę uwzględniania tego mechanizmu w modelu prognostycznym MARKAL do optymalizacji rozwoju...
-
Modelowanie rozwoju systemów energetycznych z uwzględnieniem mechanizmów promowania odnawialnych źródeł energii
PublicationW referacie omówiono problemy wynikające z konieczności odwzorowania mechanizmów wsparcia odnawialnych źródeł energii w modelu bilansowym, wykorzystywanym do programowania rozwoju systemów energetycznych. Szczególny nacisk położono na system wykorzystujący świadectwa pochodzenia energii elektrycznej ze źródeł odnawialnych. Zaprezentowano metodykę uwzględniania tego mechanizmu w modelu prognostycznym MARKAL do optymalizacji rozwoju...
-
Quadratic programming approach to coupled resonator filter cad
PublicationArtykuł prezentuje technikę komputerowego wspomagania procesu projektowania filtrów zbliżeniowych. Polega ona na sformułowaniu macierzy sprzężeń jako problemu programowania kwadratowego (QP). Dzięki zdefiniowaniu procedury optymalizacyjnej jako problemu QP, przy założeniu liniowej zależności współczynników sprzężeń od wymiarów geometrycznych struktury, uzyskano znaczącą redukcję liczby pełnofalowych symulacji prowadzących do uzyskania...
-
Dobre praktyki automatyzacji procesu migracji do protokołu IPv6
PublicationW pracy przedstawiono mozliwosc realizacji automatów migracji do IPv6 systemów, usług i aplikacji. Dokonano klasyfikacji metod migracji ze wzgledu na mozliwosc ich automatyzacji. Opisano załozenia i sposób implementacji wybranych narzedzi wspomagajacych administratora sieci w realizacji procesu migracji systemów operacyjnych, urzadzeń wbudowanych jak tez usług i aplikacji sieci do protokołu IPv6. Zaprezentowano projekt i implementacje...
-
Uranium Supporting Cooperation With High Schools Workshops on programming data analysis and visualization in R and Python languages.
ProjectsProject realized in Gdańsk University of Technology according to 13/1/2024/IDUB/III.3b/U agreement from 2024-02-29
-
Stability criteria as constraints in a fleet of ships optimisation problem
PublicationRozwiązano problem dotyczący matematycznej optymalizacji floty statków wielozadaniowych typu rzeka-morze, przeznaczonych dla europejskiej żeglugi przybrzeżnej i eksploatowanych w obszarze Mórz Północnego i Bałtyckiego, na poziomie zadania transportowego za pomocą metod programowania nieliniowego z ograniczeniami. Zaproponowano metodę włączenia istniejących kryteriów skuteczności statków jako ograniczeń w ogólnym modelu optymalizacji...
-
Uczenie na błędach w nauczaniu programowania w systemie e-learningu
PublicationJedną z kluczowych umiejętności, które muszą posiąść adepci programowania, stanowi umiejętność poprawiania kodu programu zawierającego błędy. Jest to działanie bardzo złożone, wymagające znajomości składni języka, rozumienia semantyki kodu, znajomości zasad testowania oraz rozumienia działania algorytmu. W artykule autor proponuje własną metodę kształtowania umiejętności poprawiania kodu programu wykorzystującą narzędzia do nauczania...
-
Łączna kalibracja profili poborów wody i parametrów modelu systemu wodociągowego
PublicationW artykule przedstawiono propozycję etapowego podejścia do kalibracji modeli systemów wodociągowych (SW). Zaprezentowana metoda kalibracji, w odróżnieniu od dotychczas proponowanych, oparta jest na wyznaczeniu profili poboru wody oraz rezystancji połączeń w postaci przedziałowej. Problem kalibracji został sformułowany w postaci zagadnień programowania liniowego mieszanego, co gwarantuje uzyskanie globalnych rozwiązań optymalnych....
-
A Flexible Provisioning Module Optimizing Utilization of Resources for the Future Internet IIP Initiative
PublicationW artykule zaprezentowano aspekty projektowania i implementacji modułu wymiarowania zasobów sieci zaproponowanego w ramach projektu Inżynieria Internetu Przyszłości. W szczególności, wprowadzone zostały modele programowania liniowego wymiarowania zasobów sieci mające na celu minimalizację poziomu wykorzystania tychże zasobów, jak i maksymalizację nieprzydzielonej przepustowości. W dalszej części artykułu dokonano oceny charakterystyk...
-
Zastosowanie metodologii CBR do wyznaczania optymalnego zaopatrzenia punktu sprzedaży detalicznej.
PublicationW artykule rozważane jest zagadnienie optymalnego doboru asortymentu towarów dla punktu sprzedaży detalicznej. Scharakteryzowano podstawowe czynniki ekonomiczne determinizujące przychody i koszty detalisty. Dla rozpatrywanego problemu zbudowano model matematyczny w formie zadania programowania liniowego, w którym poszukiwane jest maksimum zysku detalisty z uwzględnieniem najistotniejszych ograniczeń w handlu: ilości dostępnego...
-
Integrated protection/restoration in survivable multilayer architectures
PublicationArtykuł przedstawia nową koncepcję projektowania wielowarstwowych architektur sieci przeżywalnych, wykorzystującą informację międzywarstwową do zabezpieczania odtwarzania na wypadek pojedyńczej awarii węzła lub łącza w sposob zapobiegający propagacji awarii. Oryginalne zadanie optymalizacji całej zintegrowanej architektury przeżywalnej sformułowano jako zadanie programowania całkowitego. Jest ono NP-zupełne i zaproponowano algorytm...
-
Ośrodki Leczenia Uzależnień - Programowanie i Projektowanie
PublicationProblematyka projektowania i programowania współczesnych ośrodków leczenia uzależnień jest wyzwaniem dla architektów. Nastał właściwy czas dla powstawania nowych, w pełni skutecznych, funkcjonalnie dopracowanych modelowych ośrodków leczenia i opieki nad osobami uzależnionymi. W związku z tym w niniejszym rozdziale zawarto opis zarysu modelowych koncepcji ośrodków leczenia uzależnień oraz zaprezentowano dwa przykłady projektów magisterskich...
-
Budowa 3-osiowej maszyny frezującej CNC, wraz z doborem parametrów regulatorów w torach sterowania serwomechanizmów
PublicationW pracy przedstawiono proces tworzenia stanowiska laboratoryjnego - maszyny frezującej CNC, której osie poziome napędzane są poprzez serwomechanizmy, zaś oś pionowa napędzana jest przez silnik skokowy. Budowę stanowiska kończy proces programowania maszyny, wraz z doborem parametrów regulatorów w torach sterowania serwomechanizmów. W tym celu zostały wykorzystane kryteria: Hurwitza oraz optimum symetrii. Rezultaty strojenia regulatorów...
-
Wzorce identyfikacji ryzyka w projektach informatycznych
PublicationArtykuł prezentuje systematyczne podejście do identyfikacji ryzyka w projek-tach informatycznych, oparte na wzorcach ryzyka. Podejście zakłada jawne mo-delowanie rozważanego obszaru biznesowego, co pozwala na kontrolę zakresuidentyfikacji i zapewnia kompletność analiz. W artykule zastosowano to po-dejście wykorzystując RUP jako model odniesienia dla procesów wytwarzania o-programowania. Następnie omówiono eksperyment, w którym...
-
Komputerowy system pomiarowy do diagnostyki łożysk
PublicationW artykule przedstawiono komputerowy system do diagnostyki łożysk silników indukcyjnych metodą pomiaru i analizy mocy chwilowej pobieranej przez badane maszyny. Do realizacji oprogramowania systemu pomiarowego wybrano środowisko programowania w języku graficznym LabVIEW. Opracowane oprogramowanie umożliwia analizę, archiwizację i wizualizację danych uzyskanych z pomiarów mocy chwilowej, pobieranej przez badane silniki indukcyjne,...
-
Zarządzanie procesem innowacyjnym w polskich małych i średnich przedsiębiorstwach
PublicationZarządzanie procesem innowacyjnym stanowi wyzwanie dla menedżerów, nie tylko dużych przedsiębiorstw. Przedsiębiorcy stają przed problemem czy i jakie działania przed-sięwziąć, aby efektywnie konkurować na rynku. Poziom innowacyjności polskich małych i średnich przedsiębiorstw nie świadczy dobrze o sposobie zarządzania procesem innowacyjnym. Jednak w nowym okresie programowania pojawią się środki przeznaczone na wdrożenia w firmach....
-
Zdolni z Pomorza 2016/17 - Java i Android - podstawy programowania
e-Learning Courses -
Techniki Programowania w systemach wbudowanych semestr letni 2020/2021, projekt
e-Learning Courses -
Oprogramowanie Pomiarowe i Sterujące
e-Learning CoursesNauka programowania w środowisku LabVIEW
-
Podstawy Informatyki dla kierunku projektowanie Jachtów
e-Learning CoursesPodstawy programowania w języku Python
-
SDL i prosty scheduler - zastosowania.
PublicationRozdział przedstawia uzupełnienia, usprawnienia i zastosowania prostego schedulera zaproponowanego w [1]. Podstawowym uzupełnieniem jest powiązanie funkcji schedulera z językiem specyfikacji protokołów telekomunikacyjnych SDL [2]. Pokazano na czym polega problem w odmierzaniu czasu w ''procesach'' obsługiwanych przez scheduler oraz istotne ograniczenia mechanizmu odmierzania czasu w systemach warstwowych. Zaproponowano rozwiązania...
-
Optimal input design using sensitivity criterion for parametric identification of pharmacokinetic models
PublicationPrzedstawiono identyfikację parametryczną kompartmentowych modeli SISO zmiennych stanu systemów farmakokinetycznych. Struktura modelu formułowana jest na podstawie wiedzy a priori. Początkowe estymaty parametrów obliczane są w oparciu o pomiary zgromadzone w eksperymencie intuicyjnym. Na ich podstawie projektowane jest pobudzenie optymalne, które zapewnia najlepszą dokładność estymat parametrów. Przedstawiono optymalizację czułościową...
-
Optimal inputs in pharmacokinetics model's identification
PublicationW pracy przedstawiono zagadnienie optymalizacji pobudzeń dla identyfikacji parametrycznej kompartmentowych modeli zmiennych stanu SISO systemów farmakokinetycznych. Zaimplementowano kryterium w postaci śladu macierzy informacyjnej Fishera (kryterium czułościowe). Rozważono klasę pobudzeń dopuszczalnych o ograniczonej energii, gdyż w przypadku wielu leków zbyt szybkie ich podawanie wiąże się z występowaniem skutków ubocznych. Zadanie...
-
Symulator Sym-PS4 sterownika programowalnego PS4-201-MM1
PublicationW pracy przedstawiono opis opracowanego programowego symulatora Sym-PS4 sterownika programowalnego PS4-201-MM1. Symulator umożliwia tworzenie i testowanie programów sterowania napisanych dla samego sterownika, jak również programów napisanych dla sterownika z dołączonymi do niego modułami rozszerzenia lokalnego LE4. Symulator posiada możliwość dołączania do niego tworzonych modeli sterowanych obiektów i pozwala na symulację działania...
-
Measurement of pulse signal period from incremental encorder by counters of Multifunctuin DAQ devices.
PublicationW artykule omówiono parametry liczników znajdujących się na wielofunkcyjnych kartach akwizycji sygnałów pomiarowych. Przedstawiono przygotowane w środowisku programowania Lab VIEW aplikacje wykorzystujące te liczniki. Służą one do pomiaru i rejestracji długości zadanej liczby okresów mierzonego sygnału oraz liczby okresów uzależnionej od ich długości (metoda zliczania zależnego z wydłużonym czasem pomiaru). Aplikacje te zostały...
-
Simultaneous Optimization of Unicast and Anycast Flows and Replica Location in Survivable Optical Networks
PublicationDotychczasowe prace z zakresu ochrony sieci przed awariami dotyczyły przypadku transmisji unicast. W niniejszym artykule rozważamy problem ochrony transmisji anycast (jeden-do-jednego-z-wielu). Jako wariant ochrony stosujemy podejście pojedynczej ścieżki zabezpieczającej (ang. path protection), chroniącej przed awarią pojedynczego węzła.Wprowadzono nowe modele programowania całkowitoliczbowego optymalnego znajdowania tras oraz...
-
Model ontologiczny referencyjnego problemu planowania misji inspekcyjnych
PublicationRozważany problem doboru, alokacji i planowania działań grupy robotów inspekcyjnych w środowisku pomieszczeń zamkniętych sformułowany został w modelu deklaratywnym. Zaproponowany model definiowany przez zbiór zmiennych decyzyjnych charakteryzujących środowisko pomieszczeń zamkniętych z nieruchomymi i poruszającymi się przeszkodami a także flotę robotów mobilnych oraz zbioru ograniczeń wiążących te zmienne, wyrażany jest w postaci...