Filters
total: 1305
-
Catalog
- Publications 743 available results
- People 72 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 430 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
-
Przetwarzanie zespołowe: przykłady, algorytmy i systemy
PublicationScharakteryzowano pracę zespołową i dokonano klasyfkacji zespołów w zależności od osiąganych przez te zespoły wyników. Przedstawiono zasady przetwarzania zespołowego oraz zilustrowano je reprezentatywnymi przykładami. Podano w jaki sposób można wspomagać komputerowo funkcje kooperacji, koordynacji i komunikacji oraz nawiązano do kooperacyjno-iteracyjnej metody wytwarzania oprogramowania. Sformułowano trzy podstawowe algorytmy przetwarzania...
-
System numerycznej prognozy pogody oparty na pakiecie WRF EMS
PublicationW artykule przedstawiono zagadnienia dotyczące wykorzystania systemów numerycznego prognozowania pogody przy pomocy oprogramowania wchodzącego w skład pakietu WRF EMS (ang. Weather Research and Forecast Environmental Modeling System). Artykuł opisuje podstawowe równania modelujące procesy w atmosferze oraz architekturę systemu numerycznego prognozowania pogody WRF EMS. Przedstawiono także architekturę prototypu systemu informacji...
-
Koncepcja stacji monitorującej aktywne sieci geodezyjne na potrzeby nawigacji i monitorowania ruchu obiektów
PublicationW artykule przedstawiono koncepcję stacji monitorującej serwisy czasu rzeczywistego aktywnych sieci geodezyjnych na potrzeby aplikacji nawigacyjnych i monitorowania ruchu obiektów w transporcie szynowym i drogowym. Dokonano analizy problemu w kontekście aktualnych potrzeb związanych z wyznaczaniem współrzędnych pozycji i nawigacją, co stanowi genezę podjętych prac. Zaprezentowano ogólną koncepcję stacji monitorującej, wstępną wersję...
-
Język UML 2.0 w modelowaniu systemów informatycznych
PublicationKsiążka ''Język UML 2.0 w modelowaniu systemów informatycznych'' to szczegółowy opis najnowszej specyfikacji tego języka w kontekście zastosowania go w procesie wytwarzania oprogramowania. Zawiera omówienie elementów języka UML oraz zasad projektowania obiektowego. Przedstawia zastosowanie diagramów UML 2.0 oraz różnice pomiędzy modelowaniem analitycznym i biznesowym. Ponadto wyjaśnia podstawy metodyki RUP oraz prezentuje wybrane...
-
Experimental study and numerical simulation of low calorific fuel combustion at different oxygen content in the oxydizer
PublicationW pracy przedstawiono wyniki badań eksperymentalnych oraz obliczeń numerycznych procesu spalania paliwa gazowego niskokalorycznego w utleniaczu o podwyższonej temperaturze i zmiennej zawartości tlenu. Badanym paliwem był gaz o składzie zbliżonym do paliwa pochodzącego z gazyfikacji biomasy. Spalanie przeprowadzano dla zmiennej wartości temperatury utleniacza oraz zawartości tlenu. Obliczenia numeryczne wykonano z wykorzystaniem...
-
System stabilizacji piłki na ruchomej platformie
PublicationW ostatnich latach nastąpił znaczny rozwój i wzrost zastosowań układów regulacji nadążnej. Ich wykorzystanie przestało ograniczać się do zastosowań przemysłowych, a zaczęto je używać w aplikacjach życia codziennego. Artykuł przedstawia proces projektowania i syntezy nadążnego układu stabilizacji piłki na ruchomej platformie. Opisano część mechaniczną oraz elektroniczną platformy. Przedstawiono model matematyczny, a także opisano...
-
Nauka w świecie cyfrowym okiem młodego inżyniera - phishing w mediach elektronicznych
PublicationPhishing to metoda oszustwa, w której przestępca podszywa się pod inną osobę lub instytucję w celu wyłudzenia poufnych danych, zainstalowania szkodliwego oprogramowania bądź też nakłonienia ofiary do wykonania określonych zadań. Jest to przestępstwo wykorzystujące zarówno metody socjotechniczne, jak i sztuczki technologiczne do osiągnięcia zaplanowanego celu. Działania hakerów żerują na nieostrożnych ofiarach, skłaniając je do...
-
Zastosowanie standardowego zasilacza łuku do zrobotyzowanego spawania.
PublicationPrzedstawiono stanowisko do zrobotyzowanego spawania elektrodą topliwą w osłonach gazów ochronnych. Opracowano technologię wykonywania spoin pachwinowych o grubościach 2,5 do 4,0mm we wszystkich pozycjach z użyciem drutu proszkowego z wypełnieniem rutylowym przy zmianie tylko jednego parametru, to jest szybkości spawania. Opisano modyfikację układów standardowego zasilacza łuku i podajnika drutu elektrodowego celem umozliwienia...
-
Długoczasowa niezawodność detektorów klasy S.
PublicationDetektory alarmowe klasy S mają możliwość dopasowywania się do pracy w zmiennych warunkach oraz układy do samokontroli sprawności. Przedstawiono podwójnie i potrójnie zbalansowane detektory magnetyczne, detektory wibracji oraz kontaktowe i bezkontaktowe detektory stłuczenia szyby. Omówiono podstawowe parametry decydujące o niezawodności detektorów. Omówiono nowe elementy w architekturze detektorów wpływające na ich niezawodnośc...
-
Optimization of development of district heating system
PublicationZaprezentowano metody optymalizacji systemów ciepłowniczych. Przedstawiono metodę oraz algorytm optymalizacji rozwoju systemu, obejmujący wszystkie jego elementy w formie oddzielnych modułów. Sformułowane zadanie optymalizacji dla wybranego regionu miejskiego rozwiązano z wykorzystaniem programowania liniowego całkowitoliczbowego. Dokonano analizy wyników oraz wskazano na użyteczność metody oraz kierunki i możliwości jej zastosowania.
-
Kacper Radziszewski mgr inż. arch.
PeopleIn 2016, he completed his master's studies at the Faculty of Architecture of the Gdańsk University of Technology. Architect. Co-organizer and leader of research workshops in the field of parametric architecture and modern fabrication methods, e.g. at the Faculty of Architecture at the Gdańsk University of Technology, at the Sopot University of Technology, at the Faculty of Architecture at the University of Technology in Bratislava,...
-
Typing of Candida isolates from patients with invasive infection and concomitant colonization
PublicationWe investigated the relationship between colonizing and invasive isolates from patients with candidaemia. Molecular typing was performed using random amplification of polymorphic DNA (RAPD) and multilocus sequence typing (MLST). We found MLST to be sufficient for typing Candida isolates, and that surveillance cultures are helpful in predicting concomitant invasive isolates, but not necessarily the pathogen involved in subsequent...
-
Zakażenia o etiologii Candida spp. - epidemiologia, leczenie, diagnostyka
PublicationInfekcje wywoływane przez grzyby z rodzaju Candida są poważnym problemem klinicznym. LIczba zakażeń szpitalnych spowodowanych przez te drobnoustroje wzrosła dziesięciokrotnie w przeciągu ostatnich 20 lat. Spowodowane jest to poprzez coraz częstsze wystawianie populacji na działanie czynników spprzyjających rozwojowi tego typu infekcji. Wśród nich znajduje się leczenie: antybiotykami, steroidami, cytostatykami oraz lekami immunosupresyjnymi....
-
Udział zespołu kontroli jakości w sukcesie zaawansowanego przedsięwzięcia informatycznego
PublicationPrzedstawiono rolę zespołu kontroli jakości we współcześnie realizowanych projektach informatycznych. Zaprezentowano najważniejsze wskaźniki sukcesu informatycznego, określone przez zespół zarządzania jakością. Podkreślono znaczenie specyfikacji wymagań systemowych oraz omówiono cykl życia typowego projektu informatycznego. Przedstawiono także projekty, w których zabrakło zdycyplinowanej polityki jakości, co doprowadziło do spektakularnych...
-
Systemy automatycznej kontroli wymiarowej mikroziaren ściernych
PublicationPrzedstawiono wyniki badań wymiarów mikroziaren ściernych stosowanych w operacjach docierania. Badania z wykorzystaniem analizatora laserowego poprzedziła analiza mikroskopowa rzutów mikroziaren na płaszczyznę obserwacji. Analizowano wymiary (długość i szerokość) oraz pole powierzchni jego obrazu. Pomiary przeprowadzono na skomputeryzowanym stanowisku, wyposażonym w mikroskop stereoskopowy, kamerę CCD i oprogramowanie MultiScan...
-
Correlation between destruction of the metal surface caused by pitting corrosion and intensity of the observed electrochemical noise.
PublicationPrzedstawiono wyniki badań korelacji między intensywnością szumów elektrochemicznych obserwowanych podczas występowania procesów korozji wżerowej a zmianami obserwowanymi na powierzchni metalu.Badania przeprowadzono dla elektrod metalowych o powierzchni eksponowanej na środowisko korozyjne poniżej 1 mm2. Do wykrywania uszkodzeń powierzchni wykorzystano oprogramowanie MatLab, wykrywające uszkodzenia powierzchni metalu w formie okręgów...
-
Knowledge Views and their application in systems engineering
PublicationWykorzystanie technologii Semantic Web, w szczególności baz wiedzy, w przemyśle informatycznym jest niewielkie. Jest to spowodowane między innymi dużym ryzykiem związanym z wdrażaniem nowych technologii i brakiem wiedzy na ich temat ze strony inżynierów oprogramowania. Aby zmniejszyć ryzyko związane z wdrażaniem baz wiedzy i zminimalizować nakład pracy inżynierów na zapoznanie się z nimi, w niniejszej pracy zaproponowano koncepcję...
-
Dariusz Kobiela mgr inż.
People -
Janusz Czaja mgr inż.
People -
Marcin Kwiatkowski mgr inż.
People -
Numeryczne projektowanie urządzeń cieplno-przepływowych, W, MiBM, sem. 5, zimowy 22/23
e-Learning CoursesPrzedstawienie studentom wykorzystania oprogramowania komputerowego CFD jako narzędzi do projektowania urządzeń cieplno-przepływowych.
-
Krzysztof Bikonis dr inż.
People -
Języki programowania dla sztucznej inteligencji (2021/2022)
e-Learning CoursesJęzyki programowania dla sztucznej inteligencji - AI Tech
-
Podstawy Informatyki
e-Learning CoursesPodstawy programowania, baz danych i arkuszy kalkulacyjnych.
-
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.
-
Laboratorium Użyteczności Oprogramowania - 2021/2022
e-Learning Courses -
2023/2024 - Licencjonowanie oprogramowania - MSU
e-Learning Coursesstudia niestacjonarne magisterskie, kierunek Informatyka
-
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.
-
Mieczysław Siemiątkowski dr inż.
People -
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,...
-
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...
-
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....
-
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ć,...
-
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...
-
Bogdan Ścibiorski dr inż.
People -
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 -
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...
-
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