Year 2005

• The cartographer algorithm for processing and querying description logics ontologies

  Publication

  • K. Goczyła
  • T. M. Grabowska
  • M. Zawadzki
  • W. Waloszek

  - Year 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...

• Tool support for ECSDM fault tree methodology

  Publication

  • G. Gołaszewski

  - Year 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...

• Topologiczna analiza ontologii opartych na logiceopisowej

  Publication

  • K. Goczyła
  • W. Waloszek

  - Year 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....

• Wydobywanie wiedzy i klasyfikacja danych w systemie typu Web Farming

  Publication

  • K. Goczyła
  • J. Ciarkowski

  - Year 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...

• Zagadnienia bezpieczeństwa systemów operacyjnych

  Publication

  • J. Kaczmarek
  • M. Wróbel

  - Year 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...

Year 2004

• Eksperymentalne porównanie inspekcji UML-HAZOP z przeglądem niestrukturalnym.

  Publication

  • A. Jarzębowicz
  • J. Górski

  - Year 2004

  Artykuł opisuje eksperyment przeprowadzony w warunkach akademickich, z udziałem studentów Politechniki Gdańskiej. Celem eksperymentu było porównanie dwóch technik przeglądowych: inspekcji opartej na metodzie UML-HAZOP oraz zwykłego przeglądu niestrukturalnego. W ramach porównania obu technik dokonano oceny ich skuteczności i wydajności. Metodę UML-HAZOP poddano ponadto dodatkowej ocenie uczestników za pomocą anonimowych ankiet....

• Identifying Software Project Risks with the Process Model.

  Publication

  • J. Miler
  • J. Górski

  - Year 2004

  Artykuł prezentuje podejście do identyfikacji ryzyka w projektach informatycznych oparte na modelowaniu procesów. Podejście obejmuje jawne modelowanie procesów programowych oraz identyfikację ryzyka dwoma dedykowanymi technikami. Artykuł wprowadza meta-model dla wyrażenia ryzyka procesu. Następnie szczegółowo przedstawiono dwie systematyczne techniki identyfikacji ryzyka odwołujące się do modelu procesu i skupiające uwagę analityka...

• Identyfikacja ryzyka projektu informatycznego na podstawie modelu procesu.

  Publication

  • J. Miler
  • J. Górski

  - Year 2004

  Artykuł prezentuje nowe systematyczne techniki identyfikacji ryzyka w projektach informatycznych wykorzystujące modele procesu projektowego. Jawne modelowanie rozważanego obszaru biznesowego umożliwia kontrolę zakresu identyfikacji i zapewnia kompletność analiz. W artykule przedstawiono szczegółowe procedury postępowania dla proponowanych technik, a następnie omówiono eksperyment, w którym zastosowano te procedury do identyfikacji...

• Monitorowanie procesu wytwarzania oprogramowania z wykorzystaniem hierarchii agentów typu Web Farming.

  Publication

  • G. Cysewski
  • K. Goczyła

  - Year 2004

  W artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Idea polega na nadzorowaniu przebiegu projektu w tle poprzez agentów uruchomionych na komputerach uczestników projektu. W celu zdefiniowania procesu, zwanego procesem SoFar, proponuje się język PMDL, który będzie podstawą także do generowania kodu agentów. Przedstawiono możliwości zastosowania...

• Możliwości komputerowego wspomagania interaktywnych ćwiczeń i testów.

  Publication

  • J. Kaczmarek
  • A. Landowska

  - Year 2004

  Artykuł dotyczy tworzenia interaktywnych obiektów uczących w środowiskach zdalnego nauczania. Opisano zalecenia standardu SCORM dotyczące sposobu tworzenia obiektów z wykorzystaniem języka XML. Omówiono problemy z implementacją pytań i testów w interaktywnych materiałach dydaktycznych. Wyróżniono typy pytań i testów możliwe do realizacji w technologiach internetowych. Wskazano na konieczność budowy narzędzi, które umożliwią nauczycielom...

• Obszary zastosowań dystrybucji CDLINUX.PL.

  Publication

  • J. Kaczmarek
  • M. Wróbel

  - Year 2004

  System operacyjny GNU/Linux jest używany coraz powszechniej, również jako oprogramowanie stacji roboczych. W 2003 roku powstał projekt cdlinux.pl mający na celu ułatwienie poznawania systemu Linux przez polskich, początkujących użytkowników. W artykule przedstawiono zidentyfikowane wymagania użytkowników, na podstawie których stworzono dystrybucję systemu operacyjnego GNU/Linux. Wyszczególniono obszary potencjalnych zastosowań...

• Problematyka wywodzenia schematów z dokumentów XML.

  Publication

  • W. Waloszek

  - Year 2004

  Artykuł prezentuje motywacje i podejścia do wywodzenia informacji opisujących budowę dokumentów XML. Omówiono semistrukturalny model danych jego związki z modelem danych XML oraz możliwości adaptacji metod wywodzenia schematów danych semistrukturalnych do potrzeb przetwarzania dokumentów XML. Przedstawiono przegląd dotychczasowych prac nad metodami i narzędziami wywodzenia schematów z dokumentów i zbiorów dokumentów XML.

