| |||
|
Menu
MASYW 2010 Wydział Matematyki i Informatyki UMK organizuje w dniach 19-23 lipca 2010 warsztaty naukowe MASYW 2010 w Tleniu nad Wdą. Temat warsztatów – Matematyczne metody modelowania i analizy systemów współbieżnych – rozumiemy luźno i szeroko. Zapraszamy do aktywnego udziału.
Organizacją warsztatów zajmuje się Zakład Lingwistyki Matematycznej i Teorii Współbieżności. Komitet programowy stanowią Edward Ochmański (UMK) i Wojciech Penczek (IPI PAN). Planujemy robocze wydanie streszczeń prezentowanych referatów (w języku polskim), przygotowane i rozdane uczestnikom przed konferencją. Planujemy też wydanie materiałów pokonferencyjnych, jako tom serii wydawniczej Instytutu Podstaw Informatyki PAN. Byłyby to pełne wersje (w języku angielskim) prac, prezentowanych na konferencji, zrecenzowane przez redaktorów tomu (Edward Ochmański i Wojciech Penczek). Imprezy towarzyszące umożliwią nawiązanie bliższych kontaktów naukowych i więzi międzyludzkich. Gdzie: Samotnia nad Wdą, Tleń (http://www.samotnia.eu) Kiedy: od 19 lipca (kolacja) do 23 lipca (obiad) Koszt: pełny koszt (udział+spanie+jedzenie) ~800 zł Uwaga: w związku z licznymi prośbami przesunęliśmy terminy zgłoszeń oraz przesłania streszczeń! BARDZO WAŻNE DATY:
Zapraszam, oczekuję na zgłoszenia (edoch@mat.umk.pl) Edward Ochmański
Tematyka grantu Matematyczne metody modelowania i analizy systemów współbieżnych
Uniwersytet Mikołaja Kopernika w Toruniu,
Celem projektu jest wykorzystanie istniejących i opracowanie nowych matematycznych metod opisu i badania różnych typów systemów współbieżnych i różnorodnych zjawisk, związanych z działaniem tych systemów. W skład projektu wchodzi pięć powiązanych ze sobą podtematów:
Scharakteryzujemy klasy bezgwiazdkowych języków słów i śladów, generowanych przez sieci Petriego. Zbadamy ślady nieskończone i ich reprezentacje rzutowe. Scharakteryzujemy topologicznie różne typy tzw. „uczciwości” procesów nieskończonych, modelowanych przez ślady nieskończone.
W ramach projektu zbadamy takie problemy algorytmiczne i decyzyjne jak: należenie do języka śladów, równość śladów, równoważność języków śladów, rozpoznawalność języków śladów, problem odpowiedniości Posta dla śladów itp.
Planowane są dokładne badania dotyczące występowania konfliktów w sieciach i opracowanie algorytmów sterujących bezkonfliktowym działaniem sieci. Innym zagadnieniem jest problem zapobiegania spiskom (działaniom systemu, prowadzącym do tzw. „zagłodzenia” pewnych jego fragmentów) i opracowanie algorytmów sterujących bezspiskowym działaniem systemów.
Formalna weryfikacja systemów czasu rzeczywistego jest bardzo ważnym zagadnieniem współczesnej informatyki. Weryfikacja modelowa jest jedną z najbardziej obiecujących i najszybciej rozwijających się metod formalnej weryfikacji. Zamierzamy opracować nowe metody weryfikacji dla sieci Petriego z czasem, w szczególności metodę automatycznej translacji metod opracowanych dla automatów czasowych na sieci Petriego z czasem. Podejmiemy próbę opracowania oryginalnej metody poszukiwania ataków dla protokołów kryptograficznych, opartej na metodzie parametrycznej weryfikacji modelowej, wykorzystującej tzw. SAT-solvery.
Podstawową cechą sieciowego (np. internetowego) przetwarzania informacji jest możliwość uzyskania efektów globalnych (obowiązujących w całej sieci) w wyniku działań lokalnych (między bezpośrednio połączonymi węzłami sieci). Zbadamy wpływ struktury sieci obliczeniowej na realizację postawionych celów globalnych. Planujemy konstrukcje algorytmów realizujących podstawowe cele globalne, bądź wykazanie ich nieistnienia (nierozstrzygalności pewnych problemów).
Podejmiemy próbę powiązania technik specyficznych dla każdego z tych podtematów, uzyskując w ten sposób w miarę jednolite spojrzenie na teorię współbieżności. Narzędziem wiążącym będzie, zainicjowana 30 lat temu przez Antoniego Mazurkiewicza, teoria śladów. Uważamy, że ta ciągle żywa i rozwijająca się dziedzina jest nadal nie w pełni wykorzystywana w badaniach algorytmicznych i złożonościowych problemów współbieżności czy w badaniach zachowań sieci Petriego (ogólniejszych niż sieci elementarne). Wydaje się też, że pewne aspekty zachowań sieci z czasem i obliczeń w sieciach procesorów można wyrażać i badać metodami teorii śladów. Jednym z celów projektu są poważniejsze badania w tym kierunku. Projekt umiejscowiony jest w UMK w Toruniu, a realizowany w ścisłej współpracy z Instytutem Podstaw Informatyki PAN. Wydaje się, że zespół wybitnych uczonych (3 z tytułem profesora), o uznanym w świecie dorobku naukowym, nadal aktywnych twórczo, wsparty kilkoma doktorami i grupą obiecującej młodzieży, gwarantuje powodzenie projektu. Uzyskane wyniki powinny być wartościowe teoretycznie, a także znaleźć zastosowanie w różnych gałęziach informatyki stosowanej oraz w praktyce obliczeniowej i projektowej. |
Wykonawcy grantu Kierownik grantu:
Główni wykonawcy grantu:
Inne osoby biorące udział w realizacji grantu:
Prace realizowane w ramach grantu Artykuły naukowe:
Referaty konferencyjne:
Inne:
Udział w konferencjach finansowany z grantu Konferencje międzynarodowe:
Konferencje krajowe:
| ||||
Ostatnio zmodyfikowane: czwartek, 06.05.2010, 14:20