ROZPRAWY DOKTORSKIE
Permanent URI for this communityhttps://repo.agh.edu.pl/handle/AGH/43013
Zbiór rozpraw doktorskich bronionych w Akademii i gromadzonych w Bibliotece Głównej AGH jest wyjątkową kolekcją z dziedziny nauk inżynieryjno-technicznych, nierozerwalnie związaną z procesem naukowym i badawczym Uczelni i historią edukacji technicznej w Polsce. Kolekcji rozpraw liczącej obecnie ponad 6000 tytułów, dała początek praca inżyniera górnictwa, późniejszego profesora i Rektora Akademii Górniczo-Hutniczej Witolda Budryka pt. „ Ruch podsadzki płynnej w rurociągach zamulaniowych”. W dniu 10 września 1928 r. Senat Uczelni nadał Witoldowi Budrykowi, jako pierwszemu w Polsce, tytuł doktora nauk technicznych z zakresu górnictwa. W kolekcji znajdują się między innymi prace profesorów: Andrzeja Bolewskiego, Henryka Góreckiego, Jerzego Grzymka, Franciszka Nadachowskiego. Wśród nich są rozprawy dostępne online w Repozytorium AGH oraz w sposób otwarty jedynie na terminalach komputerowych w Czytelni Oddziału Zbiorów Specjalnych BG AGH.
Baza w trakcie aktualizacji - przepraszamy za utrudnienia!
Browse
- Results Per Page
- Sort Options
Item type:Doctoral Dissertation, Access status: Open Access , Absolute orientation problem in robotic simulation implementation(Data obrony: 2026-06-26) Szulc, Wojciech Andrzej
Wydział Inżynierii Mechanicznej i RobotykiRozprawa dotyczy różnic między symulacją stanowisk zrobotyzowanych a rzeczywistymi układami z robotami przemysłowymi. Wskazano źródła błędów dokładności robotów przemysłowych i określono skuteczność wdrażania programów z symulacji (OLP) i modeli bliźniaka cyfrowego (DT) do układów rzeczywistych. W pracy zaproponowano nowy algorytm iteracyjny jednoczesnej estymacji UCS i TCP, rozszerzający problem kalibracji AX=YB i wykorzystujący zewnętrzne pomiary o wysokiej dokładności. W eksperymentach na robotach ABB IRB-6640 z użyciem trackera Leica metoda ta osiągnęła błędy translacyjne poniżej 0,4 mm, co oznacza ponad 80% poprawy względem innych technik stosowanych w warunkach przemysłowych. Opracowane rozwiązanie zwiększa precyzję i niezawodność wdrożeń OLP, stanowiąc praktyczne narzędzie dla kalibracji i dopasowania bliźniaka cyfrowego. Praca wnosi oryginalny wkład w rozwój robotyki i Przemysłu 4.0.Item type:Doctoral Dissertation, Access status: Restricted , Absorpcja mikrofal w manganitach typu $(La, Ca)MnO_{3}$(Data obrony: 2006) Zając, Tomasz
Wydział Fizyki i Informatyki StosowanejPraca miała charakter doświadczalny. Zmierzono i opisano widma EPR próbek manganitów typu $(La,Ca)MnO_{3}$ podstawianych żelazem i cyną. Stwierdzono, że źródłem absorpcji mikrofal w tych związkach są ferromagnetyczne klastry jonów $Mn^{3+}- Mn^{4+}$ sprzężonych podwójną wymianą. Podstawienie $Fe$ i $Sn$ za $Mn$ w tych związkach niszczy klastry. W pracy wyznaczono efektywny moment magnetyczny klastrów $Mn^{3+}- Mn^{4+}$.Item type:Doctoral Dissertation, Access status: Open Access , Adaptable SOI provisionig with lightweight containers virtualization technology(Data obrony: 2011) Jarząb, Marcin
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiService Oriented Infrastructure enables the transition from dedicated nfrastructure to architecture, in which resources and system services are represented as services, which are defined in certain pools, and can be allocated on demand by using virtualization techniques. Virtualization provides a number of mechanisms for monitoring and control of consumption of certain resources, but need to specify values for these attributes for the resources used by specific services is a major challenge. Identify an appropriate control algorithm, its effectiveness and appropriate action to ensure stability, depends on various parameters and is non-trivial task. Some initiatives with the vision of autonomic (adaptive) computing has been initiated whose task is to define the architecture and mechanisms useful for building systems which perform most administrative tasks automatically and dynamically adjust settings, according to predefined policies. The PhD thesis presents an Adaptable SOI Lightweight Virtualization Provisioning Platform (A-SOI-LV-PP) enabling adaptive infrastructure management constructed according to SOI paradigm, using Lightweight Virtualization Containers in Solaris 10 environment. It is implemented in accordance with the requirements presented by the concepts of adaptive computing, is open and can be used to provision, monitor and manage a wide range of applications, application servers running over Lightweight Virtualization Containers.Item type:Doctoral Dissertation, Access status: Metadata only , Adaptacja konwencjonalnej metody analizy strukturalnej w aspekcie specyfiki medycznych systemow informatycznych(Data obrony: 1998) Komnata, Wojciech
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiItem type:Doctoral Dissertation, Access status: Open Access , Adaptacja modelu matematycznego czujnika radarowego na potrzeby testów zaawansowanych systemów wspomagania kierowcy w środowiskach wirtualnej jazdy(Data obrony: 2024-09-11) Jasiński, Michał
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii BiomedycznejZaawansowane systemy wspomagania kierowcy (ang. Advanced Driver Assistance Systems, ADAS) pełnią dziś kluczową rolę w kontekście zapewnienia bezpieczeństwa w ruchu drogowym. Systemy te analizują w czasie rzeczywistym najbliższe otoczenie samochodu, bazując na informacjach zwróconych przez czujniki zamocowane na tym pojeździe. by w razie wystąpienia realnego zagrożenia przejąć kontrolę nad maszyną. Jedną z najważniejszych aplikacji jest zaawansowany system hamowania awaryjnego (ang. Advanced Emergency Braking System, AEBS), która ma na celu uniknięcie potencjalnie groźnej w skutkach kolizji, na przykład w momencie utraty koncentracji przez kierowcę lub w warunkach ograniczonej przejrzystości powietrza. Układy takie jak AEBS oparte są w znacznej mierze na pomiarach z radarów samochodowych, które dla pojazdów widocznych z perspektywy sensora obliczają ich odległość od czujnika, prędkość względną oraz kąt w płaszczyźnie horyzontalnej pomiędzy obiektem a celownikiem radaru (ang. boresight). Weryfikacja urządzeń klasy ADAS to niezwykle kluczowe zagadnienie. W szczególności przed wdrożeniem systemu do produkcji należy w rzetelny sposób ocenić jego działanie w krytycznych sytuacjach. W tym celu przeprowadza się szereg jazd weryfikacyjnych, w trakcie których gromadzi się dane z czujników zamontowanych na samochodzie testowym. Następnie, na podstawie informacji zebranych z sensorów, analizuje się decyzje podjęte przez układ typu ADAS w trakcie danej serii przejazdów. Zrealizowanie tego typu kampanii w całości na drogach publicznych to niesłychanie kosztowna operacja. Dlatego coraz częściej producenci samochodów decydują się wykonać część eksperymentów w symulatorach jazdy. Dzięki takiemu podejściu, określanemu mianem wirtualnej walidacji, możliwe jest nie tylko skrócenie procesu oceny, ale także zweryfikowanie systemu w sytuacjach, które w rzeczywistości nie byłyby możliwe do przetestowania ze względów bezpieczeństwa. Wirtualna walidacja musi być oczywiście wiarygodna, dlatego konieczne jest, by symulacja precyzyjnie odwzorowywała rzeczywistość. Oznacza to przede wszystkim konieczność uwzględnienia modeli matematycznych sensorów, generujących sztuczne pomiary wiernie naśladujące dane zwracane przez rzeczywiste czujniki. Jak wspomniano, radary samochodowe pełnią kluczową rolę we współczesnych systemach typu ADAS. Niestety, sensory te są silnie niedeterministyczne, głównie ze względu na losowość procesu propagacji fali elektromagnetycznej. Dlatego też opracowanie modelu matematycznego czujnika radarowego jest zadaniem nietrywialnym. Istotna jest tutaj nie tylko dokładność odwzorowania, ale także niska złożoność obliczeniowa modułu, by umożliwić wirtualny test układu typu ADAS w czasie rzeczywistym. W literaturze opisano do tej pory wiele skutecznych rozwiązań. Niemniej jednak analizując dostępne prace można zauważyć, że wciąż nie opisano metody charakteryzującej się zarówno wysokim poziomem wiarygodności, jak i prostotą w opracowaniu i w kalibracji. W tej pracy omówiony zostanie innowacyjny model matematyczny czujnika radarowego oparty na niezwykle ciekawej koncepcji centrów rozpraszania, reprezentujących w przybliżony sposób rozproszenie fali elektromagnetycznej w przestrzeni. Model ten zostanie dostosowany do wymagań przemysłu motoryzacyjnego związanych z weryfikacją urządzeń klasy ADAS w symulacji. Po pierwsze, model będzie sformalizowany pod kątem kluczowego w dziedzinie wirtualnej walidacji standardu ASAM OSI. Po drugie, na bazie pomiarów z rzeczywistych czujników radarowych zidentyfikowane i wprowadzone będą do modelu modyfikacje mające na celu zwiększenie rzetelności procesu generacji sztucznych pomiarów w ważnych z perspektywy systemów typu ADAS scenariuszach jazdy. Po trzecie, przeprowadzona zostanie procedura identyfikacji parametrów modelu. W końcu, z wy korzystaniem autorskiej metody weryfikacji, udowodniona będzie zarówno wiarygodność zmodyfikowanego modelu, jak i jego zdolność do pracy w czasie rzeczywistym. Co za tym idzie, uzasadnione zostanie, iż model matematyczny czujnika radarowego bazujący na koncepcji centrów rozpraszania może być użyteczny w kontekście testów systemu klasy ADAS w czasie rzeczywistym w symulatorze jazdy, niezależnie od poziomu skomplikowania wirtualnego scenariusza.Item type:Doctoral Dissertation, Access status: Open Access , Adaptacyjne algorytmy detekcji zdarzeń w szeregach czasowych(Data obrony: 2009) Pełech-Pilichowski, Tomasz
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiThe dissertation focuses on an improvement of prediction of non- stationary time series with adaptive algorithms for event detection. Early warning of events in time series has direct impact on data processing quality and it is vital to accurate prediction. Effective detection is related to minimizing detection delay and fast estimation of statistical parameters of processed time series. The dissertation's author attempted to find possibilities of improving algorithmic analysis of wide data resources aimed at detection of events preceded long-term changes of time-series statistical properties and analysis of distributed environment with a diversified detectors set. The dissertation contains description of new immune-inspired event detection algorithms and complementary detectors of short-term changes in time series (such events appear simultaneously or have a lagged effect). Results of efficiency of proposed event detection methods computed with simulated and real data (financial time series) are presented. They show validity of proposed event-detection procedures and improvement of accuracy prediction based onlinear trend extrapolation.Item type:Doctoral Dissertation, Access status: Open Access , Adaptacyjne zarządzanie ruchem w sieciach IP i sieciach optycznych sterowanych programowo(Data obrony: 2025-06-23) Jurkiewicz, Piotr
Wydział Informatyki, Elektroniki i TelekomunikacjiRozprawa stanowi zbiór opublikowanych i tematycznie powiązanych artykułów naukowych dotyczących adaptacyjnego zarządzania ruchem opartego na koncepcji przełączania przepływów w sieciach IP oraz w sterowanych programowo sieciach optycznych. Klasyczne metody zarządzania ruchem sieciowym narzucają znaczne ograniczenia odnośnie możliwości wykorzystywania dodatkowych (dłuższych) tras do przesyłania pakietów oraz ich adaptacyjnego doboru w zależności od obciążenia określonych segmentów sieci. Zarządzanie ruchem oparte na przepływach pozwala na pokonanie tych ograniczeń. Wiąże się także jednak z wieloma wyzwaniami, związanymi przede wszystkim z bardzo dużą liczbą jednoczesnych przepływów, które muszą zostać obsłużone przez kontroler. W ramach rozprawy przedstawiono szereg oryginalnych koncepcji mających na celu ułatwienie wdrożenia adaptacyjnego zarządzania ruchem opartego na przepływach. Część z nich stanowi rozwinięcie rozproszonego mechanizmu FAMTAR, który eliminuje konieczność zastosowania centralnego kontrolera w sieciach sterowanych programowo. Zaproponowany mechanizm rozwiązywania pętli umożliwia używanie FAMTAR w sieciach, w których występują awarie, natomiast mechanizmy agregacji przepływów i kontroli dostępu pozwalają na zmniejszenie liczby wpisów przepływów koniecznych do przechowywania w pamięci. Pozostałe artykuły dotyczą sieci sterowanych programowo, jak i sieci optycznych i przedstawiają zarówno nowe mechanizmy adaptacyjnego zarządzania ruchem w sieciach wielowarstwowych, jak również oryginalne dane przydatne w badaniach nad algorytmami zarządzania ruchem w sieciach rozległych.Item type:Doctoral Dissertation, Access status: Open Access , Adaptive deployment of component-based applications in distributed systems(Data obrony: 2010) Cała, Jacek
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiDeployment of distributed applications in heterogeneous environments is an interesting yet complex area in the software life cycle. A proper deployment infrastructure can alleviate many issues related to software execution and management. It also promotes the component-based design and enables creating dynamic and adaptive systems. By applying adaptation to the deployment process, a system can react to context changes and reorganise its components to improve execution. This work presents design, implementation and evaluation of the Adaptive Deployment Framework that aims at enhancing application performance. The pivotal role in adaptive deployment plays the model-based approach to deployment. It improves reusability and enables automation. However, many of the existing model-based solutions are limited to the spatial distribution of components only. Therefore, we extended the notion of deployment and defined three basic deployment dimensions: spatial, temporal and semantic. The key enablers of adaptive deployment are reconfiguration mechanisms that influence the way in which the system will be adapted. We discerned four redeployment techniques: full, deep, shallow, and runtime. In this work we concentrate on the last technique supported by component migration. The design, implementation and integration of the migration mechanism with the deployment infrastructure have shown that it is well suited as a reconfiguration tool. To demonstrate how it can improve application performance, we designed and implemented the Force-Directed Deployment Planning algorithm, a novel approach to deployment planning.Item type:Doctoral Dissertation, Access status: Open Access , Advanced methods of galvoscanner position control with intergrated power supply module(Data obrony: 2008) Widlok, Michał
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiGalvoscanners are the fastest angular position regulation electro-mechanical devices known today. This thesis presents research performed on galvoscanner control systems and detailed presentation of chosen regulation system designed by author. This system incorporates analog regulation circuit integrated with digital input signal forming block. Integration of this blocks (analog and digital) increases regulation speed, and improves accuracy. Additionally presented system has controlled low-noise ZVS-CV power supply module, which reduces power losses in high power output devices. This thesis presents also results of experimental tests performed on finished circuit like step response or voltage and current waveforms during regulation. Also waveforms that shows power losses on power output devices are presented, along with methods that minimizes this losses.Item type:Doctoral Dissertation, Access status: Restricted , Agentowe metody poprawy efektywności ewolucyjnych technik optymalizacji wielokryterialnej(Data obrony: 2009) Siwik, Leszek
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiParadygmat obliczeń agentowo-ewolucyjnych (ang. Evolutionary Multi-Agent System) - EMAS) to model obliczeniowy będący możliwie pełną analogią do procesów (ewolucyjnych) obserwowanych w naturze. Zasadniczy obszar rozważań podjętych w rozprawie dotyczy możliwości zastosowania tego podejścia do budowy efektywnych technik polioptymalizacji. W ramach prowadzonych prac zaproponowano kilka wariantów agentowo-ewolucyjnych technik polioptymalizacji, w tym omawiane szczegółowo w pracy to: elitarny system agentowo-ewolucyjny optymalizacji wielokryterialnej - elEMAS oraz system agentowo-ewolucyjny do optymalizacji wielokryterialnej z ograniczeniami - conEMAS. Efektywność zaproponowanych technik obliczeniowych zweryfikowana została w toku licznych eksperymentów prowadzonych z wykorzystaniem zadań polooptymalizacji o zróżnicowanej charakterystyce. Uzyskane i prezentowane w rozprawie rezultaty potwierdzają, iż dla pewnych klas problemów bądź w pewnych warunkach (w szczególności w środowiskach zaszumionych) zaproponowane metody obliczeniowe charakteryzują się lepszą efektywnością od wykorzystywanych powszechnie takich, jak SNGA-OO czy SPEA2.Item type:Doctoral Dissertation, Access status: Open Access , Agentowy system wielomodelowy do zarządzania grupą robotów mobilnych(Data obrony: 2010) Turek, Wojciech
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiMobile robots applications are one of the most promising challanges of modern technical sciences. One of important issues in this domain is development of design patterns for complex information systems for heterogeneous mobile robots group management. The aim of this thesis is to prove, that a methodology of creation multiagent systems for mobile robots group management, based on logical separation of software agent and hardware robot and use of many different models of environment, makes it possible to design a system, which ensures scalability, extensibility, durability and reusability of code. Separation of software agent and hardware robot is used for defining a space for agents, which is logically independent on hardware robots used by the system. This approach makes it possible to achieve desirable non-functional requirements. Many of existing solutions of problems connected to use of mobile robots has high, nonlinear computational complexity, which limits the maximum size of multirobot systems. Proposed multimodel approach can be sa solution to the scalability problem. The approach is based on simultaneous use of several models of the same aspect of the system, on different levels of abstraction. Proposed approach has been used for designing a system, which uses mobile robots to fulfill abstract tasks. In order to verify the thesis, a prototype navigation system has been implemented and tested.Item type:Doctoral Dissertation, Access status: Open Access , Aktywna analiza otoczenia przy użyciu systemu wizyjnego mobilnego robota w oparciu o autonomicznie podejmowane decyzje(Data obrony: 2008) Zachara, Marek
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiThe thesis presents a complete system for image processing and analysis, based on a vector image representation. The methods and algorithms developed by the author and presented in the thesis demonstrate the way to transform the image into the vector form, and how to process it to achieve object recognition. The results of the image analysis are then used to drive the robot, proving it with the means to achieve a certain goal (e.g. find a specific object in the room) without the human supervision. Contrary to the most of the known vectorization methods, these presented in the work are focused on fast (real-time) processing. Moreover, the whole system has been designed as a multi-threaded, allowing the tasks to be distributed around multi-core or multi-processor systems.Item type:Doctoral Dissertation, Access status: Open Access , Akustyczna detekcja schorzeń krtani i zaburzeń neurorozwojowych z zastosowaniem x-wektorów(Data obrony: 2024-07-15) Kotarba, Katarzyna Aleksandra
Wydział Inżynierii Mechanicznej i RobotykiW niniejszej rozprawie przedstawiono oryginalną metodę automatycznej diagnostyki wybranych schorzeń otolaryngologicznych oraz zaburzeń neurorozwojowych na podstawie sygnału mowy z zastosowaniem x- wektorów - biometrycznych wektorów wykorzystywanych do identyfikacji mówcy. Zaproponowano modyfikacje architektury sieci neuronowej służącej do ekstrakcji x-wektorów oraz procesu jej uczenia, które miały na celu zwiększenie zdolności generalizacyjnych oraz dokładności klasyfikacji zastosowanych modeli klasyfikacyjnych dokonujących detekcji wspomnianych schorzeń i zaburzeń. Wartości metryk sukcesu wyznaczone podczas ewaluacji proponowanych klasyfikatorów uczonych na poszczególnych wariantach x-wektorów poddano analizie statystycznej mającej na celu zbadanie istotności statystycznej różnic pomiędzy wartościami uzyskanymi przez poszczególne modele oraz wyłonienie rozwiązania zapewniającego najlepsze rezultaty. Przedstawione w pracy analizy wykazały, że proponowane rozwiązanie umożliwia detekcję wybranych schorzeń krtani oraz zaburzeń neurorozwojowych z dokładnością przewyższającą wyniki prezentowane w literaturze. Co ważne, zaproponowana metoda jest metodą uniwersalną, prowadzącą do uzyskania satysfakcjonujących rezultatów bez względu na wypowiadaną treść, płeć i wiek mówcy, a także język, którym się on posługuje.Item type:Doctoral Dissertation, Access status: Open Access , Algorithms for fast simulations of space-time adaptive finite element methods(Data obrony: 2024-01-19) Skotniczny, Marcin
Wydział Informatyki, Elektroniki i TelekomunikacjiSymulacje komputerowe do rozwiązywania problemów niestacjonarnych są szeroko stosowane w wielu zagadnieniach inżynieryjnych, począwszy od symulacji z dziedziny inżynierii materiałowej, geologii, poprzez symulacje wypadków samochodowych, aż do symulacji biomedycznych. Klasyczne algorytmy do rozwiązywania problemów niestacjonarnych stosują schemat jawny Eulera lub schematy niejawne typu Cranka-Nicolsona do rozwiązywania poszczególnych kroków czasowych w pętli. Możliwe jest stosowanie adaptacji w poszczególnych krokach czasowych, jak również stosowanie adaptacyjnych schematów całkowania w dziedzinie czasowej. Wszystkie te podejścia wymagają rozwiązania problemu przestrzennego na sekwencji adaptacyjnych siatek obliczeniowych w poszczególnych krokach czasowych. Podejście alternatywne polega na generacji siatki adaptacyjnej w dziedzinie czasoprzestrzennej. Podejście to umożliwia stosowanie krótszych kroków czasowych w jednym obszarze siatki przestrzennej oraz dłuższych kroków czasowych w innym obszarze przestrzennym. W niniejszej pracy doktorskiej oszacowana została złożoność obliczeniowa solwerów na wielowymiarowych siatkach adaptacyjnych. W szczególności porównano koszty obliczeniowe rozwiązywania problemów niestacjonarnych rozwiązywanych na adaptacyjnych siatkach czasoprzestrzennych z kosztami obliczeniowymi solwerów rozwiązujących problem niestacjonarny za pomocą schematu iteracyjnego na sekwencji adaptacyjnych siatek obliczeniowych w dziedzinie przestrzennej. Zaproponowano również algorytm solwera dokładnego o quasi-optymalnej złożoności obliczeniowej na wielowymiarowych siatkach obliczeniowych.Item type:Doctoral Dissertation, Access status: Metadata only , Algorytmiczne nadzorowanie układów regulacji nadrzędnej(Data obrony: 2001) Klemiato, Maciej
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiItem type:Doctoral Dissertation, Access status: Restricted , Algorytmy estymacji rynkowych wartości wskaźników kosztu odtworzenia i zużycia łącznego nieruchomości zabudowanych(Data obrony: 2009) Adamczyk, Tomasz
Wydział Geodezji Górniczej i Inżynierii ŚrodowiskaThe main and leading purpose of my study was to develop certain statistic models that would help in estimating of market property value, as well as any other land sections of the market value based on the cost associated with both reconstruction and combined wear that has its effect on the wear value of assets. For the purpose this study I adapt thesis that „based on the market information there is a strong possibility successfully to estimate market cost indicators and combined wear value”. My studies included establishing functional relations between reconstruction market cost indicators and combined wear against transaction prices of real estate buildings and then estimating those indicators by using parametric the Gauss – Markov model. In my study I presented certain algorithms for commercial buildings that have similar running time in common and differ in the value of price setting attributes as well as modification of those algorithms for some commercial propertied over different exploitation time. For each of the algorithms there were certain formulas created that enables full in depth analysis of that show accuracy of received findings. The algorithms were verified based on Commercial building examples such as one family houses. For all the examples I came up with value of market indicators, as well as full variance analysis and statistic hypothesis testing of relevance of obtained market indicators. The obtained results helped to formulate some important conclusions showing correctness and fitness of the assumed used estimate algorithms.Item type:Doctoral Dissertation, Access status: Open Access , Algorytmy genetyczne w automatycznym generowaniu gramatyk bezkontekstowych dla potrzeb syntaktycznej interpretacji wzorców(Data obrony: 2007) Pałka, Dariusz
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiThe thesis presents the grammar inference system for context-free grammars based on genetic programming. This system allows for generating grammars for an unknown context-free language based on finite sets of patterns belonging to this language (i.e. positive examples) as well as patterns belonging to the complement of this language (i.e. negative examples). The thesis analyses the influence of various types of crossover operators on the process of grammar inference, as well as suggests and tests mutation operators, whose function is to increase the efficiency of the evolution process in grammatical inference. It also develops an algorithm which compensates the growth of the size of the trees, during the evolution process, which represent the production of grammars. The thesis presents the model of 'continuous' evolution, developed by the author, which is an alternative for the standard model used in genetic programming. This model is characterised by the lack of division of the evolution stages into generations and the decomposition of the set of individuals into disjunctive subsets differing from each other by parameters of evolution. The results obtained by the author indicate that 'continuous' evolution model is better suited for the inference of context-free grammars thanks to its better convergence of the process of generating grammars, and the fact that the grammars obtained are less complex.Item type:Doctoral Dissertation, Access status: Open Access , Algorytmy kalibracji i auto-kalibracji sensorów radarowych dla systemów aktywnego bezpieczeństwa i jazdy autonomicznej(Data obrony: 2025-04-16) Burza, Rafał Michał
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii BiomedycznejRadary odgrywają kluczową rolę w zaawansowanych systemach wspomagania kierowcy oraz jazdy autonomicznej, zapewniając informacje o otoczeniu pojazdu. Zapewnienie wysokiej jakości pomiarów we wspólnym układzie współrzędnych samochodu jest możliwe tylko poprzez zastosowanie algorytmów estymujących błąd orientacji i korygujących wartości zmierzonych kątów. Pierwszą z innowacji wprowadzonych w tej rozprawie jest udoskonalenie algorytmu statycznej kalibracji radaru. Estymacja horyzontalnego przekrzywienia radaru w tej metodzie sprawia trudności, dlatego algorytm został wzbogacony o metodę iteracyjną, jaką jest średnia odporna. Udoskonalony w ten sposób proces kalibracji został opatentowany i wdrożony do produkcji. Kolejną zaproponowaną metodą jest model matematyczny, który w przypadku radarów zdolnych do pomiaru kąta elewacji, pozwala na uwzględnienie trzeciej osi obrotu radaru podczas korekcji detekcji, a także model, pozwalający na algorytmiczne estymowanie błędów orientacji radaru w trzech osiach. Trzecią opracowaną metodą jest trójosiowa kalibracja post-factum, zaprojektowana do estymacji trójosiowego błędu orientacji radaru, nawet gdy radar nie posiada możliwości pomiaru elewacji. Wyniki wskaźników jakości potwierdziły, że trójosiowa korekta detekcji wyznaczonymi kątami redukuje błąd średniokwadratowy rzeczywistych detekcji.Item type:Doctoral Dissertation, Access status: Open Access , Algorytmy komputerowej detekcji dużych obiektów w obrazach o wysokim poziomie szumu i niejednorodności(Data obrony: 2012) Petryniak, Rafał
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiThe purpose of this work is to present the possibilities of applying computer image analysis methods to large objects detection. The heterogeneity of these objects was the most important feature under analysis. This feature makes the detection much more difficult, especially for well-known image processing algorithms, and as a result dedicated applications are often prepared to solve very specific tasks. These dedicated methods have a built-in knowledge about the analyzed object and often require strictly standardized image acquisition process. In this work alternative methods were prepared for large objects detection, based on initial program configuration by the user by providing information on object location on images and other specific features. The paper presents three strategies for the large objects detection: (1) edge based model, which reduces the number of segments within large objects; (2) model based on a shape that enables the localization of the object using the shape pattern prepared by the user; (3) model based on markers, which is recommended for interactive image segmentation, where the user monitors results of the algorithm in a real time.Item type:Doctoral Dissertation, Access status: Open Access , Algorytmy modelowania inteligentnych zachowań w zagadnieniach dynamiki pieszych z zastosowaniem niehomogenicznych automatów komórkowych(Data obrony: 2007) Wąs, Jarosław
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiPhD work deals with modeling of pedestrian dynamics using nonhomogeneus cellular automata. The first part of work consists of two definitions of cellular automata: cellular automat on with constant lattice and extended cellular automaton. Second part of introduces three models of pedestrian dynamics: basic model, SPA (Strategic Pedestrian Abilities) model and SPA- BNE (Bottleneck Effect) model. The last part describes verification and validation of presented models.
