Search
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
-
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...
-
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...
-
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ą...
-
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...
-
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.
-
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 - 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 -
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++....
-
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...
-
Obszary zastosowań dystrybucji CDLINUX.PL.
PublicationSystem operacyjny GNU/Linux jest używany coraz powszechniej, również jako oprogramowanie stacji roboczych. W 2003 roku powstał projekt cdlinux.pl mający na celu ułatwienie poznawania systemu Linux przez polskich, początkujących użytkowników. W artykule przedstawiono zidentyfikowane wymagania użytkowników, na podstawie których stworzono dystrybucję systemu operacyjnego GNU/Linux. Wyszczególniono obszary potencjalnych zastosowań...
-
Efektywność odbioru rake w interfesjie radiowym wcdma/fdd w łączu w górę
PublicationW referacie przedstawiono wyniki badań, przeprowadzonych w oparciu o własne oprogramowanie symulujące pracę systemu UMTS, obrazujące wpływ długo-ści ciągu pilotowego na efektywność odbioru RAKE, dla różnych warunków propagacyjnych w łączu w górę. Ponad-to przedstawiono strukturę ramki dedykowanego kału transportowego DCH oraz formaty ramki kanału sterujące-go DPCCH w interfejsie radiowym WCDMA/FDD systemu UMTS.
-
Realizacja demonstratora technologicznego szybkiej transmisji danych w technologii radia programowalnego
PublicationW artykule przedstawiono realizację demonstratora technologicznego szybkiej transmisji danych w technologii radia programowalnego. Opisano architekturę zaprojektowanego systemu w tym asymetryczną organizację transmisji ramkowej, która odbiega od dotychczas stosowanych w systemach komórkowych. Przedstawiono także konstrukcję urządzeń prototypowych składających się z jednostki zarządzającej i urządzenia radia programowalnego oraz...
-
Verification of the fit to user profiles for UML tools
PublicationDopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...
-
Quality model for UML tools in application to UML tool selection and market analysis
PublicationJęzyki modelowania i wspierające je narzędzia odgrywają istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Wraz ze wzrostem liczby narzędzi UML na rynku pojawia się potrzeba ich porównania i oceny. Artykuł prezentuje wielowymiarowy model oceny narzędzi UML, opisuje ankietę przydatną do oceny narzędzi UML oraz przedstawia system oceny narzędzi UML wraz ze studium przypadku jego zastosowania do poszukiwania narzędzi...
-
System sterowania sesją RTP
PublicationW artykule przedstawiono koncepcję systemu sterowania sesją protokołu RTP oraz praktyczną realizację tego systemu w oparciu o dostępne aplikacje należące do kategorii wolnego oprogramowania. Zaproponowana architektura umożliwia Operatorowi realizowanie następujących funkcji systemu: nagrywanie, podsłuch oraz generowanie zapowiedzi. System przeszedł pozytywnie testy laboratoryjne i możliwe jest jego praktyczne wykorzystanie. W artykule...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Poll Reader - the working prototype of optical mark recognition software
PublicationAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Szkoła systemu Linux
PublicationKsiążka ''Szkoła systemu Linux'' wprowadza czytelnika w świat oprogramowania typu open source. Przedstawione zostały liczne programy, które umożliwiają między innymi zarządzanie danymi, pisanie i drukowanie dokumentów czy korzystanie z sieci. Za pomocą ksiązki można się nauczyć używania środowiska graficznego oraz wiersza poleceń. Opisano również działanie systemów operacyjnych, w tym Linux. Na płycie dołączonej do książki znajduje...
-
Transmisja danych pomiarowych przez sieć Internet z wykorzystaniem środowiska LabVIEW
PublicationPrzedstawiono sposób transmisji danych pomiarowych za pomocą sieci Internet, przy wykorzystaniu oprogramowania LabView firmy National Instruments. Biblioteki do programu LabView stanowiły podstawę przygotowania przyrządów wirtualnych realizujących transmisję danych przez Internet. Transmisja dotyczy przesyłania danych między przygotowanym systemem kontrolno-pomiarowym na bazie mikrokontrolera dołączonego do komputera IBM PC za...
-
Computer aided funcional safety assessment
PublicationReferat porusza wybrane zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Podkreśla się znaczenie modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Opisuje się wyznaczanie poziomu nienaruszalności bezpieczeństwa (SIL). W następnym kroku analizy weryfikuje się poziom SIL w procesie modelowania probabilistycznego...
-
Technologie agentowe w elastycznej produkcji.
PublicationNiniejszy artykuł pokazuje możliwości stosowania technologii agentowych w elastycznej produkcji. Na wstępie sformułowano właściwości oprogramowania agentowego wskazując na powiązania dynamicznych metod sztucznej inteligencji z elastycznym wytwarzaniem. Z kolei pokazano przykłady zastosowań systemów rozproszonego rozwiązywania zadań w różnych dziedzinach. Obszerniejszej ocenie poddano przykład praktycznego wdrożenia przemysłowego...
-
The influence of the filler on the magnetic field distribution in ferromagnetic objects.
PublicationDuże obiekty ferromagnetyczne umieszczone w zewnętrznym polu magnetycznym (np. ziemskim polu magnetycznym) ulegają namagnesowaniu. W pewnych przypadkach konieczna jest demagnetyzacja obiektu ferromagnetycznego. Demagnetyzacja polega na umieszczeniu obiektu w wytworzonym w układzie zewnętrznym polu magnetycznym o określonych właściwościach. Jeżeli obiekt ferromagnetyczny posiada duże rozmiary, wówczas jego demagnetyzacja jest problemem...
-
Demagnetyzacja własnego pola obiektu ferromagmetycznego.
PublicationObiekt ferromagnetyczny umieszczony w polu magnetycznym Ziemi ulega namagnesowaniu. W wielu sytuacjach technicznych konieczne jest zlikwidowanie tego namagnesowania nazywane demagnetyzacją. Demagnetyzacja polega na umieszczeniu obiektu w wytworzonym w układzie zewnętrznym polu magnetycznym o określonych właściwościach. Jeżeli obiekt ferromagnetyczny posiada duże rozmiary, wówczas jego demagnetyzacja jest problemem trudnym technicznie....
-
TECHNOLOGIA RADIA PROGRAMOWALNEGO W ZASTOSOWANIACH WOJSKOWYCH
PublicationTechnologia radia programowalnego (Software Defined Radio) jest nowoczesnym rozwiązaniem umożliwiającym realizację urządzeń pracujących w różnego rodzaju systemach łączności radiowej, zarówno cywilnych, jak i wojskowych. W artykule zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Opisano w sposób funkcjonalny platformę sprzętową i programową takiego rozwiązania. Zaprezentowano budowę przykładowej...
-
Implementacja uogólnionego algorytmu szczególnego próbkowania dla wyznaczania harmonicznej podstawowej w środowisku LabVIEW.
PublicationPraca dotyczy opisu oraz implementacji uogólnionego algorytmu szczególnego próbkowania dla wyznaczania amplitudy harmonicznej podstawowej w środowisku LabVIEW. Algorytm szczególnego próbkowania umożliwia wyodrębnienie informacji o wartości amplitudy harmonicznej podstawowej ze spróbkowanego, odkształconego sygnału przy zastosowaniu stosunkowo prostych środków technicznych. Aplikacja może mieć zastosowanie w urządzeniach pomiarowych...
-
Zdalne monitorowanie obiektów wyposażonych w instalację KNX
PublicationW artykule przedstawiono ideę i możliwości techniczne zdalnego monitorowania elementów instalacji elektrycznych wykonanych w standardzie KNX. Pokazano przykłady istniejących rozwiązań komercyjnych oraz ich ograniczenia. Zaprezentowano prototyp aplikacji opracowanej dla systemu Windows w języku C#, wykorzystującej bibliotekę Falcon do komunikacji z magistralą KNX. Umożliwia ona nadzór za pośrednictwem przeglądarki internetowej nad...
-
Problemy jakości w metodach Agile
PublicationZwinne metody wytwarzania osiągnęły w zawrotnym tempie niebywały sukces. Według różnych doniesień od 50 do 70% firm IT stosuje metody zwinne na stałe lub okazjonalnie . Jednak znaczna część firm stosuje wybiórczo praktyki zalecane przez Agile . Jakie to praktyki? Jakie problemy występują przy ich stosowaniu i jak firmy radzą sobie z tymi problemami? Jak wpływają na jakość wytwarzanego oprogramowania? Jakie są warunki krytyczne...
-
Naprawa i wzmocnienie belek korytkowych uszkodzonych wskutek uderzeń pojazdów.
PublicationPrzedstawiono oryginalne rozwiązanie wzmocnienia uszkodzonych udarowo belek strunobetonowych typu korytkowego wiaduktu drogowego w ciągu Obwodowej Trójmiasta. Rozwiązanie polega na wykonaniu naprawy uszkodzonej belki skrajnej poprzez iniekcje i reprofilację, wzmocnienie dźwigara taśmami CFRP, a następnie wykonanie stalowego dźwigara kratowego w położeniu poziomym współpracującego z belkami skrajnymi. W rezultacie uzyskano dźwigar...
-
Podstawy Informatyki 21/22
e-Learning CoursesNauka podstaw programowania i obliczeń związanych z inżynierią środowiska.
-
Programowanie aplikacji GNSS
e-Learning CoursesPrzedmiot ten prowadzony jest na studiach magisterskich, kierunek: Technologie kosmiczne i satelitarne (WETI), II stopnia, stacjonarne.
-
Programowanie Obiektowe - 2023
e-Learning Courses -
Programowanie aplikacji internetowych
e-Learning CoursesKurs "Programowanie aplikacji internetowych" dotyczy projektowania aplikacji internetowych w oparciu o model projektowania ASP.NET MVC (ang. Active Server Pages – Model-View-Controller) z wykorzystaniem języków C# (Back-end), HLML, CSS, Razor (Front-end). Zakres kursu obejmuje: Struktura aplikacji w parciu o model programowania MVC, Kontrolery i metody obsługi zdarzeń – atrybuty ActionVerbs i ActionSelctrors, Projektowanie...
-
Zaawansowane Programowanie 2022
e-Learning Courses -
Programowanie Obiektowe - 2024
e-Learning Courses -
Zaawansowane programowanie 2023
e-Learning CoursesWFTiMS, matematyka, studia II stopnia, I semestr, specjalność „Analityk danych”
-
Zaawansowane programowanie 2024
e-Learning CoursesWFTiMS, matematyka, studia II stopnia, I semestr, specjalność „Analityk danych”
-
Programowanie aplikacji internetowych
e-Learning Courses -
Stanowisko laboratoryjne do transmisji danych pomiarowych z wykorzystaniem magistrali M-Bus
PublicationPrzedstawiono stanowisko laboratoryjne przeznaczone do zdalnego monitorowania zużycia różnych mediów użytkowych z wykorzystaniem magistrali M-Bus. Omówiono również aplikację, przygotowaną w środowisku programowania LabVIEW, której zadaniem jest zapewnienie obsługi i odczytu danych z urządzeń pomiarowych, zgodnie z formatem zdefiniowanym w protokole M-Bus. Podano przykładowe wyniki pomiarów uzyskanych z mierników zainstalowanych...
-
Optymalizacja rozwoju scentralizowanych systemów zasilania w ciepło aglomeracji miejskich.
PublicationPrzygotowano metodę badawczą umożliwiającą optymalizację techniczno-ekonomiczną przedsięwzięć związanych z utrzymaniem, modernizacją oraz rozbudową scentralizowanego systemu zasilania w ciepło, funkcjonującego na obszarze dużego miasta w Polsce. Opracowano model matematyczny systemu uwzględniający wszystkie jego ogniwa w postaci oddzielnych modułów, który umożliwił rozwiązanie sformułowanego problemu optymalizacji z wykorzystaniem...