Zakład Metod Matematycznych

Informacja o cookies!

Nasza strona internetowa używa plików cookies (tzw. ciasteczka) w celach statystycznych, reklamowych oraz funkcjonalnych. Dzięki nim możemy indywidualnie dostosować stronę do Twoich potrzeb. Każdy może zaakceptować pliki cookies albo ma możliwość wyłączenia ich w przeglądarce, dzięki czemu nie będą zbierane żadne informacje

Przejdź do strony polityka prywatności

Opis zadań

W Zakładzie Metod Matematycznych realizowane są obecnie następujące zadania badawcze z zakresu fizyki oraz matematyki:

1) Framework do specyfikacji procesów biznesowych w Maude

Celem badania jest opracowanie frameworku w systemie przepisywania termów do specyfikacji i symulacji procesów biznesowych. W szczególności opracowany framework powinien wspierać metodologię artefaktów biznesowych. Częścią frameworku powinien być podsystem modelujący w efektywny sposób nieskończone maszyny stanów ze stanami reprezentowanymi przez instancje baz relacyjnych oraz język zapytań co najmniej równie ekspresyjny jak algebra relacyjna.

2) Framework do analizy i weryfikacji systemów CEP w Prologu

Celem badania jest stworzenie systemu do testowania i specyfikacji systemów CEP (complex event processing) w Prologu z wykorzystaniem programowania w logice z więzami oraz zawężania.

3) Układy supercałkowalne

Obiektem zainteresowania są klasyczne i kwantowe układy supercałkowalne (również o niestandardowych hamiltonianach). W szczególności badania dotyczą klasyfikacji układów supercałkowalnych w przestrzeniach dwuwymiarowych o stałej krzywiźnie.

W wyniku przeprowadzonych badań otrzymano nowe klasy układów supercałkowalnych. Podano metodę znajdowania całek ruchu dla układów opisywanych uogólnionym równaniem Hamiltona-Jacobiego, w którym energia pełni dodatkową rolę jednego z parametrów układu. Znaleziono zmienne kąt-działanie dla takich układów.

4) Teoriogrupowa analiza nierówności Bella

Celem badania jest konstrukcja i klasyfikacja nierówności Bella dla obserwabli generowanych przez działanie grup skończonych w przestrzeni stanów.

W wyniku przeprowadzonych badań otrzymano kryteria wyboru orbit grupowych w przestrzeni stanów generujących nierówności Bella łamane na poziomie kwantowym. W szczególności pokazano, że dla rzeczywistych reprezentacji grupy symetrii i wyborze jednej orbity nierówności Bella nie są łamane.

5) Związki między metrykami opisującymi fale grawitacyjne a konfiguracjami pola elektromagnetycznego

Celem badania jest analiza formalnych analogii między rozwiązaniami równań Einsteina i Maxwella, w szczególności zastosowania transformacji Niederera do tzw. double copy conjecture.

W wyniku przeprowadzonych badań otrzymano rozwiązania równań Maxwella należące do intensywnie badanej klasy rozwiązań z wirami.

6) Implementacja modeli emisji promieniowania rentgenowskiego z bezpośredniego otoczenia czarnych dziur i obiektów zwartych

W zadaniu implementowana jest rodzina modeli emisji promieniowania rentgenowskiego z dysków akrecyjnych. Modele będą wykorzystywane w celu wyznaczenia podstawowych parametrów fizycznych, i tym samym, własności fizycznych szeregu źródeł promieniowania X. Oczekuje się, że poprawny opis modelowy zastosowany do widm, zarówno uśrednionych jak i zmiennych w czasie, pozwoli na dokładne przebadanie i wyjaśnienie procesów fizycznych odpowiedzialnych za kształtowanie obserwowanych charakterystyk spektralnych.

7) Badanie K-teorii multipullbackowych nieparzystowymiarowych sfer kwantowych i zespolonych przestrzeni projektywnych

Celem badania jest zbadanie K-teorii multipullbackowych nieparzystowymiarowych sfer kwantowych i zespolonych przestrzeni projektywnych skonstruowanych z kostek Toeplitza, zarówno w wersji ze skręceniem jak i bez niego, i ich porównanie z klasycznymi odpowiednikami.

Dane kontaktowe

Zakład Metod Matematycznych

  • Pomorska 149/153 (Uniwersytet Łódzki, Wydział Fizyki i Informatyki Stosowanej, Zakład Metod Matematycznych, Sekretariat) pokój: B 325 90-139 Łódź
tel: 42-635-57-39 e-mail: www: https://wfi.uni.lodz.pl/wydzial/struktura/katedra-informatyki/zaklad-metod-matematycznych/

Skład osobowy

  • zdjęcie pracownika

    dr hab. Krzysztof Andrzejewski

    Pracuje w: Zakład Metod Matematycznych

    Wydział: Wydział Fizyki i Informatyki Stosowanej

    Zobacz profil
  • zdjęcie pracownika

    prof. dr hab. Cezary Gonera

    Pracuje w: Zakład Metod Matematycznych

    Wydział: Wydział Fizyki i Informatyki Stosowanej

    Zobacz profil
  • zdjęcie pracownika

    dr hab. Joanna Gonera

    Pracuje w: Zakład Metod Matematycznych

    Wydział: Wydział Fizyki i Informatyki Stosowanej

    Zobacz profil
  • zdjęcie pracownika

    prof. dr hab. Piotr Kosiński

    Pracuje w: Zakład Metod Matematycznych

    Wydział: Wydział Fizyki i Informatyki Stosowanej

    Zobacz profil
  • zdjęcie pracownika

    dr Michał Szanecki

    Pracuje w: Zakład Metod Matematycznych

    Wydział: Wydział Fizyki i Informatyki Stosowanej

    Zobacz profil
  • zdjęcie pracownika

    dr Bartosz Zieliński

    Pracuje w: Zakład Metod Matematycznych

    Wydział: Wydział Fizyki i Informatyki Stosowanej

    Zobacz profil