Filters
total: 747
-
Catalog
Search results for: STROJENIE I WERYFIKACJA OPROGRAMOWANIA
-
Diagnostyka cieplno-przepływowa obiektów energetycznych.
PublicationPrzedyskutowano problemy diagnostyki cieplno-przepływowej bloków energetycznych. Szczególną uwagę poświęcono blokom z turbinami parowymi. Opisano problemy monitoringu i diagnostyki. Przedstawiono koncepcję diagnostyki. Opisano modele matematyczne obiektów energetycznych i ich strojenie. Zidentyfikowano stan referencyjny. Scharakteryzowano pozyskiwanie danych eksperymentalnych. Zajęto się diagnostyką w warunkach niepełnej informacji...
-
Elżbieta Zamiar dr inż.
PeopleElżbieta Zamiar adiunkt na wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej w Katedrze Inżynierii Oprogramowania. Praktyk informatyk.
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Badania efektywności energetycznej pompy ciepła typu GEJZER KOMPAKT W 11
PublicationBadania eksperymentalne, analizy teoretyczne oraz weryfikacja klasy energetycznej sprężarkowej pompy ciepła woda-woda typu GEJZER KOMPAKT W 11 w świetle wymagań Dyrektywy Parlamentu Europejskiego
-
System monitoringu technicznego w obiektach mostowych - niezbędne czy przydatne?
PublicationW pracy przedstawiono rozważania na temat zasadności stosowania systemów monitoringu technicznego w mostach. Wskazano rodzaje systemów oraz przykłady zastosowań: utrzymanie, bezpieczeństwo oraz weryfikacja założeń projektowych.
-
Dariusz Świsulski dr hab. inż.
People -
Marek Olesz dr hab. inż.
PeopleWydział Elektrotechniki i Automatyki, Prodziekan ds. rozwoju dr hab. inż. Marek Olesz, prof. PG data urodzenia 1966 wykształcenie Politechnika Gdańska, Wydział Elektryczny (1990) stopień / tytuł naukowy doktor habilitowany – Politechnika Gdańska, Wydział Elektrotechniki i Automatyki (2017), doktor – Politechnika Gdańska, Wydział Elektrotechniki i Automatyki (1998) zatrudnienie Politechnika Gdańska: asystent stażysta (1989 –...
-
A method of supporting client-provider cooperation in software acquisition processes and its evaluation criteria
PublicationArtykuł przedstawia metodę Wspomagania Interakcji KLienta i Dostawcy Oprogramowania (WIKLIDO). Metoda ta została zpowodzeniem zastosowana w dwóch studiach przypadków w komercyjnych projektach pozyskiwania oprogramowania. Artykuł wyjaśnia w jaki sposób metoda wykorzystuje środki modelowania do usystematyzowania interakcji pomiędzy klientem i dostawcą oprogramowania. Przedstawia również w jaki sposób wykorzystano podejście GQM (ang....
-
Marcin Kulawiak dr hab. inż.
People -
Aktualizacja współczynnikór równoważności pojazdów ciężarowych i autobusów
PublicationW artykule przedstawiono metodę analizy oddziaływania ruchu pojazdów ciężarowych na nawierzchnię drogowe przy wykorzystaniu wyników ważenia pojazdów w ruchu (WIM). Celem analizy jest weryfikacja obowiązujących w polsce współczynników przeliczeniowych pojazdów.
-
Arkadiusz Szewczyk dr inż.
PeopleArkadiusz Szewczyk obtained his MSc title in electronics, specialization electronic equipment at Gdańsk University of Technology, Faculty of Electronics, Telecommunications and Informatics. The PhD title he obtained in 2002 as a result of cooperation between GUT and l' Institut National Polytechnique de Grenoble, France, where he was a student of doctoral college. Currently he is an assistant professor in Department of Metrology...
-
Metodologia i techniki programowania
PublicationKsiążka jest syntetycznym wprowadzeniem do technik programowania. Omawia podstawowe trendy rozwoju metodologii wytwarzania oprogramowania, takie jak: metody strukturalne, obiektowe, narzędzia CASE, standaryzacje programów i ocenę złożoności oprogramowania. Pokazuje również, jak projektować kodować, testować i uruchamiać programy, aby były niezawodne i efektywne. Naszkicowano w niej możliwości środowisk wytwarzania oprogramowania....
-
Artificial intelligence for software development — the present and the challenges for the future
PublicationSince the time when first CASE (Computer-Aided Software Engineering) methods and tools were developed, little has been done in the area of automated creation of code. CASE tools support a software engineer in creation the system structure, in defining interfaces and relationships between software modules and, after the code has been written, in performing testing tasks on different levels of detail. Writing code is still the task...
-
Komputerowe wspomaganie diagnostyki układu oddechowego człowieka
PublicationCelem pracy jest weryfikacja praktycznej przydatności parametrów modelu procesu respiracji w diagnostyce układu oddechowego. Modelowanie oparto o wyniki badania układu oddechowego techniką oscylacji wymuszonych. Zaprezentowano dwa modele wymiany gazowej: czteroparametrowy i sześcioparametrowy.
-
Application of programs ''Robot Millenium'' and MSC.Marc for membrane structures analysis.
PublicationCelem pracy jest weryfikacja obliczeń numerycznych przykryć wiszących dostępnymi na rynku programami komercyjnymi ''Robot Millenium'' i ''MSC.Marc'' W publikacji ograniczono się do analizy statycznej z uwzględnieniem nieliniowości geometrycznej i izotropowego prawa konstytutywnego.
-
Umysł kontra umysł - zagrożenia i metody walki ze złośliwym oprogramowaniem
PublicationZaprezentowano aktualny stan wiedzy na temat malware – złośliwego oprogramowania. Na początku przedstawiane są definicje malware oraz motywacja osób rozwijających takie oprogramowanie, a następnie klasyfikacja malware. W dalszej części referatu zaprezentowano autorski, możliwie kompletny, cykl życia złośliwego oprogramowania. Kolejny fragment poświęcony jest technikom, jakie stosują twórcy złośliwego oprogramowania w celu utrudnienia...
-
Grzegorz Lentka dr hab. inż.
PeopleGrzegorz Lentka obtained his MSc title in electronics, specialization Measurement Systems at Gdańsk University of Technology, Faculty of Electronics, Telecommunications and Informatics in 1996. He obtained the PhD title in 2003 and habilitation in 2014, respectively. Currently he is an professor in Department of Metrology and Optoelectronics. His main scientific interests are focused on digital signal processing for metrology,...
-
Experimental evaluation of the PLC-controlled drives properties.
PublicationPrzedstawiono strukturę stanowiska laboratoryjnego do testów oprogramowania PLC do sterowania napędami oraz do prowadzenia eksperymentalnych prób takich napędów. Omówiono zasady prowadzenia testów oprogramowania przed i w trakcie uruchamiania napędu. Przedstawiono przykładowe rezultaty doświadczeń.
-
Selected problems of determining an efficient operation standard in contemporary heat-and-flow diagnostics
PublicationW referacie wymieniono przyczyny powodujące niejednoznaczności i trudności wyznaczania wzorca sprawnej pracy turbinowych siłowni lądowych i morskich. Przeanalizowano dwie z tych przyczyn: obniżenie wartości parametrów dolotowych czynników roboczych oraz zmiany w konfiguracji połączeń pomiędzy urządzeniami składowymi obiegów cieplnych. Jako remedium na wynikające stąd trudności zaproponowano model obliczeniowy obiegu cieplnego o...
-
Trzy perspektywy
PublicationW artykule scharakteryzowano Model Współpracy Klient-Dostawca Oprogramowania (MWKDO) i przedstawiono i przedstawiono doświadczenia wynikające z jego zastosowania. Swoją opinię wyrazili klient, czyli Swissmed Centrum Zdrowia SA, dostawca oprogramowania e-MedSolution, firma ISH oraz współautorzy Modelu, pracownicy Politechniki Gdańskiej.
-
Multidimensional legacy aspects of modernizing web based systems
PublicationPublikacja porusza zagadnienia technik modernizacji tzw. legacy systems mających zastosowanie w cyklach życia oprogramowania. Przedmiotem dyskusji jest także studium przypadku Endoscopy Recommender System. Ponadto rozważany jest wpłw zmian wymagań, platform, standardów oraz strategii rozwoju oprogramowania na status legacy aplikacji webowych.
-
Safety of computer control systems: challenges and results in software development.
PublicationArtykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.
-
Obsługa danych radarowych w rozproszonym systemie komunikacji i nadzoru projektu STRADAR
PublicationJednym z zadań rozszerzenia projektu STRADAR jest zrealizowanie zaawansowanego przetwarzania (reduplikacja, multifuzja) i prezentacji danych pochodzących z urządzeń radarowych znajdujących się pod kontrolą Morskiego Oddziału Straży Granicznej. W artykule przedstawiono założenia dla realizacji oprogramowania fuzji danych radarowych w serwerach archiwizacji, ogólną strukturę podsystemu obsługi danych radarowych, moduły wejściowe...
-
SDL i prosty scheduler - zastosowania.
PublicationRozdział przedstawia uzupełnienia, usprawnienia i zastosowania prostego schedulera zaproponowanego w [1]. Podstawowym uzupełnieniem jest powiązanie funkcji schedulera z językiem specyfikacji protokołów telekomunikacyjnych SDL [2]. Pokazano na czym polega problem w odmierzaniu czasu w ''procesach'' obsługiwanych przez scheduler oraz istotne ograniczenia mechanizmu odmierzania czasu w systemach warstwowych. Zaproponowano rozwiązania...
-
Dawid Ryś dr hab. inż.
PeopleCourses PRINCE2® Foundation Certificate in Project Management Tire-Pavement Interaction course Micromechanical Analysis of Asphalt Concrete
-
Metody testowania platformy KASKADA
PublicationW rozdziale przedstawiono wykorzystywany iteracyjny i inkrementalny proces wytwarzania oprogramowania, ze szczególnym uwzględnieniem planowania, wykonywania i śledzenia testów oprogramowania platformy KASKADA. Zaprezentowano model V i przykłady testów jednostkowych, systemowych, wydajnościowych i wiarygodnościowych. Przedstawiono wybrane wyniki testów oraz ich wpływ na konstrukcję platformy.
-
Ziemowit Suligowski prof. dr hab. inż.
People -
Charakterystyka badań i metod projektowania pali przemieszczeniowych wkręcanych
PublicationCharakterystyka dotychczasowych badań pali przemieszczeniowych wkręcanych, zrealizowanych za granicą i w kraju. Przedstawienie kilku metod obliczania nośności pali przemieszczeniowych wkręcanych, zaproponowanych przez autorów zagranicznych. Porównanie wyników obliczeń na przykładzie rzeczywistym z praktyki i weryfikacja z wynikami badania pala w terenie.
-
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.
-
Teoria i praktyka testowania programów
PublicationKsiążka stanowi doskonałą pomoc w nauczaniu problematyki z zakresu programowania, jakości programowania, planowanie i zarządzanie procesami wytwórczymi oprogramowania, a zawarte w niej treści są przydatne zarówno testerom, analitykom, projektantom, programistom, kierownikom projektów, jak też administratorom i osobom odpowiedzialnym za zakup, eksploatację i pielęgnacją oprogramowania w firmie.
-
Walidacja modelu pary mokrej przez porównanie z eksperymentem
PublicationW artykule opisano model homogenicznej nierównowagowej kondensacji pary wodnej. Weryfikacja modelu została przeprowadzona w oparciu o eksperyment z dyszą de Lavala pracującą w warunkach kondensacji. W pracy zawarto porównanie wyników numerycznych z danymi z eksperymentu przeprowadzonego w IMP. Przedstawiono również krótki wstęp teoretyczny.
-
Jarosław Chojnacki prof. dr hab. inż.
PeopleBorn in 1961 in Bydgoszcz, professional education started at the Chemical Technical Highschool (I. Łukasiewicz). He graduated from the Faculty of Chemistry at the Gdańsk University of Technology in 1986, defending the work on ion-selective electrodes. Subsequent studies were related to organic and siliconorganic synthesis and, from 2002 year on, to crystallography. The doctoral thesis concerned the Silanotiolanes of coinage metals...
-
Opinia geotechniczna dotycząca projektu budowlanego Ocena rozwiązań konstrukcyjnych elementów posadowienia obiektów inżynierskich w ciągu drogi ekspresowej S7 na odcinku Koszwały – Kazimierzowo
PublicationPrzedmiotem opracowania jest ocena rozwiązań posadowienia obiektów inżynierskich w ciągu drogi ekspresowej S7 na odcinku Koszwały – Kazimierzowo, przedstawionych przez Transprojekt Gdański Sp. z o.o., ul. Partyzantów 72A, 80-254 Gdańsk. Weryfikacja obejmuje: Zadanie 1: Koszwały– Nowy Dwór Gdański; Zadanie 2: Nowy Dwór Gdański – Kazimierzowo
-
Proposal for calculating the bearing capacity of screw displacement piles in non-cohesive soils based on CPT results
PublicationPrzedstawienie wyników badań terenowych pali przemieszczeniowych wkręcanych, zrealizowanych w ramach projektu badawczego MNiSW. Propozycja dwóch metod obliczania nośności pali przemieszczeniowych wkręcanych w niespoistym podłożu gruntowym na podstawie wyników badań CPT. Metody dostosowano do wytycznych Eurokodu 7. Weryfikacja metod obliczeniowych z wynikami badań terenowych pali.
-
Inżynieria materiałów polimerowych - seminarium dyplomowe
e-Learning CoursesWdrożenie metodyki prowadzenia pracy naukowej. Weryfikacja rezultatów badań prowadzonych w ramach prac magisterskich.
-
Application of Knowledge Views = Zastosowanie widoków na bazę wiedzy
PublicationW artykule przedstawiono koncepcję widoków na bazę wiedzy i jej zastosowanie w inżynierii systemów. Praca ma na celu przybliżenie inżynierii wiedzy i technologii Semantic Web inżynierowi oprogramowania oraz programiście. Cel ten osiągany jest poprzez upodobnienie baz wiedzy do relacyjnych lub obiektowych baz danych oraz poprzez stosowanie wzorców znanych w inżynierii oprogramowania.
-
Knowledge management embedded in software engineering processes
PublicationW pracy przedstawiono model systemu pozyskiwania wiedzy zawartej w procesach inżynierii oprogramowania.
-
Tomasz Dziubich dr inż.
PeopleScientific projects and grants Internet platform for data integration and collaboration of medical research teams for the stroke treatment centers 2013 - 2016 MAYDAY EURO 2012 Supercomputer Platform for Context Analysis of Data Streams in Identification of Specified Objects or Hazardous Events – task 4.2 (Development of algorithms and applications supporting medical diagnosis), 2008-2012 Other GrandPrix on trade show ...
-
Dynamic range comparison of voltage-mode and current-mode state-space Gm-Cbiquad filters in reciprocal structures
PublicationW pracy dokonano porównania zakresu dynamicznego bikwadratowych filtrówGm-C zmiennych stanu, których struktury układowe oparte są na zasadzie tran-sformacji układu dołączonego. Przeprowadzono rozważania teoretyczne w wynikuktórych określono ogóne formuły zakresu dynamicznego dla klasy filtrów Gm-Ctrybu napięciowego i prądowego. Weryfikacja rezultatów teoretycznych byłazrealizowana za pomocą symulatora SPICE.
-
Jacek Alenowicz dr inż.
PeopleI am a Faculty member (Docent, Highway and Transportation Research Department) at the Faculty of Civil and Environmental Engineering, Gdańsk University of Technology, Poland).My main research interests include: pavement structures, pavement subgrade, recycling of road pavements (especially hot and warm recycling technologies), geosynthetics in road construction, especially construction and maintenance of pavement structures.My...
-
Krzysztof Bikonis dr inż.
People -
KLASYFIKACJA STANU TECHNICZNEGO UKŁADU WTRYSKOWEGO SILNIKA Z ZAPŁONEM SAMOCZYNNYM NA PODSTAWIE POMIARU SKŁADU SPALIN
PublicationArtykuł przedstawia wyniki empirycznej weryfikacji hipotezy pozwalającej na opracowanie sprzętowo – programowego klasyfikatora stanu technicznego układu wtryskowego silnika z zapłonem samoczynnym. Pozytywna weryfikacja wspomnianej hipotezy, która wiąże przebieg procesu spalania, skład chemiczny spalin oraz wybrane stany niesprawności technicznej układu wtryskowego pozwoliła na przedstawienie koncepcji klasyfikatora w rozpatrywanym...
-
Nowa metoda kalibracji woltamperometrii stałoprądowej
PublicationW artykule omówiono no wą metodę kalibracji elektrod woltamperometrycznych opierającą się na wykorzystaniu wyłącznie jednego roztworu wzorcowego. Przedstawiono podstawy teoretyczne zaproponowanej metody oraz wyniki jej weryfikacji laboratoryjnej. Weryfikacja ta potwierdziła możliwość zastosowania zaproponowanej metody do kalibracji elektrod woltamperometrycznych w zakresie stężeń znacznie mniejszych od stężenia jonów depolaryzatora...
-
Zestaw narzędzi wspomagających weryfikację koncepcji cyfrowego przetwarzania sygnałów
PublicationCyfrowe przetwarzanie sygnałów jest szeroko stosowane. Zagadnienia wydajnościowe złożonych filtrów powodują konieczność szukania nowych rozwiązań. Opracowywanie i weryfikacja filtrów z wykorzystaniem systemu resztowego czy przetwarzanie w systemach wieloagentowych nie ma aktualnie wsparcia w gotowych narzędziach. Planuje się stworzenie modułów programowych do weryfikacji koncepcji opartych o powyższe techniki, w języku C.
-
Project Management in Enterprises: IT Implementation Based on Fuzzy Models
PublicationW pracy analizuje się problem zastosowania metod zarządzania wiedzą oraz metod sztucznej inteligencji w zarządzaniu budżetem i planem realizacji projektów informatycznych. W pierwszej części wskazuje się na problemy związane z zarządzaniem projektami wytwarzania oprogramowania w zakresie planowania i bieżącego sterowania zarówno procesem wytwórczym, jak i zespołem programistów. Po omówieniu pożądanych zmian w metodologii zarządzania,...
-
Pączkowanie - metoda rozwoju interoperacyjnych komponentów dla systemów rozproszonych = Budding – the software development method of interoperable components for distributed systems
PublicationPrzedstawiono 2 współczesne metody wytwarzania oprogramowania: iteracyjno-przyrostową oraz techniki zwinne, ich zalety i wady w kontekście budowy interoperacyjnych platform i środowisk rozproszonych. Zaprezentowano metodę rozwoju oprogramowania przez pączkowanie, jej założenia, zalety i wady. Przedstawiono technologie, na bazie których działa metodologia wytwarzania oprogramowania przez pączkowanie: Software Product Line, Enterprise...
-
REALIZACJA NADAJNIKA I ODBIORNIKA OFDM W TECHNOLOGII RADIA PROGRAMOWALNEGO
PublicationMetoda wielodostępu OFDM, jest stosowana obecnie w wielu nowoczesnych cywilnych i wojskowych standardach łączności radiowej. Technologia radia programowalnego (ang. Software Defined Radio) umożliwia realizacje urządzeń pracujących z tą metodą wielodostępu. W referacie zaprezentowano przykłady dwóch środowisk oprogramowania służących do realizacji oprogramowania w technologii SDR. Przedstawiono również przykłady platform sprzętowych...
-
Programowanie strukturalne
PublicationCelem niniejszej książki jest przedstawienie wybranych metod programowania strukturalnego, tzn. takich, które prowadzą do poprawnej struktury, poprawy jakości oprogramowania oraz zwiększenia efektywności programistów. Może ona służyć jako podręcznik akademicki wykorzystywany na podstawowych kursach inżynierii oprogramowania. Zainteresuje również wszystkich tych, którzy zajmują się programowaniem amatorskim i chcą poszerzyć swoją...
-
Multitask Noisy Speech Enhancement System
PublicationW referacie opisano Wielozadaniowy System Poprawy Jakości Sygnału Mowy. Jest to wyspecjalizowany pakiet oprogramowania przeznaczony do rejestrowania sygnału mowy i do poprawy jego jakości oraz zrozumiałości mowy, przy użyciu zaawansowanych procedur cyfrowego przetwarzania sygnału. Pakiet oprogramowania składa się z programów: Rejestrator, Przeglądarka oraz Rekonstruktor. Oprogramowanie to może być użyte w przypadkach, gdy zrozumiałość...
-
Struktura szkieł krzemianowych z atomami Pb i Bi w świetle badań widm ab-sorpcyjnych promieniowania rentgenowskiego i symulacji dynamiczno-moleku- larnych.**2002, 156 s. 96 rys. 21 tab. bibliogr. 163 poz. maszyn. Rozprawa doktorska /20.12.2002/ WFTiMS PG. Promotor: dr hab.inż. L. Murawski, prof. ndzw. PG.
PublicationCelem niniejszej rozprawy było zbadanie blisko- i średniozasięgowego upo-rządkowania wokół atomów Pb, Bi w szkłach niemodyfikowanych i modyfikowanychpoprzez wygrzewanie w atmosferze wodoru, zbadanie wpływu warunków redukcji iskładu szkła na proces aglomeracji atomów Pb i Bi, określenie podatności ba-danych szkieł na modyfikącję strukturalną oraz weryfikacja oddziaływań mię-dzyatomowych używanych w symulacjach MD.