Wyszukiwarka
Filtry
wszystkich: 152
wybranych: 134
Wyniki wyszukiwania dla: METODY TESTOWANIA
-
Determining coinsistent states of distributed objects paricipating in a remote method call
PublikacjaPrzedstawiono metodę testowania obiektów w systemie rozprzoszonym z wykorzystaniem replikacji stanu obiektów. W szczególności zaproponowano technikę zegarów haszujących do identyfikacji zdarzeń w systemach zawierających nieznaną a'priori liczbą obiektów oraz E-drzewo do identyfikacji stanu tych obiektów.
-
Stanowisko badawcze nawigacji radiowej hybrydowego systemu lokalizacyjnego
PublikacjaW 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.
-
Stanowisko badawcze nawigacji radiowej hybrydowego systemu lokalizacyjnego
PublikacjaW 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.
-
Stanowisko do badania algorytmów stosowanych w nawigacji inercyjnej
PublikacjaW 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
PublikacjaZaproponowano 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.
-
Platforma i aplikacje przetwarzania strumieni danych
PublikacjaPrzedstawiono 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.
-
Ocena ryzyka ponoszonego przez producenta/konsumenta z powodu niepewności pomiarów
PublikacjaZaproponowano 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.
-
Weryfikacja sprawności I stopnia wybranych krajowych modeli zagrożenia upadłości przedsiębiorstw
PublikacjaArtykuł 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.
-
Mechatronic approach to the design of 2-wheel mobile platform
PublikacjaW 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.
-
BADANIE MOŻLIWOŚCI SYMULACYJNYCH ŚRODOWISKA ‘MININET’ POD KĄTEM WSPARCIA PROTOKOŁU NETCONF
PublikacjaNiniejszy 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.
-
Internetowa telediagnostyka urządzeń w obsłudze serwisowej.
PublikacjaPrzedstawiono 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
PublikacjaPrzeanalizowano 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.
-
Realizacja elementu LMS wspomagającego proces oceny wiedzy uczestników kursu
PublikacjaW 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.
-
Synteza algorytmu detekcji pęknięcia szyby metodą ''data fission - data fusion''
PublikacjaPrzedstawiono 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
PublikacjaW 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...
-
Wyniki testowania probabilistycznych modeli procesu pomiarowego
PublikacjaPrzedstawiono wyniki testowania dwóch probabilistycznych modeli procesu pomiarowego – prostego oraz złożonego z etapów obserwacji i restytucji. Testowanie przeprowadzono za pomocą zestawu miar ryzyka. W wyniku testów modelu dwuetapowego wykryto efekt kumulowania się prawdopodobieństwa na krańcach zakresu pomiarowego podczas inwersji funkcji rozkładu warunkowego, pogarszający dokładność oceny ryzyka dla większych wartości niepewności...
-
MAC contention in a wireless LAN with noncooperative anonymous stations
PublikacjaRozpatruje 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.
PublikacjaPrzyję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.
PublikacjaW 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
PublikacjaOmó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
PublikacjaPrzeprowadzono 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
PublikacjaWarystory 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
PublikacjaWarystory 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
PublikacjaPrzedstawiono 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...
-
Rozległe sieci badawcze dla testowania rozwiązań nowych generacji internetu
PublikacjaDokonano przeglądu rozległych infrastruktur badawczych tworzonych w ramach projektów naukowo-badawczych na potrzeby testowania i walidacji proponowanych rozwiązań dla nowych generacji Internetu. W szczególności przedstawiono zapotrzebowanie środowisk badawczych dla korzystania z sieci testowych oraz pokrótce omówiono najważniejsze projekty infrastrukturalne realizowane w ramach 7. Programu Ramowego Unii Europejskiej i ich kontynuację w...
-
User-System Interaction Design in IT Projects
PublikacjaMonografia 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...
-
An oscillation-based built-in test scheme with AGC loop.
PublikacjaPrzedstawiono 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
PublikacjaW 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...
-
Testowanie układów cyfrowych z wykorzystaniem magistrali IEEE 1149.7
PublikacjaPrzedstawiono 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...
-
Uporządkowane kolorowanie wierzchołków grafów
PublikacjaW 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...
-
Ocena nośności betonowych dźwigarów wzmocnionych płaskownikiem stalowym na podstawie badań modelowych i numerycznych
PublikacjaKoniec wieku XIX oraz początek XX wieku były okresem, który w budownictwie przyniósł postęp metod obliczeń oraz zaowocował szeregiem nowatorskich rozwiązań konstrukcyjnych. Szczególny wkład w tych dziedzinach wnieśli inżynierowie zajmujący się budową mostów. Pozostawili szereg nowatorskich rozwiązań technicznych i technologicznych. Jednym z nich są ustroje systemu Möllera.Na ziemiach polskich znajduje się jeszcze kilka obiektów...
-
BALISTYKA DLA SNAJPERÓW: PRAKTYCZNY PORADNIK
PublikacjaJest 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...
-
Modelowanie charakterystyk magnesowania przełączalnych silników reluktancyjnych z wykorzystaniem sieci neuronowych
PublikacjaW 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...
-
Port knocking - alternatywne rozwiązania
PublikacjaOmó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...
-
Application of the electrochemical quartz crystal microbalance in corrosionstudies
PublikacjaPrzeglą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
PublikacjaPrzeglą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...
-
Problemy wytwarzania i testowania kondensatorów z folii metalizowanej
PublikacjaKondensatory są powszechnie stosowanymi elementami biernymi w układach i urządzeniach elektronicznych, elektrotechnicznych oraz energetycznych. Stąd, istotnym jest, aby koszty produkcji były możliwie jak najniższe równocześnie przy zachowaniu ich wysokiej niezawodności. W pracy przedstawiono problemy napotykane podczas wytwarzania oraz testowania kondensatorów produkowanych na bazie folii polipropylenowych metalizowanych. Szczegółowo...
-
Uczenie na błędach w nauczaniu programowania w systemie e-learningu
PublikacjaJedną 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...
-
Hunting for bindings in distributed object-oriented systems.
PublikacjaArtykuł 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
PublikacjaWe 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...
-
Problemy wytwarzania i testowania kondensatorów z folii metalizowanej
PublikacjaKondensatory są powszechnie stosowanymi elementami biernymi wukładach i urządzeniach elektronicznych, elektrotechnicznych oraz energetycznych. Stąd, istotnym jest, aby koszty produkcji były możliwie jak najniższe równocześnie przy zachowaniu ich wysokiej niezawodności. W pracy przedstawiono problemy napotykane podczas wytwarzania oraz testowania kondensatorów produkowanych na bazie folii polipropylenowych metalizowanych. Szczegółowo...
-
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...
-
Testowanie i diagnostyka układów w pełni różnicowych
PublikacjaZaproponowano 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...
-
Diagnostyka analogowych filtrów wielosekcyjnych oparta na magistrali testującej IEEE1149.1
PublikacjaPrzedstawiono 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
PublikacjaArtykuł 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.
PublikacjaW 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...
-
Built-in Test Scheme for detection, classification and evaluation of nonlinearities
PublikacjaW artykule przedstawiono koncepcję testera wbudowanego (BIST) przeznaczonego do detekcji nieliniowości, klasyfikacji rodzaju nieliniowości i oceny zniekształceń nieliniowych sygnału testowanego, bez użycia drogiego systemu automatycznego testowania. Tester bazuje na modulatorze sigma-delta umieszczonym na pakiecie testowanym i sztucznej sieci neuronowej zaimplementowanej w komputerze osobistym. Koncepcję testera zweryfikowano poprzerz...
-
Probabilistic evaluation of test architectures for fully differential circuits
PublikacjaArtykuł prezentuje model probabilistyczny przeznaczony do oceny, porównania i optymalizacji architektur testujących układy w pełni różnicowe. Model ma postać funkcji rozkładów gęstości prawdopodobieństwa amplitudy i fazy sygnału mierzonego w trakcie testowania. Parametry modelu są wyznaczane za pomocą rozwinięcia funkcji układowej w szereg Taylora. Poprawność modelu sprawdzono poprzez porównanie z wynikami symulacji, uzyskanymi...
-
Obsługa danych radarowych w rozproszonym systemie komunikacji i nadzoru projektu STRADAR
PublikacjaJednym z zadań rozszerzenia projektu STRADAR jest zrealizowanie zaawansowanego przetwarzania (reduplikacja, multifuzja) i prezentacji danych pochodzących z urządzeń radarowych znajdujących się pod kontrolą Morskiego Oddziału Straży Granicznej. W artykule przedstawiono założenia dla realizacji oprogramowania fuzji danych radarowych w serwerach archiwizacji, ogólną strukturę podsystemu obsługi danych radarowych, moduły wejściowe...
-
Zarządzanie jakością i niezawodnością oprogramowania w systemach związanych z bezpieczeństwem
PublikacjaW artykule poruszono problem zapewnienia wymaganej jakości i niezawodności oprogramowania stosowanego w systemach związanych z bezpieczeństwem. Przedstawiono podstawowe rodzaje modeli niezawodnościowych oprogramowania i wynikające z nich specyficzne właściwości tego elementu systemu. Na przykładzie "Modelu V" cyklu życia omówiono zasady zarządzania procesem wytwarzania oprogramowania, ze szczególnym uwzględnieniem roli procesów...