Filters
total: 18715
-
Catalog
- Publications 12546 available results
- Journals 530 available results
- Conferences 257 available results
- Publishing Houses 1 available results
- People 508 available results
- Inventions 32 available results
- Projects 125 available results
- Laboratories 14 available results
- Research Teams 41 available results
- Research Equipment 15 available results
- e-Learning Courses 1397 available results
- Events 63 available results
- Open Research Data 3186 available results
displaying 1000 best results Help
Search results for: wiarygodnosc systemow
-
XML-based monitoring and its implementation in Perl
PublicationArtykuł ten omawia w sposób ogólny problem monitorowania systemów informacyjnych oraz opisuje system monitoringu wytworzony w firmie Lufthansa Systems w celu monitorowania systemów informatycznych swoich klientów. Artykuł koncentruje się głównie na XMLowym mechaniźmie przetwarzania danych użytym w tym systemie, opisuje on jednak również skrótowo pozostałe zasady jego działania. Zostały również omówione podstawy przetwarzania danych...
-
Sterowanie poziomami napięć i rozpływem mocy biernej na szczeblu operatora systemu przesyłowego. Systemy elektroenergetyczne:eksploatacja, stabilność, niezawodność, awarie i restytucje, modelowanie i symulacje.
PublicationPrzedstawiono docelową strukturę hierarchicznego systemu sterowania poziomami napięć i rozpływem mocy biernej w systemie elektroenergetycznym realizowana na szczeblu operatora systemu przesyłowego. Omówiono zadania z operatora systemu w tym zakresie, wymagana strukturę sprzętową EMS oraz strukturę programową EMS w zakresie sterowania napięciami i rozpływem mocy biernej.
-
Perspectives of Transport Systems Development in the Light of Radio Communication Systems Evolution Towards 5G
PublicationIn the paper conditions of development and implementation of transport systems with reference to the development of radio communication networks towards 5G are presented. First, general properties of next generation systems are mentioned and their architecture. Moreover, planned characteristics of B4G and 5G systems are depicted which can significantly contribute to the promotion and development of transport systems. In particular...
-
On efficiency of layer 2 of the radio interface protocol stack in UMTS
PublicationCelem pracy jest szczegółowa analiza funkcjonowania warstwy łącza danych w podsystemie dostępu radiowego UTRAN systemu UMTS i na tej podstawie przedstawienie szeregu zmian i usprawnień oraz wskazówek odnośnie konfiguracji protokołów, jakie należy w tej warstwie zastosować aby zmaksymalizować jej wydajność głównie pod kątem oferowanej przepływności, wprowadzanych opóźnień oraz wsparcia priorytetów przesyłanego ruchu. Teza pracy...
-
Badania i analiza systemów radiolokalizacyjnych do zastosowań specjalnych
PublicationW artykule scharakteryzowano wpływ nadmiernego uzależnienia różnych dziedzin aktywności od systemów nawigacji satelitarnej GNSS oraz przedstawiono podstawy funkcjonowania systemów radiolokalizacyjnych i radionawigacyjnych wraz z omówieniem zalet i wad różnych struktur systemów i metod estymacji położenia pod względem ich zastosowania w systemach do zastosowań specjalnych. Zaprezentowana została także zasada działania naziemnych...
-
Ocena systemów uziemień z wykorzystaniem pomiarów metodą udarową
PublicationW artykule zostały omówione procedury i wymagania stawiane systemom uziemień przez przepisy normalizacyjne z punktu widzenia ich skuteczności w systemie ochrony odgromowej. Podstawą tak sformułowanej oceny są pomiary z zastosowaniem metody udarowej. Metoda taka okazuje się bardzo przydatna zwłaszcza w przypadku uziemień rozległych, jakie pojawiają się we współczesnych obiektach wskutek połączenia różnych elementów uziemiających...
-
Badanie i analiza systemów radiolokalizacyjnych do zastosowań specjalnych
PublicationNiniejsza monografia jest poświęcona tematyce systemów radiolokalizacyjnych, ze szczególnym uwzględnieniem rozwiązań naziemnych, projektowanych z myślą o zastosowaniach specjalnych. Jako systemy do zastosowań specjalnych rozumiane są tu rozwiązania projektowane pod kątem spełniania oczekiwań określonych służb porządku publicznego czy dziedzin przemysłu, w których precyzyjne i niezawodne dostarczanie informacji pozycyjnych ma istotny...
-
KSZTAŁTOWANIE ZABUDOWY I SYSTEMÓW ZIELENI NA TERENACH MIEJSKICH
PublicationDynamika wzrostu miast i problemy jakości ich środowiska skłaniają do badań nad możliwościami tworzenia efektywnych użytkowo systemów zieleni zintegrowanej z zabudową. Rozwijane są rozwiązania integrujące roślinność z rozwiązaniami architektonicznymi (tzw. zielona infrastruktura). Przejawem nowego podejścia do funkcji zieleni w mieście są farmy miejskie pozwalające na produkcję roślin na potrzeby społeczności lokalnej. Podjęte zostały...
-
Przegląd systemów mieszania cieczy fermentacyjnej stosowanych w biogazowniach
PublicationWraz z rozwojem sektora energetyki odnawialnej w Polsce, obserwowany jest wzrost produkcji i wykorzystania biogazu. Aktualna sytuacja na rynku odnawialnych źródeł energii oraz planowane zmiany w prawodawstwie, pozwalają przypuszczać, że w najbliższych latach, na terenie naszego kraju powstaną kolejne instalacje biogazowe. Należy jednak pamiętać, że jedną z najważniejszych decyzji na etapie planowania inwestycji biogazowej jest...
-
Nieortogonalna metoda dostępu wielokrotnego dla systemów następnych generacji
PublicationW artykule zaprezentowano nieortogonalną, metodę dostępu wielokrotnego do kanału, nazywaną w skrócie metodą NOMA, która jest prawdopodobna do zastosowania w systemach 5G. Porównano ją z dotychczas powszechnie stosowanymi metodami ortogonalnymi OMA. Analizę przeprowadzono dla łącza w dół i łącza w górę.
-
Wpływ systemów oświetleniowych LED na zaburzenia nisko częstotliwościowe
PublicationW artykule przedstawiono wyniki pomiarów i analizy wpływu systemów oświetleniowych opartych o oprawy LED w dwóch różnych konfiguracjach stosowania na ogólny poziom zaburzeń mało częstotliwościowych. Dodatkowo przeprowadzono badania dostępnych komercyjnie układów oświetleniowych LED oraz jarzeniowych w izolowanym środowisku pracy, badając wpływ wysokich poziomów zaburzeń na charakterystyki ich pracy. W podsumowaniu zaprezentowano...
-
MOC MOOC-ÓW – CZAS NA POLSKIE ROZWIĄZANIA SYSTEMOWE
PublicationMOOC-i, czyli masowe otwarte kursy online to nowoczesna, efektywna i bardzo wygodna forma kształcenia docierająca do szerokiego grona odbiorców. MOOC-i umożliwiają prowadzenie zajęć o szerokiej tematyce począwszy od kursów poradniczych, przez popularnonaukowe po wyjaśniające złożone zagadnienia techniczne. Artykuł prezentowany przez Fundację Młodej Nauki poświęcony jest inicjatywie...
-
Efektywność metod modelowania systemów z perspektywy psychologii poznawczej.
PublicationPsychologiczne dopasowanie metod modelowania systemów i narzędzi CASE do profilu wykonawcy ma istotny wpływ na efektywność pracy rozumianą chociażby jako czas wykonania zadania, ilość wprowadzonych defektów, łatwość pracy,czy też łatwość wykorzystania rezultatów. W referacie zaprezentowano dwa podejścia do oceny metod modelowania z perspektywy poznawczej. W pierwszym podejściu wykorzystano zbiór wymiarów poznawczych, natomiast...
-
Aspekty tworzenia modeli do prognozowania niezawodności systemów technicznych
PublicationPrzedstawiono zagadnienie modelowania systemów technicznych. Opisano przykładowe modele informacyjne i strukturalne (syntaktyczne, semantyczne i operacyjne). Zasygnalizowano możliwości modelowania systemów technicznych, podając przykłady modelu zmian stanów technicznych dowolnego systemu technicznego z zastosowaniem modelowania systemowego oraz modelu zmian niezawodności tego systemu z zastosowaniem modelowania matematycznego.
-
Metody opisu treści obrazów dla potrzeb systemów wyszukiwania.
PublicationPrzedstawiono metody opisu i wyszukiwania obrazów na podstawie ich treści. Zaproponowano schemat ekstrakcji regionów oraz generacji ich opisów z zastosowaniem kodów długości serii. W opracowanym systemie zaprojektowano i zaimplementowano możliwość definiowania zapytań do baz danych uwzględniając:właściwości i parametry regionu (deskryptory intensywności, tekstury, i kształtu) oraz relacji przestrzennych pomiędzy regionami.
-
Porównanie metod algorytmicznych i eksperymentalnych oceny systemów rekomendacji.
PublicationNa przykładzie systemu rekomendacji badań endoskopowych (ERS) przedstawiono problematykę oceny jakości systemów rekomendacji. Zaproponowane zostały dwa podejścia oceny jakości: algorytmiczne wynikające ze zdefiniowanych miar i sposobu ich pomiaru za pomocą algorytmów testowych oraz eksperymentalne opierające się na ocenie rzeczywistej pracy systemu. Przedstawiono szereg miar służących do pomiarów algorytmicznych. Pokazano...
-
Rozwój metod modelowania systemów organizacji i zarządzania produkcją.
PublicationW niniejszym rozdziale określono główne czynniki które wpływają na proces modelowania systemów organizacji i zarządzania produkcją. Dla każdego z wyróżnionych czynników przedstawono również rozwój ukształtowanych w wyniku modelowania technik i metod wspomagających produkcję.
-
Nowe technologie teleinformatyczne w realizacji systemów zdalnej edukacji.
PublicationArtykuł dokonuje analizy możliwości i efektywności zastosowania technologii internetowych we wdrażanych obecnie zaawansowanych systemach zdalnej edukacji różnych typów. Kolejną część opracowania poświęcono analizie dalszych możliwości rozwoju tego rodzaju produktów w oparciu o standard SCORM i zastosowane tam powiązanie systemów edukacji elektronicznej z technologiami internetowymi. Przykładem mogą być tu prace nad rozszerzeniem...
-
Zastosowanie technologii internetowych w realizacji systemów zdalnego nauczania
PublicationW referacie dokonano przeglądu systemów zdalnego nauczania. Przedstawiono ich podstawową klasyfikację oraz prowadzone prace standaryzacyjne, w szczególności standard SCORM. Omówiono technologie internetowe stosowane w systemach e-learningu oraz ich wpływ na sposób tworzenia tych systemów oraz efektywność procesu dydaktycznego. Wskazano najbardziej prawdopodobne kierunki rozwoju systemów e-learningu wspartych technologiami internetowymi.
-
Komputerowa symulacja i badania terenowe miejskich systemów wodociągowych.
PublicationPrzedstawiono metodykę konstruowania komputerowych modeli przepływów w wersji dynamicznej, a także wyniki własnych badań terenowych i symulacyjnych procesu przepływu wody w eksploatowanych miejskich systemach wodociągowych. W procesie tworzenia komputerowego modelu przepływu wykorzystano autorską propozycję obliczania wydatków węzłowych na podstawie analizy zbioru odczytów wodomierzowych u wszystkich odbiorców. Zaprezentowano realizację...
-
Rola Inteligentnych Systemów Transportu w bezpieczeństwie transportu drogowego
PublicationW rozdziale przedstawiono przesłanki do stosowania inteligentnych systemów transportu w bezpieczeństwie transportu drogowego, uwarunkowania wdrożenia środków ITS w Polsce oraz wskazano rolę sektora publicznego i prywatnego w rozwoju ITS.
-
Analiza porównawcza systemów nawigacji satelitarnej GPS i GLONASS
PublicationPrzedstawiono ogólną charakterystykę systemów radionawigacyjnych GPS i GLONASS. Dokonano porównania wybranych ich właściwości, takich jak: przebieg rozwoju, charakterystyka segmentów, parametry przesyłanych sygnałów oraz struktura danych nawigacyjnych.
-
Dobór impulsów o zadanym widmie do systemów UWB
PublicationProblematyka dostosowania widma sygnału ultraszerokopasmowego radia impulsowego do stanu zajętości widma fal radiowych została przedstawiona w artykule, z podziałem na następujące dwa zagadnienia: projektowanie postaci czasowej generowanych impulsów przy określonych założeniach dotyczących widma wynikowego oraz modyfikacja widma impulsów przez filtrację w dziedzinie częstotliwości. Artykuł zawiera także wyniki prac badawczych,...
-
Metoda wykrywania anomalii w wybranych modelach systemów informatycznych
PublicationW pracy zaproponowano nową metodę inspekcji ukierunkowaną na wykrywanie defektów w diagramach UML powstających we wczesnych etapach procesu wytwarzania oprogramowania. Mechanizm detekcji defektów został oparty na pomyśle wykorzystania podejścia HAZOP (ang. Hazard and Operability Study) znanego z dziedziny systemów związanych z bezpieczeństwem. Podstawowymi elementami tego mechanizmu są systematyka procesu kontroli i wykrywania...
-
Doświadczenia z eksploatacji hybrydowych systemów hydrofitowychw rejonie Gdańska
PublicationCelem niniejszej pracy jest ocena działania monitorowanych hybrydowych systemów hydrofitowych (HSH) w Regionie Gdańska. Przeprowadzona analiza zastosowanej konfiguracji złóż, efektywności usuwania zanieczyszczeń podczas kilkuletniej eksploatacji w zależności od stosowanych obciążeń umożliwi ocenę naturalnej metody oczyszczania ścieków w odniesieniu do obszarów niezurbanizowanych, gdzie często stosowanie konwencjonalnych systemów...
-
Ocena modeli grupowego wdrażania systemów jakości w MŚP
PublicationW artykule przedstawiono charakterystykę wybranych inicjatyw grupowego wdrażania systemów jakości w małych i średnich przedsiębiorstwach stosowanych w Polsce i za granicą. W odniesieniu do kluczowych elementów tych przedsięwzięć, zaprezentowano włacną propozycje rozwiązań usprawniających stosowane w praktyce podejścia.
-
Koncepcja zastosowania systemów agentowych do oceny technologii informatycznych
PublicationW pracy przedstawiono koncepcję wykorzystania systemów agentowych do oceny technologii informatycznych. Praca zawiera opis koncepcji oraz przedstawia możliwości wykorzystania narzędzi informatycznych mogących znaleźć zastosowanie do implementacji i weryfikacji proponowanego rozwiązania. Praca jest częścią wspólnych badań nad tworzeniem rozwiązań do oceny technologii informatycznych, które obejmują wykorzystanie ocen eksperckich...
-
Podejście systemowe do realizacji działań na rzecz BRD
PublicationW artykule przedstawiono koncepcje rozwoju systemu bezpieczeństwa ruchu drogowego na poziomie krajowym oraz na poziomie regionalnym i lokalnym.
-
Iteracyjny algorytm wyznaczania sterowania optymalnego dla systemów dynamicznych
PublicationArtykuł prezentuje iteracyjną metodę wyznaczania sterowania optymalne-go dla systemów dynamicznych ciągłych i dyskretnych w czasie. Celem sterowania jest minimalizacja funkcjonału kosztu (wskaźnika jakości) przy narzuconych ograniczeniach w postaci równań różniczkowych lub różni-cowych, warunków brzegowych oraz algebraicznych zależności w postaci równań lub nierówności wiążących ze sobą optymalne funkcje sterujące u(t) i funkcje...
-
Dolnoprzepustowe prototypy elektryczne multiplexerów dla systemów komunikacji bezprzewodowej
PublicationW pracy przedstawiona jest technika znajdowania prototypów dolnoprzepustowych multiplekserów dla nowoczesnych systemów bezprzewodowych pracujących na wysokich częstotliwościach. Możliwe jest uzyskanie prototypów układów o odpowiedzi amplitudowej o równomiernym zafalowaniu i zawierających zera w charakterystyce transmisyjnej. Wynikowy prototyp na postać macierzy sprzężeń i umożliwia syntezę układu fizycznego o stałych rozłożonych
-
Dwuzakresowy sprzęgacz gałęziowy do systemów WLAN2.45 i WLAN5.25
PublicationPrzedstawiono klasyczny sprzęgacz gałęziowy zaprojektowany w taki sposób, aby możliwa była jego praca w dwóch podzakresach częstotliwości, tzn. w pasmach WLAN2.45 i WLAN5.25. Dwuzakresową pracę uzyskano poprzez adekwatną modyfikację obwodu, polegającą na dołączeniu rozwartych na końcu odcinków linii, równoważnych określonym reaktancjom. Wykonany model układu oraz przeprowadzone badania eksperymentalne potwierdziły możliwość wykorzystania...
-
Dwuzakresowy sprzęgacz gałęziowy dla systemów WLAN2.45 i WLAN5.25
PublicationPrzedstawiono klasyczny sprzęgacz gałęziowy zaprojektowany w taki sposób, aby możliwa była jego praca w dwóch podzakresach częstotliwości, tzn. w pasmach WLAN2.45 i WLAN5.25. Dwuzakresową pracę uzyskano poprzez adekwatną modyfikację obwodu, polegającą na dołączeniu rozwartych na końcu odcinków linii, równoważnych określonym reaktancjom. Wykonany model układu oraz przeprowadzone badania eksperymentalne potwierdziły możliwość wykorzystania...
-
Zastosowanie marketingowe systemów informatycznych w promocji zawodów żeglarskich
PublicationPromocja imprez żeglarskich poprzez tworzenie przekazu z regat jest wyzwaniem dla organiza- torów wydarzenia. W artykule przedstawiono systemy technologiczne, które wspomagają prezenta- cję zawodów oraz ich wpływ na zaangażowanie kibiców żeglarstwa. Zbadano interakcję fanów na podstawie statystyk strony WWW zawodów i wpływ wykorzystania systemów śledzenia wyników na ich postępowanie. Badania wykazały trzy kluczowe...
-
Zastosowanie internetowych systemów informatycznych w strategiach prowadzenia biznesu
PublicationPrzeanalizowano typowe klasy zarządzających systemów informatycznych zorientowanych biznesowo. Zaprezentowano ich wykorzystanie podmiotach gospodarczych o różnej skali działalności. Skoncentrowano się na pokazaniu wspomagających funkcji tych systemów dla operacji ekonomicznych w tradycyjnym (klasycznym) tego słowa znaczeniu. Przedstawiono reprezentatywne praktyczne przykłady tego typu systemów. Przeanalizowano potrzeby operacyjne...
-
Metody sztucznej inteligencji do wspomagania bankowych systemów informatycznych
PublicationW pracy opisano zastosowania nowoczesnych metod sztucznej inteligencji do wspomagania bankowych systemów informatycznych. Wykorzystanie w systemach informatycznych algorytmów ewolucyjnych, harmonicznych, czy sztucznych sieci neuronowych w połączeniu z nowoczesną technologią mikroprocesorową umożliwiają zasadniczy wzrost konkurencyjności banku. Dlatego w pracy omówiono wybrane zastosowania bankowe ze szczególnym uwzględnieniem zbliżeniowych...
-
Nowe kierunki rozwoju systemów trankingowych w zastosowaniach transportowych.
PublicationW referacie wskazano kierunki rozwoju systemów trankingowych do zastosowań dyspozytorskich, np. dla policji i transportu. W chwili obecnej głównym standardem jest TETRA, jednak coraz częściej są proponowane rozwiązania oparte na gotowej infrastrukturze systemów komórkowych. Przedstawiono także sposób integracji systemu TETRA z LTE z zachowaniem niezależności obu systemów oraz zaproponowano architekturę połączonego systemu.
-
Ontologia języka wzorców projektowych dla systemów Smart Cities
PublicationW artykule przedstawiono definicję języka wzorów projektowych Smart Cities w postaci ontologii. Jako, że wdrażanie rozwiązania Smart City jest trudne, drogie i ściśle związane z problematyką dotycząca danego miasta, wiedza nabywana podczas pojedynczego wdrożenia jest wiedzą niezwykle cenną. Zdefiniowany przez nas język wspiera zarządzanie ww. wiedzą jako, że pozwala on na ekspresję rozwiązania, które bazując na najlepszych praktykach...
-
Wysokopoziomowy model projektowania wskaźników KPI systemów inteligentnych miast
PublicationCelem pracy jest prezentacja etapów budowy wysokopoziomowych modeli projektowania wskaźników KPI (WPMPW) systemów inteligentnych miast. Dotychczasowy rozwój, badanie procesów miast i przyporządkowanie im miar może być kontrolowane za pomocą wskaźników KPI. Autorzy pracy w trakcie procesów projektowania zwrócili uwagę na ograniczoną użyteczność tak projektowanych wskaźników dla przedstawicieli miast. Stąd też zaproponowali koncepcję...
-
Betonowe nawierzchnie przepuszczalne w obliczu systemów wielokryterialnych oceny.
PublicationCoraz większym zainteresowaniem cieszą się obecnie nawierzchnie betonowe, które dobrze współgrają, a zarazem kontrastują sie z technologiami takimi jak asfalt, płyty chodnikowe, kostka brukowa itp. Wciąż ulepsza się i poszukuje nowych, niestandardowych rozwiązań i zastosowań dla nawierzchni betonowych. Obecnie nie liczy sie jedynie pomysł, ale również to w jako sposób określony element będzie oddziaływał na człowieka i środowisko....
-
Efektywność zastosowania systemów informatycznych na przykładzie hurtowni danych
PublicationPraca składa się z pieciu rozdziałów. W rozdziale pierwszym omówiono podstawy teoretyczne rozpatrywanego problemu. Rozdział drugi stanowi dyskusja na temat zmieniającej się roli SI w realizacji celów przedsiębiorstwa. Rozdział trzeci porusza problematykę rachunku kosztów i korzyści wynikajacych z ze stosowania SI. W rozdziale czwartym przedstawiono metodologię badania efektywności SI. Rozdział piąty to wyniki przeprowadzonych badań...
-
System pomiaru szybkości korozji metodą polaryzacji liniowej w zbiorniku zatłaczającym wodę złożową oraz systemu wody morskiej na platformie wydobywczej Baltic Beta
PublicationWykonano analizę sprawności systemu monitorowania szybkości korozji na Platformie wydobywczej Baltic Beta. Dokonano niezbędnych czynności, które umożliwiły ponowne uruchomienie systemu. Przedstawiono rejestry szybkości korozji w okresie od 01.01.2015 do 24.11.2016
-
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
Journals -
Model of Volunteer Based Systems.
PublicationThere are two main approaches to processing tasks requiring high amounts of computational power. One approach is using clusters of mostly identical hardware, placed in dedicated locations. The other approach is outsourcing computing resources from large numbers of volunteers connected to the Internet. This chapter attempts to formulate a mathematical model of the volunteer based approach to distributed computations and apply it...
-
Architektura bezpieczeństwa systemu netBaltic
PublicationW artykule zaprezentowano założenia dotyczące zabezpieczania węzłów sieci realizowanej w ramach systemu netBaltic. Ze względu na dużą różnorodność rozważanych mechanizmów komunikacyjnych architektura bezpieczeństwa została podzielona na kilka elementów – infrastrukturę klucza publicznego (PKI), bezpieczeństwo systemowe węzłów, zabezpieczanie komunikacji w modelu samoorganizującej wieloskokowej sieci kratowej, a także sieci niewrażliwej...
-
Fuzzy differential-algebraic systems
PublicationProblem istnienia i jednoznaczności rozwiązań oraz ciągła zależność jest dyskutowana. Powyższe rezultaty zostały otrzymane zakładając m.in. warunek Perrona oraz stosując metodę porównawczą. Przypadek liniowy warunku Perrona jest też badany.
-
Rheological properties of food systems
PublicationPrzedstawiono ocenę systemów żywności pod względem ich właściwości reologi-cznych. Dla określonego schematu podziału opisano podstawowe sposoby pomiaruwłaściwości w tych strukturach. Na podstawie przyjętego modelu reologicznegooraz rozpoznanych sił i zależności działających w odpowiednim zestawie skła-dników struktury żywności, określono wpływ zmian reologicznych na cechy sen-soryczne w niektórych systemach żywności.
-
Problemy bezpieczeństwa systemu elektroenergeetycznego.
PublicationArtykuł zawiera ogólną charakterystykę bezpieczeństwa systemu elektroenergetycznego w różnych horyzontach czasowych i podaje przykład automatyki systemowej realizującej obronę przed totalną awarią systemową
-
A Framework for Analyzing Trust in IT Systems.
PublicationProblem uzasadnienia zaufania do systemów realizowanych w technologiach informacyjnych nabiera coraz większego znaczenia wraz z poszerzaniem zakresu zastosowań takich systemów. W artykule wprowadzono koncepcje 'dowodu zaufania', który stanowi strukturę zawierająca cały materiał dowodowy wraz ze stowarzyszona z nim argumentacja uzasadniająca, ze system jest wystarczająco wiarygodny (w sensie bezpieczeństwa, zabezpieczenia, prywatności...
-
Struktura informacyjna systemu automatyki
PublicationW złożonym obiekcie sterowania takim jak oczyszczalnia ścieków, znajduje się wiele rozmaitych informacji: dane dotyczące wielkości procesowych pochodzące z pomiarów, dane technologiczne określające wymogi stawiane systemowi automatyki, dane sterujące urządzeniami realizującymi algorytmy sterowania, stany poszczególnych urządzeń w systemie, informacje o pogodzie, o zakłóceniach pracy ekonomiczne itp.
-
Towards automating repairs of IT systems
PublicationThis paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...