Filters
total: 19508
filtered: 13153
-
Catalog
- Publications 13153 available results
- Journals 551 available results
- Conferences 257 available results
- Publishing Houses 4 available results
- People 528 available results
- Inventions 36 available results
- Projects 139 available results
- Laboratories 16 available results
- Research Teams 45 available results
- Research Equipment 15 available results
- e-Learning Courses 1501 available results
- Events 69 available results
- Open Research Data 3194 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: BEZIECZEŃSTWO SYSTEMÓW
-
Systemy hydrolokacyjne
PublicationOmówiono obszernie większość zagadnień występujących w trakcie analizy, projektowania i eksploatacji systemów hydrolokacyjnych. Na wstępie przedstawiono teorie i wyniki pomiarów dotyczących propagacji fal akustycznych w ośrodku idealnym i w morzu. W kolejnym rozdziale zaprezentowano sygnały analogowe, cyfrowe, deterministyczne i losowe wykorzystywane w hydrolokacji. W następnych dwóch rozdziałach omówiono źródła fali akustycznej...
-
Jak zmniejszyć poziom ryzyka pieszych w ruchu drogowym w Polsce?
PublicationAnaliza czynników wpływających na bezpieczeństwo pieszych.Niezbędne działania na rzecz bezpieczeństwa pieszych.Działania w programie GAMBIT 2005 w zakresie ochrony pieszych.
-
Metoda analizy i oceny ryzyka potencjalnych zdarzeń zagrażających w projektowaniu systemu detekcji gazów wybuchowych w obiektach przemysłowych.
PublicationW celu zmniejszenia ryzyka związanego z potencjalnym wybuchem gazów tworzących atmosferę wybuchową stosuje się systemy detekcji gazów. Ich zadaniem jest wykrycie zagrożenia i odpowiednia reakcja w celu zredukowania ryzyka np. przez poprzez odpowiednie ostrzeżenie i uruchomienie odpowiedniej wentylacji. Systemy te powinny spełniać standardy przemysłowe, a w określonych warunkach powinny być zaprojektowane zgodnie z wymogami bezpieczeństwa funkcjonalnego....
-
Supporting compliance with safety standards by trust case templates
PublicationStandard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...
-
An untraceability protocol for mobile agents and its enhanced security study
PublicationArtykuł przedstawia rozszerzoną analizę bezpieczeństwa zaproponowanego przez nas protokołu ochrony przed tropieniem (ang. untraceability protocol) dla agentów mobilnych. Jak dotąd, tak systematyczna analiza bezpieczeństwa nie została przeprowadzona. Co więcej, istniejące znane analizy bezpieczeństwa koncentrują się wyłącznie na atakujących wewnętrznych. Uważamy, że stworzona przez nas lista kontrolna ataków może posłużyć jako...
-
A method for assessing hazards, risks and safety of damaged ships at sea
PublicationPrzedstawiono wybrane problemy związane z metodą oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka, w warunkach eksploatacyjnych. Omówiono zakres oceny bezpieczeństwa i analizy ryzyka w odniesieniu do zagadnienia zachowania się statku uszkodzonego na morzu. Analiza ryzyka oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Opisano główne kroki analizy ryzyka. Podano podstawowe...
-
Guido: a musical score recognition system
PublicationThis paper presents an optical music recognition system Guido that can automatically recognize the main musical symbols of music scores that were scanned or taken by a digital camera. The application is based on object model of musical notation and uses linguistic approach for symbol interpretation and error correction. The system offers musical editor with a partially automatic error correction.
-
Mobilny system monitorowania kolejowego transportu kontenerowego
PublicationOpisano bezprzewodowy, mobilny system monitoringu kolejowego transportu kontenerowego, jako rozwiązanie podnoszące bezpieczeństwo i efektywność takiego transportu. Scharakteryzowano budowę i działanie Sensorowo-Telekomunikacyjnego Modułu Kontenerowego (STMK) w samoorganizującej się sieci monitorującej stan wnętrza kontenera. Uzasadniono celowość zastosowania tego systemu w europejskim systemie zarządzania ruchem kolejowym ERTMS.
-
Telekomunikacyjne wsparcie narzędziowe działań zapobiegawczych w zakresie akwizycji, dystrybucji i wymiany informacji w procesie koordynacji i współpracy służb
PublicationPotrzeba prowadzenia efektywnego procesu współpracy służb i organów odpowiedzialnych za bezpieczeństwo narodowe i międzynarodowe wymaga wsparcia ze strony nowoczesnych systemów telekomunikacyjnych, uwarunkowanych ich specjalnym przeznaczeniem. Z uwagi na charakter działań, rozwiązania dla potrzeb koordynacji i współpracy muszą być realizowane jako systemy rozproszone umożliwiające przenoszenie i przetwarzanie informacji multimedialnych,...
-
Przyszłościowe kierunku badawcze w dziedzinie technik komórkowych nowej generacji i systemowych rozwiązań aplikacyjnych
PublicationW pracy przedstawiono ważne kierunki badawcze w zakresie nowych technik transmisyjnych stosowanych w systemach komórkowych nowej generacji. Wskazano interesujące funkcje systemów komórkowych, umożliwiające tworzenie rozbudowanych systemów informatyczno-telekomunikacyjnych, przeznaczonych do monitoringu oraz zastosowań związanych z bezpieczeństwem w ruchu drogowym i poprawą bezpieczeństwa obywateli. Omówiono przykład systemu fotoradarowego...
-
Jak zmniejszyć poziom ryzyka pieszych w ruchu drogowym w Polsce ?
PublicationAnaliza czynników wpływających na bezpieczeństwo pieszych. Niezbędne działania na rzecz bezpieczeństwa pieszych. Działania w programie GAMBIT 2005 w zakresie ochrony pieszych.
-
Zarządzanie bezpieczeństwem funkcjonalnym w przemyśle
PublicationNiniejszą pracę poświęcono aktualnym zagadnieniom zarządzania bezpieczeństwem funkcjonalnym w nawiązaniu do wymagań normy międzynarodowej IEC 61508:2010 w kontekście międzynarodowych przewodników dotyczących całościowego zarządzania bezpieczeństwem w zakładach przemysłu procesorowego. Przedstawiono zagadnienia analizy i oceny ryzyka zorientowane na określenie wymaganego poziomu nienaruszalności SIL (Safety Integrity Level) funkcji...
-
Systemy ekspresyjne białek cytochromu P450 w badaniach in vitro metabolizmu leków = Expression systems of cytochrome P450 proteins in studies of drug metabolism in vitro
PublicationBiałka cytochromu P450 to najważniejsze enzymy biorące udział w metabolizmie większości stosowanych w klinice leków, odpowiedzialne za ich aktywację lub detoksykację. Niektóre z dróg metabolizmu leku mogą być jednak odpowiedzialne za jego podwyższoną toksyczność. Nowe systemy ekspresyjne białek cytochromu P450 w komórkach ssaków, w tym człowieka, projektowane są w celu poznania roli metabolizmu w mechanizmie działania potencjalnych,...
-
Dobre praktyki w zakresie wzmacniania interesariuszy regionalnych systemów innowacji
PublicationCelem Regionalnej Strategii Innowacji Województwa Podkarpackiego na lata 2021-2030 jest transformacja systemu gospodarczego województwa podkarpackiego w kierunku gospodarki konkurencyjnej, opartej na wiedzy i wykorzystaniu nowoczesnych technologii, uwzględniającej aspiracje przedsiębiorców, społeczeństwa oraz globalne uwarunkowania rozwoju. Do osiągnięcia tego celu niezbędna jest współpraca wszystkich elementów tworzących...
-
Analiza efektywności systemów oświetlania roślin na przykładzie uprawy bazylii
Publication -
Wybrane aspekty wykorzystania projakościowych systemów zarządzania w szkolnictwie wyższym
Publication -
Współczesne problemy i i kierunki rozwoju elastycznych systemów produkcyjnych
PublicationPrzedstawione opracowanie monograficzne poświęcone jest współczesnej problematyce elastycznych systemów produkcyjnych, a w szczególności ich zagadnieniom sterowania i wytwarzania. Zawarto w nim także charakterystykę najbardziej zaawansowanych technologii informatycznych; dokonano klasyfikacji ich metod oraz podstawowych problemów metodologicznych ich projektowania w zakresie planowania, sterowania i wytwarzania. Praca obejmuje...
-
Modelowanie rozwoju regionalnych systemów energetycznych ze szczególnym uwzględnieniem bioenergii.
PublicationPraca miała na celu opracowanie metodyki modelowania rozwoju systemów energetycznych na skalę regionalną z uwzględnieniem bioenergii oraz mechanizmów wspierania odnawialnych i skojarzonych źródeł energii, jak również systemu handlu uprawnieniami do emisji CO2. W wyniku rozwiązania zadania optymalizacyjnego określona została struktura produkcji i zużycia nośników energii w zadanym horyzoncie czasowym wraz z udziałem poszczególnych...
-
[Rozdz.] 4.2 Katedra Technologii Okrętu, Systemów Jakości i Materiałoznawstwa.
PublicationOmówiono rozwój problematyki badawczej Katedry w latach 1952-2005.
-
Technologie informatyczne wykorzystywane w projektowaniu i implementacji systemów inteligentnych
PublicationW rozdziale zostały zaprezentowane technologie informatyczne wykorzystywane w projektowaniu i implementacji systemów inteligentnych. Autor przedstawił jako pierwszą krótką charakterystykę środowisk sztucznej inteligencji a następnie na tym tle scharakteryzował rolę i miejsce systemów ekspertowych. Zaprezentował m.in. ich architekturę oraz wskazał na cykl projektowania systemu ekspertowego.
-
Przykłady systemów opieki zdrowotnej, funkcjonujących na założeniach modelu ubezpieczeniowego
PublicationNiniejszy rozdział przedstawia kluczowe zagadnienia związane z klasyfikacja systemów opieki zdrowotnej ze szczególnym uwzględnieniem systemu ubezpieczeniowego. Zaprezentoewano kluczowe cechy systemu ubezpuieczeniowego, usługowego i rezydualnego, oraz systemu Siemiaszki, a także zaprezentowano przykłady systemów opieki zdrowotnej Niemiec i Austrii jako przedstawicieli systemów opartych na modelu ubezpieczeniowym.
-
Wybrane aspekty integracji normatywnych systemów zarządzania w sektorze MŚP
PublicationW opracowaniu przedstawiono studium uwarunkowań związanych z wprowadzaniem zintegrowanych normatywnych systemów zarządzania w sektorze MŚP. Obok motywów wdrażania kolejnych systemów zarządzania w tym sektorze przedstawiono opartą na wynikach badań krajowych i zagranicznych analizę czynników towarzyszących integracji.
-
Wybrane rozwiązania występujące w architekturach systemów rozproszonych klasy grid
PublicationOpisano wybrane rozwiązania występujące w architekturach systemów rozproszonych klasy grid. Odniesiono się do zapewnienia przezroczystości, a także do możliwości zarządzania i kontroli wykorzystania zasobów. Omówiono zasady optymalizacji zarządzania takimi systemami.
-
Elektrownie i elektrociepłownie jądrowe źródłem ciepła dla systemów ciepłowniczych
PublicationOmówiono przyczyny wzrostu powszechnego zainteresowania energetyką jądrową na świecie. Przytoczono dane charakteryzujące zmiany mocy elektrycznej zainstalowanej w jądrowych blokach energetycznych na świecie oraz prognozy zmian tej mocy w perspektywie do 2030r. Zwrócono uwagę na możliwość wytwarzania na bazie paliwa jądrowego również ciepła użytecznego. Przedstawiono dotychczasowe doświadczenia w wykorzystaniu elektrowni jądrowych...
-
Doświadczenia z wieloletniej eksploatacji systemów trzcinowych stabilizujących osady ściekowe
PublicationStabilizowanie osadów ściekowych w basenach trzcinowych stanowi nową alternatywę ich unieszkodliwiania.Osady ściekowe unieszkodliwianie w basenach trzcinowych ulegają stabilizacji, a otrzymywany produkt charakteryzuje się składem chemicznym zbliżonym do substancji humusowej, a więc możliwe jest rolnicze wykorzystanie. Badania przeprowadzono w dwóch systemach duńskich, zlokalizowanych w Vallo i Nakskov koło Kopenhagi, stabilizujących...
-
Ekranowanie i zabezpieczanie urządzeń oraz systemów - wymagania i badania
PublicationOmówiono zagadnienie badania skuteczności ekranowania urządzeń. Dokonano przeglądu norm i dokumentów normatywnych, dotyczących dopuszczalnych poziomów emisji zaburzeń elektromagnetycznych promieniowanych oraz metodykę ich pomiaru. Opisano wymagania na tłumienność struktur ekranujących (NO-06-A501, NO-06-A201, IEEE 299) w kontekście ograniczania emisji zaburzeń elektromagnetycznych promieniowanych, a także ochrony przed dostępem...
-
Zastosowanie środków inteligentnych systemów transportu do obsługi imprez masowych
PublicationZastosowanie systemów opartych na środkach telematyki transportu pozwala na bardziej efektywne zarządzanie transportem przez instytucje obsługujące duże imprezy masowe. W referacie scharakteryzowano problemy transportowe, które można rozwiązać dzięki zastosowaniu środkow Inteligentnych Systemów Transportu, koncepcę wykorzystaniatechnologii ITS do usprawnienia działań służb zarządzania ruchem, popartą przykładami wdrożeń w innych...
-
Porównanie funkcjonowania systemów opieki zdrowotnej w europejskich krajach OECD
PublicationW artykule przedstawiono analizę porównawczą systemów opieki zdrowotnej w europejskich krajach OECD. Na podstawie literatury przedstawiono ogólną charakterystykę systemów Beveridge’a i Bismarcka. Zwrócono uwagę na potrzebę analiz i ocen systemów opieki zdrowotnej ze względu na czynniki finansowe, jak również uwarunkowania technologiczne i demograficzne. Analiza ma charakter jakościowy. Wszystkie kraje zostały podzielone na trzy...
-
WPŁYW PRZEPISÓW PRAWNYCH UE NA KONKURENCYJNOŚĆ SYSTEMÓW OCHRONY ZDROWIA
PublicationDostępność do świadczeń opieki zdrowotnej jest kluczowym prawem wszystkich obywateli na świecie. W każdym państwie usługi zdrowotne finansowane w ramach świadczeń gwarantowanych są w pewnym stopniu limitowane i przyczyniają się do powstawania kolejek oczekujących. Zasada swobodnego przepływu usług oraz dyrektywa dotycząca praw pacjenta w transgranicznej opiece zdrowotnej miały zwiększyć dostępność do świadczeń zdrowotnych. Celem...
-
Wybrane aspekty wykorzystania projakościowych systemów zarządzania w szkolnictwie wyższym
PublicationW opracowaniu przedstawiono rozważania dotyczące relacji jakie łączą systemy zarządzania skoncentrowane na jakości z elementami zarządzania wiedzą w wyższych uczelniach. Zaproponowano trójetapowy model rozwojowy projakościowego systemu zarządzania uczelnią uwzględniający elementy zarządzania wiedzą w ramach struktur procesowych.
-
Wpływ wybranych zdarzeń atmosferycznych na funkcjonowanie zainstalowanych systemów elektronicznych
PublicationArtykuł ma na celu przedstawienie zależności przyczynowo-skutkowych zachodzących pomiędzy awariami występującymi w sprzęcie elektronicznym (elektrycznym), a wywołującymi je zdarzeniami atmosferycznymi. Za podstawę analizy posłużyły badania przeprowadzane na zlecenie firmy ubezpieczeniowej, a poddawane były nim urządzenia, zainstalowane w różnych środowiskach, które uległy awarii w określonych warunkach pogodowych. Pierwotne zlecenia...
-
Wdrażanie systemów ITS na przykładzie miasta Łodzi i Bydgoszczy
PublicationW niniejszym artykule opisano zalety funkcjonowania, przyczyny wdrażania i wskazano ścieżkę rozwoju Inteligentnych Systemów Transportowych w miastach. Przedstawiono krótką analizę podstaw prawnych wdrażania systemów ITS. Opisano dwa praktyczne przykłady wdrażania systemów ITS w Polsce, na przykładzie wdrożenia zintegrowanego systemu zarządzania ruchem w mieście Łodzi i mieście Bydgoszczy. Cechą charakterystyczną obu projektów był...
-
Względność ustaleń ilościowych w obliczeniach systemów odprowadzania wody deszczowej
PublicationW artykule przedstawiono przyczyny, cel i konsekwencje stosowania uproszczeń na etapie obliczania ilości wód opadowych dla potrzeb wymiarowania systemów i obiektów gromadzenia i zagospodarowania wód opadowych. Omówiono także sposoby określania miarodajnego natężenia deszczu dla potrzeb modeli inżynierskich, wpływ wartości współczynnika spływu na uzyskiwane wyniki oraz dokonano porównania zastosowania kilku wybranych metod inżynierskich...
-
Metody i mierniki oceny efektywności postępowań i systemów upadłościowych
PublicationW artykule ukazano metody i mierniki oceny efektywności postępowań i systemów upadłościowych. Zaprezentowano ich wady oraz zalety oraz zaprponowano najlepsze rozwiązania.
-
Możliwości wprowadzania systemów VoIP w dużych firmach - metodyka, pomiary
PublicationW pracy przedstawiono problemy związane z wdrażaniem nowych technologii VoIP w sieciach telekomunikacyjnych, w szczególności firmowych. Opisano standardy usług typu VoIP (H.323, SIP). Scharakteryzowano strumienie przesyłane w systemach VoIP. Zaprezentowano dwa typy migracji do technologii VoIP: miękką i twardą. Wskazano na ważność pomiarów przy wdrażaniu systemów VoIP. Przedstawiono opis podstawowych metod pomiarowych dla usługi...
-
Ciągłe doskonalenie systemów produkcji żywności opartych na koncepcji ''pull''
PublicationW niniejszej publikacji przedstawiono kluczowe aspekty ciągłego doskonalenia systemów produkcji żywności opartej na koncepcji ''pull''. Autorzy zaprezentowali możliwość wykorzystania cyklu PDCA w doskonaleniu systemów opartych na kartach Kanban. Jako grupa podmiotów gospodarczych zostały wybrane placówki żywienia zbiorowego.
-
Analiza efektywności systemów oświetlania roślin na przykładzie uprawy bazylii
PublicationDynamiczny rozwój technologii LED oraz znaczące podwyżki cen energii elektrycznej wymuszają badania mające na celu zwiększenie efektywności systemów oświetleniowych do uprawy roślin. W pracy przeprowadzono analizę efektywności oświetlenia na przykładzie uprawy bazylii. Na wstępie dokonano pomiarów spektralnych liści bazylii. Na podstawie otrzymanych wyników opracowano i wykonano oświetlenie dopasowane do charakterystyki spektralnej...
-
Uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych
PublicationW pracy omówiono uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych ze szczególnym uwzględnieniem sieci neuronowych do predykcji finansowych oraz szacowania ratingu przedsiębiorstw. Oprócz sieci neuronowych, istotną rolę w przygotowaniu i testowaniu informatycznych systemów finansowych może pełnić programowanie genetyczne. Z tego powodu omówiono uczenie maszynowe w aplikacjach konstruowanych...
-
xEmotion – obliczeniowy model emocji dedykowany dla inteligentnych systemów decyzyjnych
PublicationArtykuł prezentuje cybernetyczne podejście do zagadnienia modelowania ludzkich emocji, oparte na psychologicznych teoriach (ocennej i somatycznej). Opracowany model przeznaczony jest do integracji z Inteligentnym Systemem Decyzyjnym – IDS. Może być on używany jako silnik aplikacji lub jako system sterowania niezależnego urządzenia, np. robota autonomicznego.
-
Wpływ właściwości czynnika roboczego na eksploatację wybranych systemów chłodniczych
PublicationW artykule przedstawiono wpływ wyboru czynnika roboczego na eksploatację teoretycznego systemu chłodniczego. Niniejszą analizę przeprowadzono dla trzech układów chłodniczych, które na potrzeby prowadzonej analizy sklasyfikowano jako: grupa domowa, grupa przemysłowa i grupa specjalna. Przyjętymi urządzeniami są: w grupie domowej – klimatyzator typu powietrze-powietrze, w grupie przemysłowej – chłodnia statku do transportu żywności...
-
OCENA PRZYDATNOŚCI ROZLEGŁYCH SYSTEMÓW UZIEMIEŃ DO CELÓW OCHRONY ODGROMOWEJ
PublicationW wyniku połączenia wszystkich elementów uziemionych w obiekcie budowlanym do szyny ekwipotencjalnej powstaje często bardzo rozległy system uziemień. Ocena tak rozległego systemu za pomocą metod wykorzystujących przebiegi wolnozmienne prowadzi do zbyt optymistycznych wniosków odnośnie ich właściwości podczas odprowadzania prądów wyładowań atmosferycznych. Pomiary z zastosowaniem metody wykorzystującej przebiegi impulsowe uwzględniają...
-
Wykorzystanie wybranych normatywnych systemów zarządzania w instytucjach szkolnictwa wyższego
PublicationW artykule przedstawiono wybrane modele systemów zarządzania opisane w normach międzynarodowych możliwe do wykorzystania w instytucjach szkolnictwa wyższego. Systemy te mogą stanowić bowiem korzystną alternatywę dla obarczonych wieloma mankamentami mechanizmów przyjmowanych przez kadrę kierowniczą uczelni w odniesieniu do kluczowych procesów tych instytucji.
-
Akustyczna analiza natężenia ruchu drogowego dla systemów zarządzania ruchem
PublicationW pracy przybliżono wybrane zagadnienia z dziedziny zarządzania transportem drogowym w Polsce i na świecie. W tym kontekście pzredstawiono potrzeby rynkowe, wymagania jak i możliwości w zakresie pozyskiwania informacji o aktualnym stanie sieci drogowych. Zaproponowano akustyczną metodę nadzorowania ruchu drogowego i jej możliwości w kontekście systemów zarządzania ruchem. Przedstawiono schemat akwizycji sygnału wraz z danymi odniesienia....
-
Algorytmy komputerowo wspomaganego projektowania i rozbudowy systemów dystrybucji wody
PublicationSformułowano i omówiono zadania typu projektowego dla systemu wodociągowego.Uwaga skupiona jest na projekcie dystrybucji i transportu wody. Omówiono ogólne metody rozwiązywania zarówno zadania projektowania systemu od nowa jak i przeprojektowywania systemu istniejącego. Istotnym elementem pracy jest zamieszczony w niej algorytm sterowania obliczeniami podczas, zbliżonego do optymalnego, projektowania systemu na poziomie...
-
Optymalizacja rozwoju scentralizowanych systemów zasilania w ciepło aglomeracji miejskich.
PublicationPrzygotowano metodę badawczą umożliwiającą optymalizację techniczno-ekonomiczną przedsięwzięć związanych z utrzymaniem, modernizacją oraz rozbudową scentralizowanego systemu zasilania w ciepło, funkcjonującego na obszarze dużego miasta w Polsce. Opracowano model matematyczny systemu uwzględniający wszystkie jego ogniwa w postaci oddzielnych modułów, który umożliwił rozwiązanie sformułowanego problemu optymalizacji z wykorzystaniem...
-
Sposób zmniejszania hałasu okrętowych systemów napędowych z przemiennikami częstotliwości
PublicationRozważono problem nadmiernego hałasu powodowanego przez okrętowe systemy napędowe z przemiennikami częstotliwości. Przedstawiono wyniki badań laboratoryjnych modelu okrętowego systemu napędowego.
-
Identyfikacja i analiza procesów jako element integracji systemów zarządzania.
PublicationW niniejszym rozdziale omówiono problematykę integracji systemów zarządzania Autor wskazuje istotne znaczenie identyfikacji i analizy procesów dla możliwości integracji systemu zarządzania jakością, środowiskiem i bezpieczeństwem pracy. Przedstawia czynniki wspomagające integrację i korzyści z niej wynikające.
-
Zastosowanie zintegrowanych środowisk programistycznych w laboratorium organizacji systemów pomiarowych.
PublicationArtykuł przedstawia opracowane i zrealizowane w 2002 roku w Katedrze Miernictwa Elektronicznego laboratorium Interfejsy i Organizacja Systemów Elektronicznych. Zaprezentowano ogólną koncepcję laboratorium, polegającą na wstępnym przeszkoleniu ze środowiska programistycznego, a następnie łączeniu w ramach dalszych ćwiczeń zadań wprowadzających (odtwórczych) i zadań projektowych. Opisano korzyści płynące z zastosowania zintegrowanego...
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublicationArtykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...
-
Zastosowanie hybrydowych systemów ekspertowych do wspomagania projektowania układów elektronicznych.
PublicationW pracy przedstawiono koncepcję i praktyczną realizację obiektowo zorientowanego hybrydowego systemu ekspertowego sterowanego regułami, współpracującego ze sztuczną siecią neuronową, systemem klasyfikatorów genetycznych i systemem z rozumowaniem sytuacyjnym. Jest to system hybrydowy i może być efektywnie wykorzystany do budowy złożonych systemów ekspertowych.