Katedra Inżynierii Oprogramowania - Jednostki Administracyjne - MOST Wiedzy

Twoje konto

zaloguj

Wyszukiwarka

Katedra Inżynierii Oprogramowania

Publikacje

Filtry

wszystkich: 90

  • Kategoria
  • Rok
  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

Katalog Publikacji

Rok 2005
  • Zagadnienia bezpieczeństwa systemów operacyjnych
    Publikacja

    - Rok 2005

    Bezpieczeństwo systemów komputerowych wymaga ochrony takich zasobów jak konfiguracja systemu operacyjnego, aplikacje oraz dane. W pracy przedstawiono metodę zabezpieczania systemu operacyjnego Linux poprzez podział zasobów i ich zapis na różnych typach nośników: niemodyfikowalnych, z możliwością fizycznego zablokowania zapisu oraz modyfikowalnych. Opisany sposób pozwala na eliminację większości zagrożeń spowodowanych przełamaniem...

  • Wydobywanie wiedzy i klasyfikacja danych w systemie typu Web Farming
    Publikacja

    - Rok 2005

    W rozdziale zaprezentowano metodę wydobywania informacji z dokumentów WWW oraz sposób klasyfikacji danych w prototypowym systemie typu Web Farming. Wydobywanie informacji z dokumentów bazuje na analizie syntaktycznej i porównywaniu występowania grup fraz obecnych w ich treści. Przedstawiono model semantyczny świata i jego reprezentacji w postaci dokumentów internetowych, oparty na pojęciu konceptu i kategorii tematycznej. Następnie...

  • Topologiczna analiza ontologii opartych na logiceopisowej
    Publikacja

    - Rok 2005

    Rozwój Internetu i technologii internetowych powoduje rosnące zapotrzebowanie na zaawansowane metody zarządzania informacją. Niniejszy rozdział opisuje nową metodę reprezentacji wiedzy oraz zestaw algorytmów wykorzystujących tę reprezentację, nazwane wspólnie podejściem kartograficznym. Podejście to bazuje na logice opisowej, zdobywającej ostatnio coraz większą popularność, dzięki zastosowaniu w ramach inicjatywy Semantic Web....

  • Tool support for ECSDM fault tree methodology
    Publikacja

    - Rok 2005

    Extended Common Safety Description Model (ECSDM) jest językiem do formalnej specyfikacji systemów związanych z bezpieczeństwem oraz ich komponentów. Język ten zawiera konstrukcje umożliwiające specyfikację zależności czasowych. Może on zostać użyty w analizie drzew błędów, aby uzyskać jednoznaczną specyfikację hazardów w sytuacji, gdy są one uzależnione od związków czasowych pomiędzy przyczynami. Artykuł opisuje narzędzie wytworzone...

  • The cartographer algorithm for processing and querying description logics ontologies
    Publikacja

    - Rok 2005

    Logika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...

  • SETI-1 - system wspomagający zarządzanie Wydziałem Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej
    Publikacja

    - Rok 2005

    W artykule przedstawiono założenia projektowe oraz koncepcję architektury systemu SETI-1, przeznaczonego do wspomagania zarządzania Wydziałem ETI PG. Artykuł stanowi wstęp do serii artykułów opisujących szczegółowo poszczególne komponenty systemu oraz aspekty technologiczne budowy systemu. Opisano założenia przyjete na poczatku projektu, architekturę logiczną i fizyczną, stan aktualny budowy systemu, aspekty wdrożeniowe oraz perspektywy...

  • Przetwarzanie zapytań w rozproszonej bazie wiedzyopartej na logice opisowej
    Publikacja

    - Rok 2005

    Rozdział prezentuje podstawy algorytmu Spider przetwarzania zapytań asercjonalnych (typu ABox) w rozproszonej bazie wiedzy opartej na logice opisowej. Algorytm Spider może być stosowany w celu integracji wiedzy z różnych źródeł. W rozdziale pokrótce przedstawiono zasadę kartograficznej reprezentacji wiedzy, sposób odwzorowywania terminologii różnych źródeł oraz oszacowano złożoność obliczeniową przedstawianego algorytmu.

  • Przetwarzanie zapytań do terminologii ontologiiniepewnych opartych na logice opisowej
    Publikacja

    - Rok 2005

    Systemy informatyczne oparte na bazach wiedzy stają się coraz bardziej popularne. Znacząca ilość istniejących systemów do opisu wiedzy wykorzystuje ontologie. Budując ontologie, bardzo często zakłada się, że informacje w nich przechowywane są pewne. W niektórych jednak zastosowaniach takie założenie może nie być do końca prawdziwe. Niniejszy Rozdział wprowadza w tematykę ontologii niepewnych oraz prezentuje propozycje rozszerzenia...

  • Przetwarzanie i wnioskowanie z wiedzy o różnym poziomie zaufania
    Publikacja

    - Rok 2005

    Ontologie i bazy wiedzy wykorzystuje się w wielu zastosowaniach, takŜe takich, w których wnioskowanie ma charakter krytyczny, jak np. w przypadku systemów medycznych. W rozdziale przedstawione zostały kwestie zaufania do danych przechowywanych w bazach wiedzy i pobieranych z zewnętrznych źródeł. Opisane zostały przykłady uwzględnienia aspektów zaufania wykorzystujące kartograficzną reprezentację wiedzy - nowe podejście opracowane...

  • Processing and querying description logic ontologies using cartographic approach
    Publikacja

    - Rok 2005

    Logika opisowa (ang. description logic) jest formalizem reprezentacji wiedzy, który w ostatnich latach uzyskał dużą popularność pomiędzy inżynierami wiedzy. Po krótkim wprowadzeniu do formalizmu logiki opisowej artykuł prezentuje system wnioskowania opracowany na Politechnice Gdańskiej w ramach projektu PIPS 6 Programu Ramowego UE. System wnioskujący jest oparty na nowatorskiej metodzie kartograficznej, której podstawy również...

  • Ontologie jako metoda reprezentacji wiedzy
    Publikacja

    - Rok 2005

    Logika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...

  • Metoda PMRA oceny ryzyka przedsięwzięć informatycznych.
    Publikacja

    - Rok 2005

    Artykuł prezentuje metodę PMRA (ang. Process Model-based Risk Assessment) oceny ryzyka przedsięwzięć informatycznych. W metodzie PMRA zaproponowano identyfikację ryzyka na podstawie własności strukturalnych modeli procesów. Dla tego celu opracowano model ryzyka wyprowadzony z rozszerzonego meta-modelu procesów biznesowych oraz wyposażony w język wzorców do opisu ryzyka. Zdefiniowano model bazy wiedzy o ryzyku obejmującej modele...

  • Metoda ELPAR Łączenia ontologii oparta na ich kartograficznej reprezentacji
    Publikacja

    - Rok 2005

    Jednym z głównych problemów związanych z integracją wiedzy z różnych źródeł jest opracowanie metody integracji ontologii. Źródła wiedzy są opisane różnymi ontologiami, zazwyczaj tworzonymi niezależnie od siebie. Integracja wiedzy z tych źródeł wymaga zdefiniowania jednej ontologii nadrzędnej "rozumiejącej" wszystkie terminy pojawiające się w ontologiach opisujących źródła. W artykule zostały przedstawione podstawy metody ELPAR...

  • Kartograficzna metoda reprezentacji wiedzy w systemie KaSeA
    Publikacja

    - Rok 2005

    Niniejszy rozdział prezentuje opracowaną przez autora metodę reprezentacji wiedzy, nazwaną kartografią wiedzy, która pozwala na przeprowadzanie wnioskowania w procesie asymilacji i uzupełniania informacji pochodzących z różnych źródeł internetowych; metoda zapewnia równiże efektywny dostęp do gromadzonych informacji. Rozdział opisuje założenia leżące u podstaw opracowanej metody, jej ograniczenia i zastosowania. Rozdział prezentuje...

  • Inference Mechanisms for Knowledge Management System in E-health Environment
    Publikacja

    - Rok 2005

    W artykule zaprezentowano badania i ich wyniki osiągnięte w trakcie prac na systemem zarządzania wiedzą dla systemu typu e-health PIPS (ang. Personalised Information Platform for Life and Health Services)Opisano warstwę semantyczną systemu zarządzania wiedzą, a w szczególności skoncentrowano się na silniku wnioskującym.Poddano dyskusji następujące zagadnienia: analizę dostępnych narzędzi wnioskujący i ich zgodności ze standardem...

  • Focused crawler for trustworthy healthcare information search
    Publikacja

    - Rok 2005

    Artykuł zawiera opis prac wykonanych w projekcie 6 Programu Ramowego Unii Europejskiej: Personalised Information Platform for life and health Services (PIPS). Głównym celem projektu jest zapewnienie obywatelowi Unii kompleksowego wspomagania w zakresie zagadnień ochrony zdrowia oraz odżywiania. Do realizacji tego celu konieczne jest pozyskanie i dostarczenie obywatelowi wiarygodnej, prawdziwej i aktualnej informacji z tych dziedzin....

  • Experimental comparison of UML-HAZOP inspection and non-structured review
    Publikacja

    - Rok 2005

    Artykuł przedstawia eksperyment przeprowadzony na Politechnice Gdańskiej mający na celu porównanie dwóch technik przeglądowych. Poszczególne rozdziały zawierają: ogólne omówienie tematyki przeglądów i inspekcji, przedstawienie metody UML-HAZOP, opis przebiegu eksperymentu oraz uzyskanych rezultatów.

  • Educational resources as digital products
    Publikacja

    - Rok 2005

    W artykule zaproponowano podejście do tworzenia i dystrybucji materiałów edukacyjnych oparte na znanych rozwiązaniach dotyczących produktów cyfrowych. Szczególnie skoncentrowano się na pracochłonności wykonania materiałów oraz wynikającego z niej kosztu zakupu i ceny materiałów. Zaproponowano miarę rozmiaru obiektów edukacyjnych, która wykazuje korelację z pracochłonnością wykonania obiektów. Zaproponowano także metody dotyczące...

  • Development and validation of a HAZOP-based inspection of UML models
    Publikacja

    - Rok 2005

    Artykuł prezentuje technikę inspekcji ukierunkowaną na wykrywanie defektów w modelach UML. Technika ta została opracowana poprzez adaptację HAZOP - metody szeroko stosowanej w dziedzinie systemów związanych z bezpieczeństwem. Wykorzystano podstawową koncepcję HAZOP (zastosowanie ogólnych słów kluczowych do wykrywania pełnej listy anomalii związanych z danym fragmentem modelu) do systematycznego wygenerowania list kontrolnych dla...

  • Designing world closures for knowledge-based system engineering
    Publikacja

    - Rok 2005

    Wraz z rozwojem komponentów opartych na wiedzy przed inżynierami oprogramowania postawione zostały nowe zadania. Jednym z nich jest zintegrowanie tych komponentów z innymi standarodowymi komponentami. Zrealizowanie tego zadania wymagało zdefiniowania języka komunikacji pomiędzy różnymi komponentami w celu wymiany informacji. W artykule omówiono problem wymiany informacji pomiędzy komponentami opartymi na wiedzy i komponentami opartymi...