Filters
total: 1420
-
Catalog
- Publications 819 available results
- People 73 available results
- Inventions 4 available results
- Projects 4 available results
- Laboratories 7 available results
- Research Teams 7 available results
- Research Equipment 10 available results
- e-Learning Courses 484 available results
- Events 11 available results
- Offers 1 available results
displaying 1000 best results Help
Search results for: WIARYGODNOŚĆ OPROGRAMOWANIA
-
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.
-
Młodość czy dojrzałość? - komu ufają pracodawcy.
PublicationArtykuł porusza zagadnienia związane z zarządzaniem zaufaniem w organizacji, ze szczególnym uwzględnieniem atrybutów, które charakteryzują pracowników godnych zaufania. Zaprezentowano trzy główne kategorie kompetencji pracowniczych wzmacniających wiarygodność i reputację: styl działania, relacje interpersonalne i wartości osobiste. Na tym tle przedstawiono cechy charakteryzujące pracowników młodych (pokolenie Y) i dojrzałych (powyżej...
-
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,...
-
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ń...
-
Tomasz Wierzbowski mgr inż.
People -
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.
-
Metody reprezentacji i przetwarzania wiedzy w warunkach niepewności w ontologiach opartych na logice opisowej
PublicationW rozprawie przeanalizowano różne istniejące podejścia do problemu zaufania do ontologii, a zwłaszcza te dotyczące wiarygodności źródeł i informacji w nich zawartych. Omówione rozwiązania stosują podejście numeryczne do problemu zaufania, które przysparza jednak mnóstwa problemów związanych z modelowaniem procesu przetwarzania zapytań, jak również z samą interpretacją uzyskanych wyników.W pracy zaprezentowano model systemu zarządzania...
-
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
-
Mikrokontrolery STM8S - pierwsze kroki (1)
PublicationArtykuł zawiera pierwszą część krótkiego kursu programowania mikrokontrolerów STM8S
-
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.
-
Niepewność prognozowania skutków krajobrazowych i wizualnych - cz. 1.
PublicationW artykule omówiono problem niepewności związanej z prognozowaniem zmian krajobrazowych i wizualnych, powstających w przestrzeni jako efekt relizacji różnorodnych przedsięwzięć. Zaprezentowano prognozowanie wielkości i znaczenia skutków krajobrazowych w ramach procedury oceny oddziaływania na środowisko (OOS). Rozważania w części I dotyczą dwóch podstawowych narzędzi mających związek z krajobrazem: systemu planowania przestrzennego...
-
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.
-
Symulacja deformacji gniazda dużego łożyska tocznego na warunki pracy jego elementów tocznych
PublicationW referacie wykazano istotny wpływ sztywności oprawy łożyska na obciążenie jego elementów tocznych. W pracy wykorzystano wyniki pomiarów warunków pracy rzeczywistego stojaka, co pozwoliło zbudować i poddać weryfikacji model obliczeniowy w celu poprawy jego wiarygodności.
-
Metoda ewolucyjno-neuronowa oraz metoda wektorów nośnych w bankowości
PublicationW pracy omówiono wykorzystanie metody ewolucyjno-neuronowe do oceny wiarygodności kredytobiorców. Ponadto, doprecyzowano zastosowanie metody wektorów wspierających do prognozowania kryzysów bankowych. Na zakończenie odniesiono się do alternatywnych metod sztucznej inteligencji, które stosowane są w bankowości.
-
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.
-
Nowa metoda oceny dokładności wyznaczeń GNSS na potrzeby monitoringu pojazdów
PublicationZdolność systemu do ostrzegania użytkownika o tym, że błąd wyznaczonych współrzędnych przekroczył dozwoloną wartość, nazywa się wiarygodnością[4]. W chwili obecnej ani GPS, ani GLONASS nie zapewniają monitoringu wiarygodności, w związku z tym istnieje niepewność dotycząca rzeczywistego położenia obiektu. Sytuacja taka jest niedopuszczalna wszędzie tam, gdzie błąd gruby wyznaczeń współrzędnych może doprowadzić do poważnych konsekwencji...
-
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...
-
Portal ontologii: Zarządzanie bezpieczeństwem portalu
Publicationprzedstawiono wybrane problemy zarządzania bezpieczeństwem portalu. Opisano zasady tworzenia polityki bezpieczeństwa portalu. Zwrócono uwagę na zarzadzanie uzytkownikami, a w tym na sposoby autoryzacji i kontroli dostępu. Omówiono także zachowanie spójności danych portalu oraz wiarygodności dostarczanych i publikowanych informacji.
-
Identyfikacja stałych przepływu modeli systemów farmakokinetycznych opisanych równaniami stanu. VII Ogólnopolska Konferencja Przepływów Wielofazowych.
PublicationPrzedstawiono identyfikację parametrów (stałych przepływu) modeli systemów farmakokinetycznych opisanych równaniami stanu.Estymowane wartości parametrów zapewniają najlepsze dopasowanie odpowiedzi modelu do danych pomiarowych. Estymację przeprowadzono metodą największej wiarygodności na podstawie pobudzenia optymalnego według kryterium optymalizacji czułościowej oraz pobudzenia impulsowego.
-
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...
-
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...
-
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....
-
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.
-
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
-
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...
-
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...
-
Zasady kontroli fiansowej w przedsiębiorstwie.
PublicationArtykuł opisuje główne zasady i kryteria kontroli finansowej jakie należy stosować w zarządzaniu przedsiębiorstwem. W artykule został poruszony także problem wiarygodności działań kontroli i adekwatności wyników kontroli do poddanych jej ocenie zjawisk oraz ujednolicenia zasad kontroli i sprawozdawczości kontrolnej.
-
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 -
Zastosowanie niskokosztowych czujników PM10 do monitoringu jakości powietrza atmosferycznego
PublicationW pracy przedstawiono wyniki testu terenowego przeprowadzonego na terenie Gdańska w okresie od 7 do 24 lutego 2018 w celu wykazania wiarygodności uzyskiwanych wyników za pomocą komercyjnych czujników PM10 działających na zasadzie laserowego licznika cząstek w stosunku do metody odniesienia.
-
Rozwój globalnej sieci internetowej a ocena informacji z niej pochodzacej
PublicationArtykuł przedstawia wyniki badań oceny wiarygodności informacji napływajacej z Internetu, prasy, radia i telewizji w ocenie Internautów o kompetencjach specjalistycznych oraz o kompetencjach uzytkowników. Przedstawione wyniki sugeryja różnice w ocenie wiarygodnoęci w zalezności od źródła pochodzneia informacji oraz kompetencji Interneuty
-
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.
-
Przegląd programów 2D oraz 3D do fotogrametrii na przykładzie PC- Rect oraz PhotoModeler
PublicationW pracy został podjęty temat przeglądu programów do fotogrametrii. Stwierdzono, że lawinowy rozwój informatyki sprawił, że eksperci zajmujący się zawodowo tematem zdarzeń drogowych pozyskali dostęp do specjalistycznego oprogramowania wspomagającego rekonstrukcję wypadków komunikacyjnych. Różnorodność problematyki rekonstruowania zdarzeń drogowych narzuciła konieczność stworzenia eksperckiego oprogramowania specjalnej grupy aplikacji....
-
Projekt i budowa uniwersalnego sterownika programowalnego
PublicationArtykuł opisuje projekt i realizację niskobudżetowego ale zarazem funkcjonalnego i uniwersalnego kompaktowego sterownika programowalnego PLC (ang. Programmable Logic Controller) oraz dedykowanej aplikacji narzędziowej umożliwiającej jego elastyczne oprogramowanie. Przedstawiany sterownik bazuje na jednostce centralnej w postaci 32-bitowego mikrokontrolera ARM firmy STMicroelectronics oraz wyposażony jest w standardowe peryferia...
-
Sposób sterowania systemem do pomiarów struktur elementów półprzewodnikowych
PublicationPrzedstawiono system do pomiarów mało-częstotliwościowych szumów struktur elementów półprzewodnikowych. Szczegółowo omówiono zaprojektowane i wykonane oprogramowanie sterujące systemem pomiarowym.
-
Diagnozowanie systemów ochrony katodowej techniką spektroskopii impedancyjnej
PublicationZaprezentowano wyniki badań wykonywanych techniką elektrochemicznej spektroskopii impedancyjnej (EIS) na elementach instalacji ochrony katodowej podziemnego rurociągu stalowego. Przedstawiono widma impedancyjne układów rurociąg-elektrody odniesienia (stacjonarne i przenośne). Wykazano, że przy pomocy EIS można zbadać stan techniczny elektrod odniesienia, co pozwala określić wiarygodność wyników pomiarów potencjału chronionej konstrukcji....