Wydział Informatyki

POTENCJAŁ BADAWCZY I NAUKOWY

• architektura systemów komputerowych;
• zarządzanie oraz usługi w sieciach telekomunikacyjnych i teleinformacyjnych;
• systemy i sieci światłowodowe oraz radiokomunikacja i sieci bezprzewodowe;
• cyfrowe przetwarzanie sygnałów w systemach telekomunikacyjnych;
• kompresja i archiwizacja informacji;
• systemy mikroprocesorowe;
• metody i narzędzia automatyzacji projektowania systemów cyfrowych;
• synteza i optymalizacja logiczna;
• projektowanie logiczne inspirowane biologią;
• synteza obrazów o wysokim stopniu realizmu;
• animacja komputerowa i rzeczywistość wirtualna;
• wizualizacja złożonych procesów technicznych, ekonomicznych i biologicznych;
• przetwarzanie, rozpoznawanie i analiza obrazów;
• systemy informacji przestrzennej;
• techniki biometryczne i diagnostyka medyczna;
• sprzęgi człowiek-komputer;
• cyfrowe techniki audio i wideo;
• inżynieria przekazów multimedialnych;
• budowa systemów e-learningowych;
• inżynieria systemów informacyjnych;
• inteligentne systemy zarządzania organizacją;
• projektowanie systemów: transakcyjnych, SQL baz danych i hurtowni danych;
• systemy eksperckie z udziałem metod ilościowych (ekonometria);
• systemy wspomagania decyzji (badania operacyjne WPL);
• metody informowania kierownictw (EIS);
• sterowanie procesami produkcyjnymi;
• systemy obsługi wydawnictw;
• metody numeryczne i metody optymalizacji;
• metody sztucznej inteligencji;
• matematyczne modele systemów dynamicznych;
• inżynieria finansowa;
• metody tworzenia kompilatorów do syntezy i symulacji układów logicznych ze źródeł w językach VHDL, C, C++;
• planowanie zadań dla komputerów równoległych i rozproszonych;
• metody implementacji modeli makroekonomicznych na komputerach równoległych i rozproszonych;
• systemy kontroli dostępu w systemach informatycznych;
• identyfikacja, uwierzytelnienie i podpisy elektroniczne;
• modele bezpieczeństwa i języki opisu polityki bezpieczeństwa;
• protokoły kryptograficzne;
• ocena i zarządzanie ryzykiem w systemach informatycznych;
• ocena bezpieczeństwa systemów informatycznych;
• modele zaufania i zarządzanie zaufaniem;
• zaawansowane systemy wykrywania intruzów w systemach informatycznych;
• bezpieczeństwo sieci, elektroniczne karty identyfikacyjne i bezpieczne tokeny;
• bezpieczne systemy operacyjne i bazy danych;
• infrastruktura klucza publicznego (PKI);
• analiza metod prognozowania stanów przedsiębiorstwa;
• organizacja i zarządzanie firmą wirtualną.

Wybrane osiągnięcia pracowników i studentów

• Opracowanie podstaw teorii kompilatorów syntezowalnego podzbioru języka opisu sprzętu (VHDL) używanego w komputerowym projektowaniu reprogramowalnych układów cyfrowych.
• Zbudowanie kompilatora języka VHDL do symulacji i syntezy układów logicznych zgodnego ze specyfikacją firmy Synopsys.U
• Utworzenie kompilatora do automatycznego zrównoleglenia programów w języku C.
• Centrum Certyfikacji dla ZUS - wdrożenie od grudnia 1998 roku (wdrożenie zespołowe).
• Urząd Znacznika Czasu (TSA) - wdrożenie od listopada 1999 roku (wdrożenie zespołowe).
• Centrum Certyfikacji dla ARiMR - wdrożenie od grudnia 2001 roku (wdrożenie zespołowe).
• Bezpieczne urządzenie do składania podpisu elektronicznego w środowisku niepublicznym – projekt i wdrożenie zespołowe (rok 2003-2004).
• System Certyfikatów PZU Życie - wdrożenie od sierpnia 2002 r. do grudnia 2003 r. (wdrożenie zespołowe).
• Wdrożenie systemu do składania bezpiecznego podpisu elektronicznego w środowisku rozproszonym (grudzień 2005).
• Opracowanie komputerowego symulatora lotu samolotu w ramach międzynarodowego projektu wdrożeniowo-badawczego ASIMIL prowadzonego w ramach 5 Programu Ramowego Unii Europejskiej.
• Opracowanie metod modelowania i sterowania rozmytego obiektów dynamicznych i opublikowanie ich w książce “Fuzzy Modeling and Control” wydanej w 2001 r. przez międzynarodowe wydawnictwo A Springer-Verlag Company.
• Zaprojektowanie, zbudowanie, realizacja eksperymentów identyfikacyjnych i opracowanie modelu matematycznego oraz metody sterowania rozmytego bezzałogowego pojazdu podwodnego AiTS1.
• Opracowanie metody modelowania wielkowymiarowego systemu ekonomicznego z użyciem metod sztucznej inteligencji na przykładzie bezrobocia w Polsce.
• Opracowanie diagnostycznego systemu ekspertowego opartego na metodach sztucznej inteligencji do oceny jakości laminatów kompozytowych.
• Zastosowanie metod ekstrakcji wiedzy do wykrywania zależności choroby sodowrażliwości od struktury genetycznej człowieka (we współpracy z Akademią Medyczną w Szczecinie).
• Synteza układów sterowania statkiem wzdłuż zadanej trajektorii przy uwzględnieniu zakłóceń zewnętrznych w oparciu o nowoczesną teorię sterowania optymalnego i adaptacyjnego.
• Zastosowanie wielokryterialnego programowania liniowego z rozmytymi współczynnikami do wielokryterialnego problemu wyboru planowania zatrudnienia i nakładów inwestycyjnych w województwie zachodniopomorskim.
• Klasyfikacja powiatów województwa zachodniopomorskiego ze względu na jakość życia, jakość środowiska oraz poziom rozwoju ekonomicznego z wykorzystaniem rozmytej informacji dotyczącej jakości powietrza atmosferycznego.
• Opracowanie systemu wymiany informacji rolniczej między Polską a krajami Unii Europejskiej w ramach projektu PHARE PL 9704 – 01 - 13 (Komponent C) „Koncepcja Systemu Informacji Rolniczej dla Potrzeb Wspólnej Polityki Rolnej”.
• Opracowanie nowego systemu wyceny opcji egzotycznych na rynku kapitałowym i jego zastosowanie do symulacji wartości finansowych instrumentów pochodnych w czasie rzeczywistym.
• Wdrożenie zintegrowanego pakietu do wspomagania decyzji w jednostce medycznej FIN-MED w jednostkach medycznych w województwach zachodniopomorskim, wielkopolskim, podkarpackim i mazowieckim.
• Wdrożenie systemu informatycznego do wspomagania obsługi interesantów w urzędach administracji publicznej.
• Wdrożenie Temporalnego Systemu Informatycznego Rachunkowości Transakcyjnej w kilkuset przedsiębiorstwach i uczelniach Szczecina i Gorzowa Wlkp.
• Opracowanie metod przyjmowania nowych połączeń ABR (Available Bit Rate) w technice ATM oraz metody parametrycznego projektowania lokalnych sieci komputerowych.
• Współpraca naukowa z Ministerstwem Spraw Wewnętrznych i Administracji w zakresie badania metodyki przeszukiwania dużych zbiorów obrazów twarzy (baza PESEL).

