Search
Search results for: JEZYKI PROGRAMOWANIA SPRZETOWEGO
-
Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.
PublicationArtykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...
-
An optimization approach to coexistence of Bluetooth and Wi-Fi networks operating in ISM environment
PublicationW artykule rozważono problem wzajemnych interferencji pomiedzy urządzeniami standardów IEEE 802.11b oraz Bluetooth (BT). Zaproponowano model optymalizacyjny bazujący na podejściu programowania liniowego. Uzyskano znaczącą porawę wykorzystania pasma ISM w przypadku koegzystencji sieci rozważanych standardów.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Influence of generation-oriend IT-development on models of production-organisation.
PublicationW artykule pokazano megatrend generacyjności rozwoju IT jako pochodną jakościową empirycznych praw ilościowego rozwoju branży. W punkcie 2 wyspecyfikono generacje rozwojowe w obszarze: sprzetu, języków programowania, baz danych oraz oprogramowania uzytkowego- na przykładzie komputerowego wspomagania informatyki gospodarczej.
-
Jarosław Bąkowski dr inż. arch.
Peopledr inż. Jarosław Bąkowski, assistant professor in the Department of Marine and Industrial Architecture, Faculty of Architecture, Gdansk University of Technology.The subject of his interest is the programming and designing methodology of functionally complex buildings (especially the healthcare architecture buildings, mainly hospitals). He conducts research on optimization of the design process for functional and utility analysis....
-
Szybka synteza prototypów filtrów rezonatorowych dla systemów telekomunikacji bezprzewodowej.
PublicationW niniejszym komunikacie opisana jest szybka technika syntezy macierzy sprzężeń. Synteza oparta jest na rozwiązaniu problemu programowania kwadratowego.Takie sformułowanie zagadnienia pozwala na znalezienie wartości sprzężeń miedzy poszczególnymi rezonatorami oraz miedzy rezonatorami a źródłem i obciążeniem jedynie wkilku krokach.
-
Możliwości przyrządów wirtualnych na przykładzie programu do pomiaru i analizy drgań na statkach.
PublicationOmówiono rozwój przyrządów wirtualnych stosowanych w diagnostyce, wynikający z rozwoju narzędzi do ich programowania. Przedstawiono oprogramowanie do pomiaru i analizy drgań na statkach. Umożliwia ono analizę zarejestrowanych sygnałów w funkcji czasu, częstotliwości i prędkości obrotowej wału silnika.
-
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...
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego w łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego w łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Jacek Poplatek dr inż. arch.
PeopleJacek Poplatek – Assistant Professor at the Faculty of Architecture, Gdańsk University of Technology. In research work his interests focuses mainly on issues of programming and designing of healthcare architecture facilities, including general and specialist hospitals. The second field of research is 19th century historical architecture of Sopot city and protection of its architectural and cultural heritage. He is the author of...
-
“Na Rynek! Regeneracja targowisk miejskich” w ramach projekt
EventsZapraszamy do udziału w konferencji pt.: „Na Rynek! Regeneracja targowisk miejskich”, która jest realizowana w ramach programu GOSPOSTRATEG.
-
Strategia rozwoju regionów : Zbliżanie przepisów prawnych Rzeczypospolitej Polskiej do acquis communautaire
PublicationSystem terytorialny Europy opiera się na państwach, regionach i gminach. Regionalne systemy terytorialne opisane zostały poprzez typologię, zasady rozwoju i uwarunkowania polityki rozwoju. Opisano strategie i programy rozwoju regionalnego w kontekście Strategii Lizbońskiej i okresu programowania Unii Europejskiej 2007-2013.
-
Mieczysław Siemiątkowski dr inż.
People -
Instrumenty operacyjne rewitalizacji małych i średnich miast w Polsce
PublicationProblemy środowiska miejskiego stają się kluczowymi wyzwaniami współczesności. W Polsce instrumentami operacyjnymi rewitalizacji miast są: strategie, plany zagospodarowania przestrzennego, regionalne programy operacyjne. Opisano europejskie standardy programowania. Przedstawiono przykłady dobrych praktyk w podejściu do rozwoju i rewitalizacji małych i średnich miast na Pomorzu
-
Michał Dobrzyński dr inż.
People -
Equitable 4-coloring of cacti and edge-cacti in polynomial time
PublicationRozważono problem wyznaczania sprawiedliwej liczby chromatycznej kaktusów i drzew wielokątowych bez trójkątów i krawędzi wiszących. Podano wielomianowy algorytm wyznaczający pokolorowanie optymalne, oparty na paradygmacie programowania dynamicznego. Tym samym znaleziona została kolejna klasa grafów planarnych, dla której kolorowanie sprawiedliwe jawi się jako zagadnienie obliczeniowo łatwe.
-
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.
-
Od projektu do programu
PublicationPraca wprowadza w zagadnienia implementacji i testowania, pod kątem proble-mów i metod przekształcania wyników fazy projektowania w oprogramowanie. O-mówienie poprzedza krótkie wprowadzenie w zagadnienia modelowania zachowańprogramu. Treść rozdziału uwzględnia też problem implementacji w postaci o-programowania równoległego, zarówno w zakresie specyfiki jego wytwarzania,jak i testowania.
-
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.
-
Inteligentne systemy agentowe w systemach zdalnego nauczania
PublicationW pracy omówiono inteligentne systemy agentowe w systemach zdalnego nauczania. Po krótkim przedstawieniu ewolucji systemów zdalnego nauczania i ich wybranych zastosowań, scharakteryzowano inteligentne agenty edukacyjne. Omówiono wykorzystanie programowania genetycznego oraz algorytmów neuro-ewolucyjnych do implementacji oprogramowania tej klasy. Ponadto, nawiązano do modelu Map-Reduce, który efektywnie wspiera architekturę nowoczesnego...
-
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++....
-
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...
-
Programowanie Mikromodułów Komunikacyjnych - Nowy
e-Learning CoursesCelem przedmiotu jest wprowadzenie do programowania mikromodułów komunikacyjnych - przedstawienie podstaw technik i zasad programowania specyficznych dla układów wbudowanych oraz pozyskanie umiejętności programowania wybranych mikromodułów komunikacyjnych.
-
Programowanie Mikromodułów Komunikacyjnych - 2024/2025
e-Learning CoursesCelem przedmiotu jest wprowadzenie do programowania mikromodułów komunikacyjnych - przedstawienie podstaw technik i zasad programowania specyficznych dla układów wbudowanych oraz pozyskanie umiejętności programowania wybranych mikromodułów komunikacyjnych.
-
Modelowanie falownika napięcia z quasi-rezonansowym obwodem pośredniczącym
PublicationW pracy przedstawiono szerokopasmowe modelowanie falownika napięcia z quasi-rezonansowym obwodem pośredniczącym w środowisku symulatora SABER. Modele łączników energoelektronicznych oraz algorytm sterowania zostały zaimplementowane z wykorzystaniem języka programowania MAST. Dokładność modelu zweryfikowano w oparciu o porównanie charakterystycznych przebiegów symulacyjnych układu z przebiegami eksperymentalnymi oraz analizę porównawczą...
-
Szybka identyfikacja harmonicznych na podstawie oszczędnego próbkowania
PublicationW pracy przedstawiono implementację szybkiego algorytmu rekonstrukcji sygnału, opartego na teorii oszczędnego próbkowania, który może wykrywać harmoniczne w sygnale wejściowym. Zagadnienie rekonstrukcji sygnału jest problemem optymalizacyjnym rozwiązywanym za pomocą algorytmu programowania liniowego. Dodatkowo, aby przyspieszyć zbieżność rozwiązania zastosowano w rzadkiej dziedzinie sygnału filtr typu K-rank-order. Przeprowadzona...
-
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...
-
Wpływ makroregionalnej strategii dla regionu Morza Bałtyckiego i strategii Europa 2020 na kształtowanie polityki Litwy, Łotwy i Estonii w obszarze ubóstwa i wykluczenia społecznego
PublicationRozważania ukazują znaczenie strategii dla regionu Morza Bałtyckiego, w powiązaniu ze strategią Europa 2020, w kształtowaniu polityki Litwy, Łotwy i Estonii w sferze ubóstwa i wykluczenia społecznego. Podejście makroregionalne sprzyja osiąganiu celów strategii Europa 2020 w większym stopniu w obszarze podnoszenia jakości programowania polityk krajowych niż w rzeczywistej redukcji poziomu ubóstwa i wykluczenia społecznego w tych...
-
Remote monitoring and control of technical systems using internet network technology
PublicationPoruszono problem monitorowania stanu rozproszonych obiektów echnicznych. Przedstawiono możliwości zastosowania do tego celu technologii sieci Internet i rodziny protokołów TCP/IP. Omówiono koncepcję wykorzystania takich standardów jak: TCP, UDP, HTTP, SNMP oraz języków programowania Java i PHP. Zwrócono uwagę na aspekty bezpieczeństwa sieciowego. Przedstawiono przykład realizacji dużego systemu zdalnego zarządzania systemem central...
-
Implementacja reguł animacji w logice rozmytej
PublicationZaprojektowano system komputerowy wspomagający tworzenie animacji. System wykorzystuje reguły animacji wywodzące się z animacji tradycyjnej. Reguły opisują sposób uzyskiwania animacji postaci nacechowanych emocjonalnie. Na potrzeby badań zostały one sformułowane w logice rozmytej i zaimplementowane w języku programowania Python. Wykorzystując system wygenerowano animacje testowe, które poddano ocenie subiektywnej, w celu określenia...
-
Application of an online judge & contester system in academic tuition
PublicationPraca zawiera opis systemu typu ''Online judge & contester'' o nazwie SPOJ, wykorzystywanego do zdalnej nauki programowania. Został on pomyślnie wdrożony w nauczaniu informatyki na Politechnice Gdańskiej. Omówiono zasadę działania i mechanizmy bezpieczeństwa systemu SPOJ. Przedstawiono wnioski z doświadczeń przy stosowaniu tego typu systemów w nauczaniu na etapie studiów 1. i 2. stopnia w ciągu ostatnich czterech lat.
-
Odwzorowanie mechanizmów promowania odnawialnych źródeł energii w modelowaniu rozwoju systemów energetycznych
PublicationW artykule przedstawiono problemy wynikające z konieczności odwzorowania mechanizmów wsparcia odnawialnych źródeł energii w modelu bilansowym, wykorzystywanym do programowania rozwoju systemów energetycznych. Przedstawiono funkcjonujący w Polsce mechanizm promowania odnawialnych źródeł energii, polegający na wtórnym obrocie tzw. świadectwami pochodzenia. Zaprezentowano metodykę uwzględniania tego mechanizmu w modelu prognostycznym....
-
Application of an online judge & contester system in academic tuition
PublicationPraca zawiera opis systemu typu ''Online judge & contester'' o nazwie SPOJ, wykorzystywanego do zdalnej nauki programowania. Został on pomyślnie wdrożony w nauczaniu informatyki na Politechnice Gdańskiej. Omówiono zasadę działania i mechanizmy bezpieczeństwa systemu SPOJ. Przedstawiono wnioski z doświadczeń przy stosowaniu tego typu systemów w nauczaniu na etapie studiów 1. i 2. stopnia w ciągu ostatnich czterech lat.
-
Revsable framework for telecontrol protocols. W: Springer Homepage [online] Proceedings. Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families. Las Palmas de Gran Canaria, Spain, February 26-27, 1998. [Dostęp: 20 grudnia**2002]. Ed. F. van der Linden. Dostępny w World Wide Web: http://link.springer.de/link/ /service/series/0558/tocs/t1429.htm [s. 6-13, 5 rys. bibliogr. 6 poz.] Wzorce wielokrotnego wykorzystania oprogramowania protokołów telesterowa- nia.
PublicationZaprezentowano wzorzec COMSOFT wielokrotnego wykorzystania oprogramowania o-pracowany dla protokołów telesterowania. Jego podstawy tworzą: metodologiaobiektowa i wzorce wielokrotnego użycia. Zastosowanie wzorców wspomagają:biblioteka komponentów, wykorzystywanych we wszystkich fazach konstrukcji o-programowania oraz procedury użytkowania i parametryzacji. Opracowane wzorcezostały praktycznie zastosowane do konstrukcji oprogramowania...
-
Języki projektowania HDL-stary!
e-Learning CoursesCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Języki Modelowania i Symulacji
e-Learning CoursesCelem wykładu jest przekazanie podstawowej wiedzy dotyczącej modelowanie i symulacji z zakresu Automatyki i Robotyki oraz Cyfrowego Przetwarzania Sygnałów z wykorzystaniem środowiska obliczeniowego MATLAB
-
Języki modelowania i symulacji
e-Learning Courses -
MATLAB i jego środowisko
PublicationMATLAB jest pakietem obliczeniowym i programistycznym przygotowanym przede wszystkim do obliczeń numerycznych, analizy danych i wizualizacji wyników. Pakiet stanowi środowisko wyposażone w wiele narzędzi obliczeniowych i graficznych działających na bazie predefiniowanych funkcji oraz język programowania umożliwiający tworzenie własnych skryptów. Podstawowym typem danych w języku MATLAB jest macierz (matrix). Stąd nazwa MATrix...
-
Znaczenie analiz ruchowych w procesie optymalizowania zakresu infrastrukturalnych inwestycji kolejowych
PublicationW artykule poruszono problem zachowania pełnej sprawności i uniwersalności rozwiązań technicznych w całym cyklu programowania inwestycji infrastrukturalnych. Wskazano na konieczność monitorowania prawidłowości projektowanych rozwiązań w perspektywie wieloletniej za pomocą analiz inżynierii ruchu kolejowego. Analizy pozwalają identyfikować również tzw. migrację problemów, co umożliwia weryfikację zakresu inwestycji. Posłużono się...
-
Sztuka i matematyka -algorytmiczne i parametryczne detale
PublicationOpracowanie dotyczy wykorzystania komputerowych metod obliczeniowych do projektowania dzieł architektonicznych, w których geometria formy, detal struktury i efekty materiałowe są wynikiem spójnej reguły generatywnej. Nowatorskie biura tworzą własne narzędzia na poziomie języków programowania czerpiąc idee z abstrakcyjnych koncepcji i procedur matematycznych. W konsekwencji algorytmiczne i parametryczne strategie projektowania w...
-
Dobre praktyki automatyzacji procesu migracji do protokołu IPv6
PublicationW pracy przedstawiono mozliwosc realizacji automatów migracji do IPv6 systemów, usług i aplikacji. Dokonano klasyfikacji metod migracji ze wzgledu na mozliwosc ich automatyzacji. Opisano załozenia i sposób implementacji wybranych narzedzi wspomagajacych administratora sieci w realizacji procesu migracji systemów operacyjnych, urzadzeń wbudowanych jak tez usług i aplikacji sieci do protokołu IPv6. Zaprezentowano projekt i implementacje...
-
Modelowanie rozwoju systemów energetycznych z uwzględnieniem mechanizmów promowania odnawialnych źródeł energii
PublicationW referacie omówiono problemy wynikające z konieczności odwzorowania mechanizmów wsparcia odnawialnych źródeł energii w modelu bilansowym, wykorzystywanym do programowania rozwoju systemów energetycznych. Szczególny nacisk położono na system wykorzystujący świadectwa pochodzenia energii elektrycznej ze źródeł odnawialnych. Zaprezentowano metodykę uwzględniania tego mechanizmu w modelu prognostycznym MARKAL do optymalizacji rozwoju...
-
Modelowanie rozwoju systemów energetycznych z uwzględnieniem mechanizmów promowania odnawialnych źródeł energii
PublicationW referacie omówiono problemy wynikające z konieczności odwzorowania mechanizmów wsparcia odnawialnych źródeł energii w modelu bilansowym, wykorzystywanym do programowania rozwoju systemów energetycznych. Szczególny nacisk położono na system wykorzystujący świadectwa pochodzenia energii elektrycznej ze źródeł odnawialnych. Zaprezentowano metodykę uwzględniania tego mechanizmu w modelu prognostycznym MARKAL do optymalizacji rozwoju...
-
Continuous Optimisation Algorithms
PublicationKsiążka poświęcona jest zagadnieniom optymalizacji ciągłej. Oprócz klasycznych algorytmów gradientowych omawiane są w współczesne algorytmy bezgradientowe, które stosowane są z powodzeniem w optymalizacji globalnej. Większość prezentowanych algorytmów określona może być mianem metaheurystycznych. Zaliczyć do nich można metody optymalizacji inspirowane procesami zachodzącymi w przyrodzie, które dalej można dzielić na inspirowane...
-
Uranium Supporting Cooperation With High Schools Workshops on programming data analysis and visualization in R and Python languages.
ProjectsProject realized in Gdańsk University of Technology according to 13/1/2024/IDUB/III.3b/U agreement from 2024-02-29
-
A Flexible Provisioning Module Optimizing Utilization of Resources for the Future Internet IIP Initiative
PublicationW artykule zaprezentowano aspekty projektowania i implementacji modułu wymiarowania zasobów sieci zaproponowanego w ramach projektu Inżynieria Internetu Przyszłości. W szczególności, wprowadzone zostały modele programowania liniowego wymiarowania zasobów sieci mające na celu minimalizację poziomu wykorzystania tychże zasobów, jak i maksymalizację nieprzydzielonej przepustowości. W dalszej części artykułu dokonano oceny charakterystyk...
-
Stability criteria as constraints in a fleet of ships optimisation problem
PublicationRozwiązano problem dotyczący matematycznej optymalizacji floty statków wielozadaniowych typu rzeka-morze, przeznaczonych dla europejskiej żeglugi przybrzeżnej i eksploatowanych w obszarze Mórz Północnego i Bałtyckiego, na poziomie zadania transportowego za pomocą metod programowania nieliniowego z ograniczeniami. Zaproponowano metodę włączenia istniejących kryteriów skuteczności statków jako ograniczeń w ogólnym modelu optymalizacji...