Search
Filters
total: 170
filtered: 146
Search results for: magistrale ulatwionego testowania
-
Stanowisko badawcze nawigacji radiowej hybrydowego systemu lokalizacyjnego
PublicationW artykule przedstawiono stanowisko badawcze służące do rozwijania i testowania algorytmów nawigacji radiowej w opracowywanym hybrydowym systemie lokalizacyjnym. Przedstawiono sposób konfiguracji ultraszeroko-pasmowego modułu radiowego oraz uzyskiwane wyniki radiowych pomiarów odległości. Dodatkowo zamieszczono przykład radiolokalizacji z użyciem opracowanego stanowiska.
-
Demonstrator testera wbudowanego BIST dla układów w pełni różnicowych
PublicationPrzedstawiono demonstrator testera wbudowanego, przeznaczony do pracy na stanowisku dydaktycznym w laboratorium z przedmiotu Zaawansowane Metody Pomiarowe i Diagnostyczne. Na stanowisku studenci zapoznają się z technologią BIST (ang. Built-In Self-Test), która jest przykładem wdrożenia strategii projektowania dla testowania.
-
Testowanie koncepcji nowych produktów w niemieckich przedsiębiorstwach sprzętu gospodarstwa domowego
PublicationW artykule przedstawiono wyniki badania, odnośnie stosowania testowania koncepcji nowych produktów, przez niemieckich producentów sprzetu gospodarstwa domowego. Stwierdzono, że większość badanych firm stosuje testowanie koncepcji oraz, że występuje pozytywny związek pomiędzy stosowaniem tej metody a wynikami osiąganymi przy wdrażaniu nowych produktów.
-
Stanowisko do badania algorytmów stosowanych w nawigacji inercyjnej
PublicationW artykule opisano budowę i działanie opracowanego stanowiska do pomiarów i testowania opracowywanych algorytmów stosowanych w nawigacji inercyjnej. Przedstawiono opis modułów inercyjnych wraz z potencjalnymi źródłami błędów pomiarowych. Prezentowane rozwiązanie zostało przystosowane do współpracy z modułami do radiowego pomiaru odległości.
-
Tester wbudowany BIST dla mieszanych sygnałowo pakietów elektronicznych
PublicationZaproponowano oszczędne i nieinwazyjne rozwiązanie testera wbudowanego BIST dla w pełni różnicowej części analogowej układu mieszanego sygnałowo. Wymienione cechy testera osiągnięto wykorzystując właściwości nowo opracowanych wzmacniaczy operacyjnych z wewnętrznym sprzężeniem zwrotnym dla sygnału wspólnego oraz modyfikując dotychczas stosowaną metodę testowania.
-
Analog fault signature based on sigma-delta modulation and oscillation-test methodology.
PublicationW artykule dokonano przeglądu prac z zakresu testowania układów elektronicznych metodą oscylacyjną. Wskazując na niedostatki aktualnie stosowanej techniki testowania oscylacyjnego zaproponowano nową sygnaturę uszkodzeń dla układów analogowych. Proponowany parametr diagnostyczny jest wydobywany z odpowiedzi czasowej oscylatora testującego, w układzie złożonym z detektora szczytowego, modulatora sigma-delta oraz licznika rewersyjnego....
-
On-Board Detection, Classification and Evaluation of Nonlinearities
PublicationArtykuł prezentuje tester wbudowany BIT przeznaczony do wydobywania informacji diagnostycznej z sygnału generowanego przy zastosowaniu oscylacyjnej metody testowania. Układ bazujący na technice modulacji Sigma-Delta i sztucznych sieciach neuronowych może wykrywać nieliniowość w sygnale testującym, określać rodzaj nieliniowości i szacować zawartość harmonicznych.
-
Ocena ryzyka ponoszonego przez producenta/konsumenta z powodu niepewności pomiarów
PublicationZaproponowano definicje ryzyka ponoszonego przez producenta i konsumenta z powodu niepewności pomiarów. Na przykładzie testowania amplitudy sygnału obliczono poziomy ryzyka według znanych z literatury i proponowanych definicji. Różnice między wynikami wskazują, że problem jest istotny. Proponowane podejście jest lepiej dostosowane do praktyki produkcyjnej.
-
Platforma i aplikacje przetwarzania strumieni danych
PublicationPrzedstawiono uogólniony schemat uzgadniania wymagań dotyczących bezpieczeństwa publicznego i na tej podstawie zaprezentowano koncepcję platformy KASKADA przeznaczonej do analizy strumieni multimedialnych. Opisano metodę wytwarzania i testowania takiej platformy oraz różne możliwości jej wykorzystania. Podano przykłady aplikacji zrealizowanych i wykonywanych na tej platformie.
-
Mechatronic approach to the design of 2-wheel mobile platform
PublicationW pracy przedstawiono podejście mechatroniczne do projektowania 2-kołowego robota mobilnego przeznaczonego do testowania algorytmu nadzorowania za pomocą sterowania optymalnego przy energetycznym wskaźniku jakości. Badany robot jest skrępowany więzami nieholonomicznymi. Model matematyczny 2-kołowej platformy mobilnej jest opisany za pomocą skończonej liczby nieliniowych równań różniczkowych.
-
Weryfikacja sprawności I stopnia wybranych krajowych modeli zagrożenia upadłości przedsiębiorstw
PublicationArtykuł niniejszy poświecony jest weryfikacji sprawności I stopnia polskich modeli służących prognozowaniu zagrożenia upadłości przedsiębiorstw. Zawiera on wyniki testowania dziesięciu krajowych modeli na próbie walidacyjnej, w skład której weszło 49 firm. Uzyskane w czasie weryfikacji wyniki zostały skonfrontowane ze sprawnością modeli podawaną przez autorów poszczególnych modeli.
-
BADANIE MOŻLIWOŚCI SYMULACYJNYCH ŚRODOWISKA ‘MININET’ POD KĄTEM WSPARCIA PROTOKOŁU NETCONF
PublicationNiniejszy artykuł został poświęcony zagadnieniu wykorzystania środowiska emulacyjnego Mininet do testowania mechanizmów działania protokołu NETCONF. Omówiono w nim projekt inżynierski, którego wynikiem było zaimplementowanie wirtualnego środowiska, umożliwiającego prowadzenie takich badań. Opisano także wyniki testów emulacji dwóch pierścieniowych domen sieciowych, składających się z 30 węzłów.
-
Symulacja przetworników z wyjściowym sygnałem impulsowym modulowanym częstotliwościowo
PublicationTematem artykułu jest generacja sygnałów impulsowych modulowanych częstotliwościowo. Przedstawiono metodę wyznaczenia położenia kolejnych impulsów sygnału dla przykładowych przebiegów. Podano możliwości realizacji metody w postaci przyrządu wirtualnego oraz urządzenia mikroprocesorowego. Przedstawione metody mogą być wykorzystane do symulacji przetworników pomiarowych z wyjściem częstotliwościowym w trakcie testowania systemów...
-
Modified version of roulette selection for evolution algorithms - the fan selection.Zmodyfikowana wersja selekcji metodą ruletki dla algorytmów ewolucyjnych - selekcja ''wachlarzowa''.
PublicationW pracy przedstawiono zmodyfikowaną wersję selekcji metodą ruletki - selekcję ''wachlarzową''. Metoda ta polega na zwiększaniu prawdopodobieństw przeżycia lepszych osobników kosztem gorszych. Do testowania i oceny jakości proponowanej metody użyto funkcji testujących spotykanych w literaturze. Uzyskane wyniki selekcji wachlarzowej porównano z wynikami selekcji metodą ruletki i selekcji elitarystycznej.
-
Internetowa telediagnostyka urządzeń w obsłudze serwisowej.
PublicationPrzedstawiono system diagnostyczny do zdalnego testowania i lokalizowania uszkodzeń w elektronicznych podzespołach urządzeń powszechnego użytku. System składa się ze stanowiska doświadczalnego do konfigurowania i weryfikowania procedur diagnostycznych oraz prototypowego układu testera wbudowanego z dostępem internetowym. Zdalna diagnostyka jest rozpatrywana w aspekcie obsługi posprzedażnej w systemach CRM.
-
Evaluation of foil capacitor nonlinearities and fluctuations during manufacturingOszacowanie nieliniowości i fluktuacji kondensatorów foliowych w procesie produkcyjnym
PublicationPrzeanalizowano nieliniowości i właściwości szumowe kondensatorów w celu ustalenie kryteriów testowania nieniszczącego i selekcji kondensatorów przeciwzakłóceniowych do różnych klas trwałości i niezawodności. Przedstawiono wybrane wyniki eksperymentalne pomiaru kondensatorów produkowanych przez ZR MIFLEX w Kutnie oraz koncepcję systemu pomiarowego przeznaczonego do implementacji tych pomiarów w procesie produkcyjnym.
-
Synteza algorytmu detekcji pęknięcia szyby metodą ''data fission - data fusion''
PublicationPrzedstawiono założenia projektowe oraz proces syntezy algorytmu detekcyjnego akustycznego detektora pęknięcia szyby. W konstrukcji algorytmu użyto techniki rozszczepiania i syntezy danych. Przedstawiono użyte narzędzia badawcze, opracowany model pęknięcia szyby oraz wynki testowania finalnego algorytmu detekcyjnego. Metoda znalazła zastosowanie w konstrukcji akustycznego detektora pęknięcia szyby stosowanego w systemach alarmowych.
-
Badania układu UPFC w oparciu o model laboratoryjny i symulacyjny
PublicationW artykule przedstawiono koncepcję oraz sposób realizacji laboratoryjnego modelu układu UPFC. Układ zrealizowano według nowej metodyki oferującej elastyczność w szerokim zakresie testowania nowych algorytmów sterowania. W referacie zaprezentowano też przykładowe wyniki prób eksperymentalnych potwierdzające słuszność przyjętej koncepcji sterowania. Dane pomiarowe zostały również wykorzystane do celów walidacji opracowanego modelu...
-
Realizacja elementu LMS wspomagającego proces oceny wiedzy uczestników kursu
PublicationW rozdziale monografii omówiono mechanizmy realizacji testowania wiedzy studentów w systemach LMS. Przedstawiono opracowany na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej element systemu LMS oceny wiedzy uczestników zajęć laboratoryjnych. Wyróżniającą cechą tego systemu jest jego modułowa, rozproszona i hierarchiczna architektura oraz niezależność od jakości pracy sieci komputerowej.
-
MAC contention in a wireless LAN with noncooperative anonymous stations
PublicationRozpatruje się model sieci bezprzewodowej wykorzystywanej przez wzajemnie nieprzenikalne grupy stacji anonimowych. Przy ustalonej regule wyłaniania zwycięzcy rywalizacji o dostęp do medium, stacje posiadają swobodę wyboru strategii selekcji szczeliny rywalizacyjnej. Dla szerokiego zbioru możliwych strategii proponuje się metodologię ich oceny i testowania wydajności opartą na pojęciu zbliżonym do ewolucyjnej stabilności.
-
Factors determining the production testing of high reliability interference supressor capacitors.
PublicationPrzyjęto nieliniowości i właściwości szumowe kondensatora jako kryteria selekcji kondensatorów przeciwzakłóceniowych na klasy o zróżnicowanej niezawodności. Poprawia to proces oceny jakości kondensatorów o podwyższonej niezawodności. Przedstawiono zastosowanie technik pomiaru nieliniowości i szumów w systemie do produkcyjnego testowania kondensatorów przeciwzakłóceniowych o podwyższonej niezawodności. Przytoczono wybrane wyniki...
-
Bearing testing machine with rotating load vector.
PublicationW pracy przedstawiono koncepcję konstrukcyjną i prototyp stanowiska badawczego z wirująca reakcją łożyskową przeznaczonego do testowania wytrzymałości zmęczeniowej warstw ślizgowych w łożyskach poprzecznych. Konstrukcja i przeznaczenie maszyny zbudowanej w laboratorium tribologicznym Politechniki Gdańskiej jest zgodna z zaleceniami normy ISO 7905. Przeanalizowano zalety i wady maszyny badawczej o takim wzorcu obciążenia testującego.
-
Analiza bezpieczeństwa usług i transakcji w systemach informatycznych
PublicationOmówiono zasady zapewnienia bezpieczeństwa usług elektronicznych w archi-tekturze klient - serwer w oparciu o SSL, podpis elektroniczny, PKI, certy-fikaty. Przedstawiono metodę analizy bezpieczeństwa w oparciu o przyjętą worganizacji politykę bezpieczeństwa, zastosowane modele i wykorzystane pro-cedury testowania. Celem tych rozważań jest określenie możliwości oceny iwyboru odpowiednich środków zapewniających bezpieczeństwo...
-
Ryzyko ponoszone przez producenta i konsumenta z powodu niepewności pomiarów
PublicationPrzeprowadzono krytyczną dyskusję stosowanych w literaturze definicji ryzyka błędnych decyzji wynikających z niepewności pomiarów. Dla znanych rozkładów prawdopodobieństwa charakteryzujących produkcję i aparaturę pomiarową dokonano analizy ryzyka na przykładzie testowania amplitudy napięcia. Pokazano, że tradycyjne definicje ryzyka producenta i ryzyka konsumenta są przypisywane prawdopodobieństwom zaniżonym. Porównano je z definicjami...
-
Testowanie jakości warystorów niskonapięciowych
PublicationWarystory są powszechnie stosowanym elementem zabezpieczającym przed przepięciami sieć energetyczną. Stąd, jakość tych elementów jest bardzo istotna, aby zabezpieczenie było skuteczne. Warystory są wykonywane z taniego i powszechnie stosowanego materiału - tlenku cynku wraz z dodatkami innych substancji, stanowiącymi zwykle tajemnicę producenta i decydującymi o końcowej jakości wyrobu. Produkty opuszczające fabrykę spełniają narzucone...
-
Testowanie jakości warystorów niskonapięciowych
PublicationWarystory są powszechnie stosowanym elementem zabezpieczającym przed przepięciami sieć energetyczną. Stąd, jakość tych elementów jest bardzo istotna, aby zabezpieczenie było skuteczne. Warystory są wykonywane z taniego i powszechnie stosowanego materiału - tlenku cynku wraz z dodatkami innych substancji, stanowiącymi zwykle tajemnicę producenta i decydującymi o końcowej jakości wyrobu. Produkty opuszczające fabrykę spełniają narzucone...
-
An application of the TCRBF neural network in multi-node fault diagnosis method
PublicationPrzedstawiono nową metodę samo-testowania części analogowej w systemach elektronicznych sterowanych mikrokontrolerami. Układ badany pobudzany jest przebiegiem sinusoidalnym przez generator zamontowany w systemie, a jego odpowiedź jest próbkowana w wybranych węzłach przez wewnętrzny przetwornik A/C mikrokontrolera. Detekcja i lokalizacja uszkodzenia jest dokontwana przez sieć neuronową typu TCRBF. Procedurę diagnostyczną zaimplementowano...
-
User-System Interaction Design in IT Projects
PublicationMonografia omawia główne wymagania dla interfejsu użytkownika oraz przedstawia przegląd metod przydatnych do projektowania interakcji użytkownik-system, jak i do organizowania współpracy z użytkownikami w projektach informatycznych. Znaczną część monografii poświęcono zagadnieniom projektowania koncepcyjnego oraz testowania i oceny powstających rozwiązań. Szczególne miejsce zajmują różne techniki prototypownia oraz zasady prowadzenia...
-
MODEL FOR MEASUREMENT OF FLOW INSTALLATION TIME IN SDN SWITCH
PublicationSDN is the approach in telecommunication networks that separates control plane from data forwarding plane by specifying a single network entity as a controller that defines rules (called flows) of traffic forwarding for the switches connected to it. The time that is required for installation of these rules might be a hindrance for the overall performance of SDN network. In the paper, a model for testing and evaluating the influence...
-
An oscillation-based built-in test scheme with AGC loop.
PublicationPrzedstawiono oscylacyjny tester wbudowany (OBIT) do testowania części analogowej elektronicznego układu mieszanego sygnałowo zmontowanego na pakiecie. W celu zwiększenia współczynnika pokrycia uszkodzeń, w testerze zastosowano pomiary w dziedzinie czasu i częstotliwości. Omówiono wybrane aspekty implementacji testera, w szczególności problem transformacji układu testowanego w oscylator. Przeprowadzono analizę stanu ustalonego...
-
Projektowanie urządzeń pomiarowo-sterujących zintegrowanych z systemem KNX
PublicationW artykule przedstawiono zagadnienia dotyczące projektowania urządzeń automatyki budynków zgodnych ze standardem KNX. Opisano strukturę wewnętrzną urządzeń KNX i dokonano przeglądu specjalistycznych podzespołów służących do ich budowy. Przedstawiono również wymagania dotyczące certyfikacji urządzeń KNX oraz niezbędne narzędzia programistyczne. Na końcu podsumowano doświadczenia zdobyte podczas projektowania i testowania prototypu...
-
Implementacja metody diagnostycznej opartej na wielokrotnym próbkowaniu odpowiedzi czasowej w mieszanym sygnałowo mikrosystemie elektronicznym
PublicationPrzedstawiono nowe podejście samo-testowania toru analogowego zakończonego przetwornikiem A/C w mieszanych sygnałowo mikrosystemach elektronicznych sterowanych mikrokontrolerami. Bazuje ono na nowej metodzie diagnostycznej opartej na przekształceniu transformującym próbki odpowiedzi czasowej badanej części analogowej na pobudzenie impulsem prostokątnym na krzywe identyfikacyjne w przestrzeni pomiarowej. Metoda ta pozwala na detekcję...
-
Testowanie układów cyfrowych z wykorzystaniem magistrali IEEE 1149.7
PublicationPrzedstawiono opracowaną w grudniu 2009 r. cyfrową magistralę testującą IEEE 1149.7 przeznaczoną do testowania i debuggingu wielordzeniowych układów wbudowanych. W stosunku do magistrali IEEE1149.1, której jest rozszerzeniem, magistrala IEEE1149.7 zapewnia zredukowaną do dwóch liczbę wyprowadzeń, możliwość pracy w konfiguracji gwiazdowej, indywidualne adresowanie urządzeń, eliminację ze ścieżki brzegowej nieaktywnych układów, zarządzanie...
-
Test limitations induced by fault-driven instability of analog circuits.
PublicationCelem pracy jest ocena ograniczeń testowania uszkodzeń parametrycznych wynikajacych z utraty stabilności przez testowany układ analogowy. Zastosowano metody zapożyczone z teorii sterowania: liniową transformacje frakcyjną i analizę metodą strukturalnych wartości szczególnych. Przykładowej analizie poddano filtr typu leapfrog. Do obliczeń wykorzystano środowisko Matlab/Simulink. Wyniki obliczeń wykazały dużą podatność testowanego...
-
Uporządkowane kolorowanie wierzchołków grafów
PublicationW pracy przedstawiamy stosunkowo nowy model kolorowania grafów, mianowicie kolorowanie uporządkowane. Po scharakteryzowaniu potencjalnych zastosowań tego modelu przedstawiamy liniowy algorytm kolorowania grafów w sposób przybliżony. Pokazujemy klasy grafów, które ten algorytm koloruje optymalnie i klasy grafów, dla których błąd pokolorowania może być dowolnie duży. Przedstawiamy również doświadczenia komputerowe zebrane w trakcie...
-
Self-testing of fully differential multistage circuits using common-mode excitation
PublicationPrzedmiotem artykułu jest, zorientowane na uszkodzenia, testowanie wielostopniowych układów w pełni różnicowych. Zaproponowano metodę testowania z zastosowaniem pobudzenia układu testowanego sygnałem wspólnym. Rozważane są dwa warianty metody. Pierwszy wariant wykorzystuje do pobudzenia wejście każdego różnicowego stopnia. Drugi wariant wykorzystuje dodatkowe wejście wzmacniacza operacyjnego i testuje wielostopniowy układ bez jego...
-
BALISTYKA DLA SNAJPERÓW: PRAKTYCZNY PORADNIK
PublicationJest książka z zakresu balistyki, opracowana dla snajperów, strzelców wyborowych, sportowych strzelców długodystansowych oraz myśliwych. W przystępny sposób przedstawiono w niej zagadnienia związane z balistyką wewnętrzną, zewnętrzną i końcową. Bardzo wnikliwie omówiono również celowniki optyczne, sposoby ich testowania i regulacji. Opisano zasady określania poprawek uwzględniających odległość od celu, położenie i ruch celu oraz...
-
Port knocking - alternatywne rozwiązania
PublicationOmówiono techniki pukania w porty (ang. Port Knocking). Zaproponowano nowe wersje mechanizmu oparte o wykonanie sekwencji puknięć wieloma pakietami w jeden port: pukanie pakietami o różnej długości, przy czym długości te stanowiłyby sekwencję kodową, oraz pukanie, w którym sekwencją kodową są odcinki czasu pomiędzy pojawianiem się na porcie kolejnych pakietów. Rozważono możliwości zastosowania tego typu port knockingu i zaproponowano...
-
Adaptive selection of control parameters in differential evolution algorithms
PublicationW pracy przedstawiono metodę adaptacyjnej selekcji parametrów kontrolnych w różnicowych algorytmach ewolucyjnych. Wartości parametrów takich jak: stopień krzyżowania i współczynnik różnicowej mutacji są odpowiednio zmieniane. Funkcje testowe użyte do testowania proponowanej metody były zaczerpnięte z literatury. Rezultaty uzyskane przy użyciu opisanej metody zostały porównane z innymi metodami selekcji różnicowej. Wyniki te, uzyskane...
-
Modelowanie charakterystyk magnesowania przełączalnych silników reluktancyjnych z wykorzystaniem sieci neuronowych
PublicationW pracy przedstawiono możliwość wykorzystania sztucznej sieci neuronowej w jednej z metod analitycznych modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych. W szczególności przedstawiono uzasadnienie doboru zmiennych podawanych na warstwę neuronów wejściowych sieci, przygotowanie zbioru uczącego, walidacyjnego i testującego, wybór struktury i dobór parametrów sieci, proces uczenia t testowania oraz wyniki...
-
Application of the electrochemical quartz crystal microbalance in corrosionstudies
PublicationPrzegląd niniejszy opisuje zastosowania elektrochemicznej wagi kwarcowej (EQCM) w badaniach korozyjnych. Przedstawione zostały dwa główne obszary badań. Jeśli chodzi o badania mechanizmów korozji, mikrowaga elektrochemiczna była wykorzystywana jako narzędzie do testowania korozji miedzi, niklu, cynku, aluminium i stopów. Była użyteczna w określaniu mechanizmów roztwarzania albo pasywacji w różnych warunkach. Drugim kierunkiem wykorzystania...
-
Zastosowania elektrochemicznej mikrowagi kwarcowej w badaniach korozyjnych
PublicationPrzegląd niniejszy opisuje zastosowania elektrochemicznej wagi kwarcowej (EQCM) w badaniach korozyjnych. Przedstawione zostały dwa główne obszary badań. Jeśli chodzi o badania mechanizmów korozji, mikrowaga elektrochemiczna była wykorzystywana jako narzędzie do testowania korozji miedzi, niklu, cynku, aluminium i stopów. Była użyteczna w określaniu mechanizmów roztwarzania albo pasywacji w różnych warunkach. Drugim kierunkiem wykorzystania...
-
Hunting for bindings in distributed object-oriented systems.
PublicationArtykuł dotyczy problemu identyfikacji grupy obiektów, które pozostają z danym obiektem w pewnej relacji. Problem ten jest szczególnie istotny w sytuacji, gdy należy wyodrębnić grupę obiektów w celu np. testowania czy monitorowania. W arykule zdefiniowano statyczną i dynamiczną relację powiązania pomiędzy obiektami w rozproszonym systemie obiektowym. Zaproponowano również architekturę umożliwiającą wyszukiwanie tych powiązań. Przedstawiono...
-
Testing and tuning PLC application programs
PublicationWe wstępie zawarto kilka uwag autora dotyczących pilnej potrzeby wdrażania na Wydziale Mechanicznym idei mechatronicznego kształcenia. Przedstawiono przegląd sposobów monitorowania i testowania programów aplikacyjnych PLC podczas budowania lub modernizacji systemów sterowania. Przedyskutowano zakres zastosowań oraz ograniczenia poszczególnych sposobów. Opisano przykład zastosowania zbudowanego stanowiska do eksperymentalnych testów...
-
Uczenie na błędach w nauczaniu programowania w systemie e-learningu
PublicationJedną z kluczowych umiejętności, które muszą posiąść adepci programowania, stanowi umiejętność poprawiania kodu programu zawierającego błędy. Jest to działanie bardzo złożone, wymagające znajomości składni języka, rozumienia semantyki kodu, znajomości zasad testowania oraz rozumienia działania algorytmu. W artykule autor proponuje własną metodę kształtowania umiejętności poprawiania kodu programu wykorzystującą narzędzia do nauczania...
-
Testowanie i diagnostyka układów w pełni różnicowych
PublicationZaproponowano tester wbudowany realizujący nowe podejście do testowania układów w pełni różnicowych, polegające na pobudzaniu układu sygnałem wspólnym i pomiarze wyjściowego napięcia różnicowego. Tester wykrywa uszkodzenia parametryczne i strukturalne, które powodują zaburzenie symetrii układu i w rezultacie wzrost wartości napięcia różnicowego. Przeprowadzono analizę właściwości diagnostycznych funkcji układowej, na której bazuje...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje 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...
-
Diagnostyka analogowych filtrów wielosekcyjnych oparta na magistrali testującej IEEE1149.1
PublicationPrzedstawiono nową koncepcję testera JTAG BIST do samo-testowania torów analogowych opartych na wielosekcyjnych filtrach wyższego rzędu w mieszanych sygnałowo mikrosystemach elektronicznych sterowanych mikrokontrolerami i wyposażonych w magistralę testującą IEEE1149.1 (JTAG). Bazuje ona na metodzie diagnostycznej opartej na przekształce-niu transformującym próbki odpowiedzi czasowych kolejnych sekcji filtra pobudzonego impulsem...
-
Obsługa przełączeń terminali ruchomych niewspierających mobilności
PublicationArtykuł omawia koncepcję network-based mobility management umożliwiającą obsługę terminali ruchomych niewspierających protokołów mobilności. Praca koncentruje się na protokole Proxy Mobile IPv6 (PMIPv6) który zapewnienia ciągłą osiągalność terminala ruchomego, pomimo zmiany punktu przyłączenia terminala do sieci. W dalszej części artykuł przybliża wysiłki autorów poczynione w celu uruchomienia środowiska do testowania efektywności...
-
Parallel simulations of electrophysiological phenomena in myocardium on large 32 and 64-bit Linux clusters.
PublicationW pracy podjęto badania i przeprowadzono symulacje zjawisk elektrofizjologicznych w mięśniu sercowym z wykorzystaniem wytworzonego w tym celu oprogramowania równoległego opartego na MPI. Zaimplementowano i zbadano ulepszenia kodu prowadzące do uzyskania dobrej skalowalności oraz przeprowadzono testy wydajności na najnowszych 32 i 64-bitowych klastrach linuksowych. Praca stanowi próbę równoległej implementacji znanego podejścia...