Filtry
wszystkich: 1825
-
Katalog
- Publikacje 1175 wyników po odfiltrowaniu
- Czasopisma 1 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 133 wyników po odfiltrowaniu
- Wynalazki 5 wyników po odfiltrowaniu
- Projekty 16 wyników po odfiltrowaniu
- Laboratoria 7 wyników po odfiltrowaniu
- Zespoły Badawcze 19 wyników po odfiltrowaniu
- Aparatura Badawcza 12 wyników po odfiltrowaniu
- Kursy Online 427 wyników po odfiltrowaniu
- Wydarzenia 11 wyników po odfiltrowaniu
- Dane Badawcze 18 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: KOMPUTEROWY SYMULATOR
-
Rozpoznawanie ruchów i gestów wykonywanych ustami w obrazie wizyjnym z użyciem sieci neuronowych
PublikacjaUstomysz jest interfejsem komputerowym, umożliwiającym sterowanie kursorem ekranowym za pomocą ruchów ust i gestów wykonywanych ustami. Główną grupą docelową użytkowników interfejsu są osoby, które z dowolnego powodu nie mogą lub nie chcą posługiwać się tradycyjną klawiaturą i myszką komputerową. W związku z tym, może on umożliwić osobom niepełnosprawnym ruchowo, np. z niedowładem kończyn posługiwanie się komputerem, a przez to...
-
Evaluating Security and Resilience of Critical Networked Infrastructures after Stuxnet
PublikacjaThe chapter presents the current configuration of the simulation environment for the evaluations of the security and resilience of critical networked infrastructures, which enables simulations of Stuxnet-like attacks. The configuration includes new features added to the MAlSim - Mobile Agent Malware Simulator after the advent of Stuxnet in reference to the experiments aiming at the security evaluation of a power plant which we...
-
Modelowanie i badania doświadczalne implantów stosowanych w operacjach laparoskopowych
PublikacjaW pracy przedstawiono problemy modelowania implantów wszczepianych do powięzi w czasie operacji przepuklin brzusznych. Zastosowano metodę elementów skończonych w implementacj komputerowej systemu MSC.Marc.Wyniki symulacji komputerowej porównano z wynikami badań doświadczalnych implantu połączonego z powięzia zszywkami, które przeprowadzono w specjalnej, szczelnej komorze. Badany układ implant-powięź poddany był działaniu impulsowego...
-
Biodegradowalność substytutów ropy naftowej w symulacji likwidacji rozlewów olejowych
PublikacjaUsuwanie rozlewów olejowych nadal pozostaje wyzwaniem technicznym i technologicznym. Komputerowa symulacja rozlewów olejowych rozwija się intensywnie, lecz mimo to dużym ograniczeniem jest brak danych doświadczalnych, koniecznych do weryfikacji modeli teoretycznych.
-
Ocena niepewności pomiaru współczynnika zawartości harmonicznych.
PublikacjaPrzedstawiono metodę szacowania niepewności pomiaru współczynnika zawartości harmonicznych wyznaczanego w komputerowym systemie pomiarowym. Tą wielkość scharakteryzowano rozszerzoną niepewnością pomiarową uwzględniając występowania dwóch podstawowych składników determinujących niedokładności pomiarów.Przeprowadzono rozważania o niepewnościach standardowych z uwzględnieniem składowej systematycznej i losowej błędów pomiarowych...
-
Bogdan Wiszniewski prof. dr hab. inż.
OsobyBogdan Wiszniewski ukończył studia na Politechnice Gdańskiej w 1977 r. uzyskując tytuł zawodowy magistra inżyniera elektroniki, specjalności automatyka i informatyka. W 1984 r. uzyskał stopień naukowy doktora nauk technicznych, w 1998 r. doktora habilitowanego, a w 2006 r. tytuł profesora. Wykładał na uniwersytetach w Kanadzie, Stanach Zjednoczonych i Wielkiej Brytanii. Był głównym wykonawcą lub koordynatorem kilkunastu krajowych...
-
Michał Wójcik mgr inż.
Osoby -
Hammed Adeleye Adeleye Mojeed
Osoby -
Wpływ internetu na percepcję wiarygodności informacji.
PublikacjaDzięki szybkiemu rozwojowi technologicznemu Internet jest powszechnie dostępny i stał się obok prasy, radia i telewizji, nowym medium komunikacji masowej, postrzeganym przez użytkowników jako nowe, atrakcyjne źródło pozyskiwania informacji.Z dotychczasowych, klasycznych badań wynika bezpośrednia zależność między oceną źródła informacji a percepcją jej wiarygodności. Najnowsze badania, dotyczące komunikacji przy użyciu sieci komputerowych,...
-
Quality evaluation of computer aided information retrieval from machine typed paper documents
PublikacjaCelem międzynarodowego projektu memorial jest wspomagane komputerowo rozpoznawanie maszynopisów. Referat prezentuje zagadnienie pomiaru jakości takiego procesu. Wskazano w nim potencjalne miejsca pojawiania się błędów oraz przedstawiono i sklasyfikowano odpowiednie miary.
-
Mathematical model and numerical calculations of the pelagic trawl system
PublikacjaW pracy przedstawiono matematyczny model ruchu środka ciężkości zestawu do trałowania pelagicznego wraz z wyznaczaniem jego parametrów geometrycznych. Pokazano także sposób rozwiązania i przykładowe wyniki obliczeń numerycznych. Opracowany program komputerowy może być wykorzystywany do wyznaczania optymalnych parametrów pracy dla zapewnienia bezpiecznych, efektywnych i ekologicznych połowów pelagicznych
-
Adaptive acoustic crosstalk cancellation in mobile computer device
PublikacjaThe cancellation of acoustic crosstalk is employed to enhance the stereo image in mobile listening conditions. A practical setup employing a mobile computer is employed. The adaptation of the crosstalk cancellation filter to the position of the listener's head is featured. The measurement evaluating the possibility of practical application of the method are described. The head and torso simulator was used for measurements. The...
-
Bezpieczeństwo funkcjonalne i ochrona informacji w obiektach i systemach infrastruktury krytycznej – wymagania i kryteria
PublikacjaNiniejsza praca poświęcona jest zagadnieniom zarządzania bezpieczeństwem funkcjonalnym w cyklu życia z uwzględnieniem norm międzynarodowych PN-ENIEC 61508 i PN-ENIEC 61511 oraz zarządzaniu bezpieczeństwem informacji w systemach i sieciach komputerowych w nawiązaniu do wytycznych OECD i wymagań normy PN-ISO/IEC 27001. Rozważa się przykłady skupionych i rozproszonych sieci komputerowych pełniących funkcje monitorowania, sterowania...
-
Współczesne techniki projektowania [Rozdział 11.1-11.3, 11.9]
PublikacjaOpisano komputerowe pakiety wspomagające planowanie transportu, prognozowanie ruchu.Przedstawiono historię rozwoju projektowania z komputerem oraz możliwości wykorzystania komputera w procesie planistyczno-projektowym oraz metody prognozowania ruchu. Przedstawiono również klasyfikację modeli systemów transportowych.
-
Displacement control in PWK-type pumps
PublikacjaW referacie zaprezentowano konstrukcję mechanizmu sterowania wydajnością zastosowanego w pompach z rozrządem krzywkowym typu PWK. Przedstawiono wyniki wstępnych badań prototypu PWKZ-78 oraz komputerową analizę zjawisk zachodzących w komorze cylindrowej pompy.
-
Robert Aranowski dr inż.
Osoby -
Projekt niezawodnej sieci Ethernet dla Radia Gdańsk
PublikacjaW referacie określono wymagania niezawodnościowe sieci komputerowej wspierającej transmisję dźwięków i wiadomości w Regionalnej Rozgłośni Radiowej (MTBF rzędu kilku lat). Przedstawiono elementy analizy niezawodności sieci i dla typowych wartości parametrów urządzeń (MTBF kilka lat), połączeń (MTBF kilkanaście lat) i struktur sieci Ethernet, określając średni czas między awariami sieci. Wykazano konieczność wprowadzenia elementów...
-
Konwertery mocy - 2023
Kursy OnlineKurs składa się z 15 godzinnego wykładu oraz 15 godzinnego laboratorium. Omawiane są najważniejsze zagadnienia dotyczące obwodów zasilających. Na wykładzie omawiane są: podstawowe konfiguracje konwerterów, zasada działania, ważniejsze parametry oraz sposób analizowania i projektowania. W laboratorium wykonywane są dwa rodzaje ćwiczeń. W ćwiczeniach sprzętowych bada się konwertery i dokonuje pomiarów ważniejszych parametrów . W...
-
Modelling electrical machines using bond graphs for mechatronics system applications.
PublikacjaW artykule przedstawiono modelowanie maszyn elektrycznych metodą grafów wiązań dla potrzeb mechatroniki. Omówiono ogólne założenia modelowania maszyn elektrycznych w ujęciu grafów wiązań, bazującego na modelach wzorcowego sprzężenia transformatorowego i elektromechanicznego. Wykorzystując modele tych sprzężeń przedstawiono w ujęciu grafów wiązań model maszyny indukcyjnej w układzie współrzędnych naturalnych stojana. Model opracowano...
-
Double-ridged horn antenna with sinusoidal ridge profile
PublikacjaPrzedstawiono wyniki symulacji numerycznej oraz pomiarów parametrów anteny tubowej z podwójnym grzbietem. Badania numeryczne dotyczyły zarówno samego układu zasilania falowodu grzbietowego jak i całej anteny z uwzględnieniem sinusoidalnego profilu impedancji grzbietu. Wyniki obliczeń dopasowania oraz charakterystyk promieniowania, wykonanych przy użyciu symulatora QW-3D, porównano z wynikami pomiarów, stwierdzając dobrą zgodność...
-
Modelowanie falownika napięcia z quasi-rezonansowym obwodem pośredniczącym
PublikacjaW 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ą...
-
Toward Intelligent Vehicle Intrusion Detection Using the Neural Knowledge DNA
PublikacjaIn this paper, we propose a novel intrusion detection approach using past driving experience and the neural knowledge DNA for in-vehicle information system security. The neural knowledge DNA is a novel knowledge representation method designed to support discovering, storing, reusing, improving, and sharing knowledge among machines and computing systems. We examine our approach for classifying malicious vehicle control commands...
-
Optyczne techniki przetwarzania informacji.
PublikacjaWykorzystanie promieniowania optycznego w procesie przetwarzania informacji pozwoli na budowę komputerów o mocy przetwarzania o wiele rzędów wielkości większej od od najpotężniejszych komputerów elektronicznych używanych teraz i w przyszłości. Proces optycznego przetwarzania może być analogowy lub cyfrowy. Przykładem obecnego wykorzystania optycznego przetwarzania informacji są systemy do przetwarzania sygnałów cyfrowych o...
-
Wojciech Wyrzykowski dr hab.
OsobyWojciech Wyrzykowski jest pracownikiem Katedry Finansów na Wydziale Zarządzania i Ekonomii Politechniki Gdańskiej. Jest autorem 70 publikacji naukowych w tym 5 monografii oraz współautorem 7 monografii. Najistotniejsze z nich oddające zainteresowania naukowe autora to m.in.: Podatkowe uwarunkowania rozwoju przedsiębiorczości w Polsce, Podatki w Polsce – zarys wykładu, Księgi, ewidencje i rejestry podatkowe małych przedsiębiorców,...
-
Krystyna Dziubich mgr inż.
Osoby1996 r ukończone jednolite dzienne studia magisterskie na WETI, kierunek Informatyka; Specjalność: Informatyczne zarządzanie przedsiębiorstwem (WETI); 1996-2005 zatrudnienie z przemyśle, w zawodzie informatyk jako specjalista analityk w Departamencie Rozwoju Systemów Zarządzania; od roku 2005 - asystent, a następnie wykładowca PG WETI KASK; Wieloletnie zaangażowanie w opracowywanie i prowadzenie zajęć dydaktycznych na Studiach...
-
Jakub Jabłoński inż.
OsobyWykształcenie Jakub Jabłoński w roku 2016 ukończył XX Liceum Ogólnokształcące im. Zbigniewa Herberta w Gdańsku (klasa o profilu matematyczno-fizyczno-informatycznym). Od 2017 rozpoczął studia I stopnia na kierunku Geodezja i Kartografia na Wydziale Inżynierii Lądowej i Środowiska Politechniki Gdańskiej, które w 2021 roku zakończył otrzymując tytuł inżyniera. W trakcie studiów brał czynny udział w Kole Naukowym Hevelius. Zatrudnienie Około...
-
A computer-based training program : Refrigerating Plant as an example of recent didactic means in maritime engineering education
PublikacjaW referacie przedstawiono możliwości kształcenia prowadzonego w oparciu o program komputerowy typu cbt - Chłodnia Prowiantowa. Omówiono jego strukturę i zawartość merytoryczną. Przedstawiono sposób oceny osoby szkolonej wykorzystującej ten program. Wskazano na korzyści płynące z zastosowania programów tego typu w kształceniu mechaników okrętowych. Materiał bogato ilustrowano przykładami ekranów z prezentowanego programu.
-
Controlling w zintegrowanych systemach zarządzania przedsiębiorstwem
PublikacjaW artykule przedstawiono problematykę wdrożenia aplikacji wspomagających controllera w przedsiębiorstwie. Zwrócono uwagę na problem integracji wspomaganego komputerowo systemu controllingu z pozostałymi systemami informacyjnymi przedsiębiorstwa. Omówiono także metodykę wyboru aplikacji i jej wdrożenia w przedsiębiorstwie.
-
Modelowanie maszyn synchronicznych w ujęciu grafów wiązań
PublikacjaW pracy przedstawiono w sposób jednolity modelowanie maszyn synchronicznych (MS) metodą grafów wiązań (GW) dla potrzeb symulacji szeroko pojętych systemów energetycznych i systemów napędowych, w szczególności systemów o naturze hybrydowej. Omówiono ogólne założenia modelowania MS w oparciu o koncepcję dwóch sprzężeń podstawowych - wzorcowego sprzężenia transformatorowego i wzorcowego sprzężenia elektromechanicznego. Model MS opracowano...
-
Performance optimization of continuous-time OTA-C filters.
PublikacjaW pracy przedstawiono analityczne podejśćie do optymalizacji właściwości filtrów OTA-C czasu ciągłego. Zaprezentowano efektywne metody analizy zniekształceń nieliniowych i szumów dla dowolnego filtru OTA-C wykorzystując ogólny model oparty na opisie macierzowym. Rezultaty teoretyczne odnoszące się do kaskadowego filtru typu Butterwotha były weryfikowane na drodze porównawczej z wynikami otrzymanymi na poziomie ''Transistor-Level''...
-
Analysis and simulation of the reliable multicast protocol.
PublikacjaArtykuł przedstawia badania dotyczące protokołu grupowego porządkowania wiadomości-RMP. Opisana została podstawowa idea algorytmów działania protokołu oraz jego najważniejsze własności. Ponadto został on zimplementowany jako część symulatora protokołów komunikacji grupowej. Wyniki badań i dogłębna analiza mechanizmów działania protokołu pozwoliła na wprowadzenie szeregu modyfikacji w stosunku do oryginalnej specyfikacji,...
-
Pakiet oceny bezpieczeństwa systemów informacyjnych.
PublikacjaOpracowano koncepcję oceny bezpieczeństwa w skali 6-cio poziomowej, umożliwiającej lokalizację mechanizmów zabezpieczeń w różnych warstwach architektury systemu, a także różnych procedur reagowania w przypadku naruszenia bezpieczeństwa. Przedstawiono założenia logiki rozmytej oraz diagram przejść stanów, przydatne do badania reakcji systemu na tzw. testy penetracyjne. Podano architekturę symulatora środowiskowego do oceny różnych...
-
Influence analysis of selected parameters on the ASON/GMPLS control plane performance
PublikacjaThe paper regards the problem of ASON/GMPLS performance. The authors present influence analysis of selected parameters on the ASON/GMPLS control plane performance represented in mean Connection Set-up Time E(CST) and mean Connection Release Time E(CRT). The selected parameters are: offered traffic, request intensity and proportion of requests class. The influence analysis is performed with simulation method by using OMNeT++ discrete-event...
-
QoS Resource Reservation Mechanisms for Switched Optical Networks
PublikacjaThe paper regards the problem of resource reservation mechanisms for Quality of Service support in switched optical networks. The authors propose modifications and extensions for resources reservation strategy algorithms with resources pools, link capacity threshold and adaptive advance reservation approach. They examine proposed solutions in Automatically Switched Optical Network with Generalized Multi-Protocol Label Switching...
-
ANALIZA ZANIKÓW SZYBKOZMIENNYCH W RADIOWYCH SIECIACH BAN PRACUJĄCYCH W REWERBERACYJNYM ŚRODOWISKU PROPAGACYJNYM
PublikacjaW referacie przedstawiono badania i analizę zaników szybkozmiennych występujących w sieciach BAN, pracujących na częstotliwości 2,45 GHz w środowisku zamkniętym o kształcie cylindrycznym z metalowymi ścianami. Badania przeprowadzono przy użyciu symulatora zweryfikowanego pomiarowo. Uzyskane wyniki wskazują, że w analizowanym środowisku propagacyjnym zaniki szybkozmienne można modelować przy pomocy rozkładu Rayleigha, nawet w przypadku...
-
Modelowanie maszyn synchronicznych w ujęciu grafów wiązań
PublikacjaW referacie przedstawiono w sposób jednolity modelowanie maszyn synchronicznych (MS) metodą grafów wiązań (GW) dla potrzeb symulacji szeroko pojętych systemów energetycznych i systemów napędowych, w szczególności systemów o naturze hybrydowej. Omówiono ogólne założenia modelowania MS w oparciu o koncepcję dwóch sprzężeń podstawowych - wzorcowego sprzężenia transformatorowego i wzorcowego sprzężenia elektromechanicznego. Model MS...
-
Propagacja fali wzdłużnej w pręcie z peknięciem poprzecznym.
PublikacjaW pracy przedstawiono model oraz wyniki symulacji komputerowych ilustrujace wpływ peknięcia poprzecznego na zmiany w propagacji fali wzdłużnej.
-
A Perspective on Fast-SPICE Simulation Technology
PublikacjaThis chapter presents an introduction to the area of accelerated transistor-level (‘fast-SPICE’) simulation for automated verification and characterization of integrated circuits (ICs) from technologist’s perspective. It starts with outlining goals, expectations and typical usage models for fast-SPICE simulators, stressing how they differ from regular SPICE tools. It continues with presenting and classifying core technologies typically...
-
Zdalna realizacja zajęć w laboratoriach radiokomunikacyjnych
PublikacjaReferat zawiera opis założeń i budowy dwóch zestawów narzędzi do zdalnej realizacji zajęć laboratoryjnych, wykonanych w laboratoriach Politechniki Gdańskiej: zestaw symulatorów w postaci interaktywnych stron www oraz system zdalnego dostępu do sprzętowych stanowisk laboratoryjnych.
-
Zastosowania konsoli haptycznej do sterowania robotem medycznym
PublikacjaW pracy przedstawiono wykorzystanie konsoli haptycznej Omega 7 do sterowania robotem KUKA LWR 4+ z zamontowanym uchwytem igły punkcyjnej. Manipulator KUKA zastosowano do usuwania usznopochodnego ropnia mózgu. W pierwszej części pracy przedstawiono prosty symulator, w którym do przeprowadzenia iniekcji w wirtualny ropień mózgu oraz pobrania płynu z jego wnętrza zastosowano konsolę haptyczną Omega 7. W dalszej części pracy przedstawiono...
-
Wykorzystanie metody sztucznych baz w pomiarach wydajności obróbki ściernej w regeneracji
PublikacjaPrzedstawiono metodę pomiaru ubytku liniowego docieranych elementów. W badaniach wykorzystano bazowe odciski Vickersa wykonane na stalowych próbkach kontrolnych. Pomiary przekątnych odcisków przeprowadzono przy pomocy mikroskopu stereoskopowego i kamery CCD, sprzężonej z programem komputerowym MultiScan v6.08.
-
Programy do kosztorysowania [Rozdział 11.8]
PublikacjaWażnym elementem w procesie projektowania węzłów drogowych jest ocena kosztów inwestycji. Jest to zajęcie trudne i czasochłonne, jednakże pojawienie się odpowiedniego oprogramowania znacznie przyspieszyło ten proces. Obecnie technika komputerowa niemal całkowicie wyparła tradycyjne sposoby sporządzania kosztorysów.
-
Impeller pump development using rapid prototyping methods
PublikacjaMetody szybkiego prototypowania przy wspomaganiu komputerowym projektowania 3D wraz z systemami wspomagania inżynierskiego pozwalają uzyskać wyrób o prognozowanych właściwościach technologicznych i użytkowych.W artykule przedstawiono studium przypadku zastosowania metod szybkiego prototypowania w rozwoju elementów pomp wirowych.
-
Architektura systemu Comcute
PublikacjaPrzedstawiono architekturę systemu Comcute realizującego masywne przetwarzanie rozproszone wykorzystujące powszechny wolontariat użytkowników komputerów w sieciach rozległych.
-
Obliczanie niepewności pomiarów z wykorzystaniem interaktywnej bazy danych.
PublikacjaW przypadku analizy dokładności opartej o teorię niepewności można zredukować czas związany z procesami obliczeń i generacji raportów czy świadectw wzorcowania, a także uchronić się przed skutkami ewentualnych błędów w obliczeniach stosując odpowiedni program komputerowy. W referacie przedstawiono zagadnienie obliczeń niepewności oraz przykładowe rozwiązanie problemu obliczeń niepewności przy wzorcowaniu oparte o interaktywną bazę...
-
Mobilny system do detekcji obiektów ferromagnetycznych z magnetometrami pompowanymi optycznie
PublikacjaPrzedstawiono mobilny system do detekcji obiektów ferromagnetycznych. Każdy obiekt ferromagnetyczny zaburza w swoim otoczeniu równomierność pola magnetycznego Ziemi. Zaburzenie to może być zmierzone za pomocą precyzyjnych magnetometrów. W prezentowanym mobilnym systemie zastosowano magnetometry pompowane optycznie pracujące w układzie różnicowym. W pracy opisano magnetometryczny system do detekcji obiektów ferromagnetycznych, program...
-
Wyróżniki modelu biznesu przedsiębiorstwa inteligentnego
PublikacjaBurzliwa zmiana środowiska biznesowego wpływa na ludzi tak, że generują oczekiwania na wyroby i usługi zaspokajające ich dotychczasowe i nowe potrzeby w coraz większym stopniu. W ten sposób przed menedżerami powstają wciąż nowe, bardziej skomplikowane i wysublimowane wymagania. W takich uwarunkowaniach prowadzenia biznesu sukces osiąga to przedsiębiorstwo, które jest inteligentne. W takiej perspektywie celem badań było wyłonienie...
-
Wybrane stany przejściowe w trakcyjnym układzie zasilania i ich wpływ na energoelektroniczne pojazdy sieciowe
PublikacjaPostęp w dziedzinie energoelektroniki i techniki komputerowej spowodował, że jest eksploatowanych coraz więcej pojazdów trakcyjnych z napędem przekształtnikowym. Pojazdy sieciowe są zazwyczaj wyposażone w: filtry wejściowe LC tłumiące tętnienie prądu, przekształtniki impulsowe przetwarzając w energię prądu stałego na trójfazową prądu przemiennego zasilającą silniki indukcyjne oraz sterowniki komputerowe realizujące algorytmy sterowania...
-
Nadzorowanie drgań przy frezowaniu szybkościowym smukłymi narzędziami ze zmienną prędkością obrotową.
PublikacjaPraca dotyczy nadzorowania drgań samowzbudnych typu chatter podczas frezowania szybkościowego z wykorzystaniem zmiennej prędkości obrotowej wrzeciona. Opracowano model obliczeniowy procesu jak też przeprowadzono badania symulacyjne z wykorzystaniem programów komputerowych oraz doświadczalną weryfikację uzyskanych wyników. Omówiono problematykę drgań samowzbudnych typu chatter w procesie frezowania szybkościowego. Następnie przedstawiono...
-
URANIUM Technologie komputerowe i narzędzia matematyczne w kształceniu przyszłych inżynierów
ProjektyProjekt realizowany w Zakład Równań Różniczkowych i Zastosowań Matematyki zgodnie z porozumieniem DEC-5/URANIUM/2023 z dnia 2023-03-13