Filters
total: 747
-
Catalog
Search results for: STROJENIE I WERYFIKACJA OPROGRAMOWANIA
-
Aleksander Jarzębowicz dr inż.
People -
Trendy, wyzwania w inżynierii oprogramowania
PublicationWywiad z prof. Januszem Górskim.
-
Platforma KASKADA - proces wytwarzania oprogramowania
PublicationZostał przedstawiony proces wytworzenia Platformy KASKADA służącej do przetwarzania strumieni multimedialnych w rozproszonym środowisku superkom-putera. Przedstawiono wymagania dotyczące Platformy, a następnie opisano przyjętą metodykę wytwarzania. Opi-sano przebieg poszczególnych iteracji procesu. Przedsta-wiono proces wytwarzania usług, od implementacji algo-rytmu, przez wdrożenie na Platformę, aż po akceptację i udostępnienie...
-
Koncepcja programu usprawnienia procesu inżynierii oprogramowania w oparciu o model RUP, TOGAF, PRINCE2, ITIL
PublicationArtykuł przedstawia koncepcję Programu Usprawnienia Procesu (PUP, Program) inżynierii oprogramowania opracowaną w oparciu o model RUP, TOGAF, PRINCE2 oraz ITIL. Koncepcja Programu umożliwiła uzyskanie intelektualnej kontroli nad złożonością zagadnienia oraz stanowiła podstawę dla podjęcia decyzji o uruchomieniu przedsięwzięcia PUP w organizacji sektora publicznego. Artykuł przedstawia zakres i granice Programu, jego strukturę (podział...
-
V Konferencja Inżynierii Oprogramowania beIT
EventsNa Wydziale ETI Politechniki Gdańskiej odbędzie się V Konferencja Inżynierii Oprogramowania beIT organizowana przez Koło Naukowe Zarządzanie IT oraz Katedrę Inżynierii Oprogramowania.
-
Praktyczne wykorzystanie modelu iso-9126 oraz narzędzi wspomagających proces testowania przy ocenie jakości oprogramowania
Publicationdokument opisuje wykorzystanie modelu jakości oprogramowania iso-9126 do oceny jakości aplikacji do rozpoznawania osób i zdarzeń, przygotowanej w ramach unijnego projektu mayday euro 2012. zawiera przegląd wykorzystanych technik oraz narzędzi i sposób ich użycia przy ocenie jakości w zakresie funkcjonalności, niezawodności oraz łatwości utrzymania oprogramowania.
-
Kształtowanie postaw inżynierów poprzez projekt oprogramowania dla dzieci z autyzmem
PublicationArtykuł przedstawia założenia oraz studium przypadku kształcenia postaw inżynierów poprzez projekt społeczny w ruchu otwartego oprogramowania. Oprócz wiedzy i umiejętności to właśnie postawy są trzecim składnikiem kompetencji profesjonalisty w każdej dziedzinie. W opracowaniu zaprezentowano studencki projekt grupowy realizowany na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej przy udziale Instytutu...
-
Teresa Zawadzka dr inż.
People -
Weryfikacja stałoprądowego modelu tranzystora typu MAGFET
PublicationZaproponowano kompletny, stałoprĄdowy model tranzystora typu MAGFET wykorzystywanego jako czujnik pola magnetycznego. Zaprezentowany model odzwierciedla zależnoŚć podziału prĄdu płynącego w kanale tranzystora na prądy drenów od napięć drenów.
-
Eksperymentalna weryfikacja metody wielopasmowego pomiaru emisyjności
PublicationW pracy zaproponowano i opisano wielopasmową pasywną metodę pomiaru emisyjności obiektu. W oparciu o zrealizowane stanowisko pomiarowe dokonano pomiarów emisyjności wybranych obiektów. Uzyskano dobrą zgodność wyników pomiarów z wynikami wcześniejszej komputerowej analizy systemu. Potwierdziło to przydatność wielopasmowej metody do pomiaru emisyjności w warunkach roboczych.
-
Obliczeniowa weryfikacja parametrów konstrukcyjnych podpory hydrostatycznej.
PublicationCelem pracy jest przeprowadzenie weryfikacji przyjętych parametrów konstrukcyjnych układu hydrostatycznego wspomagania łożyska wzdłużnego turbiny elektrowni wodnej Dychów. Weryfikację przeprowadzono na drodze obliczeniowej z wykorzystaniem MES, uwzględniając w obliczeniach deformacje klocka łożyska, warunki jego podparcia oraz przepływ oleju w szczelinie smarowej. Przedstawiono wyniki obliczeń które potwierdzają poprawność przyjętych...
-
Projektowanie Oprogramowania Systemów - projekt KSMI 2022
e-Learning CoursesKurs pomocniczy do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KSMI (ETI)
-
Jakub Miler dr inż.
PeopleAcademic career: 2000: Master of Science - Gdansk University of Technology, Faculty of Electronics, Telecommunications and Informatics, thesis "Computer system for supporting risk management in a software engineering project", supervisor prof. Janusz Górski 2005: PhD - Gdansk University of Technology, Faculty of Electronics, Telecommunications and Informatics, thesis "A Method of Software Project Risk Identification and Analysis",...
-
Projektowanie oprogramowania systemów - projekt - KSE - 2023
e-Learning CoursesZajęcia projektowe dla specjalności Komputerowe Systemy Elektroniczne Realizacja zadania programistycznego z wykorzystaniem metod i narzędzi poznanych w ramach wykładu z przedmiotu "Projektowanie oprogramowania systemów".
-
Projektowanie Oprogramowania Systemów - projekt KST - Edycja 2023
e-Learning CoursesKurs do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KST (WETI)
-
Projektowanie Oprogramowania Systemów - projekt KST - Edycja 2021
e-Learning CoursesKurs do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KST (WETI)
-
Projektowanie Oprogramowania Systemów - projekt KST - Edycja 2024
e-Learning CoursesKurs do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KST (WETI)
-
Weryfikacja asynchronicznych układów cyfrowych w strukturach FPGA
PublicationW artykule przedstawione zostały podstawowe informacje dotyczące typowych klas układów asynchronicznych. Wymienione klasy zostały następnie przeanalizowane pod kątem możliwości ich implementacji w układach programowalnych FPGA. Klasa "micropipelines" omówiona została dokładniej. W tej klasie został zaimplementowany w układzie FPGA typu Virtex2 przykładowy procesor asynchroniczny realizujący listę rozkazów swojego synchronicznego...
-
Modelowanie konstrukcji mostowych - obliczenia i weryfikacja ''in situ''
PublicationObiekty mostowe są konstrukcjami inżynierskimi, które ze względu na ich odpowiedzialność i długi okres eksploatacji - przed oddaniem do użytkowania poddawane są wszechstronnej ocenie w formie badań, zwanych potocznie próbnym obciążeniem. Zadaniem tych badań jest sprawdzenie poprawności pracy konstrukcji i przyjętych założeń projektowych. Przyciągające uwagę społeczeństwa próbne obciążenie na moście poprzedza projekt jego badań....
-
Weryfikacja poziomu nienaruszalności funkcji związanych z bezpieczeństwem
PublicationFunkcje związane z bezpieczeństwem są realizowane przez systemy sterowania i zabezpieczeń zawierające elementy elektryczne, elektroniczne i programowalne elektroniczne (E/E/PE). Systemy te należą do środków pozwalających na zmniejszenie ryzyka pochodzącego od instalacji technicznej i procesu. Właściwe zaprojektowanie systemu E/E/PE realizującego funkcje związane z bezpieczeństwem jest problematyczne. Zagadnienia weryfikacji poziomów...
-
Weryfikacja modelu hydrostatycznego wspomagania łożyska nośnego hydrogeneratora
PublicationW referacie przedstawiono model MES szczeliny olejowej oraz klocka łożyska nośnego hydrogeneratora elektrowni Porąbka-Żar. W obliczeniach uwzględniano deformacje sprężyste klocka, przepływ oleju przez szczelinę olejową oraz warunki podparcia klocka. Przedstawiono również niektóre wyniki obliczeń uzyskane za pomocą opisanego modelu MES i porównano je z wynikami pomiarów doświadczalnych przeprowadzonych na stanowisku badawczym AGH...
-
Projektowanie oprogramowania systemów - projekt - KSE - 2022
e-Learning CoursesZajęcia projektowe dla specjalności Komputerowe Systemy Elektroniczne i Systemy Mikroelktroniczne Realizacja zadania programistycznego z wykorzystaniem metod i narzędzi poznanych w ramach wykładu z przedmiotu "Projektowanie oprogramowania systemów".
-
Nowoczesne metody inżynierii oprogramowania (studia podypl.) - edycja 2023/24
e-Learning CoursesStudia podyplomowe "Nowoczesne metody inżynierii oprogramowania", prowadzone przez Katedrę Inżynierii Oprogramowania WETI PG
-
Inżynieria oprogramowania 2022
e-Learning CoursesKurs dla VI/VII sem. FT/IS edycja 2022/2023
-
Inżynieria oprogramowania 2023
e-Learning CoursesKurs dla VI/VII sem. FT/IS edycja 2022/2023
-
Inżynieria oprogramowania 2023
e-Learning CoursesWFTiMS, matematyka, studia II stopnia, II semestr, specjalność „Analityk danych”
-
Projektowanie Oprogramowania Systemów
e-Learning Courses -
Inżynieria oprogramowania 2024
e-Learning CoursesWFTiMS, matematyka, studia II stopnia, II semestr, specjalność „Analityk danych”
-
Projektowanie Oprogramowania Systemów
e-Learning Courses -
Inżynieria oprogramowania 2024
e-Learning CoursesKurs dla VI/VII sem. FT/IS edycja 2023/2024
-
Strategia doboru oprogramowania optymalizacji transportu - przykład aplikacyjny
PublicationW artykule pokazano praktyczne wdrozony w praktyce przemysłowej komputerowo wspomagany system optymalizacji transportu. Na wstepie scharakteryzowano wyjsciową sytuację decyzyjną przedsiebiorstwa w połączeniu z jego parametrami logistycznymi. Z kolei pokazano techniki i narzedziaorganizacji projektu IT z wykorzystaniem modeli referencyjnych ładu korporacyjnego, na przykłądzie kaskadowego modelu życia systemu IT, procesowo-projektowej...
-
Analiza możliwości poprawy wydajności oprogramowania systemów sieciowych
PublicationZaprezentowano dwie metody poprawy wydajności aplikacji sieciowych: zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela oraz wykorzystanie wielordzeniowej natury nowych procesorów. Wskazano, że zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela wiąże się z ryzykiem utraty stabilności jądra systemu. Wykorzystanie tej metody związane jest również z niebagatelnym nakładem inżynierskim...
-
Model zarządzania zasobami oprogramowania w organizacjach gospodarczych
Publication.
-
STEVAL-MKI063V1, Przykład oprogramowania akcelerometrui magnetometru LSM303DLH
PublicationW artykule opisano moduł STEVAL-MKI1063V1 oparty na układzie LSM303DLHzawierającym akcelerometr i magnetometr oraz przedstawiono sposób komunikacji z nim z poziomu komputera PC na przykładzie aplikacji napisanej w języku C++/CLI (.NET).
-
Monitorowanie systemów wieloagnetowych z uzyciem oprogramowania Nagios
PublicationPrzyjęte rozwiązanie polega na rozszerzeniu Nagios w części dotyczącej jego wtyczek o jedną komendę (parallel_check), która pozwoli wielokrotnie – zamiast jednokrotnie – wykonać zdefiniowany dla elementu program testujący. Dodatkowo wykorzystuje się przy tym fakt, że pole address w definicji hosta nie jest interpretowane, a jedynie przechowywane i udostępniane przez Nagios. Wymienione elementy pozwalają na skonstruowanie warstwy...
-
Weryfikacja agentów systemu agentowego do oceny technologii informatycznych
PublicationRozdział podejmuje próbę weryfikacji agentów systemu agentowego do oceny technologii informatycznych. W pierwszej części zaprezentowano rozwój i dojrzewanie samej koncepcji systemu po to aby w dalszej części dokonać weryfikacji zbudowanego prototypu. Artykuł poza samą weryfikacją pokazuje jednocześnie kierunki dalszego rozwoju przyjętej struktury systemu agentowego do oceny technologii IT.
-
Weryfikacja dokumentacji technicznej systemu ochrony katodowej rurociągu paliwowego
PublicationZweryfikowano dokumentację techniczną systemu ochrony katodowej rurociągu paliwowego
-
WERYFIKACJA WZMOCENIANIA ŚRODNIKÓW KROKWI DACHU ZBIORNIKA NA GAZ
PublicationPraca dotyczy wariantowej analizy wyselekcjonowanych detali konstrukcji dachu zbiornika na gaz w terminalu regazyfikacyjnym LNG w Świnoujściu. W kontekście bezpieczeństwa konstrukcji badano fakt pominięcia w trakcie budowy części przewidzianych w projekcie żeberek usztywniających środniki krokwi w strefie mocowania wieszaków. Obliczenia w środowisku MES przeprowadzono w dwóch etapach. Etap pierwszy obejmował liniową analizę całej...
-
Drgania i hałaśliwość silników asynchronicznych - weryfikacja nowych hipotez
PublicationArtykuł zawiera nowe spojrzenie na postaci drgań kadłuba i tarcz silników asynchronicznych wymuszanych siłami elektromagnetycznymi. Omówiono badania postaci drgań własnych i eksploatacyjnych kadłuba i tarcz łożyskowych. Poddano analizie związki przyczynowo-skutkowe postaci drgań tarcz łożyskowych z łożyskami tocznymi i ślizgowymi. Wykazano, że wibracyjne eksploatacyjne odkształcenia tarcz silników klatkowych małej i średniej mocy,...
-
Empiryczna Weryfikacja Hipotezy Collatza za pomocą obliczeń Gridowych
Publication -
Weryfikacja rozmytego modelu wspomagania zarządzania wybranymi usługami internetowymi
PublicationRozwinięcie koncepcji rozmytego modelu wspomagania zarządzania wybranymi usługami w internecie poprzez dedykowany model dla rynku internetowych kredytów hipotecznych.
-
Weryfikacja dynamicznego podpisu odręcznego za pomocą filtru dopasowanego
PublicationPrzedmiotem referatu jest dynamiczny podpis odręczny, traktowany jako sygnał telekomunikacyjny, a więc weryfikowany (wykrywany) za pomocą filtru dopasowanego. Niezawodność takiej weryfikacji wymaga uprzedniej unifikacji i normalizacji wszystkich podpisów zgromadzonych w bazie i podpisu właśnie składanego. Celem tego przetwarzania wstępnego jest pozbawienie podpisów ich parametrów biernych (wielkości, położenia i orientacji) oraz...
-
Projektowanie oprogramowania systemów - projekt - KSE+OPTO - 2024
e-Learning CoursesZajęcia projektowe dla specjalności Komputerowe Systemy Elektroniczne i Optoelektronika Realizacja zadania programistycznego z wykorzystaniem metod i narzędzi poznanych w ramach wykładu z przedmiotu "Projektowanie oprogramowania systemów".
-
Michał Wróbel dr inż.
PeopleMichał Wróbel, Assistant Professor of Gdańsk University of Technology, computer scientist, a specialist in software engineering. I graduated from the Faculty of Electronics Technical University of Gdansk in 2002 with a degree in Computer Science, with specialization in Software Engineering and Databases. Until 2006 I worked as system administrator in several companies, including CI TASK. Since 2006 I have been working at the Faculty...
-
Modelowanie światłowodowych sensorów polarymetrycznych za pomocą oprogramowania LabVIEW
PublicationW komunikacie opisano aplikację umożliwiającą modelowanie pracy polarymetrycznych sensorów światłowodowych. Aplikacja ta, napisana w oparciu o platformę LabVIEW, umożliwia wyznaczenie odpowiedzi rzeczywistego sensora polarymetrycznego wykorzystującego monochromatyczne źródło światła. Omówiono problemy występujące w tworzeniu aplikacji do modelowania w graficznym środowisku do tworzenia aplikacji i zaprezentowano wybrane wyniki...
-
Testowanie w przyrostowym i ewolucyjnym cyklu życia oprogramowania
PublicationArtykuł prezentuje doświadczenia dotyczące procesu testowania złożonego systemu internetowego rozwijanego w okresie ostatnich pięciu lat. System ten powstaje w cyklu przyrostowym i ewolucyjnym, przechodząc do kolejnych wydań. Rozróżniono wydania główne, które są poprzedzane pełnym zakresem testów regresji oraz wydania rozszerzające, gdzie zakres testowania jest zawężony. Wyjaśniono miejsce procesu testowania w kontekście zarządzania...
-
Projekt systemu nagłośnieniowego z wykorzystaniem oprogramowania CATT-Acoustic.
PublicationW niniejszej pracy zawarto projekt modelu akustycznego sali audytoryjnej oraz weryfikację charakterystyk pola akustycznego tego modelu w oparciu o program CATT-Acoustic. W pracy przedstawiono również projekt systemu nagłośnienia modelowanej sali audytoryjnej, który z punktu widzenia właściwości akustycznych powinien zapewnić jak najlepszą zrozumiałość mowy. Dokonano analizy porównawczej pola akustycznego bez oraz z zaimplementowanym...
-
Weryfikacja skuteczności parametrycznych oraz nieparametrycznych modeli prognozowania upadłości przedsiębiorstw
PublicationArtykuł ten miał na celu weryfikację skuteczności modeli parametrycznych tj. logitowych, probitowych i analizy dyskryminacyjnej, oraz modeli nieparametrycznych, czyli sztucznych sieci neuronowych, w prognozowaniu upadłości przedsiębiorstw. Autor na podstawie takiej samej populacji spółek akcyjnych notowanych na warszawskiej Giełdzie Papierów Wartościowych opracował modele prognozowania upadłości spółek na rok i na dwa lata wstecz....
-
Weryfikacja Poziomów Nienaruszalności Bezpieczeństwa z uwzględnieniem Zagadnień Ochrony Informacji
PublicationNiniejszy rozdział poświęcono wybranym istotnym zagadnieniom analizy bezpieczeństwa funkcjonalnego, w szczególności weryfikacji poziomów nienaruszalności bezpieczeństwa SIL funkcji bezpieczeństwa implementowanych w rozproszonych systemach sterowania i zabezpieczeń z uwzględnieniem zagadnień ochrony informacji. Zaproponowano metodę opartą na informacji ilościowej i jakościowej do weryfikacji SIL (IEC 61508, 61511) z uwzględnieniem...
-
Weryfikacja obliczeń numerycznych czteroprzęsłowego ciągłego wiaduktu kablobetonowego metodą analityczną
PublicationW artykule poddano analizie obliczeniowej czteroprzęsłowy wiadukt kablobetonowy zaprojektowany w schemacie statycznym belki ciągłej, zrealizowany przed kilku laty nad autostradą A1. Porównano wyniki obwiedni naprężeń normalnych w przekroju betonowym dźwigara, zarówno rozciągających jak i ściskających, uzyskanych przy pomocy obliczeń analitycznych oraz numerycznych. Do obliczeń komputerowych wykorzystano dwa modele: belkowy oraz...