Architektura Systemów Komputerowych

Główną tematyką badawczą podejmowaną w Katedrze jest rozwój architektury aplikacji i systemów komputerowych, w szczególności aplikacji i systemów równoległych i rozproszonych. "Architecture starts when you carefully put two bricks together" - stwierdza niemiecki architekt Ludwig Mies von der Rohe. W przypadku systemów komputerowych dotyczy to nie cegieł, a modułów sprzętowych lub programowych. Przez architekturę systemu komputerowego...

Zespół Inżynierii Mikrofalowej i Antenowej

Specjalność badawcza KIMiA wiąże się z techniką b.w.cz. i dotyczy zakresu częstotliwości od setek megaherców do kilkudziesięciu gigaherców. Przedmiotem badań teoretycznych (analiza, synteza, symulacja i modelowanie komputerowe,) oraz eksperymentalnych są elementy (prowadnice, sprzęgacze, rozgałęzienia) oraz układy pasywne (cyrkulatory, przesuwniki fazy, obciążenia, tłumiki) i aktywne (wzmacniacze, mieszacze, powielacze, modulatory),...

Katedra Energoelektroniki i Maszyn Elektrycznych

* Modelowania, projektowania i symulacji przekształtników energoelektronicznych * Sterowania i diagnostyki przekształtników energoelektronicznych * Kompatybilności elektromagnetycznej przekształtników i regulowanych napędów elektrycznych * Jakości energii elektrycznej * Modelowania, projektowania i diagnostyki maszyn elektrycznych i transformatorów * Projektowania czujników i silników piezoelektrycznych * Technik CAD i CAE dla...

Laboratorium Źródeł Energii w Katedrze Konwersji i Magazynowania Energii

Laboratorium Badawcze 2-3

Obliczenia komputerowe wymagające dużych mocy obliczeniowych z wykorzystaniem oprogramowania typu: Matlab, Tomlab, Gams, Apros.

Środowiskowe Laboratorium Technologii Bezprzewodowych

Środowiskowe Laboratorium Technologii Bezprzewodowych powstało w ramach realizacji projektu CZT Centrum Zaawansowanych Technologii POMORZE i mieści się w Katedrze Inżynierii Mikrofalowej i Antenowej na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej. Laboratorium zostało wyposażone w specjalistyczne zaplecze aparaturowe, które w połączeniu z kompetencjami naukowymi i technologicznymi kadry pozwala na...

Journal of Verification, Validation and Uncertainty Quantification

International Conference on Software Testing, Verification and Validation

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems