| 13.06.2003 Bożena Staruch | |||||||||||||||||||||||||||||
| (Wydział Matematyki i Informatyki Uniwersytetu Warmińsko-Mazurskiego w Olsztynie) | |||||||||||||||||||||||||||||
 |
Modele częściowe - wnioskowanie przez rozszerzenia |
||||||||||||||||||||||||||||
| Przedstawiam propozycje języka służącego do opisu i wnioskowania w sytuacjach, w których mamy do czynienia z niepełna informacją. Do prezentowania wiedzy fragmentarycznej służy model częściowy, to znaczy algebra częściowa z określonym na niej zbiorem relacji. Badam własności modeli częściowych przez odwołanie się do klasy ich rozszerzeń lub do klasy ich uzupełnień. Proponowany język uwzględnia sytuacje, gdy dane gromadzone są z różnych źródeł i nie wiadomo, w jaki sposób sa ze soba powiazane. Do opisu takich sytuacji posłuży rodzina modeli częściowych. Wszystkie własności wyrażam w klasycznym języku predykatów pierwszego rzędu, nie odwołując się do żadnego rodzaju spełniania częściowego. Głównym wynikiem pracy jest twierdzenie, wyróżniające w każdej niesprzecznej teorii zbiór zdań, którego konsekwencje pierwszego rzędu będą dokladnie teorią klasy uzupełnień jednoznacznie wyznaczonej rodziny modeli częściowych. Przedstawię również parę propozycji zastosowań w logikach nieklasycznych.
|
|||||||||||||||||||||||||||||
| 23.05.2003 Radosław Adamus | |||||||||||||||||||||||||||||
| (Katedra Informatyki Stosowanej Politechniki Łódzkiej) | |||||||||||||||||||||||||||||
|
Aspektowe bazy danych |
||||||||||||||||||||||||||||
| Celem referatu jest przedstawienie paradygmatu programowania zwanego Programowaniem Aspektowym (ang. Aspect Oriented Programming - AOP) oraz jego wpływu na dziedzinę baz danych. Podstawa tego paradygmatu jest możliwość modularyzacji (separacji) aspektów oprogramowania, np. synchronizacji, ochrony, itd. Aspekty cechują się tym, że popularne metody i narzędzia wytwarzania oprogramowania powodują rozproszenie dedykowanego im kodu w wielu modułach programu. Ze względu na nowość tej idei cechuje sie ona jeszcze niedojrzałością, która objawia się m.in: brakiem wypracowanej metodologii wytwarzania oprogramowania w duchu AOP, oraz brakiem wyraźnie określonej przydatności tej techniki dla programistów aplikacyjnych, do których należą programiści baz danych. W referacie zostanie przedstawione oryginalne podejście do programowania aspektowego w kontekście specjalnej organizacji baz danych. W podejściu tym wykorzystano idee dynamicznych ról obiektów oraz aktywnych baz danych.
|
|||||||||||||||||||||||||||||
| 9.05.2003 Maciej Frydler (IMM) | |||||||||||||||||||||||||||||
|
Szybkie wyświetlanie wokselowego drzewa ósemkowego
|
||||||||||||||||||||||||||||
| 25.04.2003 Maciej Szreter | |||||||||||||||||||||||||||||
|
VERICS - system weryfikacji automatów z czasem i programów w ESTELLE |
||||||||||||||||||||||||||||
| Podczas seminarium zostanie zaprezentowany opracowany w Zespole system Verics, umożliwiający weryfikację programów współbieżnych z czasem. Omówione zostaną najważniejsze części systemu: translator z Estelle do automatów z czasem, język pośredni, weryfikacja modelowa problemu osiągalności poprzez Ograniczoną Weryfikacje Modelową (tranlacja do SAT) oraz Splitting. Seminarium zakończy interaktywna demonstracja systemu.
|
|||||||||||||||||||||||||||||
| 21.03.2003 Łukasz Maśko | |||||||||||||||||||||||||||||
|
Szeregowanie zadań w systemach rekonfigurowalnych gron procesorów |
||||||||||||||||||||||||||||
| Szeregowanie zadań może być rozpatrywane jako przekształcanie grafu programu. Można wyszczególnić pewne operacje, które charakteryzują się lokalnością, to znaczy zastosowanie takiego przekształcenia do małego podgrafu całego programu nie powoduje konieczności zmian w innych jego miejscach. Operacje takie zostały nazwane operacjami atomowymi lub podstawowymi. Szeregowanie zadań może być następnie rozpatrywane jako aplikacja ciągu takich przekształceń do grafu programu w pewnym ustalonym porządku. Na seminarium zostaną przedstawione przykłady takich przekształceń oraz ich zastosowanie do szeregowania zadań w systemie z rekonfigurowalnymi gronami procesorów. Opis samej architektura zostanie krótko przypomniany na początku wraz z wynikami naszych ostatnich prac.
|
|||||||||||||||||||||||||||||
| 21.02.2003 Marcin Woliński | |||||||||||||||||||||||||||||
|
Komputerowa weryfikacja gramatyki Świdzińskiego |
||||||||||||||||||||||||||||
| Celem wystąpienia jest zdanie sprawy z postępu prac nad implementacją "Gramatyki formalnej języka polskiego" Marka Świdzińskiego. Na przykładzie wybranych reguł gramatyki (opisujących jedną z realizacji zdania elementarnego) postaram się przedstawić, jak trzeba było je przekształcić i o co uzupełnić, aby uzyskać działający program. Przewidziana jest także praktyczna prezentacja programu.
|
|||||||||||||||||||||||||||||
| 17.01.2003 Tomasz Nowak | |||||||||||||||||||||||||||||
|
Integracja usług sieciowych udostępnionych w Internecie w oparciu o technologię mobilbych agentów |
||||||||||||||||||||||||||||
| Na przykladzie kupowania towarow i uslug w Internecie zostanie przedstawione kompletne podejscie do tworzenia systemow agentowych, poczynajac od analizy zorientowanej agentowo, poprzez architekture agenta oraz protokol komunikacyjny, a konczac na implementacji na platformie agentowej.
|
|||||||||||||||||||||||||||||
| 20.12.2002 Łukasz Dębowski | |||||||||||||||||||||||||||||
|
Stochastyczny dezambiguator analiz morfoskładniowych
|
||||||||||||||||||||||||||||
| 13.12.2002 Hanna Kozankiewicz | |||||||||||||||||||||||||||||
|
Aktualizowane perspektywy w bazach danych |
||||||||||||||||||||||||||||
| Tematem seminarium bedzie omowienie nowego podejscia do aktualizowalnych, obiektowych perspektyw baz danych. Podejscie to oparte jest na podejsciu stosowym do jezykow zapytan (SBA), ktore zaklada opis semantyki w postaci abstrakcyjnej implementacji konstrukcji jezyka zapytan/programowania. Nowosc prezentowanego podejscia polega na tym, ze osoba definiujaca perspektywe ma mozliwosc wprowadzenia do jej definicji dowolnej informacji o intencji aktualizacji tej perspektywy. Informacja ta ma postac procedur, ktore dynamicznie przeciazaja generyczne operacje aktualizujace perspektywe. Podczas seminarium bede sie starala omowic korzysci wynikajace z nowego podejscia.
|
|||||||||||||||||||||||||||||
| 15.11.2002 Olaf Matyja (IPI PAN) | |||||||||||||||||||||||||||||
|
Dekompozycja tablicy kontyngencji na sumę dodatnio zależnych składników
|
||||||||||||||||||||||||||||
| 8.11.2002 Mikołaj Zmierczak (Poznań) | |||||||||||||||||||||||||||||
|
Przydział pasma na zadanie w sieciach teleinformatycznych za pomocą agenta typu reinforcement learning |
||||||||||||||||||||||||||||
| Przydział pasma na zadanie (Bandwidth on Demand - BoD) jest znana i szeroko oferowana w sieciach teleinformatycznych usługą, zwłaszcza w tych, wykorzystujących technologie SDH, UMTS, bądź tez technologie satelitarna. Efektywne rozwiązanie problemu przydziału pasma na zadanie pozwala użytkownikom sieci na redukcje kosztów, a operatorom na efektywniejsze wykorzystania pasma a co za tym idzie wyższą stopę zwrotu z inwestycji w posiadany sprzęt Algorytmy przydziału pasma na zadane są zaimplementowane w szerokiej gamie sprzętu teleinformatycznego, począwszy od urządzeń do transmisji satelitarnej do prostych, domowych routerów ISDN. Mimo swej powszechności, istniejące algorytmy rozwiązujące sterowanie przydziałem pasma maja szereg wad, z których największą jest ich statyczność: parametry pracy musza być ustawione przez administratora systemu; najczęściej metoda prób i błędów Każda zmiana natężenia ruchu (np. przez dodanie użytkowników, sprzętu, itp.), bądź też re-konfiguracja sieci, wymaga korekty parametrów. Rozwiązania, oparte o agentów korzystających z technik i algorytmów reinforcement learning (RL), nie maja tej wady - zdolne są do samo-uczenia oraz adaptacji do zmiennego środowiska działania Wyniki badań wskazują, ze zastosowane algorytmy RL dobrze nadają się do rozwiązania problemu BoD, a otrzymane rozwiązania są porównywalne z algorytmami stosowanymi dotychczas, nie wymagają jednak interwencji z zewnątrz
|
|||||||||||||||||||||||||||||
| 25.10.2002 Andrzej Sikorski (Politechnika Poznańska) | |||||||||||||||||||||||||||||
|
Rozszerzone Architektury Wielowarstwowe |
||||||||||||||||||||||||||||
Jednym z wyzwań, przed którym stoją obecnie twórcy systemów informatycznych, jest integracja istniejących rozwiązań sprzętowych i programowych w jedno otwarte i rozproszone środowisko kooperacyjnego systemu informatycznego [Nierstrasz,Coulson,Face,Scheb,Manola,Brodie]. Ogół środków technicznych mającym obsługiwać i wspomagać integrację rozproszonych składowych określa się mianem warstwy pośredniczącej (ang. middleware). Jest ona przedmiotem badań Architektur Oprogramowania (AO) - dziedziny informatyki, która stawia sobie za cel:
Dotychczasowe prace badaczy w obszarze AO preferują pierwszy z wymienionych kierunków [Coulson,Contreras,Blair,Szyperski]. W niniejszej pracy zostaną przedstawione argumenty na rzecz specjalizowanych architektur. Omówione zostaną techniki programowania pozwalające realizować na poziomie aplikacyjnym postulaty architektur: komponentowych, agentowych czy też kooperacyjnych [Sikor00a,Sikor02,Sikor02a]. Przedstawiona zostanie też metoda identyfikacji komponentów programowych na podstawie diagramów przepływu danych[Sikor99,Sikor00]. Podjęta zostanie próba wykazania, że nowoczesne architektury oprogramowania są wariantami architektury wielowarstwowej a sam obiektowy protokół komunikacyjny jest wystarczająco silnym środowiskiem implementacyjnym. W szczególności zaś, architektury tworzone ad-hoc są pełnoprawną metodą tworzenia aplikacji rozproszonych, mającą w uzasadnionych przypadkach przewagę nad architekturami ogólnego przeznaczenia. Nacisk w prezentacji jest położony na zagadnienia techniczne związane z integracją systemów z zastosowaniem protokołu obiektowego. Do prezentacji uzyskanych wyników wybrano protokół DCOM, zaś zaproponowana metoda identyfikacji komponentów opiera się na analizie grafu zależności pomiędzy funkcjami aplikacyjnymi, zasobami danych i stacjami roboczymi. Literatura
|
|||||||||||||||||||||||||||||
| 4.10.2002 Piotr Synak (PJWSTK) | |||||||||||||||||||||||||||||
|
Zastosowanie częściowej analizy lingwistycznej w procesie ekstrakcji informacji z tekstów języka naturalnego |
||||||||||||||||||||||||||||
| Tematyka seminarium zwiazana jest z zastosowaniem metod bazujacych na teorii zbiorow przyblizonych do analizy danych temporalnych, czyli takich, gdzie uniwersum obiektow jest uporzadkowane. W przypadku porzadku liniowego mozna powiedziec, ze obiekty sa mierzone w czasie, niemniej jednak bedziemy rozwazac rowniez przypadek porzadkow czesciowych. Wprowadzimy rowniez pojecie mapy informacji - struktury odzwierciedlajacej ten porzadek. Analiza danych temporalnych bedzie sprowadzona do problemu wyszukiwania wzorcow (w tym wzorcow temporalnych) w mapach informacji. Szczegolnym przypadkiem takich wzorcow jest pewne uogolnienie regul asocjacyjnych.
|
|||||||||||||||||||||||||||||