• Problematyka zarządzania wiedzą w systemach typu e-health.

  Publication

  • K. Goczyła
  • T. M. Grabowska
  • W. Waloszek
  • M. Zawadzki

  - Year 2004

  W rozdziale przedstawiono koncepcję systemu zarządzania wiedzą w ogólnodostępnym, wielofunkcyjnym systemie ukierunkowanym na różnorodne zastosowania związane z ochroną zdrowia. Koncepcja ta jest realizowana w zintegrowanym projekcie objętym 6. Programem Ramowym Unii Europejskiej. Zaprezentowano: miejsce zarządzania wiedzą w stosunku do innych części systemu, architekturę podsystemu zarządzania wiedzą oraz szczegółowo omówiono funkcje...

• Problemy odwzorowywania ontologii opartych na logice opisowej w schemat relacyjnej bazy danych.

  Publication

  • M. Zawadzki

  - Year 2004

  Artkuł prezentuje ogólną koncepcję odwzorowywania ontologii opartych na logice opisowej na schemat relacyjnej bazy danych i dane zapisane zgodnie z tym schematem. przedstawia również istniejące podejścia wykorzystujące metody powiązań słabych i powiązań silnych. Prezentuje zalety i wady opisywanych metod, jak również pojawiające się w nich problemy i ograniczenia.

• Reprezentacja map procesów biznesowych Rummlera-Brache'a w języku PMDL na potrzeby agentów monitorujących proces wytwórczy.

  Publication

  • G. Cysewski
  • K. Goczyła

  - Year 2004

  W artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Proces wytwórczy definiowany jest w formie hierarchicznego zbioru procesów biznesowych opisywanych zgodnie z formalizmemzaproponowanym przez Rummlera-Brache'a. Zbiór ten odwzorowany jest na zapis w języku PMDL, z którego generowany jest kod agentów monitorujących proces wytwórczy.

• Risk Identification Patterns for Software Projects.

  Publication

  • J. Miler
  • J. Górski

  - Year 2004

  Artykuł prezentuje metodę identyfikacji ryzyka w projektach informatycznych z użyciem wzorców ryzyka odnoszących się do modelu procesu projektowego. W artykule zdefiniowano meta-model dla modelowania procesów ukierunkowany na analizę ryzyka oraz proste i złożone wzorce ryzyka wywiedzione z tego meta-modelu, jak również pokazano przykładowe użycie wzorców do opisu czynników ryzyka odnoszących się do modelu RUP. Metodę poddano walidacji...

• Risk-driven Software Process Improvement - a Case Study.

  Publication

  • J. Miler
  • J. Górski

  - Year 2004

  Artykuł przedstawia studium przypadku praktycznego zastosowania metody sterowanej ryzykiem poprawy procesów programowych w rzeczywistym projekcie informatycznym. Metoda zakłada jawne modelowanie procesu i jego braków (czynników ryzyka), a także wspiera ewolucję procesów. Ponadto zawiera dedykowane techniki identyfikacji ryzyka procesów oraz wywodzenia z niego sugestii poprawy procesów. Techniki te są wbudowane w cykliczną procedurę...

• Schema mining in XML documents.

  Publication

  • K. Goczyła
  • W. Waloszek

  - Year 2004

  W artykule przedstawiono algorytm COBWEB S+T służący do wywodzenia schematów z kolekcji dokumentów XML. Algorytm wykorzystuje model danych semistrukturalnych oraz alorytm COBWEB służący do grupowania koncepcyjnego. W artykule zaprezentowano również wyniki testów działania algorytmu.

• Wykorzystanie serwerów UDDI dla systemów zdalnej edukacji.

  Publication

  • J. Kaczmarek
  • A. Landowska
  • M. Dit Tieman Diarra

  - Year 2004

  W artykule przedstawiono możliwości wykorzystania usług sieciowych opartych na serwerach UDDI (Universal Description, Discovery and Integration) do przechowywania obiektów edukacyjnych. Opisane rozwiązanie wykorzystujące język XML, protokół SOAP (Simple Object Access Protocol) i standard WSDL (Web Services Description Language) pozwala na tworzenie baz wiedzy przeznaczonych zarówno dla uczniów jak również dla nauczycieli....

• Wywodzenie schematu z danych o nieznanej strukturze za pomocą algorytmu COWEB S+T.

  Publication

  • W. Waloszek

  - Year 2004

  W artykule przedstawiono algorytm COBWEB S+T służący do wywodzenia schematów XML ze zbioru dokumentów XML o nieznanej strukturze. Algorytm ten wykorzystuje model danych semistrukturalnych oraz algorytm grupowania pojęciowego COBWEB, a także, opracowane na potrzeby algorytmu, funkcje oceny wzajemnego podobieństwa typów i schematów. Artykuł przedstawia również wyniki przeprowadzonych testów algorytmu.