Filtry
wszystkich: 747
-
Katalog
- Publikacje 533 wyników po odfiltrowaniu
- Osoby 69 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Laboratoria 4 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 123 wyników po odfiltrowaniu
- Wydarzenia 11 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: STROJENIE I WERYFIKACJA OPROGRAMOWANIA
-
Diagnostyka cieplno-przepływowa obiektów energetycznych.
PublikacjaPrzedyskutowano 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ż.
OsobyElżbieta Zamiar adiunkt na wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej w Katedrze Inżynierii Oprogramowania. Praktyk informatyk.
-
Ontology-Aided Software Engineering
PublikacjaThis 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
PublikacjaBadania 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?
PublikacjaW 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ż.
Osoby -
Marek Olesz dr hab. inż.
OsobyWydział 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
PublikacjaArtykuł 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ż.
Osoby -
Aktualizacja współczynnikór równoważności pojazdów ciężarowych i autobusów
PublikacjaW 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ż.
OsobyArkadiusz Szewczyk uzyskał tytuł magistra inżyniera w roku 1996 na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej w zakresie aparatury elektronicznej. Stopień doktora nauk technicznych uzyskał w roku 2002 w ramach współpracy pomiędzy Politechniką Gdańską a Institut National Polytechnique de Grenoble we Francji. Obecnie zatrudniony jest w Katedrze Metrologii i Optoelektroniki na stanowisku adiunkta. W...
-
Metodologia i techniki programowania
PublikacjaKsiąż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
PublikacjaSince 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
PublikacjaCelem 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.
PublikacjaCelem 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
PublikacjaZaprezentowano 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ż.
OsobyGrzegorz Lentka uzyskał tytuł magistra inżyniera w roku 1996 na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej w zakresie systemów pomiarowych. Stopień doktora nauk technicznych uzyskał w roku 2003, a doktora habilitowanego w 2014. Obecnie zatrudniony jest w Katedrze Metrologii i Optoelektroniki na stanowisku profesora PG. W ramach prowadzonej dydaktyki zajmuje się zagadnieniami związanymi z interfejsami...
-
Experimental evaluation of the PLC-controlled drives properties.
PublikacjaPrzedstawiono 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
PublikacjaW 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
PublikacjaW 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
PublikacjaPublikacja 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.
PublikacjaArtykuł 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
PublikacjaJednym 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.
PublikacjaRozdział 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ż.
OsobySZKOLENIA Szkolenie dotyczące metodyki zarządzania projektami PRINCE 2. Certyfikat kwalifikacji. Szkolenie dotyczące Mikromechaniki Pracy Mieszanek Mineralno-Asfaltowych Szkolenie doyczące interakcji koło pojazdu-nawierzchnia
-
Metody testowania platformy KASKADA
PublikacjaW 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ż.
Osoby -
Charakterystyka badań i metod projektowania pali przemieszczeniowych wkręcanych
PublikacjaCharakterystyka 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
PublikacjaPraca 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
PublikacjaKsiąż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
PublikacjaW 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ż.
OsobyUrodzony w 1961 w Bydgoszczy, absolwent Technikum Chemicznego im. I. Łukasiewicza w Bydgoszczy. Studia chemiczne ukończył na Wydziale Chemicznym Politechniki Gdańskiej w 1986 roku, broniąc pracy dotyczącej elektrod jonoselektywnych. Późniejsze badania związane były z syntezą organiczną i krzemoorganiczną a od 2002 roku z krystalografią. Praca doktorska dotyczyła silanotiolanów miedziowców, a dysertacja habilitacyjna (2010) opisywała...
-
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
PublikacjaPrzedmiotem 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
PublikacjaPrzedstawienie 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
Kursy OnlineWdrożenie metodyki prowadzenia pracy naukowej. Weryfikacja rezultatów badań prowadzonych w ramach prac magisterskich.
-
Application of Knowledge Views = Zastosowanie widoków na bazę wiedzy
PublikacjaW 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
PublikacjaW pracy przedstawiono model systemu pozyskiwania wiedzy zawartej w procesach inżynierii oprogramowania.
-
Tomasz Dziubich dr inż.
OsobyWykonane projekty badawcze i celowe Internetowa platforma integracji danych i współpracy medycznych zespołów badawczych dla potrzeb ośrodków udarowych 2013 - 2016 MAYDAY EURO 2012 Superkomputerowa platforma kontekstowej analizy strumieni danych multimedialnych do identyfikacji wyspecyfikowanych obiektów lub niebezpiecznych zdarzeń – zadanie (Rozwój algorytmów i budowa aplikacji wspomagających badania medyczne), 2008-2012 Rozwój...
-
Dynamic range comparison of voltage-mode and current-mode state-space Gm-Cbiquad filters in reciprocal structures
PublikacjaW 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ż.
OsobyI 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ż.
Osoby -
KLASYFIKACJA STANU TECHNICZNEGO UKŁADU WTRYSKOWEGO SILNIKA Z ZAPŁONEM SAMOCZYNNYM NA PODSTAWIE POMIARU SKŁADU SPALIN
PublikacjaArtykuł 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
PublikacjaW 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
PublikacjaCyfrowe 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
PublikacjaW 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
PublikacjaPrzedstawiono 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
PublikacjaMetoda 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
PublikacjaCelem 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
PublikacjaW 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.
PublikacjaCelem 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.