Filters
total: 1455
filtered: 839
-
Catalog
- Publications 839 available results
- Journals 4 available results
- People 89 available results
- Inventions 6 available results
- Projects 3 available results
- Laboratories 7 available results
- Research Teams 11 available results
- Research Equipment 9 available results
- e-Learning Courses 475 available results
- Events 11 available results
- Offers 1 available results
Chosen catalog filters
Search results for: automatyzacja, oprogramowanie
-
60th anniversary of Department of Manufacturing Engineering and Automation
PublicationThe paper presents the outline history of Department of Manufacturing Engineering and Automation of the Gdansk University of Technology over the span of 60 years - throughout the period 1945-2006.
-
Programowanie działań przestrzennychuwarunkowanych równoważeniem rozwoju regionu
PublicationW artykule przedstawiono zarys badań nad kryteriami wyboru i kolejności działań z zakresu zrównoważonej odnowy przestrzeni miejskiej, które wpisują się w równoważenie rozwoju regionu. W wyniku przeprowadzonych badań stworzony zostanie system kryteriów oceny inwestycji, pozwalający ustalić priorytety działań przestrzennych i odpowiednie instrumenty w skali ponadlokalnej i regionalnej.
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublicationW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
Ośrodki Leczenia Uzależnień - Programowanie i Projektowanie
PublicationProblematyka projektowania i programowania współczesnych ośrodków leczenia uzależnień jest wyzwaniem dla architektów. Nastał właściwy czas dla powstawania nowych, w pełni skutecznych, funkcjonalnie dopracowanych modelowych ośrodków leczenia i opieki nad osobami uzależnionymi. W związku z tym w niniejszym rozdziale zawarto opis zarysu modelowych koncepcji ośrodków leczenia uzależnień oraz zaprezentowano dwa przykłady projektów magisterskich...
-
Nowoczesne sterowanie w oczyszczalniach ścieków - sprzęt i oprogramowanie
PublicationArtykuł jest jedną z publikacji cyklu prezentującego wyniki projektu 5. Programu Ramowego UE ''SMART Control of wastewater systems - SMAC''. W ostatnim dziesięcioleciu w istotny sposób zostały zaostrzone wymagania dotyczące jakości ścieków oczyszczonych. Z drugiej strony, zmienione warunki funkcjonowania gospodarki wymusiły dążenie do obniżania kosztów oczyszczania ścieków. Prowadzi to do ustalania się nowych standardów oceny jakości...
-
Biblioteki cyfrowe budowane w oparciu o oprogramowanie JeromeDL
PublicationOmówiono podstawowe możliwości JeromeDL, oprogramowania do budowy bibliotek cyfrowych, stosującego rozwiązania sieci semantycznych (RDF, DublinCore) oraz standardy biblioteczne (MARC21, BibTeX). Przedstawiono mpraktyczne zastosowaniaoprogramowania JeromeDL do tworzenia bibliotek cyfrowych w Bibliotece Głównej Politechniki Gdańskiej (WBSS PG) i Bibliotece Głównej Politechniki Warszawskiej.
-
Automatyzacja procesu modelowania geometrycznych obiektów 3Dz wykorzystaniem "Modellera" programu polowego Opera 3D
PublicationW zagadnieniach optymalizacyjnych, w których wykorzystuje się programy polowe istnieje konieczność wprowadzenia zmian w geometrii obiektu i wykonania ponownych obliczeń. Często zachodzi potrzeba budowy modelu 3D od podstaw. Rozwiązaniem jest automatyzacja tego procesu.W pracy omówiono sposób automatycznego załadowania instrukcji wykonywanych automatycznie przez "Modeller" programu Opera 3D. Pokazano sposób parametryzowania geometrii...
-
Algorytmy radiowego kolorowania grafów. XIII Krajowa Konferencja Automatyzacji Procesów Dyskretnych.
PublicationW pracy opisane są podstawowe zasady i właściwości radiowego kolorowania grafów. Podane są oszacowania radiowej liczby chromatycznej grafu w przypadku ogólnym, dla ścieżek i cykli oraz dokładne wartości radiowej liczby chromatycznej dla grafów pełnych k-dzielnych, kół i dwugwiazd. Zamieszczono także przykładowe wyniki porównania dobroci suboptymalnych, sekwencyjnych algorytmów radiokolorowania grafów.
-
Współbieżność w obiektowych językach programowania.
PublicationPraca przedstawia koncepcje współbieżności i ich implementacje w językach programowania. Analizuje się efektywność rozwiązań i zwraca uwagę na problemy dotąd nierozwiązane.
-
Zjawisko wyścigu w programowaniu współbieżnym
PublicationW rozdziale przedstawiono omówienie podstawowego problemu, z jakim, prędzej czy później, styka się każdy programista piszący oprogramowanie wykorzystujące współbieżność. W praktyce będzie to każdy programista starający się w pełni wykorzystywać moc obliczeniową współczesnych wielordzeniowych procesorów i akceleratorów
-
Wzajemne wykluczanie w programowaniu współbieżnym
PublicationW rozdziale opisano wzajemne wykluczanie wątków w programach współbieżnych. Przedstawiono zarówno podejście proceduralne (semafory), jak i obiektowe (monitory). Omówiono sposoby działania obu mechanizmów synchronizacji oraz różnice pomiędzy nimi. Sposoby użycia omawianych mechanizmów zostały zilustrowane wzorcami: wzajemnego wykluczania oraz producent–konsument.
-
Strategia doboru oprogramowania optymalizacji transportu - przykład aplikacyjny
PublicationW artykule pokazano praktyczne wdrozony w praktyce przemysłowej komputerowo wspomagany system optymalizacji transportu. Na wstepie scharakteryzowano wyjsciową sytuację decyzyjną przedsiebiorstwa w połączeniu z jego parametrami logistycznymi. Z kolei pokazano techniki i narzedziaorganizacji projektu IT z wykorzystaniem modeli referencyjnych ładu korporacyjnego, na przykłądzie kaskadowego modelu życia systemu IT, procesowo-projektowej...
-
Identyfikacja modułów oprogramowania na poziomie kodu maszynowego
PublicationPoruszono zagadnienia porównywania elementów programów w postaci kodów binarnych. Identyfikacja podobnych do identycznych fragmentów kodu w różnych programach może stanowić podstawę do wyodrębnienia tych kodów i nadania im postaci bibliotek powszechnego użytku. W artykule pokazano wybrane metody identyfikacji takich modułów, jak również przeedstwaiono aplikację używaną do porównywania modułów oprogramowania.
-
Analiza możliwości poprawy wydajności oprogramowania systemów sieciowych
PublicationZaprezentowano dwie metody poprawy wydajności aplikacji sieciowych: zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela oraz wykorzystanie wielordzeniowej natury nowych procesorów. Wskazano, że zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela wiąże się z ryzykiem utraty stabilności jądra systemu. Wykorzystanie tej metody związane jest również z niebagatelnym nakładem inżynierskim...
-
Model zarządzania zasobami oprogramowania w organizacjach gospodarczych
Publication.
-
Monitorowanie systemów wieloagnetowych z uzyciem oprogramowania Nagios
PublicationPrzyjęte rozwiązanie polega na rozszerzeniu Nagios w części dotyczącej jego wtyczek o jedną komendę (parallel_check), która pozwoli wielokrotnie – zamiast jednokrotnie – wykonać zdefiniowany dla elementu program testujący. Dodatkowo wykorzystuje się przy tym fakt, że pole address w definicji hosta nie jest interpretowane, a jedynie przechowywane i udostępniane przez Nagios. Wymienione elementy pozwalają na skonstruowanie warstwy...
-
Nowe podejście do oceny szacowania złożoności oprogramowania
PublicationW tej publikacji przedstawione zostały metody szacowania złożoności oprogramowania oraz ich proponowane modyfikjacje. Szacowanie złożoności jest niezbędne podczas realizacji projektu informatycznego w celu określenia jego kosztów związanych z koniecznością wykorzystania zasobów, by w rezultacie mozna było uzyskać zamierzony efekt, jakim jest dostarczenie klientowi satysfakcjonującego go produktu. Najpierw przedstawiony został teoretyczny...
-
STEVAL-MKI063V1, Przykład oprogramowania akcelerometrui magnetometru LSM303DLH
PublicationW artykule opisano moduł STEVAL-MKI1063V1 oparty na układzie LSM303DLHzawierającym akcelerometr i magnetometr oraz przedstawiono sposób komunikacji z nim z poziomu komputera PC na przykładzie aplikacji napisanej w języku C++/CLI (.NET).
-
Ryzyko etyczne w procesie wytwarzania oprogramowania [online]
PublicationW artykule rozpatrywane są współczesne problemy wytwarzania oprogramowania. Jednym z możliwych sposobów ich rozwiązywania jest uwzględnienie w procesie wytwarzania zagadnień ryzyka etycznego, rozumianego jako zagrożenia, jakie dla sukcesu przedsięwzięcia stwarzają problemy etyki podejmowanych decyzji, odstępstwa od obowiązującego prawa, uwarunkowań polityki prowadzenia projektu, wpływu projektu na ludzi, biorących w nim udział...
-
Programowanie rewitalizacji a planowanie miejscowe - o problemie koordynacji
PublicationArtykuł dotyczy znaczenia nowego narzędzia planistycznego jakim jest miejscowy plan rewitalziacji. W artykule przedstawiono podstawowe kwestie związane z jego wprowadzaniem w kontekście obecnej sytuacji prawnej
-
"Oprogramowanie CFD narzędziem modelowania przepływów występujących w urządzeniach energetycznych"
PublicationOprogramowanie CFD umożliwia między innymi modelowanie przepływów występujących w urządzeniach energetycznych. Poprawnie utworzony model numeryczny stanowi zatem narzędzie analizy pracy poszczególnych urządzeń w interesujących nas warunkach projektowych, a także narzędzie diagnostyki już istniejących obiektów. Niniejsze opracowanie stanowi opis kolejnych etapów tworzenia modelu numerycznego, na przykładzie niskotemperaturowego...
-
Komputerowa technika pomiarowa : oprogramowanie wirtualnych przyrządów pomiarowych w LabVIEW
PublicationKsiążkę rozpoczyna omówienie pojęcia przyrządu wirtualnego, struktury przyrządów i ich klasyfikacji. Podano przykłady przyrządów wirtualnych, stanowiących zarówno odpowiedniki przyrządów rzeczywistych, jak i nietypowych, do specjalistycznego zastosowania. Następnie dokonano przeglądu metod programowania przyrządów wirtualnych, m.in. z użyciem środowisk LabWindows/CVI, TestPoint i DASYLab. Zasadniczą część książki zajmuje szczegółowy...
-
Zasady programowania i projektowania obiektow aquaparków.
Publication -
Maszyny wirtualne jako warstwa pośrednia w oprogramowaniu systemowym
PublicationZaprezentowano pojęcie maszyny wirtualnej oraz podstawowedefnicje związane z wirtualizacją zasobów. Przedstawiono warstwowy model systemu komputerowego i jego rozwinięcia z uwzględnieniem warstwy maszyny wirtualnej. Podano klasyfkację maszyn z punktu widzenia aplikacji użytkowej i systemu operacyjnego. Dokonano porównania poszczególnych kategorii maszyn wirtualnych.
-
Testowanie w przyrostowym i ewolucyjnym cyklu życia oprogramowania
PublicationArtykuł prezentuje doświadczenia dotyczące procesu testowania złożonego systemu internetowego rozwijanego w okresie ostatnich pięciu lat. System ten powstaje w cyklu przyrostowym i ewolucyjnym, przechodząc do kolejnych wydań. Rozróżniono wydania główne, które są poprzedzane pełnym zakresem testów regresji oraz wydania rozszerzające, gdzie zakres testowania jest zawężony. Wyjaśniono miejsce procesu testowania w kontekście zarządzania...
-
Modelowanie światłowodowych sensorów polarymetrycznych za pomocą oprogramowania LabVIEW
PublicationW komunikacie opisano aplikację umożliwiającą modelowanie pracy polarymetrycznych sensorów światłowodowych. Aplikacja ta, napisana w oparciu o platformę LabVIEW, umożliwia wyznaczenie odpowiedzi rzeczywistego sensora polarymetrycznego wykorzystującego monochromatyczne źródło światła. Omówiono problemy występujące w tworzeniu aplikacji do modelowania w graficznym środowisku do tworzenia aplikacji i zaprezentowano wybrane wyniki...
-
Integracja modelowania i implementacji oprogramowania w metodzie IMAC.
PublicationDotychczasowa technologia wytwarzania oprogramowania akceptuje występowanie niespójności pomiędzy modelowaniem w języku UML a implementacją w obiektowych językach programowania. Metoda IMAC zapewnia spójność przez zastosowanie jednolitej notacji graficznej w całym projekcie informatycznym. Dzięki temu implementacja zostaje sprowadzona do uszczegółowienia diagramów projektowych i wygenerowania gotowego, funkcjonalnego kodu programu....
-
Jakość i bezpieczeństwo oprogramowania systemu E/E/PE .
PublicationPrzedstawiono wymagania dla bezpieczeństwa oprogramowania systemu E/E/PE w cyklu życia według EN 61508 - 3 oraz problemy związane z projektowaniem, budową, weryfikacją i walidacją modułów oprogramowania. Ukazano również problematykę związaną z integrowaniem oprogramowania ze sprzętem i wymaganiami dotyczącymi certyfikacji systemu.
-
Projekt systemu nagłośnieniowego z wykorzystaniem oprogramowania CATT-Acoustic.
PublicationW niniejszej pracy zawarto projekt modelu akustycznego sali audytoryjnej oraz weryfikację charakterystyk pola akustycznego tego modelu w oparciu o program CATT-Acoustic. W pracy przedstawiono również projekt systemu nagłośnienia modelowanej sali audytoryjnej, który z punktu widzenia właściwości akustycznych powinien zapewnić jak najlepszą zrozumiałość mowy. Dokonano analizy porównawczej pola akustycznego bez oraz z zaimplementowanym...
-
Integracja Inżynierii oprogramowania, inżynierii dokumentu i inżynierii wiedzy
PublicationW artykule przedstawiono postępy w nowej dziedzinie inżynierii dokumentu, umożliwiające reprezentowanie i przetwarzanie informacji w postaci czytelnej równocześnie dla człowieka i komputera. Jest to nowe wyzwanie dla zmian w tradycyjnie pojmowanym cyklu życia produktu informatycznego, gdyż procesy i produkty oprogramowania stają się w sposób naturalny realizacją ludzkich przedsięwzięć.
-
Zarządzanie zmianami i modelowanie rozmyte w inżynierii oprogramowania
PublicationW artykule przedstawiono możliwości wykorzystania wiedzy z zakresu zarządzania oraz sztucznej inteligencji do kontrolowania budżetu i czasu realizacji przedsięwzięcia informatycznego. Na wstępie przedstawiono problemy zarządzania przedsięwzięciami informatycznymi, odnoszące się do planowania i kontrolowania procesów i zespołów wytwórczych. Następnie scharakteryzowano wiedzę z zakresu zarządzania zmianami oraz modelowania rozmytego...
-
Krytyczna ocena stanu badań interdyscyplinarnych w inżynierii oprogramowania
PublicationRozwiązywanie problemów pozatechnicznych w projektach informatycznych może być ułatwione na skutek zastosowania wyników badań interdyscyplinarnych w inżynierii oprogramowania. W tym rozdziale dokonano krytycznej oceny najnowszych badań z tego obszaru pod względem dojrzałości zastosowanej metodologii badań oraz praktycznej użyteczności wyników.
-
Efektywne programowanie procesora TMS320C6711 przy użyciu pakietu SIMULINK.
PublicationW artykule opisano alternatywny, w stosunku do standardowych metod kodowania, sposób programowania procesora TMS320C6711 z wykorzystaniem bibliotek pakietu SIMULINK. Scharakteryzowano własności karty uruchomieniowej ze zmiennoprzecinkowym procesorem sygnałowym TMS320C6711 firmy Texas Instruments, pod kątem tworzenia programów do układów prototypowych. Opisano także cechy pakietu SIMULINK jako wydajnego narzędzia pozwalającego na...
-
Cztery algorytmy, które wstrząsnęły światem. Część III: Sprzęt czy oprogramowanie
PublicationW ostatniej części tryptyku poruszamy problem przyjaznego rysowania grafów oraz prezentujemy algorytmy dla szybkiego mnożenia macierzy. Nasze rozważania kończymy ilustracją postępu w dziedzinie sprzętu i oprogramowania
-
Cztery algorytmy które wstrząsnęły światem. Część III: Sprzęt czy oprogramowanie
PublicationW trzecim odcinku cyklu poruszono problem przyjaznego rysowania grafów oraz zaprezentowano algorytmy dla szybkiego mnożenia macierzy, a więc problemu, który pojawia się w każdej nauce inżynieryjnej. Rozważania ogólne zamknięto ilustracją postępu, jaki dokonał się w zakresie sprzętu liczącego i oprogramowania.
-
Oprogramowanie do modelowania i analizy rozpływu ciepła w strukturach warstwowych
Publication.
-
Oprogramowanie Saphira do rozmytej autonomicznej nawigacji robota mobilnego Pioneer 2CE
PublicationPraca obejmuje analizę wykorzystania logiki rozmytej do nawigacji autonomicznego robota mobilnego Pioneer 2CE w nieznanym otoczeniu, przy użyciu architektury oprogramowania Saphira. W opracowaniu przestawiono podstawy rozmytej nawigacji, strukturę sterownika rozmytego i architekturę oprogramowania Saphira. Przedstawiono platformę mobilną Pioneer 2CE, symulator robota i sposób jego sterowania.
-
3d imaging software tools for multibeam sonar data
PublicationArtykuł porusza problem trójwymiarowej wizualizacji dna morskiego na podstawie danych pochodzących z systemu wielowiązkowego. W prezentowanym systemie wykorzystano trzy technologie programistyczne do wytwarzania grafiki 3D (C++ OpenGL, Java 3D, Java OpenGL). W artykule przedstawiono problemy, na które natknięto się podczas tworzenia systemu coraz omówiono sposoby ich rozwiązywania.
-
Nowe rozwiązania automatyzacji procesu łączenia obiektów elektroenergetycznych do pracy równoległej / G. Redlarski.
PublicationDoświadczenia ostatnich lat wskazują, że w licznych sytuacjach ruchowych proces wprowadzania do pracy równoległej kolejnego, elektroenergetycznego obiektu wytwórczego powinien być możliwie krótki, a przebieg tego procesu powinien być monitorowany. W dotychczasowych rozwiązaniach, metody synchronizacji czas trwania procesu synchronizacji traktują drugorzędnie, dążąc do realizacji procesu łączenia z jak największą dokładnością, a...
-
MOŻLIWOŚCI POPRAWY PROCESU WYTWARZANIA OPROGRAMOWANIA W MAŁYCH FIRMACH INFORMATYCZNYCH
PublicationW artykule wykazano, że jest możliwa poprawa jakości procesu wytwarzania oprogramowania poprzez wdrożenie zaleceń standardu CMMI oraz wykorzystywanie doświadczeń z poprzednich udanych i udokumentowanych projektów. Wykazano znaczącą rolę szablonów dokumentacji w poprawie jakości procesu. Przeanalizowano praktyczne konsekwencje nierównomiernego zapotrzebowaniu na zasoby i zmiennej w czasie intensywności prac w cyklu życia oprogramowania....
-
Zwinne wytwarzanie oprogramowania - praktyki wspierane w środowisku IBM Jazz
PublicationW artykule zostało zaproponowane wykorzystanie technologii IBM Jazz w kontekście pracy grupowej proponowanej przez zwinne metodyki takie jak Scrum czy Disciplined Agile Delivery
-
Zastosowanie technologii Web Farming dla poprawy procesu wytwarzania oprogramowania
PublicationW pracy zaprezentowano koncepcję wykorzystania technologii Web Farming wsieci intranet firmy produkcyjnej. Oprogramowanie w celu poprawy procesu wy-twórczego. Przedstawiono ogólną architekturę systemu oraz sposób jego wyko-rzystania przez różne grupy udziałowców procesu wytwarzania oprogramowania.
-
Współczesne metody zapewniania jakości oprogramowania. Od klasyki do zwinności
PublicationKsiążka opisuje problematykę jakości w kontekście metod wytwarzania oprogramowania. Składa się z 22 rozdziałów podzielonych na 6 części: Znaczenie jakości oprogramowania, Podstawowe pojęcia i problemy jakości, Jakość w ujęciu klasycznym, Pomiary jakości, Dokumentacja i normy jakości procesu, Jakość w podejściu zwinnym. Zebrany materiał pokazuje ewolucję podejścia do jakości w klasycznych metodykach wytwarzania (od modelu kaskadowego...
-
Jakość oprogramowania w zwinnym podejściu do zarządzania projektami informatycznymi
PublicationCel: Celem artykułu jest ocena, czy wykorzystanie podejścia zwinnego Scrum w organizacji podnosi jakość wytwarzanego oprogramowania oraz próba uzyskania odpowiedzi na pytanie, jak nowelizacja Przewodnika po Scrumie (Scrum Guide) z listopada 2020 roku wpłynęła na proces wytwarzania oprogramowania. Projekt badania/metodyka badawcza/koncepcja: Przyjętą metodyką badawczą jest przegląd literatury przedmiotu oraz badania własne autora....
-
Charakterystyka i przegląd oprogramowania open source dla zastosowań biznesowych.
PublicationW niniejszym artykule została dokonana analiza porównawcza powszechnie używanego oprogramowania komercyjnego i oprogramowania open source opartego na licencji GPL. Jako, że produkty open source obecnie zdobywają rynek aplikacji biznesowych, zawarto przegląd obecnie dostępnych narzędzi informatycznych w ramach tej grupy - od niezbędnych każdemu przedsiębiorstwu pakietów biurowych po zintegrowane systemy klasy ERP. Przedstawiono...
-
Automatyzacja projektowania kształtu urządzeń mechanicznych na podstawie wymagań funkcjonalnych przy wykorzystaniu obiektowo-regułowego systemu ekspertowego.
Publication.
-
Architektura i programowanie inteligentnych sterowników opartych na układach mikroprocesorowych.
PublicationZaprezentowano zasoby i architekturę mikrokontrolerów. Przedstawiono ideę sterowania z wykorzystaniem systemu komputerowego oraz kryteria doboru komputera do realizacji programów sterujących obiektami w czasie rzeczywistym. Scharakteryzowano metody wymiany informacji systemu komputerowego z otoczeniem. Wskazano na możliwości rozbudowy zasobów mikrokontrolera. Opisano przykładową aplikację.
-
Oprogramowanie do doboru charakterystyk modelu propagacyjnego na potrzeby projektowania sieci kognitywnych
PublicationKoncepcja sieci kognitywnej, czyli „inteligentnej” sieci radiowej dostosowującej swoje parametry do zmieniającego się wokół środowiska propagacyjnego, jest przyszłością dla komunikacji radiowej. Opracowane oprogramowanie symuluje działanie radia kognitywnego i ma pomóc w procesie projektowania rzeczywistych systemów radiowych, wykorzystując do tego celu mapę cyfrową. W artykule zostanie przedstawiona idea radia kognitywnego, zastosowane...
-
Object oriented grid computing for computational electromagnetics
PublicationArtykuł opisuje bibliotekę WiCommGrid napisaną w języku java, która realizuje ideę wymiany informacji pomiędzy węzłami środowiska rozproszonego z zastosowaniem programowania zorientowanego obiektowo. Biblioteka ta przystosowana jest do współdziałania z wieloma systemami operacyjnymi oraz z rożnym środowiskiem sprzętowym. Zbudowaną aplikację zastosowano do zrównoleglonych obliczeń rozkładu pola elektromagnetycznego w oparciu o algorytm...
-
Możliwości i ryzyka związane z automatyzacją weryfikacji pracy studentów na przykładzie przedmiotu Metrologia
PublicationPrzedmiot Metrologia jest wykładany na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej na trzecim semestrze studiów na trzech kierunkach: Elektronika i Telekomunikacja, Inżynieria Biomedyczna oraz Automatyka, Cybernetyka i Robotyka. W trakcie zajęć laboratoryjnych studenci wykonują sześć ćwiczeń, z których dwa są całkowicie oceniane przez program weryfikujący...