Search
Search results for: APLIKACJA ZORIENTOWANA KONTEKSTOWO
-
Aplikacje i środowiska kontekstowe: Ontologie w interaktywnych aplikacjach zorientowanych kontekstowo
PublicationPrzedstawiono model przetwarzania typu pervasive computing. Zanalizowano składowe aplikacji interaktywnej zorientowanej kontekstowo. Opisano architekturę takiej aplikacji, wykorzystującej usługi sieciowe, konteksty, scenariusze i ontologie. Scharakteryzowano metodę integracji tych elementów w wykorzystaniem adnotacji. zaproponowano motor wykonawczy dla kontenera usług sieciowych, bazujący na standardach: OSGi OWL-S
-
CoRBAC – kontekstowo zorientowany model bezpieczeństwa
PublicationZaproponowano uogólniony model kontroli dostępu do usługowych systemów internetowych uwzględniający różne kategorie kontekstu. Określono wpływ kontekstu na model jak i architekturę systemu bezpieczeństwa. Podano przykład implementacji modelu i architektury bezpieczeństwa dla zestawu usług dotyczących e-uczelni i wstępnie oszacowano zalety takiego rozwiązania.
-
Aplikacja demonstrująca działanie kodów fontannowych
PublicationIstotną cechą kodów fontannowych jest możliwość odtwarzania nadawanych danych niezależnie od jakości kanału. Wynika to z tego, że kody te nie mają z góry założonej zawartości informacyjnej, a kolejne symbole nadmiarowe są generowane, dopóki jest taka potrzeba. Jest to szczególnie przydatne w transmisjach broadcastowych, bo każdy z odbiorców może zdekodować dane tak wcześnie, na ile pozwala jakość łącza. Aby przybliżyć funkcjonowanie...
-
Kontekstowo zorientowany model bezpieczeństwa systemów internetowych
PublicationW rozprawie dokonano analizy usługowych systemów internetowych pod względem bezpieczeństwa. Przedstawiono autorskie uniwersalne modele bezpieczeństwa CoRBAC oraz jego rozszerzenie TCoRBAC, będące rozwinięciem tradycyjnego modelu RBAC. Uwzględniono analizę szeroko rozumianego kontekstu funkcjonowania systemu oraz poziom jego zaufania do użytkownika. Opracowano metodę wyznaczania dwóch parametrów: zaufania do systemu (λ) będącego...
-
Aplikacja na system operacyjny Android sterująca kontrolerem sieci SDN
PublicationW artykule omówiono koncepcję, realizację i testy przeprowadzone przy tworzeniu aplikacji na system Android przeznaczonej do sterowania kontrolerem sieci SDN. Przedstawione zostały schemat blokowy, sieć działań aplikacji oraz struktura sieci wykorzystanej do testów aplikacji. Przeprowadzone testy zakończyły się sukcesem i aplikacja spełnia wszystkie założenia.
-
Aplikacja do zarządzania zasobami domeny pakietowej z IP QoS
PublicationWraz z upublicznieniem Internetu i jego globalizacją pojawiła się potrzeba realizacji usług czasu rzeczywistego, a co za tym idzie potrzeba zapewnienia jakości poprzez rozróżnienie klas ruchu i traktowanie każdej z tych klas według innych reguł obsługi. W artykule przedstawiono system zarządzania zasobami domeny pakietowej opartej na architekturze DiffServ. Omawiany system pracuje w strukturze warstwowej - w warstwie zarządzania,...
-
W poszukiwaniu równowagi: aplikacja do nauki analizy statycznej układów prętowych
PublicationPraca dotyczy interaktywnej aplikacji mającej wesprzeć naukę analizy statycznej układów prętowych. Aplikacja jest tworzona z myślą o studentach I roku budownictwa i kierunków pokrewnych. Wyznaczenie wykresów sił wewnętrznych jest podstawą procesu projektowania konstrukcji. Chociaż współcześnie stosuje się programy do komputerowej analizy konstrukcji, to projektant nadal musi potrafić zinterpretować wynik i ocenić jego poprawność....
-
Aplikacja wspomagająca przetwarzanie sekwencji dna: moduł edycji chromatogramu
PublicationModuł edycji chromatogramu jest częścią większej aplikacji, służącej do wspomagania przetwarzania danych pochodzących z sekwencjonowania DNA. Aplikacja skonstruowana jest z odrębnych, samodzielnych programów, które współpracują dwiema drogami - poprzez popularne formaty plików, co umożliwia wprowadzenie do modułów danych opracowanych częściowo w aplikacjach zewnętrznych, oraz poprzez przesyłanie danych pomiędzy modułami, co usprawnia...
-
Aplikacja wspomagania badań medycznych
PublicationOpisano przeznaczenie i konstrukcję aplikacji wspomagania badań medycznych WBM. Przedstawiono układ komponentów i modułów składowych w modelu warstwowym. Scharakteryzowano proces wytwarzania aplikacji. Opisano utworzoną architekturę sprzętową niezbędną do prawidłowej realizacji funkcjonalności aplikacji WBM.
-
DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE
PublicationArtykuł dotyczy zastosowania dynamicznej aplikacji internetowa do symulacji obwodowej silnika indukcyjnego trójfazowego, wykorzystującej interfejs przeglądarki WWW. Model obwodowy silnika sformułowano w układzie osiach naturalnych i ujęciu metody energetycznej Lagrange’a. Implementację modelu maszyny w aplikacji internetowej wykonano w projekcie typu Web Forms, który jest elementem środowiska Microsoft Visual Studio. Kod programu...
-
Dynamiczna aplikacja internetowa maszyny indukcyjnej w ujęciu obiektowym dla potrzeb symulacji obwodowej
PublicationTematem referatu jest dynamiczna aplikacja internetowa, która umożliwia symulację obwodową silnika indukcyjnego trójfazowego z wykorzystaniem interfejsu przeglądarki WWW. Model matematyczny silnika jest zdefiniowany w tzw. osiach naturalnych i sformułowany na podstawie metody energetycznej Lagrange’a. Do implementacji modelu maszyny w aplikacji internetowej wybrano projekt typu Web Forms, który jest składnikiem środowiska programistycznego...
-
Nowa, metrologicznie zorientowana sieć neuronowa i metoda diagnostyki obiektów technicznych
PublicationW artykule przedstawiono nową, metrologicznie ukierunkowaną sieć neuronową oraz bazującą na niej metodę diagnostyki uszkodzeń parametrycznych układów analogowych, z klasyfikcją neuronową, o zwiększonej odporności na tolerancje elementów układu i niepewności pomiaru. Zaproponowano sieć neuronową z Dwu-centrowymi Radialnymi Funkcjami Bazowymi (DRFB), której walorem jest lepsze odwzorowanie słownika uszkodzeń, poprawa dokładności...
-
Aplikacja RDC - Repozytorium dokumentów cyfrowych
PublicationOkreślono potrzeby i wymagania na utworzenie systemu zarządzającego repozytorium dokumentów cyfrowych - RDC. Opisano wymagania projektowe i przypadki użycia. Przedstawiono ogólny model architektury systemu oraz opis automatycznej klasyfikacji dokumentów. RDC jest systemem, który łączy w sobie podstawowe funkcje aplikacji nadzorującej gromadzenie dokumentów, w szczególności prac dyplomowych, wraz z dodatkowymi mechanizmami, które...
-
Rozproszona aplikacja do śledzenia komputerów w systemie po ich przemieszczeniu oraz do monitorowania wykorzystania komputerów
PublicationZaprezentowano propozycję aplikacji internetowej pozwalającej na zdalne śledzenie lokalizacji jak również wykorzystania zasobów komputerów takich jak: zużycie procesora czy pamięci dyskowej. Przedstawiono dwa warianty aplikacji: uruchamianej jako niezależna aplikacja, bądź jako aplikacja działająca w przeglądarce internetowej. Proponowane rozwiązanie zwiększy możliwość odszukania komputerów po kradzieży jak również pozwoli na sporządzenie...
-
Aplikacja programu AutoCAD wspomagająca proces inwentaryzacji elementów zastosowanych w projekcie instalacji elektrycznej
PublicationW artykule opisano zagadnienia dotyczące zastosowania programu AutoCAD jako narzędzia wspomagającego proces inwentaryzacji elementów zastosowanych w projekcie instalacji elektrycznej. Do tego celu opracowano aplikację w środowisku programistycznym AutoLISP, integrowanym z programem AutoCAD. Opracowana aplikacja dokonuje analizy projektu instalacji elektrycznej, na podstawie której wyodrębniane są nazwy symboli (bloków) zastosowanych...
-
Dynamiczna aplikacja Internetowa ASP.NET silnika indukcyjnego jako elementu wirtualnego laboratorium maszyn elektrycznych
PublicationTematem referatu jest dynamiczna aplikacja internetowa, która umożliwia symulację obwodową silnika indukcyjnego trójfazowego Sg 100 L2 z wykorzystaniem interfejsu przeglądarki WWW. Model matematyczny silnika jest zdefiniowany w tzw. osiach naturalnych i sformułowany na podstawie metody energetycznej Lagrange’a. Do implementacji modelu maszyny w aplikacji internetowej wybrano projekt typu Web Forms, który jest składnikiem środowiska...
-
Aplikacja MedEye dla diagnostyki układu pokarmowego
PublicationOmówiono problematyke badan endoskopowych za pomoca endoskopii kapsułkowej. Zaprezentowano główne komponenty oraz zakres funkcjonalnosci aplikacji MedEye, wspomagajacej tego typu diagnostyke. Na podstawie subiektywnych ocen lekarzy wyciagnieto ogólne wnioski na temat przydatnosci poszczególnych jej elementów. W podsumowaniu opisano perspektywy jej rozwoju i wdrozenia w srodowisku medycznym.
-
Aplikacja wspomagająca procesy obliczania powierzchni ciała człowieka
PublicationW materiale przedstawiono strukturę opracowanego i wykonanego systemu komputerowego - BSA Analysis Tool, wspomagającego obliczenia wybranych parametrów organizmu człowieka: BSA, TBSA i BMI. Poza opisem systemu, wskazano na utylitarny charakter przedstawionych rozwiązań, szczególnie w ośrodkach medycznych - jako narzędzie wspomagające procesy leczenia oparzeń i chemioterapii oraz w ośrodkach naukowo-dydaktycznych - jako narzędzie...
-
Aplikacja wspomagająca przetwarzanie sekwencji dna: moduł dopasowań
PublicationBiologia molekularna jest obecnie bardzo dynamicznie rozwijającą się dziedziną nauki. Wzrost mocy obliczeniowej komputerów pozwala na coraz szybszą i dokładniejszą analizę wielocząsteczkowych biologicznych polimerów. Poniższy artykuł przedstawia jeden z modułów programu AlignGator - modułowego systemu przeznaczonego do analizy DNA. Omawiany moduł pozwala na tworzenie, oraz edycję wielodopasowań. W początkowej części artykułu opisane...
-
Aspekty Edukacyjne Wirtualnych Światów. Aplikacja Second Life
PublicationArtykuł koncentruje się na trójwymiarowych środowiskach wirtualnych i ich funkcjonalności edukacyjnej na przykładzie świata Second Life. Wbrew opiniom pojawiającym się od czasu do czasu w literaturze przedmiotu światy wirtualne 3D nie odchodzą w przeszłość, przynajmniej nie w sektorze edukacyjnym. Autorzy artykułu próbują to wykazać,przedstawiając różne aspekty Second Life w zastosowaniach dydaktycznych, naukowych,...
-
Aplikacja komputerowa symulatora i systemu sterowania robota mobilnego
PublicationW referacie opisano strukturę behawioralnego systemu sterowania oraz symulatora robota mobilnego zaimplementowanego w środowisku MATLAB-SIMULINK. Przedstawiono konstrukcję behawioralnego systemu sterowania robota. Opisano pokrótce budowę symulatora. Podano również wyniki badań weryfikacyjnych jakości realizacji zadania pokrycia powierzchni uzyskanych za pomocą symulatora. W referacie podano zalety oraz wady przedstawionej aplikacji...
-
Baza danych fotogrametrycznych bliskiego zasięgu jako aplikacja sieciowa
PublicationPrzedstawienie systemu informatycznego, który działając w środowisku internetowym jest dedykowany archiwizacji, prezentacji oraz udostępnianiu cyfrowych wyników pomiarów fotogrametrycznych i termowizyjnych.
-
Parametryczny, przestrzenny model silnika asynchronicznego - aplikacja programu AutoCad.
PublicationW pracy przedstawiono program komputerowy, który w sposób kompleksowy wspomaga użytkownika w automatycznym narysowaniu trójwymiarowego modelu silnika asynchronicznego klatkowego. Model maszyny jest parametryczny, co oznacza, że użytkownik definiuje topologię poszczególnych elementów na podstawie: wymiarów geometrycznych, typu łożyska, rodzaju uzwojenia, liczby żłobków itp. Zakres modelowania dotyczy silników indukcyjnych małej...
-
MODELOWA GOSPODARKA OSADOWA W OCZYSZCZALNI ŚCIEKÓW ZORIENTOWANA NA ZWIĘKSZENIE PRODUKCJI ENERGII ODNAWIALNEJ I ODZYSK ZWIĄZKÓW BIOGENNYCH
PublicationOczyszczalnie ścieków poddawane są stopniowej zmianie paradygmatów. Początkowo kładziono nacisk na cel podstawowy – oczyszczanie ścieków i zwiększenie wymagań w stosunku do jakości ścieków oczyszczonych odprowadzanych do odbiorników. Poprawa efektywności energetycznej aż po uzyskanie samowystarczalności energetycznej stanowiła kolejny trend budzący zainteresowanie ze względu na korzyści ekonomiczne wynikające z oszczędności w zakupie...
-
Aplikacja elektrycznej tomografi pojemnościowej (ECT) w analizie dynamiki opróżniania silosów
PublicationW artykule przedstawiono wyniki pomiarów zmian koncentacji materiału sypkiego przy zastosowaniu tomografii pojemnościowej podczas dynamicznego opróżniania silosu. Wskazano wady i zalety metody ECT, przeprowadzono dyskusje na temat dokładności pomiarów dla danych surowych i zrekonstruowanych.
-
Praktyczna aplikacja In Motion Charging w Gdyni: trolejbusy w obsłudze linii autobusowych
PublicationŁadowanie nocne (OverNight Charging) oraz szybkie ładowanie (Oportunity Charging) to obecnie dwa najbardziej popularne systemy ładowania autobusów elektrycznych. Pomimo uruchomienia wielu próbnych instalacji, żaden z tych dwóch systemów nie zyskał jednoznacznej aprobaty użytkowników. Alternatywą jest ładowanie pojazdów w ruchu, tzw. In Motion Charging, w które stanowi połączenie zalet komunikacji trolejbusowej oraz autobusu elektrycznego:...
-
Metoda oceny bezpieczeństwa obiektów oceanotechnicznych zorientowana na ocenę zachowania się obiektu i ocenę ryzyka wypadku. Procedura zarządzania bezpieczeństwem obiektu
PublicationW pracy przedstawiono charakterystykę obiektu oceanotechnicznego w stanie uszkodzonym. Przedstawiono metodę oceny bezpieczeństwa obiektu w stanie uszkodzonym. Opisano całościowy model ryzyka nieprzetrwania katastrofy przez obiekt w stanie uszkodzonym. Przedstawiono procedurę zarządzania bezpieczeństwem obiektu w stanie uszkodzonym.
-
APLIKACJA MARKOWSKIEGO MODELU NIEZAWODNOŚCIOW EGO UKŁADU TŁOKOWO – KORBOWEGO SILNIKA SPALINOWEGO Z ZAPŁONEM SAMOCZYNNYM
PublicationPrognozowanie niezawodności okrętowych silników spalinowych jest szczególnie istotnym problemem. Pozwala bowiem na przewidywanie stanów niezawodnościowych w przyszłości na podstawie informacji o tych stanach w przeszłości. Trafne prognozowanie niezawodności, to złożony proces przetwarzania empirycznych wyników badań uzyskanych w praktyce eksploatacyjnej, uzupełniony rozważaniami analitycznymi. Proces zmian stanu technicznego każdego...
-
Multimodal learning application with interactive animated character. [Multimodalna aplikacja edukacyjna wykorzystująca interaktywną animowaną postać]
PublicationThe aim of this study is to design a computer application that may assist teachers and therapists in multimodal manner in their work with impaired or disabled children. The application can be operated in many different ways, giving to a child with special educational needs a possibility to learn and train many skills or treat speech disorders. The main stress in this research is on the creation of animated character that will serve...
-
Application of chemometric approach in studies of dew chemistry (on the basis of samples collected in Poland)
PublicationPrzedstawiono wyniki badań wybranych związków chemicznych (aniony, kationy, formaldehyd, nadtlenek wodoru, suma fenoli, TC, TIC, TOC) oznaczonych w próbkach rosy zebranych z różnych obszarów na terenie Polski (Gdynia, Gdańsk, Sopot, Mława, Kraków). Zastosowano analizę funkcji dyskryminacyjnej aby dokonać klasyfikacji poszczególnych próbek w zależności od miejsca pobierania oraz wykryć podstawowe zależności pomiędzy poszczególnymi...
-
Modelowanie 3D uzwojeń twornika maszyny elektrycznej wykonanych z drutu o przekroju prostokątnym - aplikacja programu AutoCAD.
PublicationW artykule zaprezentowano program komputerowy służący do trójwymiarowego modelowania uzwojenia twornika maszyny elektrycznej wykonanego z drutów o przekroju prostokątnym. Program ten pracuje w środowisku graficznym pakietu AutoCAD. Użytkownik definiuje kształt uzwojenia na podstawie zbioru parametrów. Na tej podstawie powstaje w sposób automatyczny rysunek 3D uzwojenia. Program zawiera szereg funkcji wspomagającej użytkownika...
-
ProSIL Software for functional saferty management in life cycle = Aplikacja ProSIL do zarządzania bezpieczeństwem funkcjonalnym w cyklu życia
PublicationIn the paper the ProSIL software to aid the functional safety management is presented. The software consists of three modules to aid: determination of the required SIL level (ProSILen), veryfication of the SIL level (ProSILver). In the aplication the method of the calibrated risk graph to determine the required safety integrity level SIL for defined safety instrumented functions is applied. The methods concerning functional safety...
-
Aplikacja komputerowa wspomagająca proces diagnostyki chorób górnego odcinka przewodu pokarmowego na podstawie analizy przebiegu pH-metrii
PublicationW artykule przedstawiono propozycję pierwszego modułu opracowanej i wykonanej aplikacji komputerowej wspomagającej proces diagnostyki choroby refluksowej przełyku (GERD) lub refluksu gardłowo-krtaniowego (LPR) poprzez automatyzacje procesu wyznaczania całkowitej liczby DeMeestera oraz liczby Ryana. Efektem działania aplikacji jest propozycja diagnozy (bazująca na autorskim algorytmie analizy przebiegu pH) metodą DeMeestera lub...
-
Aplikacja komputerowa wspomagająca proces diagnostyki chorób górnego odcinka przewodu pokarmowego na podstawie analizy przebiegu pH-metrii
PublicationW artykule przedstawiono propozycję pierwszego modułu opracowanej i wykonanej aplikacji komputerowej wspomagającej proces diagnostyki GERD i LPR poprzez automatyzacje procesu wyznaczania całkowitej liczby DeMeestera oraz liczby Ryana. Efektem działania aplikacji jest propozycja diagnozy (bazująca na autorskim algorytmie analizy przebiegu pH) metodą DeMeestera lub Rayana. Dodatkowym atutem aplikacji jest możliwość zapoznania użytkownika...
-
Janusz Górski prof. dr hab. inż.
People -
Tomasz Dziubich dr inż.
PeopleScientific projects and grants Internet platform for data integration and collaboration of medical research teams for the stroke treatment centers 2013 - 2016 MAYDAY EURO 2012 Supercomputer Platform for Context Analysis of Data Streams in Identification of Specified Objects or Hazardous Events – task 4.2 (Development of algorithms and applications supporting medical diagnosis), 2008-2012 Other GrandPrix on trade show ...
-
Scenariusze przepływu pracy sprzężone z automatyczną akwizycją danych
PublicationPrzedstawiono tematykę inteligentnych przepływów pracy (smart workflow). Przedstawiono aplikacje oparte o inteligentne scenariusz przepływu pracy: sterowanie systemem audio, monitorowanie warunków środowiskowych pomieszczenia i dynamiczną kontekstową listę zadań. Opisano komponentową architekturę systemu. Opisano etapy poszerzające proces projektowania i implementacji. Wskazano na problemy występujące podczas wykonywania tych aplikacji...
-
Tworzenie wzorców zachowań dla aplikacji opartych o architekturę EDA
PublicationZaprezentowano ideę aplikacji świadomych kontekstu zgodnych z architekturą sterowaną zdarzeniami EDA. Ten rodzaj aplikacji jest dedykowany dla przestrzeni inteligentnych. Opisano proces definiowania scenariusza i wzorców zachowań jako najbardziej istotny. Zawarto opis metody analizy i dekompozycji scenariusza oraz proces walidacji poprawności z wykorzystaniem sieci Petriego.
-
Koncepcja aplikacji komputerowej przeznaczonej do planowania czasu budowy wybranych obiektów mostowych
PublicationPrezentowana aplikacja stanowi moduł przeznaczony do opracowania harmonogramów ogólnych i szczegółowych budowy, gdzie czas budowy mozna przyjmować jako zmienną losową. Aplikacja ta umożliwia przeprowadzenie pomiaru pracy, prognozowanie i planowanie budowy wybranych obiektów mostowych.
-
Joanna Raczek dr inż.
PeopleEmployment 2003 -- 2019: Faculty of Applied Physics and Mathematics, Gdańsk University of Technology. 2019 - present: Faculty of Electronic, Informatics and Telecominications, Gdańsk University of Technology. Education May 2007: Doctor of Philosophy in Mathematics, University of Gdańsk. Doctoral dissertation: "Paired domination and doubly domination in graphs". Supervisor: dr hab. Jerzy Topp. 2000 -- 2004 Bachelor of Science...
-
Virtual hearing aid - the computer application for education purposes.
PublicationZrealizowano aplikację komputerową demonstrującą zasady działania aparatów słuchowych. Osoba z dobrym słuchem ma możliwość zapoznania się z problemem niedosłuchu i działaniem aparatu. Aplikacja wyposażona jest w intuicyjny interfejs, który przedstawia elementy aparatu słuchowego na schemacie blokowym z opcjami dotyczącymi źródła dźwięku, typu szumu oraz ustawień aparatu. Aplikacja wzbogacona jest o materiały dydaktyczne, opisujące...
-
Marcin Kulawiak dr hab. inż.
People -
Analiza możliwości obiektywizacji oceny wzrokowego układu nerwowego z wykorzystaniem badań perymetrycznych
PublicationCelem pracy było opracowanie i aplikacja nowego, efektywnego algorytmu detekcji VEP w perymetrii oraz analiza możliwości realizacji badania obiektywnego w praktyce klinicznej.
-
Piotr Tojza dr inż.
People -
Beata Krawczyk dr hab.
PeopleBeata Krawczyk, PhD, Professor Academic degrees, education, qualifications: B. Krawczyk earned his master degree in Biology at the University of Gdansk, Biology Faculty, in 1986, and her PhD in Molecular Biology at the University of Gdansk, Biology Faculty, in 1996. Postdoctoral degree (habilitation) in biological sciences in the discipline biology, Faculty of Natural Sciences, University of Szczecin, Szczecin, in 2009. In 2012...
-
MLPG Method using kd-trees and its application to Flamant Problem
PublicationW pracy przedstawiono rozwiązanie problemu Flamanta z zastosowaniem metody bezsiatkowej MLPG. Oryginalnym pomysłem była aplikacja algorytmu kd-drzew do poszukiwania najbliższych punktów interpolacji dla funkcji radialnych.
-
Dworzec kolejowy w strukturze miasta : nowe szanse
PublicationRenesans kolei nie dotyczy całej sieci, ale jedynie nowych linii, będących w rzeczywistości nową formą szybkiego transportu pasażerskiego, konkurencyjnego dla regionalnych linii lotniczych. Nowe formy przestrzenne dworców kolejowych III generacji wymagają nowatorskiego podejścia do projektowania. Głównymi czynnikami projektowania węzłów komunikacyjnych winno być koordynowanie i organizacja ruchu pasażerów i pojazdów. Architektura...
-
Kolej i miasto
PublicationObserwowanym od ok. 10 lat pozytywnym przemianom kolei jako nowoczesnego środka transportu towarzyszy ogólnoeuropejska kampania przebudowy i modernizacji dworców, rzadziej realizacja nowych obiektów. Jest ona z jednej strony - zorientowana na nowych, bogatych pasażerów, traktujących dworzec jedynie jako miejsce tranzytu, z drugiej strony - na klientelę nie korzystającą z transportu kolejowego, ale traktującą dworce jako docelowe...
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Workflow application for detection of unwanted events
PublicationZaprezentowano rozproszoną aplikację do wykrywania potencjalnie niebezpiecznych zdarzeń z wejściowych strumieni wideo. Rozpoznanie niepożądanych zdarzeń wywołuje alarmy i wysyła powiadomienia do odpowiednich służb, jak również powoduje zarejestrowanie filmu. Model aplikacji składa się z węzłów z kamerami, pobierajacych strumienie danych, przetwarzajacych dane, wysyłajacych powiadomienia i zapisujacych dane. Zaimplementowana aplikacja...