Search results for: TESTOWANIE OSCYLATORÓW
-
Radio programowalne - nowoczesna platforma dydaktyczna
PublicationPrzedstawiono technologię radia programowalnego jako nowoczesną platformę dydaktyczną. Zaproponowane podejście pozwala na efektywniejsze planowanie stanowisk laboratoryjnych. Umożliwia skrócenie czasu realizacji etapów związanych z projektowaniem, symulacją i testowaniem działania łącza radiowego. Pozwala również na elastyczną zmianę stanowisk laboratoryjnych zgodnie z dynamicznym rozwojem współczesnych systemów radiokomunikacyjnych.
-
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.
-
program verification strategy and edge ranking of graphs
PublicationW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Zastosowanie koncepcji SDN w warstwie transportowej sieci IMS/NGN
PublicationKoncepcja sieci Next Generation Network, wykorzystująca w warstwie usług architekturę IP Multimedia Subsystem, zakłada centralizację funkcji sterowania zasobami sieciowymi w warstwie transportowej. Analogiczne założenie jest podstawą koncepcji Software Defined Networks. Na podstawie tej analogii, zaproponowano integrację obu koncepcji, przedstawiono architekturę zintegrowanej sieci, scenariusze sterowania zasobami oraz przygotowano...
-
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.
-
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.
-
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.
-
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...
-
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.
-
Implementacja mikroserwerowa TCP/IP w systemie diagnostycznym bazującym na cyfrowej magistrali testujacej IEEE 1149.1
PublicationPrzedstawiono mikrosystem pomiarowo-diagnostyczny sterowany przez Internet i pozwalający na zdalne testowanie układów analogowych. Do realizacji mikrosystemu wykorzystano kontroler ethernetu RTL8019AS, mikrokontroler PIC18F4620 oraz wyposażony w magistralę IEEE 1149.1 i przetwornik analogowo-cyfrowy układ scalony SCANSTA476. Aplikacja pozwala na przeprowadzanie zdalnego pomiaru napięcia w 8 wybieranych programowo punktach. Obszarem...
-
Analiza symulacyjna zmodyfikowanego modelu układu napędowego samochodu z silnikiem spalinowym
PublicationModelowanie pojazdów samochodowych jest istotne w działalności koncernów samochodowych, ponieważ pozwala na szybkie projektowanie, testowanie i wdrażanie nowych modeli pojazdów na bardzo konkurencyjnym rynku motoryzacyjnym. W artykule przedstawiono budowę układu napędowego samochodu osobowego marki Golf III. Następnie dokonano modyfikacji modelu matematycznego na podstawie fizyki poruszania się pojazdu, zaimplementowano go w środowisku...
-
Zasada działania i charakterystyka impulsów prototypowego lasera femtosekundowego
PublicationW niniejszym artykule zaprezentowano ideę działania prototypowego lasera femtosekundowego przeznaczonego do mikroobróbki materiałów. Laser ten stanowi połączenie oscylatora femtosekundowego na ciele stałym oraz wzmacniacza impulsów femtosekundowych na fotonicznych włóknach światłowodowych o rdzeniu domieszkowanym iterbem. Wykorzystanie femtosekundowych impulsów laserowych w mikroobróbce materiałów oferuje szereg korzyści w stosunku...
-
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...
-
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...
-
Zakłócenia sprzężenia podłożowego w układach scalonych CMOS
PublicationTemat artykułu stanowią zagadnienia modelowania sprzężenia podłożowego w układach scalonych CMOS. Zaprezentowana została metoda modelowania podłoża oparta na funkcji Green´a, która pozwala projektantom wygenerować model podłoża na podstawie danych geometrycznych projektu topografii oraz danych technologicznych procesu. Na podstawie symulacji komputerowej dwóch mieszanych układów scalonych (oscylator pierścieniowy i "analogowy"...
-
WILiŚ - Kurs testowy nr 1 dla koordynatora kształcenia zdalnego
e-Learning CoursesKurs testowy nr 1 dla koordynatora kształcenia zdalnego na WILiŚ PG. Przeznaczony do testowania ustawień, wprowadzania modyfikacji, korzystania z narzędzi, wychwytywania problemów, niedociągnięć związanych z realizacją kursów na platformie e-Nauczanie.
-
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ę...
-
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...
-
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...
-
Design of synchronous generator voltage regulator based on H control theory
PublicationSystemy dużej mocy są z reguły systemami o dużej nieliniowości. Wynika to z dynamiki takiego obiektu jak również jego konfiguracji itd. Istnieje wiele metod umożliwiających sterowanie czy testowanie zaprojektowanych generatorów. W artykule analizowana jest metoda projektowania regulatora napięcia w oparciu o H. Wyniki symulacji są zadowalające, ponieważ tak zaprojektowany regulator lepiej tłumi kołysania elektromechaniczne niż...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
A laboratory model of an inspection vehicle. [Model laboratoryjny pojazdu inspekcyjnego]
PublicationW pracy opisano konstrukcję laboratoryjnego modelu pojazdu inspekcyjnego oraz zaproponowano system wielowątkowego sterowania pojazdem. Do budowy autonomicznego pojazdu wykorzystano napędzany elektrycznie już istniejący model laboratoryjny samochodu osobowego. Konstruowany pojazd wyposażono w specjalnie zaprojektowane elektroniczne układy czujnikowe pozwalające wykrywać i śledzić zaznaczoną kolorem czarnym trasę oraz mierzyć odległości...
-
A bifunctional chimeric protein consisting of MutS and beta-galactoside
PublicationPraca pokazuje konstrukcję DNA plazmidowego kodującego bifunkcjonalne białko chimeryczne złożone z MutS Thermus thermophilus i beta-galaktozydazy E.coli, optymalizację jego ekspresji i oczyszczania. Białko to testowano w metodzie wykrywania mutacji punktowych, wykorzystując kolorymetryczne mierzenie aktywności domeny reporterowej beta galaktozydazy.
-
Zastosowanie magistrali testującej IEEE 1149.6 do diagnostyki układów cyfrowych sprzężonych pojemnościowo
PublicationPrzedstawiono magistralę ułatwionego testowania standardu IEEE 1149.6 przeznaczoną do diagnostyki złożonych układów cyfrowych sprzężonych pojemnościowo. Zaprezentowano metody transmisji sygnałów cyfrowych o b. wysokich częstotliwościach, a następnie przedstawiono rozwiązania kluczowych elementów magistrali: komórkę brzegowego rejestru wyjściowego z nadajnikiem sygnałów testowych oraz detektor sygnałów różnicowych o sprzężeniu pojemnościowym....
-
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...
-
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...
-
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...
-
PROMETHEUS PROtocols for information Models librariEs Tested on HEritage of Upper Kama Sites
ProjectsProject realized in Department of Residential Architecture
-
PROMETHEUS PROtocols for information Models librariEs Tested on HEritage of Upper Kama Sites
ProjectsProject realized in Department of Residential Architecture according to nember - 821870 - Prometheus agreement
-
Wykorzystanie języka VHDL do modelowania układów pracujących w logice wielowartościowej i arytmetyce resztkowej
PublicationW pracy przedstawiono bibliotekę zbudowaną w oparciu o język VHDL, przeznaczoną do symulacji elementów pracujących w logice wielowartościowej i w arytmetyce resztowej. Zaprezentowano również bramki prądowe - nowe elementy logiczne cechujące się znacznie mniejszym poziomem szumu cyfrowego. Pokazano przykłady sumatorów działających w logice wielowartościowej z podstawą N, lub w arytmetyce resztowej modulo N. Wyróżniającą cechą sumatorów...
-
Wykorzystanie detektora SIFT do georeferencjonowania zobrazowań satelitarnych z sensora AVHRR
PublicationW pracy zaproponowano autonomiczny algorytm georeferencjonownania obrazów satelitarnych bazujący na niezależnym od skali deskryptorze SIFT (ang. Scale-Invariant Feature Transform). Algorytm ma charakter kilkuetapowy, wykorzystujący detekcję punktów kontrolnych, dopasowanie ich do referencyjnej bazy punktów oraz wyznaczenie parametrów reprojekcji. W pracy dokonano także porównania dokładności zaproponowanego algorytmu w zależności...
-
Autonomiczne platformy bezzałogowe 2023
e-Learning CoursesJest to wykład związany z kierunkiem wybieralnym na drugim stopniu studiów "Technologie Pojazdów Autonomicznych". Krótki opis wykładu: Przedmiot obejmuje zagadnienia teoretyczne związane z tematyką technologii autonomicznych np. cyber- -bezpieczeństwo, systemy komunikacyjne i nawigacyjne, podstawy konstrukcji, testowania i najważniejsze aspekty prawne.
-
Autonomiczne platformy bezzałogowe 2022
e-Learning CoursesJest to wykład związany z kierunkiem wybieralnym na drugim stopniu studiów "Technologie Pojazdów Autonomicznych". Krótki opis wykładu: Przedmiot obejmuje zagadnienia teoretyczne związane z tematyką technologii autonomicznych np. cyber- -bezpieczeństwo, systemy komunikacyjne i nawigacyjne, podstawy konstrukcji, testowania i najważniejsze aspekty prawne.
-
Autonomiczne platformy bezzałogowe 2024
e-Learning CoursesJest to wykład związany z kierunkiem wybieralnym na drugim stopniu studiów "Technologie Pojazdów Autonomicznych". Krótki opis wykładu: Przedmiot obejmuje zagadnienia teoretyczne związane z tematyką technologii autonomicznych np. cyber- -bezpieczeństwo, systemy komunikacyjne i nawigacyjne, podstawy konstrukcji, testowania i najważniejsze aspekty prawne.
-
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...
-
Approximate analytical boundary conditions for efficient finite difference frequency domain simulations in cylindrical coordinates
PublicationW artykule zaprezentowano prostą technikę analizy rezonatora otwartego. Algorytm łączy w sobie metodę różnic skończonych i rozwinięć funkcyjnych , umożliwiając implementację warunków brzegowych symulujących otwartą przestrzeń. Metoda testowana była w analizie rezonatorów o różnych wymiarach,a otrzymane wyniki dobrze zgadzały się z rezultatami innych metod.
-
Algorytmy ewolucyjne w projektowaniu sieci MPLS
PublicationNiniejszy artykuł opisuje zrealizowane narzędzie, które umożliwia projektowanie sieci MPLS za pomocą Algorytmów Ewolucyjnych. Narzędzie to generuje ścieżki i optymalizuje alokację na nich przepływności żądań zapotrzebowań z uwzględnieniem klas obsługi strumieni ruchu z gwarancją zróżnicowanego QoS. Może także wybierać ścieżki do alokacji spośród danych wejściowych tak, aby wykorzystanie sieci było optymalne. Narzędzie to zostało...