Filtry
wszystkich: 932
wybranych: 772
-
Katalog
- Publikacje 772 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 29 wyników po odfiltrowaniu
- Wynalazki 6 wyników po odfiltrowaniu
- Projekty 11 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 81 wyników po odfiltrowaniu
- Wydarzenia 2 wyników po odfiltrowaniu
- Dane Badawcze 26 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: DETEKCJA BŁEDÓW
-
Detekcja osoby w wannie
PublikacjaStarzenie się społeczeństwa powoduje narastanie problemów chorób wieku starczego. Częstym problemem są zasłabnięcia w wannie podczas kąpieli. Celem publikacji jest przedstawienie metody identyfikacji tkanki ożywionej w wodzie z wykorzystaniem technik elektromagnetycznych. Obserwując zmiany amplitudy i częstotliwości pracy generatorów, pracujących w pętli sprzężenia zwrotnego z cewką, istnieje możliwość scharakteryzowania i określenia...
-
Detekcja osoby w wannie
PublikacjaStarzenie się społeczeństwa powoduje narastanie problemów chorób wieku starczego. Częstym problemem są zasłabnięcia w wannie podczas kąpieli. Celem publikacji jest przedstawienie metody identyfikacji tkanki ożywionej w wodzie z wykorzystaniem technik elektromagnetycznych. Obserwując zmiany amplitudy i częstotliwości pracy generatorów, pracujących w pętli sprzężenia zwrotnego z cewką, istnieje możliwość scharakteryzowania i określenia...
-
Detekcja obumierania bakterii osadu czynnego
PublikacjaAnaliza składników głównych (PCA) jest narzędziem służącym wyodrębnieniu podstawowych czynników w rozważanych procesach w oparciu o dostępne pomiary. Zastosowanie PCA w monitorowaniu procesów pozwala na analizę pod kątem diagnostyki nie tylko wielkości mierzonych lecz również wielkości niedostępnych pomiarowo (ograniczenia technologiczne, koszty). Zaleta ta jest szczególnie istotna w przypadku biologicznej oczyszczalni ścieków,...
-
Detekcja pięciolinii metodą lokalnego rzutowania
PublikacjaW pracy przedstawiono istniejące podejścia do detekcji pięciolinii, będącej podstawowym etapem segmentacji w procesie rozpoznawania notacji muzycznej. Przedstawiony został również własny algorytm detekcji pięciolinii, bazujący na rzutowaniu poziomym w lokalnych oknach, analizie tak powstałych histogramów (rzutów) oraz aproksymacji linii pięciolinii krzywymi drugiego stopnia. Przeprowadzone badania potwierdziły wysoką skuteczność...
-
KOREKCJA BŁĘDÓW KWANTOWYCH
Publikacja -
System detekcji krawędzi
PublikacjaOpisano system detekcji krawędzi DSDKO, który może realizować różne warianty algorytmów detekcji oparte na pierwszej i drugirj pochodnej funkcji oraz może badać własności dodatkowych - proponowanych masek. W pracy zwrócono szczególną uwagę na algorytm adaptacyjny detekcji krwędzi i jego własności. Ponadto system realizuje algorytm Canny'ego oraz wizualizuje własności wybranych transformacji funkcji jasności obrazu. System ma prosty...
-
Porównanie detekcji obwiedni i detekcji synchronicznej w radioodbiornikach lotniczych VHF
PublikacjaArtykuł przedstawia porównanie detekcji obwiedniowej oraz detekcji koherentnej dla sygnałów audio zmodulowa-nych amplitudowo (A3E) w paśmie lotniczym VHF [118 MHz - 136 MHz]. Wykonane badania miały na celu porównanie metod detekcji oraz wskazanie, która z nich charakteryzuje się wyższą jakością estymacji czasów nadejścia sygnałów. Dokonano pomiarów opóźnień sygnałów wyjściowych dla dwóch radiostacji lotniczych stosując korelację...
-
Detekcja zakłóceń impulsowych w sygnałach fonicznych.
PublikacjaArtykuł poświęcony jest omówieniu problematyki związanej z wykrywaniem zakłóceń impulsowych występujących w sygnałach fonicznych. Proces detekcji zniekształconych próbek sygnału fonicznego jest etapem poprzedzającym ich rekonstrukcję. Polega ona na odtworzeniu nieznanych wartości próbek w oparciu o znane fragmenty sygnału. W pracy omówiono różne rodzaje zakłóceń impulsowych typowe dla archiwalnych i współczesnych sygnałów...
-
Detekcja i lokalizacja przecieków w rurociągach przemysłowych.
PublikacjaZadanie monitorowania przepływu mediów ciekłych lub gazowych przez rurociągi przemysłowe realizuje się za pomocą algorytmów obserwacji, skonstruowanych odpowiednio do nieliniowego modelu procesu transportowego, z zastosowaniem pomiarów ciśnienia i natężenia przepływu medium na krańcach nadzorowanego odcinka rurociągu. Uwagę skupiono na dwu metodach analitycznej redundancji i filtracyjnej generacji sygnału resztowego, będącego...
-
DETEKCJA OBIEKTU FERROMAGNETYCZNEGO Z ZASTOSOWANIEM MAGNETOMETRÓW SKALARNYCH
PublikacjaW pracy przedstawiono wyniki analizy możliwości wykrywania obiektów ferromagnetycznych (statki, okręty podwodne, miny itp.) z zastosowaniem dwóch magnetometrów skalarnych. Stosując dwa magnetometry o wysokiej czułości (rzędu pT/Hz0,5) umieszczone w pewnej odległości od siebie pracujące w układzie różnicowym można wykrywać obiekty ferromagnetyczne z pewnej odległości.
-
Detekcja obiektów graficznych i ekstrakcja ich parametrów
PublikacjaW rozdziale przedstawiono wybrane metody wykrywania obiektów na obrazach, a także sposoby ich opisywania za pomocą parametrów umożliwiających późniejszą klasyfikację. Zaprezentowano algorytmy analizy obrysu obiektu (podział linii brzegowej na tokeny, wykorzystanie symetrii) oraz analizy tekstury (NxM-gramy, lokalne wzorce, filtry Gabora), omówiono także wykrywanie obiektów metodą AdaBoost.
-
Detekcja gazów za pomocą rezystancyjnych czujników gazów
PublikacjaRezystancyjne czujniki gazu są obecnie najpopularniejszymi czujnikami różnych gazów na rynku. Metoda pomiaru polega na obserwacji zmian rezystancji, które zależą od zmian stężenia badanego gazu w atmosferze. Wadą tych czujników jest mała selektywność na różne gazy wywołujące jednakową zmianę ich rezystancji. W oracy przedstawiono zasadę działania i budowę tcyh czujników. Przybliżono metodę zwiększającą selektywności i czułości...
-
Detekcja materiałów przy użyciu organicznych tranzystorów polowych
PublikacjaW ciągu ostatnich dwudziestu lat nastąpił rozwój elektroniki organicznej, która stała się ważnym obszarem badań naukowych i technologicznych. Organiczne ogniwa fotowoltaiczne i organiczne diody elektroluminescencyjne zostały wykorzystane w urządzeniach komercyjnych, a jednym z najbardziej obiecujących zastosowań dla organicznych tranzystorów polowych są czujniki chemiczne i biologiczne. Postęp w tej dziedzinie jest tematem tego...
-
Magnetometry w detekcji obiektów ferromagnetycznych
PublikacjaW pracy przedstawiono magnetometryczną metodę wykrywania obiektów ferromagnetycznych. Opisano zasadę działania magnetometrów różnych typów. Zaprezentowano gradiometryczny system do wykrywania ukrytych obiektów ferromagnetycznych.
-
Systemy automatycznej detekcji bezdechu sennego
PublikacjaZgodnie z przyjętą klasyfikacją międzynarodową identyfikowanych jest ponad 60 różnych zaburzeń snu [58] z podziałem na 7 kategorii. Bezdech senny, zarówno centralny jak i obturacyjny zaliczany jest do kategorii drugiej. Systemy pomiarowe wykorzystywane w monitorowaniu i diagnozie snu, w tym wykorzystywane do detekcji bezdechu sennego, można sklasyfikować ze względu na wiele kryteriów, np. ze względu na to czy badania wykonywane...
-
Detekcja i lokalizacja wybranych uszkodzeń falownikowego układu napędowego
PublikacjaW artykule przedstawiono dwa algorytmy diagnostyki napędu elektrycznego z falownikiem napięcia. Pierwszy z nich jest przeznaczony do diagnostyki uszkodzeń polegających na braku przewodzenia tranzystorów. Opiera się na analizie trajektorii wektora przestrzennego prądu. Za pomocą drugiego algorytmu możliwe jest wykrycie uszkodzeń sieci zasilającej lub prostownika. W tym celu wykorzystywany jest stosunek drugiej do szóstej harmonicznej...
-
Detekcja uszkodzeń w analogowych układach w pełni różnicowych.
PublikacjaPrzedmiotem pracy jest detekcja uszkodzeń w analogowych układach elektronicznych o architekturze w pełni różnicowej, cechującej się strukturalną redundancją ułatwiającą testowanie i diagnostykę. W oparciu o model matematyczny układów w pełni różnicowych, usystematyzowano metody ich testowania. Wykazano, że dotychczas stosowane metody są kosztowne w odniesieniu do układów ze wzmacniaczami operacyjnymi, w których zastosowano sprzężenie...
-
Detekcja stanu zakotwienia pręta za pomocą fal sprężystych
PublikacjaW pracy przedstawiono wstępne wyniki badań eksperymentalnych i obliczeń nu-merycznych mających na celu określenie możliwości oceny stanu zakotwienia pręta stalowego w materiale kompozytowym typu zaprawa. Badanym obiektem był pręt stalowy osadzony w zaprawie o kształcie prostopadłościennym. Analizie poddano pręt stalowy otoczony zaprawą na trzech różnych długościach oraz pręt stalowy swobodny. W jednym z modeli dokonano uszkodzenia...
-
Detection and segmentation of moving vehicles and trains using Gaussian mixtures, shadow detection and morphological processing
PublikacjaSolution presented in this paper combines background modelling, shadow detection and morphological and temporal processing into one system responsible for detection and segmentation of moving objects recorded with a static camera. Vehicles and trains are detected based on their pixellevel difference from the continually updated background model utilizing a Gaussian mixture calculated separately for every pixel. The shadow detection...
-
Bydgoska retencja +2050
PublikacjaProgram retencji bydgoskiej dla perspektywy 2050. Główne założenia programu. Wnioski wynikające z przeprowadzonej dyskusji.
-
Ewolucyjne metody wielokryterialnej optymalizacji układów detekcji.
PublikacjaW pracy omawiane są możliwości wykorzystania mechanizmów niszowania oraz rodzajnika genetycznego w ewolucyjnym poszukiwaniu rozwiązań wielokryterialnych zadań optymalizacyjnych. W omawianych typach algorytmów ewolucyjnych zastosowano metody rankingowe, które cechują się znaczną uniwersalnością i użytecznością w porównaniu do metod klasycznych. Jako przykład ilustrujący rozważane podejścia przedstawia się metodologię konstruowania...
-
Automatyczna detekcja liczby poziomów szumów RTS w przyrządach półprzewodnikowych
PublikacjaW publikacji zaprezentowano dwie metody automatycznej detekcji liczby poziomów szumów RTS w sygnałach szumowych generowanych w przyrządach półprzewodnikowych. Pierwsza z nich wykorzystuje źródło danych, którym jest szum przyrządu zapisany w postaci wektora próbek, natomiast druga działa w oparciu o obrazy uzyskane metodą NSP. W odróżnieniu od metody NSP, prezentowane metody pozwalają na automatyczną identyfikację liczby poziomów...
-
Detekcja i lokalizacja uszkodzeń falownika napięcia w czasie rzeczywistym
PublikacjaW artykule przedstawiono nową metodę detekcji i lokalizacji uszkodzeń tranzystorów w falownikach napięcia. Jako zmienną diagnostyczną wykorzystano stosunek składowej stałej do podstawowej harmonicznej. Tak zdefiniowana zmienna zapewnia poprawne wykrywanie i lokalizację uszkodzeń niezależnie od warunków pracy napędu. Metoda została sprawdzona poprzez badania symulacyjne i eksperymentalne.
-
Detekcja wad w rurach z wykorzystaniem akustycznych impulsów magnetostrykcyjnych.
PublikacjaOpisano wyniki badania wpływu zmiany prędkośći magnesu na rozkład przestrzenny natężenia magnetycznego pola rozproszonego przy powierzchni płyty stalowej z wadami sztucznymi. Zmiany pola rozproszonego wyjaśniono jakościowo efektem prądów wirowych.
-
Synchronizacja i detekcja danych w asynchronicznej transmisji szeregowej między mikrokontrolerami.
PublikacjaW artykule przedstawiono wybrane metody synchronizacji i detekcji danych stosowane w transmisji szeregowej, realizowanej między mikrokontrolerami w linii przewodowej bądź radiolinii. Omówiono algorytmy synchronizacji polegającej na: rozpoznaniu bitów startu (logiczne ''0'') i stopu (logiczna ''1'') dodanych na początku i końcu każdego słowa, próbkowaniu nadmiarowym ciągu danych i przyporządkowaniu wartości bitów przez podjęcie...
-
Detekcja nieciągłości w pręcie na podstawie analizy propagacji fali Lamba.
PublikacjaPraca przedstawia opis metody wykrywania nieciągłości w prętach z wykorzystaniem zjawiska propagacji fali Lamba w ośrodku sprężystym. Do zamodelowania omawianego zagadnienia zastosowano metodę elementów spektralnych. Opracowano elementy prętowe z nieciągłościami w postaci pęknięcia zmęczeniowego, skokowej zmiany pola przekroju poprzecznego czy niejednorodności materiału, z jakiego wykonane są badane pręty, według teorii prętów...
-
Detekcja uszkodzeń instalacji rurociągów okrętowych z wykorzystaniem sztucznych sieci neuronowych
PublikacjaMonitoring funkcjonowania szczególnie ważnych instalacji rurociągów okrętowych umożliwia wczesne uzyskanie informacji o występujących nieprawidłowościach, a tym samym podjęcie odpowiednich działań przez załogę. Oprócz stosowanych obecnie rozwiązań nadzór taki oraz pozyskiwanie w czasie rzeczywistym wspomnianych informacji, możliwy jest do realizacji z wykorzystaniem sztucznych sieci neuronowych, co na przykładzie wybranej instalacji...
-
DETEKCJA FAL UDERZENIOWYCH W UKŁADACH ŁOPATKOWYCH CZĘŚCI NISKOPRĘŻNYCH TURBIN PAROWYCH
PublikacjaW artykule przedstawiono wyniki numerycznych symulacji okołodźwiękowego przepływu pary przez ostatnie stopnie części niskoprężnej turbiny o mocy 50 MW. Celem przeprowadzonych symulacji była detekcja oraz lokalizacja fali uderzeniowej, występującej dla przyjętej geometrii układu łopatkowego. Przeanalizowano również wpływ zmiany wartości ciśnienia na wlocie do rozpatrywanych stopni turbiny na maksymalną wartość...
-
Detekcja gazów za pomocą zjawisk fluktuacyjnych w rezystancyjnych czujnikach gazów
PublikacjaOpracowanie przedstawia problemy wykrywania gazów oraz substancji zapachowych, realizowanych za pomocą układów z czujnikami gazów. Opisano zasady działania tych czujników oraz stosowane układy detekcji. Przedstawiono metodę wykrywania gazów za pomocą analizy zjawisk fluktuacyjnych obserwowanych w rezystancyjnych czujnikach gazów. Proponowaną metodę zastosowano, wykorzystując czujniki dostępne na rynku oraz konstrukcje prototypowe....
-
Bezprzewodowy moduł detekcji źródeł dźwięku – system klasyfikatorów
PublikacjaMonitoring bezpieczeństwa osób starszych i chorych przebywających samotnie w pomieszczeniach można realizowaćpoprzez detekcję dźwięków nietypowych. W tym celu zbudowano moduł nasłuchujący, który analizuje dźwięki z otoczenia. Oblicza on szereg parametrów dźwięku, także bazujących na STFT i MFCC. Umożliwiają one wychwycenie i sklasyfikowanie takich odgłosów jak jęki, krzyki, kaszel oraz huki. Przedstawiono...
-
Wpływ konfiguracji czujników w zagadnieniu detekcji uszkodzeń
PublikacjaW artykule przedstawiono algorytm detekcji uszkodzeń punktowych w elementach 2D z wykorzystaniem fal Lamba, które propagują w płytach o grubości porównywalnej do długości fali. Przedstawiono wyniki obliczeń numerycznych dotyczących lokalizacji uszkodzenia w płycie stalowej. Omówiono wpływ liczby czujników i ich konfigurację na jednoznaczność uzyskanego rozwiązania w postaci położenia uszkodzenia.
-
Wzmacniacz fazoczuły do detekcji sygnałów wysokiej częstotliwości
PublikacjaW referacie przedstawiono układ wzmacniacza fazoczułego pracujący w zakresie częstotliwości 0,1 - 20 MHz. Wzmacniacz ten został zrealizowany w konfiguracji zawierającej mieszacz, tor pośredniej częstotliwości i detektor synchroniczny. Omówiono wybrane aspekty implementacji urządzenia oraz problemy napotkane w trakcie jego realizacji. Przedstawiono wyniki charakteryzacji poszczególnychmodułów wzmacniacza i omówiono kierunki dalszych...
-
Retencja wody - zbiornik retencyjny
PublikacjaUzasadnienie potrzeby rozbudowy retencji wód opadowych. Rozwiązaniaq tradycyjne i alternatywne. Konieczność modyfikacji istniejących systemów. Zbiornik na bazie drobnych elementów.
-
Selekcja i ekstrakcja cech
PublikacjaW rozdziale omówiono sposób przedstawiania danych w postaci wektorów cech, które stanowią zbiory uczące np. w zadaniach klasyfikacji lub grupowania. Opisano metody generowania podzbiorów cech (metodę podziału i ograniczeń, metody sekwencyjne) oraz oceny jakości tych podzbiorów. Zaprezentowano wybrane algorytmy ekstrakcji cech (analizę głównych składowych, wielowymiarowe skalowanie, liniową analizę dyskryminacyjną).
-
Uciążliwości eksploatacyjne jako składnik błędów w realizacji stropodachu
PublikacjaW artykule przedstawiono opis stropodachu zrealizowanego z pominięciem zasad reżimu technologicznego, a wykonane interwencyjnie prace naprawcze spowodowały pogorszenie jakości eksploatacji budynku mieszkalnego rozszerzając zakres występujących usterek cieplno-wilgotnościowych. Zaproponowano, zgodna z zasadami wiedzy technicznej metodologię prac remontowych stropodachu.
-
Uciążliwości eksploatacyjne jako skutek błędów w realizacji stropodachu
PublikacjaW artykule przedstawiono opis stropodachu który zrealizowany został z pominięciem zasad reżimu technologicznego, a błędnie przeprowadzone w latach minionych prace remontowo- modernizacyjne zamiast poprawy jakości eksploatacji budynku przyczyniły się jedynuie do rozszerzenia zakresu usterek wilgotnościowych. Opisano zaproponowany zakres prac remontowych.
-
Detekcja czasu dojścia kontrastu w obrazowaniu parametrycznym mózgu metodą DSC-MRI
PublikacjaW artykule tym zawarto porównanie trzech metod określania czasu dojścia kontrastu. Pierwsza z metod opiera się na załączonej literaturze, natomiast dwie zaproponowane przez autora to: dopasowanie danych do zmodyfikowanej funkcji gamma oraz detekcja bazująca na wyznaczaniu wartości progowej.
-
Detekcja uszkodzeń w kratownicy kompozytowej z zastosowaniem sprzężonych fal gietno-ścinających.
PublikacjaPrzedstawiono model spektralny belki kompozytowej z pęknięciem. Zbadano wpływ wymiarów uszkodzenia i parametrów materiałowych kompozytu na zmiany w propagujacej sie fali gietno-ścinającej.
-
Detekcja uszkodzeń w bezczujnikowym napędzie elektrycznym z wykorzystaniem obserwatora momentu obciążenia
PublikacjaW artykule przedstawiono metodę monitorowania oraz detekcji uszkodzeń układu transmisji momentu w przekształtnikowym napędzi elektrycznym. Detekcję uszkodzeń oparto na analizie estymowanego momentu obciążenia silnika indukcyjnego pracującego w bezczujnikowym układzie sterowania. Moment obciążenia estymowany jest jako dodatkowa wielkość oprócz innych sygnałów wykorzystywanych przy sterowaniu, tj.: prędkości obrotowej i strumienia...
-
Detekcja obrazu pojazdów w nagraniach wideo oraz eliminacja pasożytniczych sprzężeń akustycznych
PublikacjaReferat prezentuje dwa niezależne rozwiązania z dziedziny inżynierii dźwięku i obrazu. Pierwsze z nich dotyczy wykrywania obrazu ruchomych pojazdów w nagraniach wideo dla zastosowań w monitoringu ruchu drogowego. Detekcja pojazdów odbywa się poprzez porównanie bieżącej ramki obrazu z modelem tła tworzonym w oparciu o sumę ważoną funkcji Gaussowskich. Zbadano skuteczność tej metody w oparciu o przykładowe nagrania ruchu ulicznego....
-
Optymalna konfiguracja czujników PZT w zagadnieniach detekcji uszkodzeń
PublikacjaW pracy przedstawiono analizę wpływu połozenia czujników piezoelektrycznych na efektywność detekcji uszkodzeń w elementach konstrukcyjnych.
-
Zastosowanie transformacji falkowej do bezkontaktowej detekcji pęknięcia szyby.
PublikacjaW 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...
-
Algorytmy przetwarzania widm Ramana podczas detekcji substancji chemicznych
PublikacjaW pracy zostaną przedstawione algorytmy wstępnego przetwarzania widm mające na celu usunięcie lub zmniejszenie intensywności zakłóceń obecnych w rejestrowanych widmach Ramana, ze szczególnym uwzględnieniem automatyzacji tego procesu (bez konieczności wyboru parametrów przetwarzania przez obsługę urządzenia). Kolejną prezentowaną grupę algorytmów stanowią procedury parametryzacji widm, które opisują widma w postaci zbioru kilku...
-
Dwuetapowa metoda detekcji zakłóceń impulsowych w sygnałach fonicznych
PublikacjaW pracy zaproponowano dwuetapową metodę detekcji zakłóceń opartą o analizę funkcji gęstości rozkładu prawdopodobieństwa sygnału zakłóconego impulsowo. Określono sposób ustalenia poziomu wyzwalania detektora progowego.
-
System detekcji miny morskiej oparty na układzie FPGA
PublikacjaObiekt metalowy znajdujący się w wodzie morskiej wytwarza wokół siebie pole elektryczne. Źródłem tego pola są procesy elektrochemiczne. Wśród wielu metalowych obiektów znajdujących się w morzu są miny morskie. Miny denne często ukryte są w dnie morza w celu utrudnienia ich wykrycia przez sonary. W pracy przedstawiono wyniki analizy numerycznej wpływu przewodności elektrycznej dna na rozkład pola elektrycznego oraz opisano system...
-
Klasyfikator Adaboost w detekcji i rozpoznawaniu obiektów graficznych
PublikacjaW pracy opisano metode Adaboost w zastosowaniu do detekcji obiektów graficznych, takich jak twarze lub rozpoznawania np. osób na podstawie obrazu twarzy. Przedstawiono podstawy algorytm, wersje kaskadowa, schemat przepływu danych i sterowania w zadaniu detekcji twarzy oraz sposoby adaptacji tej metody do problemów wieloklasowych. Opisano równiez zbiory cech obrazów, takie jak HAAR, LBP czy HOG stosowane w zadaniach detekcji i rozpoznawania...
-
Podczyszczanie wód opadowych. Retencja wskazana
Publikacjaprzedstawiono problemy podczyszczania wód opadowych w aspekcie obliczeń ilościowych. Przedstawiono problem uwzględniania retencji. Uwzględniono stronę ekonomiczną zagadnienia.
-
Dobór algorytmu do przetwarzania zależności czasowych w drzewach błędów
PublikacjaAnalizę drzew błędów można wzbogacić o rozważenia dotyczące zależności czasowych. Na podstawie informacji o zależnościach przyczynowo-skutkowych oraz o zależnościach czasowych zawartych w drzewie błędów można określić wymagania czasowe wobec komponentów analizowanego systemu, które podniosą jego bezpieczeństwo. Analiza zależności czasowych została precyzyjnie zdefiniowana w zakresie warunków wejściowych i wyjściowych przyjętego...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Analiza błędów odwzorowania szczegółów konstrukcyjnych modeli wykonanych metodą SLA
PublikacjaW niniejszej pracy przedstawiono analizę dokładności odwzorowania elementów konstrukcyjnych modelu CAD podczas jego wytwarzania metodą SLA. W procesie wykonywania modelu wiele czynników wpływa na dokładność jego wykonania jak i na jakość odwzorowania szczegółów. Omówiono proces przebiegu deformacji jak i przedstawiono wyniki badań.