Search results for: WIARYGODNOŚĆ OPROGRAMOWANIA - Bridge of Knowledge

Search

Search results for: WIARYGODNOŚĆ OPROGRAMOWANIA

Filters

total: 1420
filtered: 819

clear all filters


Chosen catalog filters

  • Category

  • Year

  • Options

clear Chosen catalog filters disabled

Search results for: WIARYGODNOŚĆ OPROGRAMOWANIA

  • Corrosion monitoring of selected metals in artificial seawater by harmonic synthesis method

    Przedstawiono podstawy teoretyczne nowej metody elektrochemicznej nazwanej metodą syntezy harmonicznej (SH). Metoda jest oparta na pomiarach pierwszych trzech składowych harmonicznych prądu generowanego przez korodującą elektrodę po pobudzeniu sinusoidalnym sygnałem napięciowym bardzo niskiej częstotliwości. Na tej podstawie rekonstruowana jest dyskretna quasi-stacjonarna charakterystyka polaryzacyjna elektrody. Jej analiza numeryczna...

  • Wspomaganie wykrywania defektów w modelach obiektowych.

    Modelowanie z zastosowaniem metodyki obiektowej jest powszechnie wykorzystywane w projektach informatycznych i stanowi jeden z kluczowych etapów procesu wytwarzania oprogramowania. Problemem związanym z modelowaniem jest łatwość wprowadzenia do modeli obiektowch defektów wynikających np. ze złego rozpoznania dziedziny problemowej, przyjmowania nieświadomych założeń lub zwykłych pomyłek edycyjnych. Istotne jest szybkie wykrycie...

  • Selected aspects of customization of cognitive dimensions for evaluation of visual modeling languages.

    Publication

    - Year 2004

    For the successful application of diagrams in software engineering, high quality visual modelling languages (VML) are required. There is a need for new effective methodologies of VML evaluation. This paper discusses selected aspects of applying cognitive dimensions as a basis of the evaluation. Then, it briefly presents CD-VML methodology which integrates the cognitive dimensions with a theory of visual modelling languages. Finally,...

  • Cyfrowy system rejestracji i rekonstrukcji sygnału mowy dla potrzeb Lotnictwa Wojskowego.

    Publication

    - Year 2004

    W referacie przedstawiono ogólną charakterystykę opracowanego systemu rejestracji i rekonstrukcji sygnału mowy. Zamieszczono opis poszczególnych składników systemu, które stanowi zestaw zaawansowanych narzędzi do rejestracji, analizy i rekonstruowania mowy, zrealizowany w formie oprogramowania komputerowego. Narzędzia te pozwalają na szybkie wyszukiwanie pożądanych fragmentów nagrań oraz poprawę ich jakości na drodze redukcji szumów,...

  • SimMechanics package - some effective tool for pedagogical exercises in multibody dynamics.

    Publication

    W pracy skoncentrowano się na poszukiwaniach narzędzia przydatnego w procesie nauczania dynamiki układów wielomasowch. Proces ten, z natury dwuetapowy, wymaga aby klasyczne wykłady dla studentów poszerzyć o ćwiczenia komputerowe, pozwalające na samodzielne modelowanie wybranych układów. Wymaga to zastosowania oprogramowania łatwego do nauki i wykorzystania, w tym pozwalającego na szybkie modelowanie prostych mechanizmów i umożliwiającego...

  • Wspomaganie komputerowe oceny oddziaływania na środowisko

    Publication

    - Year 2005

    Ocena oddziaływania na środowisko należy do najważniejszych i najszybciej rozwijających się prewencyjnych instrumentów ochrony środowiska na świecie. Zasady zrównoważonego rozwoju i ochrony środowiska stanowią podstawę do sporządzania i aktualizacji ocen, w których, między innymi określa się rozwiązania niezbędne do zapobiegania powstawaniu zanieczyszczeń, zapewnienia ochrony przed powstającymi zanieczyszczeniami oraz przywracania...

  • Application of hybrid signals processors to speech and hearing aids

    Publication

    - Year 2005

    Dzięki postępowi w technice Cyfrowych Procesorów Sygnałowych (ang. DSP) stało się możliwe budowanie miniaturowych protez słuchu i mowy. Mimo niewielkich wymiarów procesory te są w stanie wykonywać złożone algorytmy. Ich dodatkową zaletą jest łatwość zmiany oprogramowania, a co za tym idzie łatwość zmiany dziedziny zastosowań. W pracy skupiono się na zagadnieniach związanych z projektowanie i implementacją algorytmów mających zastosowanie...

  • A Mechatronic System for Building the Map of Optimal Spindle Speeds During High Speed Milling of Flexible Details

    Publication

    W pracy przedstawiono mechatroniczny system tworzenia mapy optymalnych prędkości obrotowych wrzeciona w celu nadzorowania drgań typu chatter podczas frezowania szybkościowego przedmiotów podatnych. System ten składa się z części pomiarowej oraz części obliczeniowej, w której wykorzystuje się oprogramowanie autorskie i komercyjne. Na bazie uogólnionego warunku Liao-Younga utworzono mapy optymalnych prędkości obrotowych wrzeciona,...

  • Analiza PCA sekwencji aktywnej termografii dynamicznej w diagnostyce oparzeń

    Publication

    - Year 2009

    Celem niniejszej pracy jest analiza metod przetwarzania obrazów opartych na analizie składowychgłównych oraz analizie składowych niezależnych, które pozwola na uzyskanie nowych informacji obadanym obiekcie. W ramach pracy powstało oprogramowanie, które pozwala na analizezarejestrowanych sekwencji termograficznych metoda składowych głównych - Principal ComponentAnalysis - PCA. Została przeprowadzona weryfikacja działania powyższych...

  • Wykorzystanie technik sztucznej inteligencji w opracowaniu danych oraz wspomaganiu analiz środowiskowych

    Publication
    • K. Skowrońska

    - Year 2007

    W niniejszej pracy przedstawiono zastosowanie jednej z metod sztucznej inteligencji - rozmytych sieci neuronowych - do wspomagania analizy danych z monitoringu środowiska. Skupiono się na przypadku monitoringu jakości wód powierzchniowych oraz ścieków. W pierwszej części pracy dokonano krótkiego przeglądu najbardziej znanych metod sztuczej inteligencji, omówiono genezę i podstawy teoretyczne narzędzia wykorzystywanego w pracy czyli...

  • Wykorzystanie standardu ZigBee do budowy rozproszonego systemu do spektroskopii impedancyjnej obiektów w terenie

    Publication

    - Year 2009

    Zaproponowano bezprzewodową sieć pomiarową składającą się z dwóch typów elementtów: węzłów pomiarowych realizujących pomiary badanego obiektu (np. spektroskopii impedancyjnej powłok na konstrukcjach metalowych mostu) i jednego koordynatora ZigBee, który zarządza tą siecią oraz łączy ją do sieci internetowej. Węzeł końcowy składa się z modułu pomiarowego bazującego na układach AD5933 i z modułu komunikacyjnego ZIG-ZDM-A2 firmy MeshNetics....

  • Lab security improvement using RFID technologies

    Publication

    - Year 2006

    Technologia RFID stanowi nie tylko technologię bliźniaczą w stosunku do kodów paskowych, ale posiada również dodatkowe cechy takie jak zdalna identyfikacja przy użyciu fal radiowych. Technologia ta staje się coraz bardziej dostępna i koszty jej wdrożenia są coraz mniejsze. W artykule przedstawiono wykorzystanie technologii RFID do ochrony sprzętu laboratoryjengo przed kradzieżą. Zawarto opis laboratorium wyposażonego w urządzenia...

  • Zastosowanie układów FPGA w kryptografii.

    Publication
    • M. Strachacki

    - Year 2003

    W pracy przedstawiono podstawowe wymagania realizacji systemów kryptograficznych: fizyczne bezpieczeństwo, dużą przepustowość i możliwość zmiany algorytmów. Wykazano, że spośród przeanalizowanych technologii tylko układy programowalne spełniają wymienione założenia. W dalszej części opisano budowę układów FPGA, ich składowe bloki funkcjonalne oraz ogólny schemat działania algorytmów szyfrowania. Omówiono własności różnych trybów...

  • 1+1 Protection of Overlay Distributed Computing Systems: Modeling and Optimization

    Publication

    - Year 2012

    W niniejszym artykule przedstawiono autorską koncepcję ochrony transmisji od krańca do krańca (ang. 1+1 protection) dla systemów przetwarzania rozproszonego (ang. distributed computing systems). Artykuł prezentuje nowatorskie rozwiązanie dedykowane systemom typu ''overlay'', w których system przetwarzania rozproszonego stanowi warstwę najwyższą w warstwowej architekturze sieci, korzystającą z usług warstwy sieci transportowej....

    Full text to download in external service

  • Analiza częstotliwościowa sprzężeń elektromagnetycznych w układach ścieżek mikroelektronicznego układu hybrydowego

    Publication

    Zaprezentowano problematykę sprzężeń elektromagnetycznych pomiędzy układem ścieżek mikroelektronicznego układu hybrydowego. Przedstawiono aplikację metody operatorowej (w połączeniu z przekształceniem przez podobieństwo i przekształceniem Fouriera) do analizy procesu propagacji zakłóceń przewodzonych w dziedzinie częstotliwości. Przy wykorzystaniu opcji programowania strukturalnego w programie Mathcad, opracowano, uruchomiono i...

  • Bezzałogowa zdalnie sterowana jednostka latająca

    Quadrocopter jako przykład drona wykorzystywany jest coraz częściej przez sektor publiczny i przemysłowy. W pierwszej kolejności zaprojektowano i wykonano ramę urządzenia. Następnie dobrano elementy pozwalające na lot quadrocoptera. Na płycie znalazła się jednostka centralna w postaci mikrokontrolera Atmega644PA. W dalszej części udokumentowano proces programowania kolejnych elementów składających się na program sterujący quadrocopterem....

    Full text available to download

  • Multicriteria optymization method for yacht design

    Publication

    - Year 2003

    Artykuł dotyczy optymalizacji wielokryterialnej projektowania innowacyjnego systemu jachtowego w taki sposób by osiągnąć polepszone zachowanie dynamiczne w dowolnych warunkach nawigacji morskiej. W artykule skoncentrowano się na komputerowej symulacji, modelowaniu i optymalizacji matematycznego modelu jachtu w różnych warunkach żeglowania w celu poprawy zdolności manewrowania i zwiększenia szybkości. Przeprowadza się symulację...

  • Różne kształty pobudzeń optymalnych dla celów identyfikacji parametrów modeli systemów farmakokinetycznych

    Publication

    W pracy przedstawiono optymalizację pobudzeń dla celów identyfikacji parametrycznej kompartmentowych modeli systemów farmakokinetycznych opisanych w kategorii zmiennych stanu. Stosowana w pracy funkcja kryterialna to ślad macierzy Fishera (optymalizacja czułościowa). Rozważono klasę pobudzeń optymalnych o ograniczonej energii, ze względu na występowanie w przypadku wielu leków skutków ubocznych zależnych od szybkości podania leku....

  • Bezzałogowy kołowy pojazd elektryczny do automatycznego wychodzenia z poślizgów

    Pojazdy bezzałogowe znajdują zastosowanie w wielu dziedzinach współczesnego świata. Pojazdy autonomiczne wraz z algorytmami wspomagającymi kierowanie pojazdami skupiają uwagę wielu zespołów inżynierskich. Jednym z ważniejszych aspektów bezpieczeństwa na drogach jest wspomaganie zapobiegania i wychodzenia z poślizgów w dynamicznym środowisku. Artykuł przedstawia projekt oraz wykonanie bezzałogowego pojazdu kołowego zdolnego do automatycznego...

    Full text available to download

  • Wpływ postrzeganego ryzyka oraz czynników wizerunkowych na zamiar zakupu marek własnych sieci handlowych

    Publication

    Celem przeprowadzonych badań była analiza wpływu wizerunku sklepu, postrzeganego ryzyka oraz wizerunku cenowego marek własnych na zamiar ich zakupu. Dokonano replikacji modelu zaproponowanego przez M.F. Diallo i w jej ramach zastosowano technikę wywiadu realizowanego za pośrednictwem Internetu (CAWI) i przeprowadzono analizy z wykorzystaniem modelu równań strukturalnych (SEM) przy pomocy oprogramowania AMOS. Stwierdzono, że zamiar...

    Full text to download in external service

  • WERYFIKACJA POZIOMÓW NIENARUSZALNOŚCI BEZPIECZEŃSTWA Z UWZGLĘDNIENIEM ASPEKTÓW OCHRONY INFORMACJI

    Poszczególnym poziomom SIL projektowanego systemu elektrycznego/elektronicznego/programowalnego elektr onicznego E/E/PE (BPCS lub SIS) odpowiadają ilościowe kryteria probabilistyczne. Dowód spełnienia przez system zabezpieczeń wymagań SIL nazywa się weryfikacją. Model probabilistyczny dowolnego systemu zabezpieczeń SIS można przedstawić za pomocą schematów blokowych niezawodności RBD, grafów Markowa, równań uproszczonych oraz drzew niezdatności...

    Full text available to download

  • Architecture of Request/Response and Publish/Subscribe System Capable of Processing Multimedia Streams

    Publication

    - Year 2009

    Abstrakt Analiza ''w locie'' (ang. on-the-fly) strumieni multimedialnych, zawierających wysokiej jakości dane obrazu i dźwięku, wciąż stanowi wyzwanie dla projektantów oprogramowania. Praca przedstawia architekturę systemu zdolnego do przetwarzania w czasie rzeczywistym strumieni multimedialnych przy użyciu komponentów działających w architekturze Publish/Subscribe oraz Request/Response, korzystających z możliwości Java Multimedia...

    Full text to download in external service

  • New generation speech aid for stuttering people

    Publication

    - Year 2008

    Współczesne Cyfrowe Procesory Sygnałowe (ang. DSP) mają niewielkie wymiary, ale są w stanie re-alizować złożone algorytmy. Ich dodatkową zaletą jest łatwość wymiany oprogramowania, a co za tym idzie łatwość zmiany dziedziny zastosowań. Wykorzystując możliwości procesów stało się możliwe budowanie miniaturowych protez słuchu i mowy. W referacie skupiono się na zagadnieniach związanych z projekto-wanie i implementacją algorytmów...

    Full text available to download

  • New generation speech aid for stuttering people

    Publication

    Współczesne Cyfrowe Procesory Sygnałowe (ang. DSP) mają niewielkie wymiary, ale są w stanie re-alizować złożone algorytmy. Ich dodatkową zaletą jest łatwość wymiany oprogramowania, a co za tym idzie łatwość zmiany dziedziny zastosowań. Wykorzystując możliwości procesów stało się możliwe budowanie miniaturowych protez słuchu i mowy. W referacie skupiono się na zagadnieniach związanych z projekto-wanie i implementacją algorytmów...

    Full text available to download

  • Określenie położenia za pomocą sieci bezprzewodowej w standardzie ZigBee

    Mimo wprowadzenia systemu nawigacji GPS, nadal istnieje zapotrzebowanie na inne, tańsze systemy lokalizacji położenia, w szczególności pracujące w pomieszczeniach, gdzie często nie dochodzi sygnał z satelity. Taki system można zrealizować za pomocą bezprzewodowej sieci czujników w standardzie ZigBee za pomocą kilku różnych metod. W pracy przedstawiono metodę RSSI (ang.: Received Signal Strength Indicator) oceny odległości za pomocą...

    Full text available to download

  • Demagnetyzacja składowej podłużnej otwartego układu ferromagnetycznego.

    Publication

    Obiekt ferromagnetyczny znajdujący się w ziemskim polu magnetycznym zaburza w swoim otoczeniu równomierność pola. Zaburzenie to związane jest z namagnesowaniem stałym i indukowanym obiektu ferromagnetycznego. W pracy przedstawiono wyniki badań symulacyjnych dotyczące możliwości demagnetyzacji obiektu w jego osi podłużnej pokrywającej się z największym wymiarem obiektu. Przedstawiono opis niezbędnych założeń dotyczących problemu,...

  • Projekt i realizacja automatycznej stacji monitorowania hałasu środowiskowego

    Publication

    W referacie przedstawiono projekt i realizację automatycznej stacji monitorowania hałasu środowiskowego. Stanowi ona jeden z elementów tworzonego w Katedrze Systemów Multimedialnych Politechniki Gdańskiej Multimedialnego Systemu Monitorowania Hałasu. Przedstawiono ogólną budowę stacji pomiarowej oraz omówiono jej podstawową funkcjonalność. Obszerniej opisano dodatkowe możliwości stacji, do których należą: komunikacja z wykorzystaniem...

  • Intelligent system for environmental noise monitoring.

    Publication

    - Year 2005

    W rozdziale przedstawiono projekt i realizację automatycznej stacji monitorowania hałasu środowiskowego. Stanowi ona jeden z elementów tworzonego w Katedrze Systemów Multimedialnych Politechniki Gdańskiej Multimedialnego Systemu Monitorowania Hałasu. Przedstawiono ogólną budowę stacji pomiarowej oraz omówiono jej podstawową funkcjonalność. Obszerniej opisano dodatkowe możliwości stacji, do których należą: komunikacja z wykorzystaniem...

  • Budowa modelu prognostycznego dla farmy wiatrowej w środowisku MATLAB

    Liberalizacja rynku energii elektrycznej sprawiła, że branża elektroenergetyczna przechodzi obecnie dynamiczny rozwój różnych jej obszarów (aspektów). Jednym z aspektów jest prognozowanie mocy jednostek wytwórczych źródeł wiatrowych. W prognozowaniu wykorzystuje się różnego rodzaju narzędzia matematyczne. Autor niniejszej publikacji poświęcił szczególną uwagę sztucznym sieciom neuronowym. Za pomocą modeli neuronowych istnieje możliwość...

    Full text available to download

  • Special hearing aid for stuttering people

    Publication

    - Year 2007

    Dzięku postępowi w dziedzienie cyfrowego przetwarzania sygnałów możliwe stało zbudowanie subminiaturowego urządzenia łączącego funkcje aparatu słuchowego i korektora mowy. Takie urządzenie, mimo niewielkich rozmiarów, jest w stanie wykonywać skomplikowane alggorytmy a jego oprogramowanie może być łatwo zmieniane. W pracy skupiono się na zagadnieniach związanych z opracowniem prototypu i implementacją algorytmów korekcji słuchu...

  • Programowa realizacja bramy sygnalizacyjnej między siecią PSTN/ISDN a siecią Internet

    Publication

    Realizacja idei społeczeństwa informacyjnego wymaga odpowiedniej infrastruktury teleinformacyjnej dla której przewidziano sieci następnej generacji (NGN) a w tym Internet następnej generacji (NGI). W pracy przedstawiono rozwiązanie jednego z problemów wynikającego z przekształcenia obecnych sieci do sieci NGN. Jest to problem sterowania połączeniem dla usługi telekomunikacyjnej nazywanej popularnie telefonia (mowa). Realizacja...

  • Weryfikacja Poziomów Nienaruszalności Bezpieczeństwa z uwzględnieniem Zagadnień Ochrony Informacji

    Publication

    Niniejszy rozdział poświęcono wybranym istotnym zagadnieniom analizy bezpieczeństwa funkcjonalnego, w szczególności weryfikacji poziomów nienaruszalności bezpieczeństwa SIL funkcji bezpieczeństwa implementowanych w rozproszonych systemach sterowania i zabezpieczeń z uwzględnieniem zagadnień ochrony informacji. Zaproponowano metodę opartą na informacji ilościowej i jakościowej do weryfikacji SIL (IEC 61508, 61511) z uwzględnieniem...

  • Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL

    W referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA. W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu...

    Full text available to download

  • Środowisko wspomagające zarządzanie ryzykiem w przedsięwzięciach informatycznych.

    Artykuł prezentuje środowisko komputerowe wspierające proces zarządzania ryzykiem w przedsięwzięciach informatycznych. We wstępie wprowadzono charakterystykę procesu zarządzania ryzykiem oraz przedstawiono podział tego procesu na poszczególne fazy. Następnie omówiono potrzeby informatycznego wsparcia zarządzania ryzykiem i zaproponowano prototypowe narzędzie system Risk Guide. Opisano zakres oferowanego wsparcia i wbudowaną...

  • Stanowisko do badania czujników temperatury w laboratorium metrologii przemysłowej

    Publication

    - Year 2005

    W Laboratorium Miernictwa Przemysłowego powstało stanowisko dydaktyczno-badawcze do badania czujników temperatury, wykorzystujące mierniki N12T firmy Lumel oraz szereg termoelektrycznych i rezystancyjnych czujników temperatury. Mierniki N12T można zdalnie programować jak również odbierać dane przez nie zarejestrowane. Do zdalnej transmisji wy-korzystywana jest magistrala szeregowa RS485 z użyciem protokołu MODBUS. Zastosowanie...

  • A service-oriented approach to the identification of IT Risk

    Publication

    - Year 2005

    Artykuł przedstawia ogólne podejście do identyfikacji ryzyka eksploatacji systemów informatycznych, które obejmuje bezpieczeństwo, ochronę, prywatność oraz uzależnienie. Podejście oparte jest na badaniu trybów awarii usług dostarczanych użytkownikom przez oprogramowanie. Identyfikacja ryzyka na podstawie przeglądu usług uzupełniana jest listami kontrolnymi wyprowadzonymi ze standardów, a także klasycznymi technikami analizy bezpieczeństwa...

  • Nowa metoda lokalizowania terminala ruchomego w systemie WCDMA/FDD

    Publication

    - Year 2006

    W referacie zaprezentowano nową metodę lokalizowania terminala ruchomego w systemie WCDMA/FDD (Wideband Code Division Multiple Access / Frequency Division Duplex). Metoda ta umożliwia estymację położenia geograficznego terminala ruchomego MS (Mobile Station) bez znajomości różnic czasowych w synchronizacji RTD (Relative Time Difference) poszczególnych stacji bazowych BS (Base Station), biorących udział w tym procesie. Do eliminacji...

  • Zastosowanie transformacji falkowej do bezkontaktowej detekcji pęknięcia szyby.

    Publication

    - Year 2004

    W pracy przedstawiono wyniki badań nad zastosowaniem transformacji falkowej do bezkontaktowej detekcji pęknięć tafli szklanej, drogą analizy odebranego sygnału akustycznego. Przeprowadzono je w celu opracowania algorytmu detekcji, a następnie układu detektora spełniającego normy obowiązujące dla systemów alarmowych. Przedstawiono podstawy teoretyczne transformacji falkowej, z podkreśleniem jej cech korzystnych dla zastosowań do...

  • Metody wymiarowania zasobów sieci w architekturze IIP Internetu Przyszłości

    Niniejszy artykuł omawia założenia, strukturę oraz metody wymiarowania zasobów sieci wdrożone w architekturze Internetu Przyszłości w ramach projektu Inżynieria Internetu Przyszłości (IIP) realizowanego w latach 2010-2013. W szczególności artykuł opisuje założenia proponowanych modeli programowania liniowego wykorzystanych w celu rozdziału zasobów sieci (przepustowości łączy, mocy przetwarzania węzłów) pomiędzy Równoległymi Internetami....

  • DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE

    Artykuł dotyczy zastosowania dynamicznej aplikacji internetowa do symulacji obwodowej silnika indukcyjnego trójfazowego, wykorzystującej interfejs przeglądarki WWW. Model obwodowy silnika sformułowano w układzie osiach naturalnych i ujęciu metody energetycznej Lagrange’a. Implementację modelu maszyny w aplikacji internetowej wykonano w projekcie typu Web Forms, który jest elementem środowiska Microsoft Visual Studio. Kod programu...

    Full text to download in external service

  • Ocena języków systemów ekspertowych dla celu implementacji baz wiedzy Systemu Wieloagentowego

    Publication

    - Year 2007

    W pracy dokonano oceny wybranych narzędzi do implementacji modelu baz wiedzy systemu wieloagentowego do oceny technologii informatycznych. Narzędzia te to języki programowania systemów ekspertowych. Jakkolwiek bardzo dobrze sprawdzają się one w zastosowaniach związanych z gromadzeniem wiedzy w postaci zarówno faktów, jak i reguł to może się okazać, że nie udaje się z ich wykorzystaniem zrealizować wszystkich wymagań zdefiniowanych...

  • Podaż na Mazowszu a rozwój klastrów. Cz. 3

    Publication

    - Problemy Jakości - Year 2008

    Autorka identyfikuje i opisuje występujące na Mazowszu inicjatywy klastrowe, szczególną uwagę poświęcając klastrom rolniczym. W ostatnich latach obserwuje się systematyczny przyrost sformalizowanych układów klastrowych w całym kraju. W przypadku inicjatyw klastrowych w woj. mazowieckim - część z nich kształtuje się w sposób naturalny - w oparciu o występujące mechanizmy rynkowe, ale większość powstała i sformalizowała się w odpowiedzi...

  • Diagnostyka układów elektronicznych z wykorzystaniem magistrali testujących

    Przedstawiono przegląd magistral testujących przeznaczonych do diagnostyki układów elektronicznych: magistralę IEEE 1149.1 dla układów cyfrowych, magistralę IEEE 1149.4 dla układów mieszanych sygnałowo oraz magistralę IEEE 1149.6 dla układów cyfrowych sprzężonych pojemnościowo. Pokazano wyniki badań nad wykorzystaniem magistrali IEEE 1149.4 do pomiarów interkonektów typu RLC na pakietach układów elektronicznych. Do badań użyto...

  • Protokół SOAP i jego zastosowanie.

    Publication

    - Year 2004

    W pracy przedstawiono zasadę działania i organizację protokołu SOAP, który w chwili obecnej może być uważany za jeden z najważniejszych standardów w systemach rozproszonych. Zaprezentowano genezę powstania protokołu i jego współczesne zastosowania ze szczególnym uwzględnieniem problemów przenośności. Ponadto opisano formaty wiadomości i modele przesyłania danych w SOAP. Protokół, podobnie jak niemal wszystkie technologie informatyczne,...

  • Metoda analizy związanych z czasem wymagań dotyczących bezpieczeństwa systemów komputerowych

    Publication

    - Year 2017

    Bezpieczeństwo jest pożądaną cecha systemów przemysłowych, transportowych i innych typów. A ponieważ do sterowania tymi systemami powszechnie stosuje się systemy komputerowe, jest ono również ważną cechą oprogramowania. Analiza bezpieczeństwa oprogramowania jest jednak, ze względu na jego niematerialność, trudniejsza od typowej analizy. Ponadto, ze względu na skomplikowane reguły sterujące oraz naturę kontrolowanych systemów, bezpieczeństwo...

    Full text available to download

  • Śródlądowe budowle wodne -aspekty geotechniczne

    Publication

    - Year 2009

    W niniejszej pracy przedstawiono ogólne zasady programowanie badań geotechnicznych przyjęcia parametrów obliczeniowych, wymagań odnośnie mozliwych stanów granicznych oraz obciążenia działające na budowlę wodną wraz z analizą współczynników bezpieczeństwa stosowanych w budownictwie wodnym. W kolejnych rozdziałach omówiono metody badania bezpieczeństwa oraz weryfikacji stateczności ziemnych budowli wodnych, w tym stany graniczne...

  • Drgania mechaniczne : Rozwiązywanie zagadnień z MATHCAD-em

    Publication

    - Year 2015

    Autor proponuje jednoczesne poznawanie teorii drgań mechanicznych i wdrażanie jej do analizy własności dynamicznych układów mechanicznych. Stosuje do tego celu wspomaganie komputerowe za pomocą programu MATHCAD. Wyjaśnia naturę zjawiska drgań mechanicznych i jego znaczenie w technice oraz wpływ na środowisko. Prezentuje też wzorcowe programy pomocne przy samodzielnym programowaniu obliczeń. Podaje zasady tworzenia modeli dyskretnych...

    Full text to download in external service

  • Problemy wnioskowania z ontologii Semantic Web

    Idea Semantic Web (Semantycznego Internetu) opiera się m.in. na ogłaszaniu w Internecie ontologii stanowiących opis pewnego fragmentu rzeczywistości. Aby miało to sens, ontologie te muszą być sformułowane w jednym, powszechnie akceptowanym języku. Takim językiem jest OWL-DL, promowany i standaryzowany przez konsorcjum W3C. Jest to język opary na formalizmie logicznym zwanym logiką opisową. W tym artykule, po krótkim i nieformalnym...

  • Monitorowanie i bezpieczeństwo sieci komputerowych

    Publication

    - Year 2016

    Obecne sieci komputerowe należą do grupy tzw. sieci otwartych, co umożliwia każdemu swobodny do nich dostęp. Oprócz oczywistych zalet koncepcja ta ma swoje wady. Do wad należy zaliczyć możliwość podsłuchiwania ruchu, podszywania się pod użytkowników, fałszowania aplikacji i realizacji wielu innych tego rodzaju operacji. Zapewnienie bezpieczeństwa w sieciach komputerowych stanowi coraz poważniejszy problem nie tylko dla operatorów...

  • System inteligentnej nawigacji sterowanej głosem

    W pracy rozważa się zagadnienie wykorzystania inteligentnego systemu nawigowania oraz przeglądania serwisu Internetowego z wykorzystaniem głosu. Projekt, na podstawie przeglądu zagadnień, scala istniejące rozwiązania, które umożliwiają sterowanie portalem internetowym za pomocą głosu w języku angielskim. Użytkownik otrzymuje możliwość wydawania komend głosowych, a także zapytań odnośnie zawartości portalu. W odróżnieniu od wielu...

    Full text available to download