Filters
total: 718
filtered: 278
-
Catalog
Chosen catalog filters
Search results for: bezpieczenstwo systemow komputerowych
-
Automatyzacja procesu pozyskiwania wiedzy dla systemów ekspertowych.**2003,187 s. 24 rys. 7 tab. bibliogr. 248 poz. Rozprawa doktorska (2003.12.02) PG, Wydz. Elektroniki, Telekomunikacji i Aytomatyki. Promotor: Prof. dr. hab. M. Białko
PublicationPodczs tworzenia systemow ekspertowych występuje problem pozyskania wiedzy zdanej dziedziny. Duże korzyści daje zastosowanie szkieletowych systemów eks-pertowych z wbudowanym modulem automatycznego pozyskiwania wiedzy z istnie-jacych baz danych. Zbudowano i opisano w pracy system CLIPS-XT posiadajacyoryginalne moduły: indukcyjnego wydobywania wiedzy z baz danych za pomocą generowania drzew decyzyjnych i ich konwersji na reguły...
-
Metody zapewniania bezpieczeństwa systemów operacyjnych
PublicationCelem pracy było opracowanie nowych metod zapewniania bezpieczeństwa systemów operacyjnych opartych o trwały zapis istotnych danych systemowych na niemodyfikowalnych nośnikach oraz wykonanie mechanizmów kontroli dostępu do plików z wykorzystaniem skrótów kryptograficznych. Mechanizmy kontroli umożliwiają weryfikację poprawności treści plików oraz przywracanie ich oryginalnej treści w przypadku nieuprawnionej modyfikacji. Celem...
-
Mechanizmy ochrony integralności plików na poziomie monitora maszyny wirtualnej
PublicationMechanizmy ochrony integralności plików umożliwiają wykrywanie nieautoryzowanych zamian w kluczowych do działania systemu operacyjnego plików. Dotychczas rozwiązania tego typu działały jako aplikacje systemowe lub były integrowane z jądrem systemu operacyjnego. Wraz ze zwiększeniem dostępności technik wirtualizacji pojawiła się możliwość przeniesienia systemu ochrony na poziom monitora maszyny wirtualnej, co zapewnia izolację mechanizmu...
-
Industrial computer networks and functional safety
PublicationW rozdziale monografii przedstawiono wybrane aspekty bezpieczeństwa funkcjonalnego na przykładzie przemysłowych sieci komputerowych stosowanych w obiektach infrastruktury krytycznej. Pierwszą cześć rozdziału poświęcono omówieniu klasycznych rozwiązań w zakresie sieci komputerowych. Drugą część rozdziału stanowi analiza przypadku typowej przemysłowej sieci komputerowej z uwzględnieniem aspektów bezpieczeństwa funkcjonalnego.
-
Warunki akustyczne w pracowni komputerowej.
PublicationW artykule przedstawiono warunki akustyczne panujące w laboratoriach komputerowych i ich wpływ na realizację procesu dydaktycznego. Elementem, który poddano analizie jest wpływ poziomu hałasu na możliwość skutecznego odbioru informacji i skupienia na wykonywanych zadaniach przez słuchaczy. W podsumowaniu zaproponowano kierunki właściwej organizacji prowadzenia zajęć w zależności od warunków akustycznych w laboratoriach komputerowych
-
Wind tunnel experiments and numerical analysis of the wind load on double-shell cylindrical, vertical tanks
PublicationW pracy przedstawiono wyniki badań modelowych w tunelu aerodynamicznym oraz symulacji komputerowych obciążenia wiatrem pionowych, walcowych zbiorników dwupłaszczowych z dachem pływającym. W badaniach modelowych analizowano wpływ rozstawu między płaszczami zbiornika na wartość i rozkład współczynnika ciśnienia na płaszczach oraz dachu pływającym. Wyniki symulacji komputerowych przeprowadzonych w programie Fluent porównano z wynikami...
-
Bezpieczeństwo funkcjonalne i ochrona informacji w obiektach i systemach infrastruktury krytycznej – wymagania i kryteria
PublicationNiniejsza praca poświęcona jest zagadnieniom zarządzania bezpieczeństwem funkcjonalnym w cyklu życia z uwzględnieniem norm międzynarodowych PN-ENIEC 61508 i PN-ENIEC 61511 oraz zarządzaniu bezpieczeństwem informacji w systemach i sieciach komputerowych w nawiązaniu do wytycznych OECD i wymagań normy PN-ISO/IEC 27001. Rozważa się przykłady skupionych i rozproszonych sieci komputerowych pełniących funkcje monitorowania, sterowania...
-
Professor Jan Kruszewski-Majewski (1929-2012)
PublicationIn this obituary, we present the life and achievements of an outstanding Polish scientist, Professor Jan Kruszewski-Majewski, who passed away in 2012. Professor Jan Kruszewski-Majewski was one of the pioneers in introducing modern numerical methods in mechanics. He created and developed an original, Polish method of modellings called the rigid finite element method. He was ont only an outstanding scientist, but also a person of...
-
Komputerowe wspomaganie projektowania w procesie kształcenia współczesnego inżyniera branży sanitarnej
PublicationPostęp w dziedzinie informatyki oraz dynamiczny rozwój programów komputerowych ostatniego 20-lecia zmienił diametralnie warsztat pracy współczesnego inżyniera. Obecnie we wszystkich etapach projektowania inżynierskiego istotne jest wykorzystanie narzędzi komputerowych i specjalistycznego oprogramowania. Uczelnie techniczne chcąc dostosować program kształcenia współczesnego inżyniera branży sanitarnej do rynku pracy powinny ściśle...
-
Propagacja fali wzdłużnej w pręcie z peknięciem poprzecznym.
PublicationW pracy przedstawiono model oraz wyniki symulacji komputerowych ilustrujace wpływ peknięcia poprzecznego na zmiany w propagacji fali wzdłużnej.
-
Uogólnione algorytmy zachłanne w kontrastowym kolorowaniu grafów.
PublicationNiniejszy referat poświęcony jest uogólnionym algorytmom zachłannym. Zawiera ich opis, krótką analizę ich własności oraz wyniki testów komputerowych którym zostały poddane.
-
Zautomatyzowana budowa modeli 3D pomieszczeń
PublicationW artykule przedstawiono budowę systemu do automatycznej budowy modeli 3D wnętrz budynków. System taki może być stosowany do tworzenia lokacji w grach komputerowych. Model jest tworzony na bazie kolorowych oraz głębokościowych obrazów pobranych z kamery Microsoft Kinect. Opisano architekturę komponentową systemu, zastosowane sterowniki do komunikacji. Podano zastosowany algorytm sekwencyjny i równoległy, środowisko testowe oraz...
-
Zagadnienie walidyzacji w symulacji geotechnicznych problemów brzegowych
PublicationMetodologia postępowania podczas analiz numerycznych zadań z zakresu geomechaniki stosowanej stanowi istotny element w ocenie metod komputerowych dostępnych we współczesnej geomechanice obliczeniowej.
-
Computational method for determining the static stiffness of the saw blade
PublicationW artykule opisano sposób modelowania i obliczeń odkształceń i naprężeń pił tarczowych o złożonej geometrii korpusu z wykorzystaniem komputerowych programów wspomagających projektowania.
-
Zachłanne algorytmy kolorowania grafów w modelu rozproszonym
PublicationW artykule porównano cztery rozproszone algorytmy kolorowania grafów. Zaprezentowano wyniki eksperymentów komputerowych, w których badano liczbę rund i kolorów uzyskanych dla grafów losowych.
-
Zastosowanie komputerowej symulacji w procesie kształcenia inżyniera branży sanitarnej
PublicationObecnie warsztat pracy współczesnego inżyniera znacznie się zmienił w wyniku dynamicznego rozwoju programów komputerowych do symulacji kinetyki procesów biochemicznych w oczyszczalniach ścieków. Chcąc dostosować program kształcenia współczesnego inżyniera branży sanitarnej do rynku pracy uczelnie techniczne powinny ściśle współpracować z firmami oferującymi oprogramowanie do komputerowej symulacji procesów osadu czynnego. Zastosowanie...
-
Computer simulation of vibration surveillance of discretely idealised mechanical systems. Part II: Tool-workpiece vibration in a non-stationary model of the cutting process
PublicationPrzedmiotem rozważań jest problem nadzorowania drgań narzędzie-przedmiot obrabiany w procesie skrawania. Dokonano analizy obiektu badań oraz dynamiki skrawania. Utworzono niestacjonarny model obliczeniowy. Przedstawiono różne podejścia oraz przykłady symulacji komputerowych nadzorowania drgań z wykorzystaniem modelu niestacjonarnego. Bazowały one na sterowaniu optymalnym oraz sterowaniu skokową zmiana prędkości obrotowej wrzeciona....
-
Wykorzystanie modelowania numerycznego procesów sufozji w ocenie stanu i rewitalizacji małych elektrowni wodnych.
PublicationPrzedstawiono przykłady zastosowania standardowych programów komputerowych do symulacji procesów sufozyjnych w obiektach małych elektrowni wodnych i ich wykorzystania do oceny stanu budowli ziemnych i podłoża.
-
Korelacje doświadczalne między odkształceniem ścian szczelnych i pali a ich sztywnością w zastosowaniu do oceny przemieszczeń rzeczywistych
PublicationKorelacje doświadczalne między wynikami badań przemieszczeń i odkształceń ścianek o różnej sztywności oraz pali i sposobem ich wykonania. Porównanie wyników obliczeń komputerowych z wartościami przemieszczeń rzeczywistych.
-
Optimizing acoustic field intesity algorithms using the sound ray surface density method.
PublicationW artykule przedstawiono zagadnienia optymalizacji algorytmów komputerowych obliczeń rozkładów natężeń pola akustycznego w akwenie w zależności od za- mierzonych warunków hydrologicznych pod kątem skrócenia czasu obliczń.
-
On bounded load routings for modeling k-regular connection topologies
PublicationW pracy analizowane są problemy modelowania k-regularnych topologii sieci komputerowych z punktu widzenia routingu typu point-to-point. Zaprezentowane są algorytmy oraz przeprowadzona jest analiza złożoności obliczeniowej.
-
Ocena możliwości realizacji przez uczelnie techniczne warsztatów teleinformatycznych dla nauczycieli.
PublicationZaproponowano zestaw warsztatów teleinformatycznych dla nauczycieli pozwalających zapoznać się z podstawami sieci komputerowych. Przedstawiono cel warsztatów, opisano ich program, przedyskutowano możliwości ich prowadzenia przez wyższe szkoły techniczne.
-
MODELOWANIE UKŁADÓW OGRZEWANIA ROZJADÓW KOLEJOWYCH
PublicationW pracy przedstawiono wyniki wstępnych badań procesu nagrzewania rozjazdów kolejowych dotyczące kształtu i sposobu mocowania grzejników rezystancyj-nych. Proces nagrzewania analizowano metodą symulacji komputerowych wykonanych w programie ANSYS
-
Przybliżone algorytmy uporządkowanego kolorowania krawędzi multidrzew.
PublicationNiniejszy referat omawia zagadnienie uporządkowanego kolorowania krawędzi multidrzew. Opisano w nim dwa przybliżone algorytmy dla tego problemu, zbadano ich własności teoretyczne oraz przedstawiono wyniki testów komputerowych, jakim zostały poddane.
-
A Surveillance Of Dynamic Processes in Selected Mechatronic Systems
PublicationThe paper concerns development of original method of optimal control at energy performance index and its application to dynamic processes surveillance of some mechatronic systems. The latter concerns chatter vibration surveillance during highspeed slender milling of rigid details, as well as motion control of two-wheeled mobile platform. Results of on-line computer simulations and real performance on the target objects reflect...
-
Blended-learning w nauczaniu przedmiotów nieinformatycznych
PublicationBlended-learning jest coraz powszechniej wykorzystywany w nauczaniu przedmiotów informatycznych lub innych przedmiotów, w których ćwiczenia realizowane są w laboratoriach komputerowych. W przypadku przedmiotów bez dostępu do sal komputerowych, blended-learning wspomaga prowadzenie wykładów i ćwiczeń poprzez np. lekcje interaktywne. Artykuł opisuje zastosowanie form blended-learning w realizacji laboratoriów z przedmiotu Bezpieczeństwo...
-
Komputerowe wspomaganie zarządzania projektami innowacyjnymi realizowanym w oparciu o podejście adaptacyjne
Publicationopracowanie niniejsze ma na celu przeanalizowanie możliwości komputerowego wspomagania projektów innowacyjnych realizowanych w oparciu o podejście adaptacyjne. aby móc osiągnąć założony cel, przeanalizowano wymogi związane z prowadzaniem tego typu projektów. zidentyfikowane zostaną kluczowe obszary, mające znaczenie dla ich sukcesu. przeanalizowano i zweryfikowano możliwości komputerowych narzędzi, takich jak na przykład microsoft...
-
Wizualizacja - element warsztatu współczesnego architekta = Visualization - element of modern architect's workshop
PublicationArtykuł dotyczy wizualizacji architektonicznej jako realistycznej prezentacji projektu za pomocą grafiki komputerowej. Został tu przedstawiony zakres problematyki, z którą styka się użytkownik programów komputerowych w kolejnych etapach tworzenia wirtualnego obrazu.
-
Rekonstrukcja cysterskiej wieży zegarowej zespołu zabudowy Seminarium Duchownego w Pelplinie
PublicationPraca dotyczy prac projektowych i realizacji rekonstrukcji wieży zegarowej na budynku Wyższego Seminarium Duchownego w Pelplinie. W pracach zastosowano metodę badań modelowo-komputerowych prowadzących do wiernego odtworzenia zabytkowej, barokowej wieży.
-
Zastosowanie Grafiki 3D do wizualizacji dna morskiego
PublicationTechnologie do wytwarzanie grafiki 3D to dynamicznie rozwijająca się gałąź przemysłu informatycznego. Znajdują one zastosowanie nie tylko przy tworzeniu gier komputerowych, ale coraz częściej są wykorzystywane w systemach trjwymiarowej wizualizacji danych pomiarowych.
-
T-SL, T-SLF i T-DSATUR - nowe heurystyki dla problemu przydziału częstotliwości
PublicationNiniejszy artykuł poświęcony został algorytmom T-SL, T-SLF i T-DSATUR - nowym heurystykom dla problemu przydziału częstotliwości. Zawiera opis algorytmów, omówienie ich teoretycznych własności oraz wyniki testów komputerowych, którym zostały poddane.
-
Praca bibliotekarza w erze cyfrowej: 20 darmowych programów i aplikacji do wykorzystania w bibliotece
PublicationArtykuł prezentuje 20 darmowych programów komputerowych, wykorzystywanych w Bibliotece Głównej Gdańskiego Uniwersytetu Medycznego. Przedstawione aplikacje mogą wzbogacić warsztat pracy bibliotekarzy, którzy zajmują się: tworzeniem szkoleń, edycją bibliotecznych stron internetowych oraz komunikacją z użytkownikami.
-
Symulacje komputerowe obciążenia wiatrem pionowego, walcowego zbiornika dwupłaszczowego
PublicationW pracy przedstwiono wyniki symulacji komputerowych obciążenia wiatrem walcowego, pionowego zbiornika dwupłaszczowego, przy dwóch położeniach dachu pływającego. Symulacje przeprowadzono przy zastosowaniu programu komputerowego Fluent. Wyniki obliczeń numerycznych porównano z wynikami badań modelowych w tunelu aerodynamicznym.
-
Efektywność odzysku energii hamowania elektrodynamicznego w komunikacji miejskiej.
PublicationPrzedstawiono metodę aktywnego sterowania ruchem pojazdów komunikacji miejskiej dla zwiększenia wykorzystania energii hamowania zwracanej do sieci. Przedstawiono wyniki badań eksperymentalnych w metrze i komunikacji tramwajowej oraz analizy teoretycznej z wykorzystaniem komputerowych metod modelowania i symulacji.
-
Analiza kinematyki docierania jednotarczowego powierzchni płaskich
PublicationPrzedstawiono wyniki analizy kinematyki docierania jednotarczowego z wykorzystaniem trzech opracowanych programów komputerowych. Badano czas zamknięcia pętli ruchu elementów obrabianych oraz prognozowane zużycie kształtowe docieraka, przy założonym rozmieszczeniu przedmiotów. Optymalizowano rozmieszczenie elementów docieranych w aspekcie równomiernego zużycia narzędzia.
-
Prostokątne anteny mikropaskowe zasilane przez sprzężenie elektromagnetyczne
PublicationPraca dotyczy projektowania anten mikropaskowych dla pasma 2.4 GHz, zasilanych przez sprzężenie elektromagnetyczne realizowane poprzez szczelinę we wspólnym ekranie. Przedstawiono wyniki symulacji komputerowych wybranych konfiguracji anten pod kątem poszerzenia ich pasma pracy. Zamieszczono wyniki pomiarów zrealizowanych modeli anten.
-
Sieci RPR - sprawiedliwość
PublicationW pracy dokonano charakterystyki sieci RPR. Zdefiniowano pojęcie sprawiedliwości. Opisano algorytmy mające zapewnić sprawiedliwość wykorzystywane w sieciach komputerowych, w szczególności w sieciach RPR. Przedstawiono wyniki badań możliwości stabilnego wysyłania danych przez stacje RPR znajdujące się w domenie przeciążenia.
-
Modified methods of impulse radio spectrum shaping to improve electromagnetic environment in UWB systems
PublicationW publikacji zamieszczono opis metod kształtowania widma ultraszerokopasmowego radia impulsowego w zakresie eliminacji niepożądanych składowych widma. Opisano sposób adaptacji tych metod do zwiększenia odporności transmisji ultraszerokopasmowych na zakłócenia wąskopasmowe i przedstawiono wyniki symulacji komputerowych jakości transmisji w łączu UWB.
-
Możliwości modelowania w biomechanice = Modelling capabilities in biomechanics
PublicationOmówiono mozliwości modelowania w biomechanice. Zaprezentowano główne kierunki badań biomechanicznych oraz metody modelowania, w tym najbardziej popularne oprogramowania do symulacji komputerowej modeli biomechanicznych ciała człowieka. Przedstawiono metody wykorzystania programów komputerowych CHARM, SIMM oraz AnyBody System do utworzenia biomechanicznych modeli ramienia człowieka.
-
Safety of computer control systems: challenges and results in software development.
PublicationArtykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.
-
Komputerowe systemy pomiarowo-diagnostyczne
PublicationPrzedstawiono klasyfikację i strukturę komputerowych systemów pomiarowych oraz kolejne etapy związane z projektowaniem, wykonaniem i uruchomieniem takiego systemu. Opisano również przykłady systemów pomiarowo-diagnostycznych, opracowanych przy współudziale autora: system do wyznaczania charakterystyk silników trakcyjnych oraz system do badania zaworów regulacyjnych.
-
Baza danych usprawniająca zarządzanie kadrowo-magazynowe w Jednostce Ratowniczo-Gaśniczej PSP
PublicationBazy danych zaimplementowane w środowiskach komputerowych są obecnie podstawowymi narzędziami do wspomagania zarządzania w różnych organizacjach. W artykule zaprojektowano i wdrożono relacyjną bazę danych dla Jednostki Ratowniczo-Gaśniczej w Państwowej Straży Pożarnej. System zaimplementowano i przetestowano w środowisku Microsoft Access.
-
Implementacja zmodyfikowanego klasyfikatora wielowymiarowego typu bitmap-intersection w układzie FPGA.
PublicationW pracy przedstawiono zagadnienia związane z budową i implementacją wielowymiarowego klasyfikatora typu bitmap-intersection. Przedstawiono zastosowania wielowymiarowych klasyfikatorów w sprzęcie sieci komputerowych. Omówiona została szczegółowo budowa klasycznego układu takiego klasyfikatora oraz zaproponowano jego modyfikację. Omówiono rezultaty implementacji zmodyfikowanego klasyfikatora w układzie programowalnym FPGA.
-
Wykorzystanie strumienia danych z odwzorowania powierzchni do oceny zużycia
PublicationWażnym zagadnieniem w badaniach tribologicznych jest poznanie zużywania się materiałów. Przedstawiono oryginalną, skuteczną metodę wyznaczania liniowej i powierzchniowej miary zużycia na podstawie analizy wejściowego strumienia danych reprezentującego geometryczne odwzorowanie powierzchni zużywanej próbki. Przedstawiono algorytm oraz krótki opis działania i możliwości programów komputerowych.
-
Perception-based data processing in acoustics. Applications to music information retrieval and psychophysiology of hearing.
PublicationTematyka książki obejmuje w pierwszej kolejności opis mechanizmów kognitywnych leżących u podstaw percepcji muzyki. Przedstawione zostały również zagadnienia automatycznego rozpoznawania dźwięków instrumentów muzycznych i muzyki, zastosowanie nowych metod z dziedziny sztucznej inteligencji w szeroko rozumianej inżynierii dźwięku oraz komputerowych metod badania słuchu.
-
Zastosowanie reguł rozmytych w komputerowej animacji postaci - wybrane zagadnienia
PublicationCelem badawczym rozprawy było wykazanie możliwości wykorzystania inteligentnych metod obliczeniowych, głównie logiki rozmytej, w animacji komputerowych postaci. Powstał system pozwalający w sposób półautomatyczny tworzyć animacje płynne i nacechowane stylistycznie. Poprawność wykorzystanego podejścia została zweryfikowana w toku testów oceny z udziałem dużej liczby widzów-ekspertów.
-
Komputerowe wspomaganie zarządzania jakością w systemach klasy MRP/ERP z uwzględnieniem specyfiki sektora MŚP
PublicationW opracowaniu przedstawiono koncepcje integracji komputerowych aplikacji wspomagających zarządzanie jakością z systemami klasy MRP/ERP. W rezultacie przeprowadzonej analizy dotyczącej genezy i zastosowań modułów wspierających zarządzanie jakością w systemach zintegrowanych sformułowano wnioski dotyczące funkcjonalności tych systemów zarządzania oraz ich możliwości aplikacyjnych w sektorze MŚP.
-
Algorytm branch-and-bound dla pewnego problemu szeregowania zadań uwarunkowanych czasowo
PublicationW artykule został przedstawiony algorytm branch-and-bound dla problemu szeregowania zadań uwarunkowanych czasowo 1 | pi = 1 + aisi | sum Ci. Przedstawiono także wyniki eksperymentów komputerowych prezentujących wydajność algorytmu. Zastosowanie przedstawionego algorytmu umożliwia powiększenie "obliczalnych" rozmiarów instancji o 6-10 zadań w stosunku do algorytmu pełnego przeszukiwania.
-
Hybrydowy symulator zachowań niekooperacyjnych w sieciach wieloskokowych
PublicationW referacie przedstawiono projekt symulatora sprzętowo-programowego (hybrydowego) służącego do analizy protokołów sieciowych. Symulator, ze względu na swoją konstrukcję, może być zastosowany do symulacji szerokiego zakresu aspektów pracy sieci komputerowych zarówno przewodowych, jak i bezprzewodowych. Aplikacją podstawową jest badanie zachowań niekooperacyjnych w sieciach wieloskokowych.
-
Vibration surveilance for milling of a flexible workpiece
PublicationPraca przedstawia przypadek nadzorowania drgań podczas frezowania szybkościowego przedmiotów podatnych z wykorzystaniem aktywnego sterowania optymalnego. System sterowania zawiera czujniki i wzbudniki piezoelektryczne, montowane na powierzchni przedmiotu obrabianego. Do opisu dynamiki układu sterowanego wykorzystano współrzędne hybrydowe. Skuteczność nadzorowania potwierdziły wyniki symulacji komputerowych oraz badań eksperymentalnych.