Filters
total: 1656
-
Catalog
- Publications 964 available results
- Journals 1 available results
- People 89 available results
- Inventions 4 available results
- Projects 5 available results
- Laboratories 8 available results
- Research Teams 11 available results
- Research Equipment 10 available results
- e-Learning Courses 553 available results
- Events 10 available results
- Offers 1 available results
displaying 1000 best results Help
Search results for: NIEZAWODNOŚĆ OPROGRAMOWANIA
-
Podstawy Informatyki
e-Learning CoursesPodstawy programowania, baz danych i arkuszy kalkulacyjnych.
-
Internetowy portal wspomagający symulacje i analizę sytuacji krytycznych w regionie oraz zespołowe podejmowanie decyzji
PublicationOmówiono internetowy portal dostepowy zintegrowanego systemu służącego do analizy sytuacji wyjatkowych, wizualizacji przestrzennej kluczowych obiektów infrastruktury wraz z numerycznymi ocenami różnego typu zagrożeń terrorystycznych lub katastrof naturalnych. Portal zapewnia interakcję pomiędzy rozproszonymi grupami terenowymi oraz centrami zarządzania sytuacjami kryzysowymi, również decydentami, współdzieloną wizualizację wyników...
-
Bezkontaktowa metoda lokalizacji przewodu jezdnego sieci trakcyjnej
PublicationProblematyka diagnostyki sieci trakcyjnej jest ciągle przedmiotem badań i zainteresowania poszczególnych zarządców sieci kolejowej w Europie i na Świecie. Temat ten jest szczególnie ważny w przypadku linii dużych prędkości, gdzie prawidłowe utrzymanie sieci trakcyjnej jest niezwykle istotne dla zapewnienia właściwej współpracy odbieraka prądu z siecią trakcyjną, co bezpośrednio przekłada się na niezawodność i bezpieczeństwo ruchu...
-
Beesybees-Agent-Based, Adaptive & Learning Workflow Execution Module for BeesyCluster
PublicationPrezentujemy projekt oraz implementację adaptacyjnego i uczącego się modułu przeznaczonego dowykonywania scenariuszy w środowisku BeesyCluster. BeesyCluster pozwala na modelowaniescenariuszy w formie acyklicznego grafu skierowanego, w którym wierzchołki oznaczają zadania,a krawędzie określają zależności między nimi. Przedstawiamy także kooperatywne wykonaniescenariusza przez grupę agentów zdolnych do zbierania, składowania i korzystania...
-
Mieczysław Siemiątkowski dr inż.
People -
Postępy algorytmiki i ich wpływ na rozwój informatyki w Polsce
PublicationPublikacja prezentuje najważniejsze polskie i światowe postępy algorytmiki i ich wpływ na rozwój informatyki w Polsce. w szczególności omówiono takie zagadnienia jak badanie pierwszości liczb, programowanie liniowe, płaskie rysowanie grafów i szybkie mnożenie macierzy.
-
Bogdan Ścibiorski dr inż.
People -
Zastosowanie koncepcji bezpieczeństwa funkcjonalnego w ocenie automatycznych synchronizatorów prądnic
PublicationW artykule podjęto próbę powiązania tematyki synchronizacji obiektów elektroenergetycznych z problematyką bezpieczeństwa funkcjonalnego. Synchronizacja automatyczna w systemie elektroenergetycznym jest bowiem od lat prowadzona z udziałem specjalistycznych urządzeń, jakimi są synchronizatory automatyczne o skomplikowanej strukturze sprzętowej i oprogramowaniu, a prawidłowy jej przebieg odgrywa istotną rolę z punktu widzenia bezpieczeństwa...
-
Edukacyjne narzędzie do badania zjawisk zachodzących podczas konwersji AC/CA
PublicationW pracy przedstawiono software'owe narzędzie umożliwiające analizę jakości karty dźwiękowej zainstalowanej komputerze PC opracowane na potrzeby laboratorium przetwarzania sygnałów. Oprogramowanie to w bardzo prostym, powszechnym systemie, jakim jest komputer PC z kartą dźwiękową, pozwala na zapoznanie się z wieloma typowymi problemami praktycznymi spotykanymi przy konwersji analogowo-cyfrowej (AC) i cyfrowo-analogowej (CA).
-
Komputerowy system sterowania elektrowni wodnej
PublicationW referacie przedstawiono komputerowy system sterowania blokami elektrowni wodnej. Opracowany i wdrożony system pozwala na pełne sterowanie blokami energetycznymi z typowego stanowiska komputera osobistego. Dla każdego z bloków przewidziano oddzielny komputer przemysłowy pracujący w sieci lokalnej. Oprogramowanie systemu pozwala na pracę z ustalonymi obrotami, stałą mocą lub stałym otwarciem kierownic.
-
Laboratorium Użyteczności Oprogramowania - 2021/2022
e-Learning Courses -
2023/2024 - Licencjonowanie oprogramowania - MSU
e-Learning Coursesstudia niestacjonarne magisterskie, kierunek Informatyka
-
TreeCmp: Comparison of Trees in Polynomial Time
PublicationMetryki filogenetyczne umożliwiają ocenę jakości wyników analizy filogenetycznej oraz wiarygodności algorytmów przeprowadzających taką analizę. Aplikacja TreeCmp oferuje efektywne, wielomianowe implementacje ośmiu takich metryk (dla drzew nieukorzenionych i zawierających korzeń) zdefiniowanych dla dowolnych filogenez (nie koniecznie binarnych). Program ten jako pierwszy umożliwia wyznaczanie nowych metryk, definiowanych w oparciu...
-
Modelowanie magnetycznego pola rozproszonego z wykorzystaniem MES
PublicationW artykule zaprezentowano zalety oraz możliwości, ale i też ograniczenia jakie posiada MES. Z całą pewnością jest to bardzo użyteczna i obiecująca metoda numeryczna, pozwalająca na modelowanie zjawisk elektromagnetycznych, w szczególności zaś magnetycznego pola rozproszonego. Biorąc pod uwagę szybko postępujący rozwój możliwości obliczeniowych współczesnych komputerów oraz towarzyszący mu rozwój oprogramowania MES można stwierdzić,...
-
Systemy informacji przestrzennej w rozwoju e-uczelni
PublicationArtykuł opisuje istotę systemów informacji przestrzennej, ich definicję, krótką genezę oraz przybliża zagadnienia funkcjonowania współczesnych systemów tego typu. Szczególną uwagę zwrócono na moźliwości ich wykorzystania w szeroko rozumianej informatyzacji. Przez przykłady zastosowań zwrócono uwagę na rolę, jaką mogą pełnić takie systemy we współczesnym społeczeństwie. Zostały określone podstawowe wymagania dotyczące oprogramowania,...
-
Mechatronic system for automatic inspection of circular saw teeth
PublicationArtykuł prezentuje system mechatroniczny do automatycznej oceny geometrii ostrzy pił tarczowych. Opisywany system wizyjny został zastosowany w automatycznym kontrolerze ostrzy pił tarczowych WKOPTar. Wrzeciono urządzenia posiada swój napęd sterowany bezstopniowo obrazem ostrzy i zapewnia powtarzalne pozycjonowanie ostrzy w celu przechwycenia ich obrazów, które są następnie analizowane z wykorzystaniem specjalnego oprogramowania....
-
Realizacja elementów składowych łącza radiowego z użyciem urządzeń USRP dla potrzeb szybkiej transmisji danych do zastosowań specjalnych
PublicationW artykule przedstawiono realizację cyfrowego łącza radiowego dla potrzeb szybkiej transmisji danych do zastosowań specjalnych. Opisano jego koncepcję oraz realizację praktyczną z użyciem urządzeń USRP firmy National Instruments. Przedstawiono elementy funkcjonalne opracowanego oprogramowania w zakresie generowania i odbierania sygnałów cyfrowych pasma podstawowego, wraz z opisem zastosowanych modulacji cyfrowych i metody synchronizacji...
-
Zastosowanie koncepcji SDN w warstwie transportowej sieci IMS/NGN
PublicationKoncepcja sieci Next Generation Network, wykorzystująca w warstwie usług architekturę IP Multimedia Subsystem, zakłada centralizację funkcji sterowania zasobami sieciowymi w warstwie transportowej. Analogiczne założenie jest podstawą koncepcji Software Defined Networks. Na podstawie tej analogii, zaproponowano integrację obu koncepcji, przedstawiono architekturę zintegrowanej sieci, scenariusze sterowania zasobami oraz przygotowano...
-
Testing and tuning PLC application programs
PublicationWe wstępie zawarto kilka uwag autora dotyczących pilnej potrzeby wdrażania na Wydziale Mechanicznym idei mechatronicznego kształcenia. Przedstawiono przegląd sposobów monitorowania i testowania programów aplikacyjnych PLC podczas budowania lub modernizacji systemów sterowania. Przedyskutowano zakres zastosowań oraz ograniczenia poszczególnych sposobów. Opisano przykład zastosowania zbudowanego stanowiska do eksperymentalnych testów...
-
Jarosław Bąkowski dr inż. arch.
Peopledr inż. Jarosław Bąkowski, assistant professor in the Department of Marine and Industrial Architecture, Faculty of Architecture, Gdansk University of Technology.The subject of his interest is the programming and designing methodology of functionally complex buildings (especially the healthcare architecture buildings, mainly hospitals). He conducts research on optimization of the design process for functional and utility analysis....
-
Efficient list cost coloring of vertices and/or edges of some sparse graphs
PublicationRozważane jest kolorowanie wierzchołków i krawędzi grafów w modelach klasycznym, totalnym i pseudototalnym z uwzględnieniem dodatkowego ograniczenia w postaci list dostępnych kolorów. Proponujemy wielomianowy algorytm oparty na paradygmacie programowania dynamicznego dla grafów o strukturze drzewa. Wynik ten można uogólnić na grafy o liczbie cyklomatycznej ograniczonej z góry przez dowolnie wybraną stała.
-
ProSIL Software for functional saferty management in life cycle = Aplikacja ProSIL do zarządzania bezpieczeństwem funkcjonalnym w cyklu życia
PublicationIn the paper the ProSIL software to aid the functional safety management is presented. The software consists of three modules to aid: determination of the required SIL level (ProSILen), veryfication of the SIL level (ProSILver). In the aplication the method of the calibrated risk graph to determine the required safety integrity level SIL for defined safety instrumented functions is applied. The methods concerning functional safety...
-
Oprogramowanie mikrokomputerów - 2023-2024
e-Learning Courseskurs zawiera pomoce i materiały do prowadzonego na kierunku ACR na semetrze 6 wykładu oprogramowanie mikrokomputerów 1. Prosty asembler, składnia, słowa kluczowe, słownik nazw, operacje na słowniku nazw 2. Dyrektywy prostego asemblera 3. Przebieg asemblacji, przykład 4. Makroasembler, asemblacja warunkowa, makroinstrukcje i podprogramy 5. Atrybuty nazw, praca z wieloma plikami, praca zespołowa 6. Przebieg konsolidacji, przykłady 7....
-
Oprogramowanie pomiarowe i sterujące
e-Learning Courses -
Electrochemical methods for corrosion rate determination under cathodic polarisation conditions - a review. Part I - DC methods
PublicationPrzedstawiono krytyczny przegląd prac dotyczących wykorzystania metod elektrochemicznych stałoprądowych do wyznaczania prądu korozyjnego metali polaryzowanych katodowo. Opisano dotychczasowe sposoby oceny skuteczności ochrony katodowej na podstawie pomiarów krzywych polaryzacji i rezystancji polaryzacyjnej. Scharakteryzowano metody matematyczne i oprogramowanie opracowane do analizy komputerowej krzywych polaryzacji w celu wyznaczenia...
-
Coupled - mode design of ferrite loaded coupled microstrip lines section
PublicationMetodę rodzajów sprzężonych zastosowano do analizy i projektowania sekcji ferrytowych mikropaskowych linii sprzężonych magnesowanych podłużnie (FCL). W wyniku analizy określono macierz rozproszenia sekcji oraz warunki umożliwiające jej zastosowanie do realizacji cyrkulatora projetowanego jako połączenie badanej sekcji FCL z mikropaskowym rozgałęzieniem typu T. W oparciu o opracowane oprogramowanie przeprowadzono modelowanie parametrów...
-
Błędy wyznaczania charakterystyk częstotliwościowych impedancji uzwojeń magnesów nadprzewodzących
PublicationW artykule przedstawiono 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 i oprogramowanie, a także dokonano podstawowej analizy metrologicznej określając na podstawie badań symulacyjnych błędy wyznaczania modułu i argumentu poszukiwanej impedancji. Pokazano również przykładowe wyniki uzyskane przy użyciu omawianego...
-
ZASTOSOWANIE PROGRAMU SMATH W ANALIZIE STANÓW USTALONYCH W OBWODACH ELEKTRYCZNYCH
PublicationW pracy zaprezentowano oprogramowanie pomocne w nauczaniu studentów analizy obwodów elektrycznych. Programy utworzone w systemie SMATH [2] umożliwiające rozwiązać zadania z obwodów elektrycznych, stanowią interesujące narzędzie wspomagające proces nauczania. Możliwość tworzenia przez studentów własnych struktur obwodów elektrycznych, z podglądem zastosowanych w obliczeniach równań i wyników tych obliczeń jest ciekawą alternatywą...
-
Przykłady dobrej praktyki w projekcie SP4CE Erasmums+
PublicationProjekt SP4CE, czyli Partnerstwo Strategiczne na Rzecz Kreatywności i Przedsiębiorczości (ang. Strategic Partnership for Creativity and Entrepreneurship) jest odpowiedzią na potrzeby zidentyfikowane w komunikacie z Burgii w sprawie ściślejszej europejskiej współpracy w dziedzinie kształcenia i szkolenia zawodowego w latach 2011-2020. W projekcie zaprojektowano i uruchomiono portal SP4CE bazujący na oprogramowaniu WordPress i Moodle.
-
Substrate noise modeling in early floorplanning of MS-SOCs.
PublicationW pracy zaproponowano model częstotliwościowy bloków analogowych wrażliwych na zakłócenia oraz bloków cyfrowych generujących zakłócenia w systemach mieszanych realizowanych na wspólnym podłożu krzemowym. Zaproponowane modele zostały wykorzystane w oprogramowaniu optymalizującym rozmieszczenie bloków funkcjonalnych na struktórze krzemowej. Dzieki użyciu procedur optymalizacyjnych uzyskano znaczącą redukcje poziomu zakłóceń przy...
-
Języki programowania obiektowego 2021
e-Learning Courses -
Wokół Algorytmiki i Programowania
e-Learning Courses -
Języki Programowania - 2022/23
e-Learning Courses -
Proceduralne języki programowania I
e-Learning Courses -
Repetytorium z Podstaw Programowania
e-Learning CoursesZajęcia uzupełniające.
-
Języki programowania obiektowego 2022
e-Learning Courses -
Języki Programowania - 2021/22
e-Learning Courses -
Języki programowania 24-25
e-Learning Courses -
Języki Programowania - 2023/24
e-Learning Courses -
Podstawy Programowania Inżynierskiego 2024
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: 2024 Forma studiów: stacjonarne Rok studiów: 1 Semestr: 2 (letni)
-
Podstawy Programowania [2023/24]
e-Learning Courses -
Jacek Poplatek dr inż. arch.
PeopleJacek Poplatek – Assistant Professor at the Faculty of Architecture, Gdańsk University of Technology. In research work his interests focuses mainly on issues of programming and designing of healthcare architecture facilities, including general and specialist hospitals. The second field of research is 19th century historical architecture of Sopot city and protection of its architectural and cultural heritage. He is the author of...
-
Nośność podłoża gruntowego pod ławą fundamentową w ujęciu niezawodnościowym
PublicationW artykule przedstawiono zastosowanie metod probabilistycznych do oceny niezawodności konstrukcji na przykładzie ławy fundamentowej. Analizę rozpoczęto od procedury normowej zgodnie z Eurokodem 7, która w istocie jest tzw. metodą półprobabilistyczną. Z kolei do analizy probabilistycznej zastosowano metodę estymacji rozkładem dyskretnym, a uzyskane nią wyniki zweryfikowano metodą symulacyjną Monte Carlo. Wykazano dużą efektywność...
-
Deterministic and probabilistic interpretation of operation of technicalsystems with regard to their reliability
PublicationZaproponowano interpretację wartościującą działanie, które jest rozpatrywane jako wielkość fizyczna o jednostce miary zwanej dżulosekundą [dżulxsekunda]. Tak rozumiane działanie przedstawiono w ujęciu technicznym. Zaproponowano oryginalną metodę analizy i oceny działania dowolnego systemu technicznego z uwzględnieniem jego niezawodności. Szczególną uwagę zwrócono na interpretację działania silnika o zapłonie samoczynnym. Do uzasadnienia...
-
Risk analysis and functional safety assessment with regard to human andorganisational factors
PublicationReferat poświęcono wybranym zagadnieniom analizy ryzyka i zarządzania bezpieczeństwem funkcjonalnym systemów związanych z bezpieczeństwem. Systemy takie, zawierające coraz częściej jednostki programowalne, są potencjalnie narażone na błędy człowieka, które mają swoje źródło w uchybieniach organizacyjnych. W procesie analizy ryzyka takich systemów proponuje się stosować metody jakościowe i ilościowe. Potencjalne błędy człowieka...
-
Modelowanie bezpieczeństwa środowiskowego siłowni statku
PublicationCelem naukowym rozprawy doktorskiej było opracowanie probabilistycznych modeli niezawodności i ryzyka środowiskowego siłowni podstawowego statku towarowego o nępedzie realizowanym przez silnik lub silniki spalinowe tłokowe. Modele te służą do analiz projektowych odpowiednich systemów, określania wymagań natury niezawodnościowej względem tych systemów z uwzględnieniem czynnika ludzkiego oraz umożliwiają holistyczną ocenę bezpieczeństwa...
-
PRZEMYSŁOWE SIECI INFORMATYCZNE [Niestacjonarne][2023/24]
e-Learning CoursesKurs do Przedmiotu Przemysłowe Sieci Informatyczne Sem. 5 kierunek elektrotechnika studia niestacjonarne WYKŁADOgólna charakterystyka sieci przemysłowych. Przegląd topologii sieci. Przegląd protokołów sieci. Sieci z dostępem zdeterminowanym i niezdeterminowanym. Przegląd rodzajów mediów transmisyjnych. Interfejsy w cyfrowych systemach pomiarowych. Interfejs RS-232C, RS-422A, RS-485, pętla prądowa. Parametryzacja sieci. Analiza...
-
PRZEMYSŁOWE SIECI INFORMATYCZNE [Niestacjonarne][2022/23]
e-Learning CoursesKurs do Przedmiotu Przemysłowe Sieci Informatyczne Sem. 5 kierunek elektrotechnika studia niestacjonarne WYKŁADOgólna charakterystyka sieci przemysłowych. Przegląd topologii sieci. Przegląd protokołów sieci. Sieci z dostępem zdeterminowanym i niezdeterminowanym. Przegląd rodzajów mediów transmisyjnych. Interfejsy w cyfrowych systemach pomiarowych. Interfejs RS-232C, RS-422A, RS-485, pętla prądowa. Parametryzacja sieci. Analiza...
-
Wielokanałowa rejestracja częstotliwości licznikami NI-TIO
PublicationPrzedstawiono metodę wielokanałowej rejestracji częstotliwości, w której częstotliwości sygnałów w poszczególnych kanałach dla danej chwili wyznaczane są na podstawie dwóch ostatnich okresów. Opisano realizację metody na bazie liczników NI-TIO, z oprogramowaniem w środowisku LabVIEW. Załączono przykładowe wyniki pomiarów.
-
Koala graph coloring library: an open graph coloring library for real-world applications
PublicationPomimo intensywnej pracy naukowej na polu kolorowania grafów, nie jest znana kompletna i dedykowana biblioteka programistyczna. Celem artykułu jest zaproponowanie architektury takiej biblioteki. Celem jest spełnienie oczekiwań wypływających z rzeczywistych zastosowań, w szczególności spełnienie potrzeb wydajnościowych. Zaimplementowano szereg algorytmów cheurystycznego kolorowania grafów. Przyjętym językiem programowania jest C++....