Nasi naukowcy
strona w budowie
|
|
Tytuł projektu badawczego | Opis projektu badawczego | Okres realizacji | Źródło finansowania |
|
dr hab. Bożena Woźna-Szcześniak, prof. UJD (Wydział Nauk Ścisłych, Przyrodniczych i Technicznych) |
Nowe metody automatycznego sprawdzania poprawności otwartych wieloagentowych systemów czasu rzeczywistego. | Celem projektu jest opracowanie nowych modeli formalnych, języków specyfikacji oraz technik automatycznej weryfikacji dla otwartych systemów wieloagentowych czasu rzeczywistego, stosowanych m.in. w logistyce, inteligentnym transporcie, infrastrukturze krytycznej i rojach robotów. Badania obejmują tworzenie nowych języków logicznych oraz algorytmów sprawdzania własności takich systemów, z uwzględnieniem ograniczeń czasowych, zmiennej liczby agentów oraz złożonych interakcji między nimi. Projekt łączy logiki czasu, wiedzy, norm i zobowiązań z zaawansowanymi technikami symbolicznymi (SAT, SMT, diagramy decyzyjne), wykorzystywanymi w weryfikacji modelowej, która zapewnia matematyczne gwarancje poprawności działania systemów. W efekcie powstanie otwarte narzędzie weryfikacyjne, testowane na realistycznych scenariuszach, takich jak modele rojów robotów. Rezultaty badań obejmą nowe algorytmy, wyniki teoretyczne oraz narzędzie umożliwiające analizę systemów dotychczas uznawanych za zbyt złożone do formalnej weryfikacji. Projekt wesprze także kształcenie młodych naukowców, w tym realizację rozprawy doktorskiej. |
2026-2029 |
NCN OPUS 29 |
|
prof. dr hab. Małgorzata Makowska-Janusik (Wydział Nauk Ścisłych, Przyrodniczych i Technicznych) |
Projektowanie, charakterystyka oraz opis mechanizmów działania heterostrukturalnych materiałów półprzewodnikowych w układach fotokatalitycznych i ogniwach fotowoltaicznych uczulanych barwnikiem. | Planowane badania opierają się na hipotezie, że zastosowanie metod hydro-/solwotermalnych oraz mikrofalowych powinno umożliwić wytworzenie heterostrukturalnych materiałów półprzewodnikowych o ściśle określonej morfologii i właściwościach strukturalnych. Co więcej, biorąc pod uwagę specyficzne właściwości lantanowców, takie jak unikalne właściwości magnetyczne, optyczne i redoks, oczekuje się, że ich włączenie do struktury syntetycznych półprzewodników przełoży się na zwiększoną aktywność fotokatalityczną i fotowoltaiczną. Obliczenia chemii kwantowej zostaną wykorzystane na etapie projektowania w celu wsparcia procesu optymalizacji syntezy i modyfikacji. Ich wyniki mogą dostarczyć istotnych informacji niezbędnych do zrozumienia i przewidywania zmian strukturalnych będących następstwem procesu syntezy i modyfikacji nowej generacji materiałów heterostrukturalnych. Funkcjonalność otrzymanych materiałów zostanie najpierw zweryfikowana w testach fotokatalitycznych dotyczących degradacji wybranych organicznych zanieczyszczeń (modelowych i rzeczywistych). Kluczowym aspektem będzie ocena, czy powszechnie dostępne diody emitujące światło (LED) oraz światło słoneczne mogą stanowić alternatywę dla powszechnie stosowanych źródeł światła w fotokatalizie. Istotna będzie również analiza kinetyki oraz mechanizmu degradacji wybranych zanieczyszczeń w obecności wytworzonych materiałów fotoaktywnych. | 2025 – 2028 |
NCN OPUS 27 |
|
|
Data dodania: 03 lutego 2026