Filters
total: 1322
-
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 443 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
-
Podstawy projektowania interfejsów użytkownika
PublicationDobry interfejs użytkownika to podstawa sukcesu każdej aplikacji! Poznaj różne sposoby komunikowania się użytkownika z komputerem. Dowiedz się, co w kwestii interfejsu użytkownika oferują współczesne urządzenia i programy Naucz się projektować efektowne i proste w obsłudze interfejsy użytkownika. Interfejs użytkownika to wizytówka każdej aplikacji komputerowej i strony WWW, a także brama zapewniająca dostęp do ich funkcji. Nawet...
-
Katedra Technologii Zabezpieczeń Przeciwkorozyjnych, działalność technologiczna
PublicationW Katedrze Technologii Zabezpieczeń Przeciwkorozyjnych realizowane są różnorodne prace badawcze i projektowe związane z rozwiązywaniem konkretnych praktycznych problemów korozyjnych. Prace te można podzielić na szereg grup. W katedrze projektuje się i monitoruje instalacje ochrony katodowej. Wykonuje się diagnostykę stanu wykładzin i powłok antykorozyjnych, w szczególności powłok i wykładzin stosowanych do ochrony przed korozją...
-
Project Management in Enterprises: IT Implementation Based on Fuzzy Models
PublicationW pracy analizuje się problem zastosowania metod zarządzania wiedzą oraz metod sztucznej inteligencji w zarządzaniu budżetem i planem realizacji projektów informatycznych. W pierwszej części wskazuje się na problemy związane z zarządzaniem projektami wytwarzania oprogramowania w zakresie planowania i bieżącego sterowania zarówno procesem wytwórczym, jak i zespołem programistów. Po omówieniu pożądanych zmian w metodologii zarządzania,...
-
Pączkowanie - metoda rozwoju interoperacyjnych komponentów dla systemów rozproszonych = Budding – the software development method of interoperable components for distributed systems
PublicationPrzedstawiono 2 współczesne metody wytwarzania oprogramowania: iteracyjno-przyrostową oraz techniki zwinne, ich zalety i wady w kontekście budowy interoperacyjnych platform i środowisk rozproszonych. Zaprezentowano metodę rozwoju oprogramowania przez pączkowanie, jej założenia, zalety i wady. Przedstawiono technologie, na bazie których działa metodologia wytwarzania oprogramowania przez pączkowanie: Software Product Line, Enterprise...
-
REALIZACJA NADAJNIKA I ODBIORNIKA OFDM W TECHNOLOGII RADIA PROGRAMOWALNEGO
PublicationMetoda wielodostępu OFDM, jest stosowana obecnie w wielu nowoczesnych cywilnych i wojskowych standardach łączności radiowej. Technologia radia programowalnego (ang. Software Defined Radio) umożliwia realizacje urządzeń pracujących z tą metodą wielodostępu. W referacie zaprezentowano przykłady dwóch środowisk oprogramowania służących do realizacji oprogramowania w technologii SDR. Przedstawiono również przykłady platform sprzętowych...
-
Stanowisko badawcze do automatycznej analizy jakości transmisji koncentratora KODEŚ z interfejsami LTE, NB-IoT oraz ISM
PublicationZaprezentowano podstawowe właściwości projektowanego koncentratora danych elektroenergetycznych KODEŚ oraz stanowisko badawcze do automatycznych pomiarów jakości transmisji w sieci LTE (Long Term Evolution), opracowane na potrzeby projektu badawczego. Głównym elementem stanowiska jest autorskie oprogramowanie, które umożliwia konfigurowanie urządzeń pomiarowych oraz definiowanie scenariuszy pomiarowych. Dopełnieniem tego jest dodatkowe...
-
Metodyka i efekty zastosowania SPC do monitorowania i sterowania procesami produkcyjnymi
PublicationW odróżnieniu od tradycyjnej metody zapewnienia jakości polegającej na inspekcji wyrobów gotowych, Statystyczne Sterowanie Procesami (SPC - Statistical Process Control) polega na monitorowaniu poszczególnych parametrów procesu lub wyrobu jeszcze w trakcie jego produkcji. Dzięki takiej obserwacji możliwe jest podejmowanie odpowiednich działań korekcyjnych, zanim potencjalna anomalia w procesie produkcyjnym spowoduje powstanie wyrobu...
-
Robert Janczewski dr hab. inż.
People -
Ocena narzędzi wspomagających zarządzanie przedsięwzięciami informatycznymi na przykładzie IBM Rational Method Composer
PublicationRozdział przedstawia zalety i wady oprogramowania wspomagającego zarządzanie przedsięwzięciami informatycznymi. Skupia się na ocenie technologii informatycznej spopularyzowanej na rynku przez firmę IBM jako Rational Method Composer. W rozdziale zostały zaproponowane kryteria oceny z punktu widzenia menedżera zarządzającego przedsięwzięciem oraz oceny w zależności od stopnia spełnienia tego kryterium. Ponadto przeprowadzona została...
-
Analysis of the impact of aspect-oriented programming on source code quality
PublicationCelem rozprawy jest ocena wpływu paradygmatu aspektowego na: modularność, możliwość dalszego rozwoju oraz ponowne użycie oprogramowania. Jako punkt odniesienia do oceny paradygmatu aspektowego wybrano paradygmat obiektowy. W ramach pracy przeprowadzono studium przypadków, w którym zbadano implementacje obiektowe oraz aspektowe 11 rzeczywistych systemów i 23 wzorców projektowych. Ponadto zrealizowano kontrolowany eksperyment, w...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublicationArtykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...
-
Institutionalization of knowledge sharing in a software development organization
PublicationZaproponowano podejście modelowe do problemu wymiany wiedzy. Omówiono implementację modelu na przykładzie instytucji zajmującej się produkcja oprogramowania komputerowego.
-
Knowledge management embedded in software engineering processes
PublicationW pracy omówiono systemy i narzędzia wspomagające wykrywanie wiedzy ukrytej w procesach związanych z wytwarzaniem skomplikowanych systemów oprogramowania
-
Where science meets business...
PublicationArtykuł opisujący integrację środowisk naukowo-biznesowych za pośrednictwem Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania na Wydziale Zarządzania i Ekonomii.
-
Andrzej Wardziński dr inż.
People -
Tomasz Wierzbowski mgr inż.
People -
Wpływ konstrukcji przestrzeni międzyklockowej na charakterystyki wzdłużnego łożyska ślizgowego
PublicationSmarowanie zanurzeniowe jest tradycyjnym sposobem smarowania dużych wzdłużnych łożysk ślizgowych. W chwili obecnej wymagania stawiane nowym konstrukcjom łożysk ślizgowych to zwiększanie nośności łożyska, które następuje m. in. po obniżeniu temperatury maksymalnej w filmie smarowym, co można uzyskać poprzez skuteczne dostarczanie zimnego oleju zasilającego wprost do strefy wlotowej filmu olejowego. Jednym z takich rozwiązań konstrukcyjnych,...
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Techniki obsługi wyjątków w systemach informatycznych.
PublicationW pracy przedstawiono podstawowe techniki obsługi wyjątków oraz mechanizmy wspierające taką obsługę występujące w różnych platformach oprogramowania sekwencyjnego i rozproszonego.
-
Evaluation and characterisation of the condition of individual components of cathodic protection systems.
PublicationPrzedstawiono wyniki badań wykonanych na pracującej instalacji ochrony katodowej dwóch podziemnych zbiorników LPG. Sprawność anod i zakopanych elektrod odniesienia oceniono wykorzystując technikę elektrochemicznych pomiarów impedancyjnych. Na podstawie uzyskanych widm impedancyjnych stwierdzono niesprawność jednej z anod przyłączonych do długiej linii anodowej. Przedstawiono także mapę rozkładu potencjału chronionych zbiorników....
-
Mikrokontrolery STM8S - pierwsze kroki (1)
PublicationArtykuł zawiera pierwszą część krótkiego kursu programowania mikrokontrolerów STM8S
-
Elektroenergetyka w Polsce. Ewolucja polskiego systemu wsparcia. - [Rynek i regulacje]
PublicationPrzedstawiono determinanty rozwoju elektroenergetyki. Określono kierunki programowania rozwoju elektroenergetyki.
-
mikrokontrolery stm8s - pierwsze kroki (2)
PublicationArtykuł zawiera drugą część krótkiego kursu programowania mikrokontrolerów STM8S
-
Modelowanie materiałów metodami kwantowymi 2023
e-Learning CoursesPrzypomnienie narzędzi obsługi systemu operacyjnego Linux niezbędnych do pracy z oprogramowaniem służącym modelowaniu materiałów i procesów związanych z materiałami oraz pracy z komputerem obliczeniowym. Wstępy teoretyczne z teorii metod kwantowych i podstawowych algorytmów: operatory, funkcje falowe, równanie własne, równanie Schrödingera i metody przybliżone: metody wariacyjne, metoda Hartree-Focka oraz przedstawienie zastosowań...
-
Metoda BP jako próba sformalizowania informatycznego projektu badawczego.
PublicationArtykuł prezentuje nowe iteracyjne podejście organizacji procesu do wytwarzania oprogramowania. Przedyskutowana metoda kładzie największy nacisk na zarządzanie innowacjami w projekcie informatycznym.
-
O mżliwościach analizy mostów stalowych
PublicationPrzedstawiono współczesne praktyczne możliwości analizy mostów stalowych z wykorzystaniem oprogramowania komputerowego> Podano przykłady analiz wykonanych na potrzeby prac badawczych, ekspertyz i projektów
-
Innowacyjność rozwiązań technologicznych w planowanym do wdrożenia zrobotyzowanym procesie spawania
PublicationW opinii przedstawiono ocenę innowacyjności zrobotyzowanego spawania na stanowisku wyposażonym w antropomorficzny robot typu FANUC model ArcMate 100iB o 6+3 osiach z kontrolerem programującym R-J3iC w trybie pracy PTP, w pozycjoner tokarski typu TCM 1630250 oraz w układ jezdny VDC-6000. Duża precyzja i powtarzalność pozycjonowania jak i wysoki poziom niezawodności określony indeksem (MTBF) tworzą wraz z oprogramowaniem do śledzenia...
-
Marek Galewski dr hab. inż.
PeopleMgr inż. - 2002r. - Politechnika Gdańska; Wydział Elektroniki, Telekomunikacji i Informatyki; Automatyka i RobotykaDr inż. - 2007r. - Politechnika Gdańska; Wydział Mechaniczny; Budowa i eksploatacja maszynDr hab. inż. - 2016r. - Politechnika Gdańska; Wydział Mechaniczny; Budowa i eksploatacja maszyn Dotychczasowe i planowane obszary badań: Redukcja drgań podczas obróbki frezowaniem i toczeniem Zastosowanie zmiennej prędkości...
-
AAM toolkit: a system for visual object appearance modeling
PublicationAktywne modele wyglądu (AAM) mogą być traktowane jako zaawansowana metoda analizy informacji multimedialnych, pozwalająca na lokalizowanie i rozpoznawanie obiektów w obrazach statycznych i sekwencjach wideo. Pomimo tego że ukazało się wiele publikacji dotyczących AAM, przejście od koncepcji teoretycznych do działającej implementacji stanowi nadal duże wyzwanie. W pracy przedstawiono przygotowany przez autorów pakiet oprogramowania...
-
Cztery algorytmy, które wstrząsnęły światem. Część II: Od czasu wykładniczego do wielomianowego
PublicationOdcinek ten poświęcony jest problemowi programowania liniowego oraz problemowi badania liczb pierwszych.
-
Primenenie nejronnyh setej i programnoe obespečenie dlâ ih vizualizacii
PublicationPrzedstawiono zagadnienia związane z zastosowaniem sieci neuronowych oraz dostępne oprogramowanie do ich wizualizacji.
-
Badania efektów mechanicznej owalizacji ziaren elektrokorundu szlachetnego w wygładzarce bębnowej.
PublicationPrzedstawiono skomputeryzowaną analizę kształtu i wielkości ziaren ściernych przy użyciu specjalistycznego oprogramowania MultiScan v 6.08. Badano efekty mechanicznej owalizaji ziaren elektrokorundu w wygładzarce bębnowej.
-
Paweł Czarnul dr hab. inż.
PeoplePaweł Czarnul obtained a D.Sc. degree in computer science in 2015, a Ph.D. in computer science granted by a council at the Faculty of Electronics, Telecommunications and Informatics, Gdansk University of Technology in 2003. His research interests include:parallel and distributed processing including clusters, accelerators, coprocessors; distributed information systems; architectures of distributed systems; programming mobile devices....
-
Generowanie kosztów w kanalizacji sanitarnej
PublicationBłędy popełniane w fazie programowania i projektowania kanalizacji. Przykłady niewłaściwych rozwiązań. Konsekwencje finansowe
-
Środowiska wspierające (narzędzia CASE)
PublicationPraca omawia współczesne środowiska i narzędzia CASE, wspierające procesywytwórcze. Część omówienia poświęcona jest narzędziom wspomagającym tworze-nie oprogramowania równoległego i wspomagającym zrównoleglanie programów se-kwencyjnych.
-
A Quality Model for UML tools
PublicationJakość narzędzi UML wpływa na efektywność wykonywania zadań związanych z modelowaniem systemów w procesie wytwarzania oprogramowania. Celem badań prezentowanych w tym referacie jest wyodrębnienie kryteriów jakości narzędzi UML. Omówiono rolę narzędzi UML w projekcie informatycznym, a następnie zaprezentowano szereg kryteriów jakości narzędzi UML wraz z aspektami oceny oraz opisem ankiety, która służy do oceny narzędzi względem...
-
Powikłania po rekonstrukcji piersi: problem zakażeń i strategii prewencyjnej - przegląd literaturowy
PublicationW niniejszej pracy przedstawiono dane dotyczące powikłań po rekonstrukcji piersi. Manuskrypt ma na celu usystematyzowanie wyników badań z ostatnich lat wraz z aspektami, takimi jak: częstotliwość występowania powikłań oraz ich rodzaj, czynniki predysponujące, a także możliwości profilaktyki. Przeanalizowano dane literaturowe z ogólnie dostępnych artykułów z okresu ostatnich pięciu lat, ze szczególnym uwzględnieniem zakażeń. Do...
-
Efekty mechanicznej owalizacji kształtu i wygładzania ziaren elektrokorundu
PublicationW artykule przedstawiono wyniki skomputeryzowanej analizy kształtu i wielkości ziaren ściernych przy użyciu specjalistycznego oprogramowania MultiScan v.6.08. Badano efekty mechanicznej owalizacji kształtu ziaren elektrokorundu szlachetnego.
-
Visualization in Matehmatics Teaching - Some examples of supporting the students'education
PublicationNa całym świecie prowadzi się badania nad wykorzystaniem multimediów w dydaktyce matematyki. Rewolucja cyfrowa jest impulsem do zmiany podejścia do nauczania i metod uczenia się. Oczywiście nowe technologie nie wyeliminują czy nie zastąpią wszystkich tradycyjnych środków nauczania.Studenci, aby zostać dobrymi, konkurencyjnymi na rynku pracy inżynierami, muszą poznać wiele, czasem bardzo zaawansowanych mechanizmów z zakresu matematyki....
-
Krytyczne działania i czynniki sukcesu wdrażania projektów informatycznych
PublicationCelem niniejszego artykułu jest określenie, jakie działania powinny podjąć organizacje gospodarcze, aby zidentyfikowane krytyczne czynniki sukcesu projektów informatycznych, pozwalające na zwiększenie prawdopodobieństwa pomyślnego zakończenia przedsięwzięcia, zmaterializowały się. Na potrzeby niniejszego artykułu przeprowadzono badania własne. Jako metodę wybrano analizę przypadków. Badanie przeprowadzono w organizacji, która prowadziła...
-
Badanie wpływu strategii sterowania obiegiem narzędzi na wydajność elastycznego systemu wytwarzania.
PublicationPrzedmiotem rozprawy doktorskiej są badania wpływu strategii sterowania obiegiem narzędzi na wydajność elastycznego systemu wytwarzania. Obiektem badań było elastyczne gniazdo obróbkowe wyposażone w trzy poziome frezarsko-wytaczarskie centra obróbkowe przeznaczone do wytwarzania części klasy korpus. Wybrane strategie przydziału operacji technologicznych i adekwatnych zestawów narzędziowych poddano analizie i ocenie wg przyjętych...
-
Selected problems of navigation of educational mobile robot
PublicationW artykule przedstawiono ideę sterowania układem autonomicznego robota mobilnego skonstruowanego do celów edukacyjnych. Opisano strukturę mechaniczną układu, układy sensorów oraz zakres możliwości wynikających z działania oprogramowania robota.
-
Komputerowa technika pomiarowa w przykładach
PublicationZawarto opis metod łączenia kart pomiarowych z magistralami komputera, opis interfejsów systemów pomiarowych, bezprzewodowej transmisji danych, czujników oraz układów kondycjonowania sygnałów i akwizycji danych oprogramowania systemów pomiarowych
-
Rozdział mocy w układzie napędowym robota podwodnego - porównanie algorytmów alokacji naporów
PublicationPraca dotyczy syntezy systemu automatycznego sterowania robotem podwodnym w zakresie problemu rozdziału mocy w wielopędnikowym układzie napędowym. Do alokacji naporów zastosowano metody optymalizacji z ograniczeniami, pozwalające na wyznaczanie wektora naporów na podstawie wektora sił uogólnionych. Rozważono i porównano dwie metody rozdziału mocy dla robota realizującego ruch poziomy płaski o trzech stopniach swobody, rozpatrując...
-
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
-
Integracyjna metoda konstruowania aplikacji
PublicationZaproponowano metodę wytwarzania oprogramowania IMAC, która może stanowić pewien przełom w inżynierii oprogramowania na miarę jaką stanowiło wprowadzenie języków obiektowych zwłaszcza dla aplikacji rozproszonych do zastosowań biznesowych. W metodzie tej proponuje się ścisłe powiązanie analizy, projektu i implementacji w jednym, spójnym środowisku graficznym i stosowanie wspólnego języka modelowania i implementacji IML. Głównym...
-
Modelowanie numeryczne krzyżowego wymiennika ciepła w zastosowaniach klimatyzacyjnych
PublicationPraca przedstawia wyniki obliczeń numerycznych krzyżowego wymiennika ciepła wykorzystywanego w klimatyzacji. Zawarte są wyniki obliczeń 2D i 3D rozpatrywanego wymiennika. Obliczenia wykonano z zastosowaniem oprogramowania CFD Ansys Fluent.
-
Metodyka pomiaru jachtów regatowych przy pomocy skanowania laserowego 3D
PublicationPrzedstawiono metodykę pomiaru klasowego za pomocą skanera laserowego 3D, dostepne rzowiązania techniczne i oprogramowanie oraz przykłady zastosowania.
-
Maria Sołtysik prof. dr hab. inż. arch.
People -
Sposób sterowania systemem do pomiarów struktur elementów półprzewodnikowych.
PublicationPrzedstawiono system do pomiarów małoczęstotliwościowych szumów struktur elementów półprzewodnikowych. Szczegółowo omówiono zaprojektowane i wykonane oprogramowanie sterujące systemem pomiarowym.