Filters
total: 1325
-
Catalog
- Publications 746 available results
- People 73 available results
- Inventions 6 available results
- Projects 1 available results
- Laboratories 7 available results
- Research Teams 7 available results
- Research Equipment 10 available results
- e-Learning Courses 446 available results
- Events 11 available results
- Offers 1 available results
- Open Research Data 17 available results
displaying 1000 best results Help
Search results for: inspekcje oprogramowania
-
Zastosowanie metody podziału i ograniczeń w wielokryterialnym problemie podziału hw/sw do implementacji algorytmów kryptograficznych
PublicationW niniejszej pracy przedstawiono zastosowanie metody podziału i ograniczeń B&B (ang. Branch and Bound) do problemu podziału funkcjonalności między sprzęt i oprogramowanie. Metoda B&B daje rozwiązanie optymalne, ma jednak wykładniczą złożoność obliczeniową. Przyspieszenie uzyskiwane jest na drodze eliminacji nierokujących gałęzi w przestrzeni poszukiwań, a jej kluczowym elementem jest definicja funkcji ograniczenia dolnego. W niniejszej...
-
The Role of Analysis Patterns in Systems Analysis
PublicationWzorce analizy są techniką, która ma wspomagać analizę systemów.W referacie zaprezentowano analizę cech charakterystycznych wzorców analizy oraz przegląd zagadnień związanych z zastosowaniem ich w procesie wytwarzania oprogramowania. Następnie przedstawiono metodę analizy systemów z zastosowaniem wzorców analizy oraz studium przypadku analizy z wykorzystaniem wzorców analizy dla systemu wspomagającego małą przychodnię lekarską.
-
Wybrane aspekty testowania automatycznych synchronizatorów prądnic w czasie rzeczywistym
PublicationW artykule przedstawiono wybrane aspekty związane z testowaniem automatycznych synchronizatorów prądnic w czasie rzeczywistym oraz w warunkach pracy zbliżonych do rzeczywistych. Omówiono metodykę prowadzenia badań, architekturę sprzętową urządzenia testującego oraz podsystemy tworzące strukturę oprogramowania. Ponadto wskazano na celowość stosowania takich urządzeń na rzeczywistych obiektach elektroenergetycznych oraz omówiono...
-
Physical and numerical modelling of heat-flow processes in tangentially pulverized fuel-fired boiler
PublicationPraca przedstawia wykorzystanie eksperymentalnego modelowania fizycznego kwasowo-zasadowego do modernizacji kotła pyłowego z tangencjalną komorą spalania w aspekcie ograniczenia emisji toksycznych składników węgla, siarki i azotu oraz doboru optymalnych parametrów termodynamicznych mieszania i spalania. Dodatkowo, w celu porównania wyników pomiarów kotła po modernizacji, wykonano obliczenia numeryczne z zastosowaniem oprogramowania...
-
Finite-state lexical tools
PublicationArtykuł przedstawia trzy pakiety oprogramowania zawierające narzędzia poziomu leksykalnego wykorzystujące automaty skończone: dwa zbiory samodzielnych programów i skryptów pomocniczych - jeden używający prostych automatów skończonych, drugi używający automatów Mealy`ego oraz bibliotekę funkcji. Wszystkie przedstawione pakiety posiadają podobne funkcje. Zamiast opisywać poszczególne pakiety, opis skupiony jest na dostarczanych przez...
-
Projekt grupowy w kształceniu studentów Informatyki - doświadczenia na Wydziale ETI Politechniki Gdańskiej.
PublicationProjekt grupowy stanowi uznaną, efektywną metodę kształcenia w zakresie inżynierii oprogramowania. W referacie omówiono założenia, organizację, kształt procesu projektowego, wzorce dokumentacyjne i wsparcie narzędziowe wypracowane w czasie kilkuletniej realizacji zajęć Projektu Grupowego na Wydziale ETI PG. Prezentowane wzorce i doświadczenia powinny okazać pomocne przy zamierzonym wprowadzeniu Projektu Grupowego do programu studiów.
-
Efektywność metod modelowania systemów z perspektywy praktyki w firmach informatycznych.
PublicationEfektywność zastosowań metod modelowania i narzędzi CASE ma wpływ na wskaźniki ekonomiczne projektu oraz satysfakcję z pracy postrzeganą przez ich użytkowników - wykonawców oprogramowania. W referacie zaprezentowano ankietę do badań tej efektywności w praktyce względem oczekiwań propagatorów tej technologii oraz obecnych trendów. Przedstawiono również wyniki badań przeprowadzonych w kilku firmach informatycznych.
-
Zintegrowane środowiska projektowania aplikacji internetowych.
PublicationZintegrowane środowiska, umożliwiające analizę, projektowanie i implementację aplikacji, stanowią wymarzone narzędzie pracy każdego inżyniera oprogramowania. Opisano próby dostarczenia takiego środowiska w postaci Borland Delphi 5.0 oraz w postaci Rational XDE - środowiska projektowania w UML przeznaczonego do integracji z istniejącymi środowiskami implementacji, takimi jak Microsoft Visual Studio.NET i IBM Web Sphere...
-
Inżynieria oprogramowania ZAO 2022/2023
e-Learning CoursesInżynieria oprogramowania, I st. Informatyki NST, sem. 4;
-
Inżynieria oprogramowania ZAO 2021/2022
e-Learning CoursesInżynieria oprogramowania, I st. Informatyki NST, sem. 4;
-
Inżynieria oprogramowania ZAO 2024/2025
e-Learning CoursesInżynieria oprogramowania, I st. Informatyki NST, sem. 5;
-
Inżynieria oprogramowania ZAO 2023/2024
e-Learning CoursesInżynieria oprogramowania, I st. Informatyki NST, sem. 4;
-
Szybka synteza prototypów filtrów rezonatorowych dla systemów telekomunikacji bezprzewodowej.
PublicationW niniejszym komunikacie opisana jest szybka technika syntezy macierzy sprzężeń. Synteza oparta jest na rozwiązaniu problemu programowania kwadratowego.Takie sformułowanie zagadnienia pozwala na znalezienie wartości sprzężeń miedzy poszczególnymi rezonatorami oraz miedzy rezonatorami a źródłem i obciążeniem jedynie wkilku krokach.
-
Testing of the Superconducting Magnets Frequency Characteristics
PublicationPrzedstawiono zagadnienia związane z opracowaniem systemu do wyznaczania impedancji uzwojeń magnesów nadprzewodzących w funkcji częstotliwości. Omówiono strukturę sprzętową systemu, oprogramowanie oraz sposób wyznaczania parametrów badanego uzwojenia. Pokazano przykładowe wyniki uzyskane przy użyciu omawianego systemu w GSI w Darmstadt.
-
Obrazowanie parametryczne w badaniach mózgu.
PublicationPrzedstawiono analizę teoretyczną podstaw obrazowania parametrycznego dla badań dynamicznych mózgu uwzględnieniem podanie pacjentowi środka kontrastującego. Opracowano oprogramowanie umożliwiające syntezę obrazów parametrycznych. Na podstawie przeprowadzonej analizy oraz wstępnych wyników symulacji wskazano na potrzebę dalszych badań celem standaryzacji obrazowania parametrycznego.
-
Synteza obrazów parametrycznych w badaniu perfuzji mózgu metodą MRI.
PublicationZaprezentowano analizę teoretyczną podstaw obrazowania parametrycznego dla badań dynamicznych mózgu z dożylnym podaniem środka kontrastującego. Opracowano oprogramowanie umożliwiające syntezę obrazów parametrycznych. Na podstawie przeprowadzonej analizy oraz wstępnych wyników symulacji wskazano na potrzebę dalszych badań celem standaryzacji obrazowania parametrycznego.
-
Inżynieria Oprogramowania 2022/2023
e-Learning CoursesStudia I stopnia. Informatyka i Informatyka w Medycynie (strumień Inżynierii Biomedycznej) - sem. 5 Uwaga - kody dostępu zostaną podane na pierwszych zajęciach laboratoryjnych!
-
Jakość Oprogramowania - 2022/23
e-Learning CoursesKurs dla 6 semestru studiów stacjonarnych inżynierskich. Strumień aplikacje.
-
Laboratorium Użyteczności Oprogramowania 2022
e-Learning Courses -
Jakość Oprogramowania - 2021/22
e-Learning CoursesKurs dla 6 semestru studiów stacjonarnych inżynierskich. Strumień aplikacje.
-
2022/2023 - Licencjonowanie oprogramowania
e-Learning Coursesstudia dzienne magisterskie, kierunek Informatyka
-
Projektowanie Oprogramowania Systemów 2023
e-Learning Courses -
Inżynieria Oprogramowania 2023/2024
e-Learning CoursesStudia I stopnia. Informatyka i Informatyka w Medycynie (strumień Inżynierii Biomedycznej) - sem. 5 Uwaga - kody dostępu zostaną podane na pierwszych zajęciach laboratoryjnych!
-
Projektowanie Oprogramowania Systemów 2024
e-Learning Courses -
Inżynieria oprogramowania 2024/2025
e-Learning CoursesStudia I stopnia. Informatyka i Informatyka w Medycynie (strumień Inżynierii Biomedycznej) - sem. 5 Uwaga - kody dostępu zostaną podane na pierwszych zajęciach laboratoryjnych!
-
Laboratorium Użyteczności Oprogramowania 2023
e-Learning Courses -
Szkolenie z oprogramowania SPSS
e-Learning Courses -
Jakość Oprogramowania - 2023/24
e-Learning CoursesKurs dla 6 semestru studiów stacjonarnych inżynierskich. Strumień aplikacje.
-
2023/2024 - Licencjonowanie oprogramowania
e-Learning Courses -
Oprogramowanie Systemowe_22/23
e-Learning Courses -
Oprogramowanie aplikacyjne 2023
e-Learning CoursesKurs dla VII sem. FT/IS edycja 2023/2024
-
Oprogramowanie aplikacyjne 2022
e-Learning CoursesKurs dla VII sem. FT/IS edycja 2022/2023
-
Oprogramowanie Systemowe 2023
e-Learning Courses -
Oprogramowanie mikrokomputerów -laboratorium
e-Learning CoursesOprogramowanie mikrokomputerów - laboratorium
-
Technologia budowy okrętów III, P, W, Oce,sem 05, lato 22/23, PG_00045094
e-Learning CoursesPrzyczyny pogarszania się stanu technicznego statków, przykłady awarii i ich skutki. Systemy inspekcji i remontów planowo - zapobiegawczych. Stocznia remontowa, jej organizacja i specyfika produkcyjna. Systemy i środki techniczne podnoszenia obiektów w celach remontowych. Procesy dokowania jednostek pływających. Zagadnienia specjalne realizacji wybranych procesów technologicznych w trakcie remontów. Wybrane zagadnienia przygotowania...
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego w łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego w łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Wykonanie i sterowanie układem stabilizacji obiektu na równi pochyłej
PublicationPlatforma ball and beam jest jednym z najbardziej popularnych fizycznych modeli laboratoryjnych przydatnych w nauczaniu inżynierii systemów sterowania. W artykule przedstawiono projekt, wykonanie i oprogramowanie platformy ball and beam. Opisano proces doboru i implementacji filtrów sygnałów pomiarowych oraz syntezę algorytmu sterowania.
-
Projekt techniczny i budowa platformy latającej typu quadrocopter
PublicationJedną z licznych platform latających jest pojazd typu quadrocopter. Rozwój techniki pozwala na budowanie konstrukcji przemieszczających się w wielu osiach. W artykule przedstawiono projekt, wykonanie i oprogramowanie pojazdu typu quadrocopter. Dodatkowo dokonano filtracji sygnałów pomiarowych i opracowano algorytm sterowania.
-
Techniki audytowania zabezpieczeń sieci bezprzewodowej z wykorzystaniem systemów klasy grid
PublicationZaprezentowano efektywne zasady weryfikacji zabezpieczeń sieci bezprzewodowych z wykorzystaniem oprogramowania Back/Track w dystrybucji systemu Linux. Omówiono algorytmy RC4, MIC i AES, które wspierają techniki zabezpieczeń WEP, WPA i WPA2 wchodzące w skład protokołu IEEW 802.11. Zamieszczano także opis wykorzystania systemu rozproszonego Comcute o architekturze typu grid do prowadzenia audytu bezprzewodowej sieci.
-
Automatyzacja badań propagacyjno-zasięgowych
PublicationW referacie przedstawiony został schemat blokowy mobilnego stanowiska pomiarowego służącego do automatyzacji badań propagacyjno-zasięgowych, ze szczególnym uwzględnieniem wymagań normatywnych stawianych aparaturze pomiarowej oraz procedurom pomiarowym. Ponadto zaprezentowany został algorytm oprogramowania konfigurującego odbiornik pomiarowy oraz sterującego procesem przeprowadzania pomiarów. W podsumowaniu skrótowo przedstawiono...
-
Architektura stosu technologicznego warstwy aplikacji systemu RSMAD
PublicationW pracy omówiono architekturę systemową oraz strukturę stosu technologicznego warstwy aplikacji Radiowego Systemu Monitorowania i Akwizycji Danych z Urządzeń Fotoradaro-wych (w skrócie RSMAD). Przedstawiono również kluczowe komponenty programowe tworzące ten system, wskazując m.in. na podstawowe funkcje realizowane przez nie w systemie RSMAD. W pracy przedstawiono także dekompozycję warstwową oprogramowania systemu RSMAD.
-
Internetowy system udostępniania obrazów i produktów fotogrametrycznych (ISUOiPF)
PublicationArtykuł poświęcony jest realizacji projektu informatycznego, mającego na celu budowę internetowego systemu udostępniania obrazów fotogrametrycznych. Autorzy przedstawili w nim założenia, jakie zostały przyjęte w czasie planowania oraz projektowania. W publikacji można znaleźć informacje na temat budowy oprogramowania, jak również sposobu jego działania oraz udostępnionej funkcjonalności. Przedstawione zostały również możliwe kierunki...
-
Podstawy programowania - 2023
e-Learning CoursesCelem przedmiotu jest zaznajomienie studentów z podstawami programowania i dobrymi praktykami w tej dziedzinie. Na zajęciach studenci uczą się logicznego przedstawienia różnorakich problemów w formie algorytmów, które następnie zapisują w konkretnym języku programowania. Studenci uczą się pracy w zintegrowanym środowisku programistycznym (IDE) i wykorzystania tego środowiska do identyfikacji i poprawiania błędów w tworzonych programach.
-
2022 Podstawy programowania
e-Learning Courses -
Elementy programowania NSTC
e-Learning CoursesNauka programowania w języku python.
-
Podstawy Programowania Inżynierskiego
e-Learning CoursesNazwa i kod przedmiotu: Podstawy Programowania Inżynierskiego Prowadzący: dr inż. Łukasz Pachocki Kierunek studiów: Budownictwo Poziom kształcenia: I stopnia - inżynierskie Rok akademicki realizacji przedmiotu: 2023 Forma studiów: stacjonarne Rok studiów: 1 Semestr: 2 (letni)
-
Języki Programowania (2023)
e-Learning Courses -
WSPÓŁCZESNE ŚRODOWISKA PROGRAMOWANIA
e-Learning Courses -
Podstawy programowania - 2024
e-Learning CoursesCelem kursu jest zaznajomienie studentów z podstawami programowania i dobrymi praktykami w tej dziedzinie. Na zajęciach studenci uczą się logicznego przedstawienia różnorakich problemów w formie algorytmów, które następnie zapisują w konkretnym języku programowania. Studenci uczą się pracy w zintegrowanym środowisku programistycznym (IDE) i wykorzystania tego środowiska do identyfikacji i poprawiania błędów w tworzonych programach.