Główne kierunki działalności Instytutu Architektury Komputerów i Telekomunikacji obejmują syntezę wysokiego poziomu systemów sprzętowo-programowych, metody projektowania sieci komputerowych przewodowych oraz bezprzewodowych, optymalizację algorytmów przetwarzania i reprezentacji danych przy realizacji nowoczesnych metod oraz technik transmisyjnych oraz współbieżne projektowanie systemów informatycznych z elementami mechaniki i elektroniki z wykorzystaniem reprogramowalności oraz rekonfigurowalności sprzętowej (FPGA).

Działalność naukowo-dydaktyczna Instytutu Grafiki Komputerowej i Systemów Multimedialnych obejmuje dziedziny związane z szeroko pojętymi multimediami, m. in. z syntezą i analizą obrazów cyfrowych (metody Ray-tracing, Image Based Rendering, obrazy HDR), technikami biometrycznymi (identyfikacja osób na podstawie twarzy i odcisku palca), informatyką medyczną (przetwarzanie obrazów stosowanych w medycynie), komunikacją człowiek-komputer (inteligentni agenci, analiza języka naturalnego) i geoinformatyką (systemy informacji przestrzennej, numeryczne modele terenu).

Problemy badawcze, aktualnie rozwiązywane w Instytucie Systemów Informatycznych dotyczą w szerokim sensie zagadnień związanych z budową, wdrożeniem i eksploatacją systemów informatycznych we wszystkich fazach ich istnienia. Systemy te dotyczą różnorodnych dziedzin zastosowań (zarządzanie, biznes, produkcja, nauczanie). Opierają się na nowoczesnych metodach, metodykach, technikach i środkach realizacyjnych. Szczególnym obszarem zainteresowań Instytutu są systemy wspomagania zarządzaniem w czasie rzeczywistym z wykorzystaniem technologii internetowych. Badania realizowane w Instytucie mają zarówno charakter teoretyczny jak i stosowany.

W Instytucie Sztucznej Inteligencji i Metod Matematycznych prowadzone są badania w zakresie opracowania nowych metod sztucznej inteligencji i stosowania ich do rozwiązywania różnorodnych problemów rzeczywistych (technicznych, medycznych) oraz w zakresie automatycznego myślenia, logiki rozmytej i słownych baz wiedzy, jak również szeroko pojętym modelowaniem i symulacją komputerową procesów fizycznych, technicznych, ekonomicznych i technologicznych oraz sterowaniem obiektami dynamicznymi, w tym sterowaniem inteligentnym.

Działalność badawcza Katedry Organizacji i Zarządzania skoncentrowana jest na problemach z dziedziny szeroko rozumianego zarządzania, wspomaganego narzędziami informacyjnymi i komputerowymi. Koncentrujemy się na badaniu i rozwoju istniejących metod i narzędzi jak też tworzymy własne . Badania prowadzone są z wykorzystaniem zaawansowanych metod symulacji, eksploracji danych, klasyfikacji pojęć optymalizacji w zastosowaniu do wspomagania decyzji inwestycyjnych, analiz finansowych, zarządzania projektami informatycznymi oraz prowadzenia e-biznesu, przy czym problematyka ta wynika z praktycznej analizy potrzeb biznesu kierowanych do środowisk naukowych.

Główne kierunki badań podejmowanych w Katedrze Technik Programowania koncentrują się wokół opracowania zasad, metod i algorytmów tworzenia kompilatorów podzbioru języka VHDL do syntezy układów logicznych oraz ich implementacji, opracowania metod i algorytmów kompilatorów maszyn równoległych i systemów rozproszonych w części zrównoleglenia w sposób efektywny pętli programów sekwencyjnych. Prowadzone badania dotyczą języka specyfikacji polityk kontroli dostępu w rozproszonych systemach sieciowych oraz systemów do składania bezpiecznego podpisu elektronicznego w środowisku rozproszonym.