Filtry
wszystkich: 747
-
Katalog
- Publikacje 533 wyników po odfiltrowaniu
- Osoby 69 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Laboratoria 4 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 123 wyników po odfiltrowaniu
- Wydarzenia 11 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: STROJENIE I WERYFIKACJA OPROGRAMOWANIA
-
Aleksander Jarzębowicz dr inż.
Osoby -
Platforma KASKADA - proces wytwarzania oprogramowania
PublikacjaZostał 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...
-
Trendy, wyzwania w inżynierii oprogramowania
PublikacjaWywiad z prof. Januszem Górskim.
-
Koncepcja programu usprawnienia procesu inżynierii oprogramowania w oparciu o model RUP, TOGAF, PRINCE2, ITIL
PublikacjaArtykuł 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
WydarzeniaNa 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
Publikacjadokument 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
PublikacjaArtykuł 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ż.
Osoby -
Weryfikacja stałoprądowego modelu tranzystora typu MAGFET
PublikacjaZaproponowano 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
PublikacjaW 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.
PublikacjaCelem 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
Kursy OnlineKurs pomocniczy do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KSMI (ETI)
-
Jakub Miler dr inż.
OsobyKariera akademicka: 2000: mgr inż. Wydział ETI, Politechnika Gdańska, praca pt. "Computer system for supporting risk management in a software engineering project", promotor prof. Janusz Górski 2005: dr inż. Wydział ETI, Politechnika Gdańska, rozprawa pt. "A Method of Software Project Risk Identification and Analysis", obroniona z wyróżnieniem, dziedzina nauki techniczne, dyscyplina informatyka, promotor prof. Janusz Górski Zainteresowania...
-
Projektowanie oprogramowania systemów - projekt - KSE - 2023
Kursy OnlineZaję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
Kursy OnlineKurs do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KST (WETI)
-
Projektowanie Oprogramowania Systemów - projekt KST - Edycja 2021
Kursy OnlineKurs do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KST (WETI)
-
Projektowanie Oprogramowania Systemów - projekt KST - Edycja 2024
Kursy OnlineKurs do przedmiotu Projektowanie Oprogramowania Systemów - projekt w katedrze KST (WETI)
-
Weryfikacja asynchronicznych układów cyfrowych w strukturach FPGA
PublikacjaW 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''
PublikacjaObiekty 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
PublikacjaFunkcje 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
PublikacjaW 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
Kursy OnlineZaję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
Kursy OnlineStudia podyplomowe "Nowoczesne metody inżynierii oprogramowania", prowadzone przez Katedrę Inżynierii Oprogramowania WETI PG
-
Inżynieria oprogramowania 2022
Kursy OnlineKurs dla VI/VII sem. FT/IS edycja 2022/2023
-
Inżynieria oprogramowania 2023
Kursy OnlineKurs dla VI/VII sem. FT/IS edycja 2022/2023
-
Inżynieria oprogramowania 2023
Kursy OnlineWFTiMS, matematyka, studia II stopnia, II semestr, specjalność „Analityk danych”
-
Projektowanie Oprogramowania Systemów
Kursy Online -
Inżynieria oprogramowania 2024
Kursy OnlineWFTiMS, matematyka, studia II stopnia, II semestr, specjalność „Analityk danych”
-
Projektowanie Oprogramowania Systemów
Kursy Online -
Inżynieria oprogramowania 2024
Kursy OnlineKurs dla VI/VII sem. FT/IS edycja 2023/2024
-
Strategia doboru oprogramowania optymalizacji transportu - przykład aplikacyjny
PublikacjaW 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
PublikacjaZaprezentowano 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
Publikacja.
-
STEVAL-MKI063V1, Przykład oprogramowania akcelerometrui magnetometru LSM303DLH
PublikacjaW 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
PublikacjaPrzyję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
PublikacjaRozdział 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.
-
Empiryczna Weryfikacja Hipotezy Collatza za pomocą obliczeń Gridowych
Publikacja -
Weryfikacja rozmytego modelu wspomagania zarządzania wybranymi usługami internetowymi
PublikacjaRozwinięcie koncepcji rozmytego modelu wspomagania zarządzania wybranymi usługami w internecie poprzez dedykowany model dla rynku internetowych kredytów hipotecznych.
-
Weryfikacja dokumentacji technicznej systemu ochrony katodowej rurociągu paliwowego
PublikacjaZweryfikowano dokumentację techniczną systemu ochrony katodowej rurociągu paliwowego
-
WERYFIKACJA WZMOCENIANIA ŚRODNIKÓW KROKWI DACHU ZBIORNIKA NA GAZ
PublikacjaPraca 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
PublikacjaArtykuł 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,...
-
Weryfikacja dynamicznego podpisu odręcznego za pomocą filtru dopasowanego
PublikacjaPrzedmiotem 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
Kursy OnlineZaję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ż.
OsobyMichał Wróbel, adiunkt na wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, informatyk, specjalizujący się w Inżynierii Oprogramowania. Ukończył Wydział ETI w 2002 roku, jako magister inżynier ze specjalnością Inżynieria Systemów i Bazy Danych. Do 2006 roku pracował jako administrator systemów, m.in. w CI TASK. Od 2006 roku pracuje na wydziale ETI. W 2011 otrzymał stopień naukowy doktora w dziedzinie...
-
Modelowanie światłowodowych sensorów polarymetrycznych za pomocą oprogramowania LabVIEW
PublikacjaW 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
PublikacjaArtykuł 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.
PublikacjaW 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 autentyczności kolorów na zdjęciach wykonanych w technice analogowej
PublikacjaW artykule opisano zagadnienie odróżniania historycznych fotografii pomiędzy oryginalnie kolorowe a koloryzowane. Rozważono problem doboru zdjęć pod względem technologii, w jakiej zostały wykonane. Następnie wykorzystując sieci neuronowe już w części wyuczone na innych zbiorach danych, sprawdzono ich efektywność w rozwiązywaniu badanego problemu. Rozważono wpływ rozmiaru obrazu podanego na wejściu, architektury zastosowanej sieci,...
-
Weryfikacja skuteczności parametrycznych oraz nieparametrycznych modeli prognozowania upadłości przedsiębiorstw
PublikacjaArtykuł 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 doświadczalna analizy numerycznej stanowiska do badania silników wiatrowych
PublikacjaW pracy zawarto analizę porównawczą badań doświadczalnych i symulacyjnych stanowiska do badania silników wiatrowych. Stanowisko to zostało zbudowane w Pracowni podstaw Konstrukcji Maszyn znajdującej się na terenie Uniwersytetu Warmińsko-Mazurskiego w Olsztynie. W artykule zamieszczono wyniki badań doświadczalnych oraz symulacyjnych przeprowadzonych w systemach CAD/CAE. Wykorzystano analizy statyczne, dynamiczne z uwzględnieniem...