Zapraszamy wszystkich zainteresowanych na seminaria Zakładu Informatyki i Łączności. W trakcie cyklicznych
seminariów przedstawione zostaną problemy badawcze realizowane w zakładzie, a także omówione metody i narzędzia
informatyczne, wykorzystywane nie tylko w badaniach.
Celem seminariów jest nawiązanie szerszej współpracy z innymi zakładami, popularyzacja narzędzi informatycznych, a także
umożliwienie studentom rozwijania własnych zainteresowań z zakresu informatyki, owocujących pracami
dyplomowymi.
23.04.2012 r., godz. 14:00, sala 208 (ob. 02)
Stanisław Łazowy
Peculiarity mining - znajdowanie błędnych meldunków w systemie ewidencji zdarzeń(EWID)
Państwowej Straży Pożarnej.
Pdczas wystąpienia zostanie zaprezentowana koncepcja użycia technik Peculiarity mining w znajdowaniu
błędnych meldunków w systemie EWID.
Identyfikacja błędnych meldunków ma duże znaczenie przy
tworzeniu warstwy danych dobrej jakości systenu CLEWID.
Dodatkowo zostaną przedstawione wyniki prac związanych z projektami ZIŁ.
16.04.2012 r., godz. 14:00, sala 208 (ob. 02 A)
Andrzej Krauze
Projektowanie i ocena skuteczności działania wentylacji w przestrzeniach zagrożonych wybuchem w
oparciu o zasady wiedzy technicznej oraz przy wykorzystaniu numerycznej mechaniki
płynów.
Wytyczne do oceny skuteczności działania wentylacji przeciwwybuchowej, zostały zawarte w normie
PN-EN 60079-10-1:2009 Atmosfery wybuchowe. Część 10-1: Klasyfikacja przestrzeni. Gazowe atmosfery
wybuchowe. Jednakże podane w tym dokumencie zależności mają charakter przybliżony, w związku z tym
ciężko na ich podstawie ustalić czy zaprojektowana wentylacja będzie skutecznie likwidować atmosfery
wybuchowe w gąszczu aparatury znajdującej się w zakładzie. Okazuje się, że bardzo precyzyjny obraz
wpływu wentylacji na lokalne stężenia substancji palnych, można otrzymać przy użyciu numerycznej
mechaniki płynów. Dzięki temu możemy bardzo dokładnie ocenić skuteczność wentylacji
przeciwwybuchowej, zarówno istniejącej jak i nowoprojektowanej.
26.03.2012 r., godz. 14:00, sala 208 (ob. 02 A)
Adam Krasuski
Seminarium warsztatowe - wprowadznie do programu R.
Wczytywanie danych, instrukcje sterujące
read.table()
write.table()
read.xls()
funkcje: mean(), sd(), max()
Praca ze sktryptem
Instrukcje sterujące: for(), if() else, while()
19.03.2012 r., godz. 14:00, sala 208 (ob. 02 A)
Karol Kreński
Seminarium warsztatowe - wprowadznie do programu R.
Struktury danych
Dokumentacja: http://www.inf.sgsp.edu.pl/r/
Pomoc
?
help.search("cluster")
Typy danych
vector: c(), append(), []
matrix: rbind(), cbind()
list: as.list(), str()
data.frame
array
12.03.2012 r., godz. 14:00, sala 208 (ob. 02 A)
Mateusz Fliszkiewicz
Sieci neuronowe - metoda weryfikacji poprawności wykonania symulacji komputerowych
Symulacje komputerowe stały się potężnym narzędziem decyzyjnym na wielu płaszczyznach nauki i
inżynierii. Dotyczy się to również inżynierii bezpieczeństwa pożarowego. Obliczenia numeryczne
znajdują swoje zastosowanie w modelowaniu pożarów, ewakuacji, wybuchów, dyspersji gazów i wielu
innych dziedzinach powiązanych z szeroko rozumianym bezpieczeństwem. Obecnie jednym z
najpopularniejszych obszarów wykorzystania symulacji komputerowych w 'pożarnictwie' jest modelowanie
rozprzestrzeniania się produktów spalania w budynku przy jednoczesnym badaniu skuteczności systemu
wentylacji.
Głównym zadaniem systemu wentylacji jest zapewnienie bezpiecznych warunków ewakuacji dla ludzi
znajdujących się w budynku. Bezpieczeństwo to determinują tylko trzy mierzone parametry tj.
temperatura na wysokości 1.8m i 2.5m oraz zasięg widzialności na wysokości 1.8m. Jeżeli w budynku po
czasie ewakuacji badane parametry nie osiągną wartości granicznych budynek uznaje się za bezpieczny
pożarowo. Takie podejście często powoduje nadużycia przez nieuczciwych, nierzetelnych projektantów
wentylacji. Umiejętne zmodyfikowanie danych wejściowych w łatwy sposób umożliwia potwierdzenie
skuteczności zaprojektowanego systemu wentylacji. Drugim z problemów, jaki można spotkać w raportach
z symulacji jest niedostateczna wiedza osób opracowujących symulację z zakresu inżynierii
bezpieczeństwa pożarowego. Wynikiem ich pracy są nieodpowiednie założenia do scenariusza pożarowego,
a w efekcie końcowym błędne wyniki symulacji. Ze względu, iż zagadnienie modelowana pożarów w celu
określenia bezpieczeństwa ludzi w budynku na wypadek pożaru jest zagadnieniem stosunkowo nowym,
służby odpowiedzialne za sprawdzanie raportów z symulacji bardzo często nie posiadają odpowiedniej
wiedzy oraz możliwości obliczeniowych, aby skutecznie zweryfikować poprawność otrzymanych wyników.
Dlatego, też niezbędne jest stworzenie szybkiego i efektywnego narzędzia weryfikującego poprawność
założeń i otrzymanych wyników. Jedną z możliwości jest stworzenie inteligentnej sieci neuronowej,
która spełniłaby obydwa te wymagania.
W prezentacji omówiony zostanie proces tworzenia symulacji komputerowej i generowania wyników przy
użyciu programu Fire Dynamics Simulator. Przedstawione zostaną dane wejściowe oraz możliwości ich
nieuczciwej modyfikacji. Ponadto przeanalizowane zostaną dane wyjściowe z symulacji, które mogą
posłużyć do uczenia inteligentnej sieci neuronowej.
05.03.2012 r., godz. 14:00, sala im. Nazarki (ob. 02 A)
Jonas Poealmans
Text and process mining with Formal Concept Analysis
Text mining police data, 4 case studies on identifying domestic violence, human
trafficking, terrorism and pedophile suspects in an overload of textual information.
In the first part of this talk we introduce a human-centered process for knowledge discovery
from unstructured text that makes use of Formal Concept Analysis and Emergent Self
Organizing Maps. The knowledge discovery process is conceptualized and interpreted as
successive iterations through the Concept-Knowledge (C-K) theory design square. To
illustrate its effectiveness, we report on a real-life case study of using the process at the
Amsterdam-Amstelland police in the Netherlands aimed at distilling concepts to identify
domestic violence from the unstructured text in actual police reports. The case study allows us
to show how the process was not only able to uncover the nature of a phenomenon such as
domestic violence, but also enabled analysts to identify many types of anomalies in the
practice of policing. We will illustrate how the insights obtained from this exercise resulted in
major improvements in the management of domestic violence cases.
In the second part of this talk we describe the successful application of our innovative
FCA-based semi-automated knowledge discovery in databases approach for extracting and
profiling unknown suspects involved in forced prostitution from observational police reports.
700 000 to 2 000 000 women and children are trafficked across international borders each year
and the majority of them is forced to work in the sex industry. Police organizations in the
Netherlands dispose of a continuously increasing amount of unstructured text reports
describing observations made by police officers during their work in the field. Based on
guidelines of the Attorney Generals of the Netherlands we defined multiple early warning
indicators that were used to index the 266 157 police reports. Using FCA lattices we revealed
numerous unknown human trafficking and loverboy suspects. In depth investigation by the
police resulted in a confirmation of their involvement in illegal activities resulting in actual
arrestments been made. Our human-centered approach was embedded in to operational
policing practice and is now successfully used on a daily basis to cope with the vastly growing
amount of unstructured information.
In the third part of this talk we use Formal Concept Analysis to extract and visualize
potential jihadists in the different phases of radicalisation from a large set of reports describing
police observations. The National Police Service Agency of the Netherlands developed a
model to classify (potential) jihadists in four sequential phases of radicalism. The goal of the
model is to signal the potential jihadist as early as possible to prevent him or her to enter the
next phase. This model has up till now, never been used to actively find new subjects. We
employ Temporal Concept Analysis to visualize how a possible jihadist radicalizes over time.
The combination of these instruments allows for easy decision-making on where and when to
act.
In the fourth part of this talk we propose a novel KDD methodology based on Temporal
Relational Semantic Systems, the main structure in the temporal and relational version of
Formal Concept Analysis. Grooming is the process by which pedophiles try to find children
on the internet for sex-related purposes. In chat conversations they may try to establish a
connection and escalate the conversation towards a physical meeting. Till date no good
methods exist for quickly analyzing the contents, evolution over time, the present state and
threat level of these chat conversations. For rapidly gaining insight into the topics of chat
conversations we combine a linguistic ontology for chat terms with conceptual scaling and
represent the dynamics of chats by life tracks in nested line diagrams. To showcase the
possibilities of our approach we used chat conversations of a public American organization
which actively searches for pedophiles on the internet.
13.06.2011 r., godz. 14:00, sala 208 (ob. 02)
Przemysław Bylica
Analiza stanu wiedzy o możliwościach funkcjonalnych sprzętu łączności w PSP
Na seminarium przedstawiony będzie obecny stan prac w zakresie analizy posiadanej wiedzy przez funkcjonariuszy PSP na temat możliwości
funkcjonalnych wykorzystywanego sprzętu łączności.
30.05.2011 r., godz. 14:00, sala 208 (ob. 02)
Karol Krenski
Wyrażenia regularne - zajęcia warsztatowe
Przy pracy z duzymi korpusami tekstu potrzebny jest warsztat do automatycznego przetwarzania tekstow. Wyrazenia
regularne pozwalaja na przetwarzanie tekstu poprzez znajdowanie i zastepowanie na bazie wzorcow tekstow (np. wzorzec
"a." pasuje do "aa", "ab", "ac" itd. Wyrazenia regularne oparte sa na teorii Finite State Automata i ten watek zostanie
rowniez poruszony.
23.05.2011 r., godz. 14:00, sala 208 (ob. 02)
Andrzej Krauze
Modelowanie strumienia swobodnego powietrza przy użyciu numerycznej
mechaniki płynów
W referacie zostaną zaprezentowane wyniki symulacji działania
wentylatorów strumieniowych. Uzyskane, przy użyciu różnych modeli
turbulencji, wyniki prędkości przepływów zostaną porównane z profilem
prędkości uzyskanym z zależności analitycznej. Ponadto porównanie
obejmie wpływ modyfikacji wartości stałej Cs w modelu turbulencji,
rodzaju modelu turbulencji (Smagorinsky i Dynamic Smagorinsky) oraz
sposobu obliczania kroku czasowego w programie FDS, na wyniki
symulacji.
16.05.2011 r., godz. 14:00, sala 208 (ob. 02)
Stanisław Łazowy
Wybór klasyfikatora dla CBR w Państwowej Straży Pożarnej.
Pdczas wystąpienia zostaną zaprezentowane dotychczasowe wyniki i plan dalszej pracy, mających na celu wyłonienie klasyfikatora
dla metody CBR wyszukujące podobne akcje w systemie EWID.
09.05.2011 r., godz. 14:00, sala 208 (ob. 02)
Adam Krasuski
Spotkanie robocze dot. projektu SYNAT
Podczas spotkania omówione zostaną problemy oraz strategie dotyczące projektu SYNAT realizowanego na Wydziale MIM a
którego Zakład Informatyki jest uczestnikiem.
18.04.2011 r., godz. 14:00, sala 208 (ob. 02)
Mateusz Fliszkiewicz
Symulacje komputerowe jako metoda szacowania wymaganego czasu
bezpiecznej ewakuacji
Poprawne wykorzystanie nowoczesnej inżynierii bezpieczeństwa
pożarowego w ekspertyzach technicznych wiąże się ze
zrozumieniem wielu zagadnień związanych z rozwojem pożaru oraz
zachowaniem się ludzi w sytuacjach zagrożenia życia. Trzeba jednak
zauważyć, iż stałym elementem tego rodzaju opracowań jest wyznaczenie
wymaganego czas bezpiecznej ewakuacji. Obecnie, w kontekście polskiego
prawa, istnieją dwie metody wyznaczania tego czasu, tj. za pomocą
światowych norm i standardów lub przy użyciu symulacji komputerowych.
Prezentacja ma na celu przedstawienie obydwu tych metod oraz
porównanie otrzymanych za ich pomocą wyników. Ponadto, zaprezentowane
zostaną różnice w długości trwania procesu ewakuacji w przypadku
użycia w symulacji komputerowej różnych dystrybucji czasu pierwszych
wstępnych
reakcji oraz wykorzystania różnych typów ewakuujących się jednostek.
21.03.2011 r., godz. 14:00, sala 208 (ob. 02)
Adam Krasuski
System decyzyjny dla PSP z modułem adaptacji rozwiązań
W pierwszej części wystąpienia zaprezentowany zostanie system
ewidencji zdarzeń (EWID) wykorzystywany obecnie przez Państwową Straż
Pożarną (PSP). Omówiona zostanie struktura bazy danych oraz problemy z
szerszym wykorzystaniem omawianego systemu. W kolejnej części
zaprezentowane zostaną założenia projektowe dla systemu decyzyjnego z
modułem adaptacji rozwiązań, bazującego na zasobach EWID. Proponowany
system służyłby do wspomagania podejmowania decyzji w czasie akcji
ratowniczych. W trzeciej części omówione zostaną metody oraz narzędzia
wykorzystane do osiągnięcia założonego celu oraz wykonane eksperymenty
badawcze.
14.03.2011 r., godz. 14:00, sala 208 (ob. 02)
Marcin Mirończuk
SYSTEM INFORMACYJNY NA TEMAT SIECI HYDRANTÓW DLA KRAJOWEGO SYSTEMU RATOWNICZO-GAŚNICZEGO: METODA ANALIZY SYSTEMU EWID-99
W wystąpieniu zostanie zaprezentowana opracowana, przez autora i zastosowana w podjętych przez niego badaniach, zmodyfikowana analiza przyczyn i skutków błędów
(ang. failure modes and effects analysis - FMEA) zawierająca drzewo analizy błędów oprogramowania (ang. software failure tree analysis - SFTA). Analiza ta została wykorzystana do sfalsyfikowania możliwości zastosowania, w aktualnej tekstowej - wyrażonej za pomocą języka naturalnego - postaci, elektronicznej sekcji Dane opisowe do informacji ze zdarzenia systemu EWID99 jako operacyjnej bazy danych na temat sieci hydrantów. W wystąpieniu zostanie także przedstawiona alternatywna struktura danych do zapisywania i przeszukiwania informacji na temat hydrantów. Omówiony zostanie, zaprojektowany, przykładowy system wyszukiwania informacji na temat hydrantów zawarty w nierelacyjnym katalogowym rejestrze (ang. Not Only SQL - noSQL). Jego propozycja wynika z przeprowadzonej analizy i stanowi alternatywę dla aktualnego systemu wyszukiwania informacji w systemie EID99.
Więcej informacji
07.03.2011 r., godz. 14:00, sala 208 (ob. 02)
Karol Kreński
Automat wypełniający sekcje opisowe EWID
W czasie wystąpienia przedstawię plan sformalizowania sekcji opisowej systemu EWID. Prowadzone badania mają na celu
analizę istniejących treści (eksploracja danych), zbadanie korelacji między sekcją atrybutową i opisową EWID oraz
zaproponowanie szablonów opisów i metody ich automatycznego dobierania.
