Filtry
wszystkich: 1599
wybranych: 1027
-
Katalog
- Publikacje 1027 wyników po odfiltrowaniu
- Czasopisma 22 wyników po odfiltrowaniu
- Konferencje 4 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 157 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 4 wyników po odfiltrowaniu
- Laboratoria 4 wyników po odfiltrowaniu
- Zespoły Badawcze 10 wyników po odfiltrowaniu
- Aparatura Badawcza 13 wyników po odfiltrowaniu
- Kursy Online 337 wyników po odfiltrowaniu
- Wydarzenia 15 wyników po odfiltrowaniu
- Dane Badawcze 4 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: AUTOMATYKA ZABEZPIECZENIOWA
-
RECENT ADVANCES IN GRAPHENE APPLICATION FOR ELECTRONIC SENSING
PublikacjaThe great interest in graphene is caused by its potential for constructing various sensors exhibiting excellent parameters. The high carrier mobility and the unique band structure of graphene makes it promising especially in the field-effect transistors (GFET) applications. In this article, recent advances of the selected graphene-based sensor applications were presented and the possible directions for further investigations were...
-
Problemy z powłokami antykorozyjnymi na elementach wyposażenia obiektów mostowych
PublikacjaPrzedstawiono problem wadliwości zabezpieczenia antykorozyjnego w zakresie malarskich powłok ochronno - dekoracyjnych wykonywanych na stalowych elementach barier zabezpieczonych uprzednio poprzez ocynkowanie metodą zanurzeniową. Wykorzystując przykłady pochodzące z różnych obiektów przedstawiono powtarzający się problem delaminacji powłok malarskich, niezależny od rodzaju zastosowanych wyrobów lakierniczych oraz znacznego rozwoju...
-
Analiza obwodu wyzwalacza spolaryzowanego wyłączników różnicowoprądowych przy podwyższonej częstotliwości prądu różnicowego
PublikacjaReferat przedstawia analizę układu wyzwalającego wyłączników różnicowoprądowych o działaniu bezpośrednim przy podwyższonej częstotliwości prądu różnicowego. Analizie poddano obwód wtórny przekładnika różnicowego, w którym znajduje się wyzwalacz spolaryzowany. Z analizy wynika, że podwyższenie częstotliwości powoduje zmniejszenie czułości zabezpieczenia, a w niektórych przypadkach zabezpieczenie w ogóle nie reaguje na prąd różnicowy....
-
Pomiar rzeczywistego różnicowego prądu zadziałania wyłączników różnicowoprądowych w instalacjach z ustalonymi prądami upływowymi
PublikacjaWyłącznik różnicowoprądowy zapewnia skuteczność ochrony przeciwporażeniowej w sytuacjach, kiedy przy zwarciach doziemnych zabezpieczenia nadprądowe zadziałują w czasie zbyt długim, albo nie zadziałują w ogóle. W instalacach elektrycznych mogą występować ustalone prądy upływowe które mają wpływ na wynik pomiaru rzeczywistego różnicowego prądu zadziałania wyłączników różnicowoprądowych. W referacie przedstawiono przypadki, kiedy...
-
System sterowania czujnikami z wykorzystaniem sieci bezprzewodowej w standardzie ieee 802.15.4
PublikacjaBezprzewodowe sieci sensorowe najczęściej wykorzystywane są w systemach pomiarowo-kontrolnych. Przy realizacji systemu wykorzystano mikrokontroler z rdzeniem Cortex-M3 jako kontroler sieci oraz przekaźniki ZigBee pracujące przy częstotliwości 2,4 GHz. System wymagał stworzenia modułów komunikacyjnych łączących kontroler i przekaźnik radiowy za pomocą interfejsu SPI oraz zaimplementowania stosu odpowiadającego potrzebom aplikacji....
-
Katedra Elektroenergetyki.
PublikacjaW Katedrze Elektroenergetyki działalność naukowa realizowana jest przez dwa zespoły badawcze:Elektrowni i Gospodarki Energetycznej - prowadzone są prace w zakresie planowania rozwoju źródeł mocy szczytowej i regulacyjno- interwencyjnej w systemie elektroenergetycznym oraz optymalizacji rozwoju system ów ciepłowniczych z udziałem nowoczesnych, w tym także odnawialnych źródeł ciepła.W zespole Badawczym - Systemy Elektroenergetyczne...
-
Regulacja transformatorów zasilajacych sieci 110kV w Polsce.
PublikacjaDo regulacji transformatorów zasilających sieci 110kV w polskim systemie elektroenergetycznym coraz powszechniejsze są tzw. regulatory grupowe ARST. Nie ma różnic w ocenie struktury, wykonania, ani sposobu powiązania ze sterowanym obiektem. Jest spór o algorytm. Przedstawiona w referacie koncepcja algorytmu regulacji ma, zdaniem autora, przewagę nad algorytmami stosowanymi obecnie. Wymiana algorytmów sterowania w istniejących,...
-
Laboratorium innowacyjnych technologii elektroenergetycznych i integracji odnawialnych źródeł energii LINTE^2 - zarys idei
PublikacjaW artykule przedstawiono koncepcję nowego laboratorium badawczego o nazwie ''Laboratorium innowacyjnych technologii elektroenergetycznych i integracji odnawialnych źródeł energii LINTE^2'' budowanego przez Wydział Elektrotechniki i Automatyki Politechniki Gdańskiej w ramach projektu finansowanego ze środków Programu Operacyjnego Innowacyjna Gospodarka. Omówiono założenia ogólne, koncepcję systemu sterowania i komunikacji zgodnego...
-
Badanie degradacji powłok organicznych metodą EIS w warunkach podwyższonych temperatur
PublikacjaPomimo nieustannego rozwoju zaawansowanych technik antykorozyjnych oraz imponująco wysokiej odporności współczesnych warstw i pokryć ochronnych problem zabezpieczenia powierzchni metalicznych jak i niemetalicznych jest nadal aktualny. Wciąż rosnące zapotrzebowanie na nowe metody ochrony antykorozyjnej oraz dążenie do jak najmniejszej degradacji środowiska naturalnego wytyczają współczesne trendy rozwoju przemysłu antykorozyjnego....
-
Problemy z powłokami antykorozyjnymi na elementach wyposażenia obiektów mostowych
PublikacjaOpisano problem wadliwości zabezpieczenia antykorozyjnego w zakresie malarskich powłok ochronno-dekoracyjnych wykonywanych na stalowych elementach barier zabezpieczonych uprzednio poprzez ocynkowanie metodą zanurzeniową na gorąco. Wykorzystując przykłady pochodzące z różnych obiektów przedstawiono powtarzający się problem delaminacji powłok malarskich, niezależny od rodzaju zastosowanych wyrobów lakierniczych oraz znacznego rozwoju...
-
Deformacje filtracyjne i ich oddziaływanie na osiadanie podłoża na przykładzie zabytkowego obiektu sakralnego
PublikacjaW artykule omówiono studium przypadku wykorzytując dane dotyczzące pęknięć i deformacji w zabytkowym budynku oraz przecieków wody w jego podłozu. Przedstawiono charakterytykę deformacji filyracyjnych gruntu z uwagi na jego rodzaj i przyczynę. Na podstawie danych z monitoringu poziomu wody gruntowej w okolicach obiketu przeanalizowano przecieki i wyznaczono strefy w których przekroczone zostało kryterium inicjacji procesu deformacji...
-
POLITECHNIKA GDAŃSKA W LITERATURZE
PublikacjaW artykule przedstawiono w jaki sposób Politechnika Gdańska funkcjonuje w literaturze pięknej. Politechnika ukazywana jest jako miejsce nauki, ale także miejsce wydarzeń historycznych i kulturalnych, jej istnienie jest zakorzenione w świadomości gdańszczan, a przede jest to miejsce w którym spędziło się najlepiej wspominany okres w życiu – okres studiów i pracy zawodowej. Wymienione zostały publikacje informacyjne, ale przede wszystkim...
-
Polsko-szwedzki projekt naukowo-badawczy: ''BioEnPol zrównoważony rozwój systemów energetycznych Polski: rola bioenergii''.
PublikacjaProjekt realizowany jest od roku 2001 przez 3 ośrodki: Zespół Badań Systemowych Energetyki i Środowiska Politechniki w Lund w Szwecji, Europejskie Centrum Energii Odnawialnej EC BREC w Warszawie, Katedrę Elektroenergetyki Wydział Elektrotechniki i Automatyki Politechniki Gdańskiej. W czasie trwania projektu w każdej instytucji realizowany jest doktorat oraz wykonywane są prace towarzyszące, m.in. modelowane są systemy energetyczne...
-
Survivability issues in multilayer networks
PublikacjaW artykule rozważa się zagadnienia zabezpieczenia i odtwarzania w wielowarstwowych architekturach sieciowych w celu osiągnięcia określonego poziomu przeżywalności po awarii węzła lub łącza. Problem optymalizacji polega na znalezieniu dla każdej optycznej ścieżki aktywnej, przenoszącej dany strumień IP, węzłowo-rozłącznej optycznej ścieżki zabezpieczającej w taki sposób, by awaria pojedyńczego węzła lub łącza spowodowana atakiem...
-
Wielokryterialna rodzajnikowa optymalizacja ewolucyjna układów sterowania i diagnostyki
PublikacjaW pracy rozważa się problem optymalizacji wielokryterialnej. Zadania tego rodzaju mogą być skutecznie rozwiązywane za pomocą metod ewolucyjnych z zastosowaniem zaproponowanego ostatnio pojęcia genetycznego rodzajnika, wywodzonego ze stopnia przystosowania analizowanych osobników (rozwiązań) i stosowanego podczas krzyżowania w procesie wielokryterialnej optymalizacji. Do oceny uzyskiwanych rozwiązań tego rodzaju problemów wykorzystywać...
-
Weryfikacja Poziomów Nienaruszalności Bezpieczeństwa z uwzględnieniem Zagadnień Ochrony Informacji
PublikacjaNiniejszy rozdział poświęcono wybranym istotnym zagadnieniom analizy bezpieczeństwa funkcjonalnego, w szczególności weryfikacji poziomów nienaruszalności bezpieczeństwa SIL funkcji bezpieczeństwa implementowanych w rozproszonych systemach sterowania i zabezpieczeń z uwzględnieniem zagadnień ochrony informacji. Zaproponowano metodę opartą na informacji ilościowej i jakościowej do weryfikacji SIL (IEC 61508, 61511) z uwzględnieniem...
-
Recent developments in automatic classification of musical instruments. W:[CD-ROM] Collected papers. First Pan-American/Iberian Meeting on Acoustics. 144 Meeting of the Acoustical Society of America. III Iberoamerican Cong- ress of Acoustics. 9o Mexican Congress of Acoustics. Cancun, Q. R. Mxico, 2-6 Dec. 2002. [B.m.:ASA]**2002 paper 2aMU4, 7 s. 6 rys. 1 tab. bibliogr. 21 poz. Automatyczne rozpoznawanie muzyki - przykłady eksperymentów.
PublikacjaW referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automaty-cznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktu-alnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klasinstrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowewyniki i przedstawiono projekt prac do zrealizowania w przyszłych ekspery-mentach.
-
Survivability issues in op-mpls networks
PublikacjaW pracy przedstawiono model oceny przeżywalności sieci IP-MPLS zaimplementowanej bezpośrednio na optycznej sieci WDM. Założono zaplanowane z góry zabezpieczenia aktywnych ścieżek od krańca do krańca przez ścieżki węzłowo-rozłączne dedykowane bądź współdzielone. Przyjęto, że naprawa sieci zaczyna się w warstwie IP, a następnie obejmuje ścieżki optyczne. Zadanie optymalizacji tras IP i ich odwzorowanie na ścieżki optyczne zdekomponowano...
-
Survivability issues in IP-MPLS networks.
PublikacjaW pracy przedstawiono model oceny przeżywalności sieci IP-MPLS zaimplementowanej bezpośrednio na optycznej sieci WDM. Założono zaplanowane z góry zabezpieczenia aktywności ścieżek od krańca do krańca przez ścieżki węzłowo-rozłączne dedykowane bądź współdzielone. Przyjęto, że naprawa sieci zaczyna się w warstwie IP, a następnie obejmuje ścieżki optyczne. Zadanie optymalizacji tras IP i ich odwzorowanie na ścieżki optyczne zdekomponowano...
-
Assessment of safety - related systems in industrial hazardous plants
PublikacjaPrzedstawiono problemy związane z określaniem bezpieczeństwa funkcjonalnego systemów przemysłowych, w oparciu o standard IEC 61508. Wykorzystując informacje zawarte w cytowanym standardzie opisujemy metody określenia wymaganych poziomów zabezpieczeń dla instalacji przemysłowej. Wyjaśniamy znaczenie poziomów SIL. Poddano dyskusji procedurę poprawnego określania poziomów bezpieczeństwa systemów składających się z elementów o...
-
Sterowanie systemu elektroenergetycznego zasilanego układem kombinowanym silnik spalinowy - turbina gazowa = Control of electric power system suplied with combined diesel engine and gas turbine
PublikacjaPoddano badaniom symulacyjnym układ sterowania automatyc znego elektroenergetycznego systemu wydzielonego, zasilanego prądnicami napędzanymi przez wysokoprężny silnik spalinowy oraz turbinę gazową. Przebieg procesów symulacyjnych zależy głównie od nastawień regulatora częstotliwości systemu elektroenergetycznego. Od ustawień regulatora silnika tłokowego zależy mniej niż w przypadku turbiny gazowej. Nie odgrywa istotnej roli sposób...
-
Finite-state lexical tools
PublikacjaArtykuł przedstawia trzy pakiety oprogramowania zawierające narzędzia poziomu leksykalnego wykorzystujące automaty skończone: dwa zbiory samodzielnych programów i skryptów pomocniczych - jeden używający prostych automatów skończonych, drugi używający automatów Mealy`ego oraz bibliotekę funkcji. Wszystkie przedstawione pakiety posiadają podobne funkcje. Zamiast opisywać poszczególne pakiety, opis skupiony jest na dostarczanych przez...
-
A Framework for Analyzing Trust in IT Systems.
PublikacjaProblem uzasadnienia zaufania do systemów realizowanych w technologiach informacyjnych nabiera coraz większego znaczenia wraz z poszerzaniem zakresu zastosowań takich systemów. W artykule wprowadzono koncepcje 'dowodu zaufania', który stanowi strukturę zawierająca cały materiał dowodowy wraz ze stowarzyszona z nim argumentacja uzasadniająca, ze system jest wystarczająco wiarygodny (w sensie bezpieczeństwa, zabezpieczenia, prywatności...
-
Kryptografia kwaternionowa dla zabezpieczania danych multimedialnych
PublikacjaW rozdziale przedstawiona została możliwość zastosowania kwaternionów dla kryptograficznego zabezpieczenia danych multimedialnych. Kwaternionowa metoda szyfrowania wykorzystuje kwaternionową rotację przestrzenną wektora danych względem kwaternionu-klucza i może zostać zrealizowana na dwa sposoby. Pierwszy sposób polega na obliczeniu macierzy rotacji i przeprowadzeniu szyfrowania jako mnożenia macierzowego, drugi natomiast realizuje...
-
Metody genetycznej identyfikacji i numerycznej oceny skutków oddziaływań antropogenicznych, na wody podziemne obszarów o rozproszonej zabudowie
PublikacjaWody podziemne narażone są na różnego typu zanieczyszczenia, stając się zagrożeniem dla życia i zdrowia ludzi z nich korzystających. W ostatnich latach wzrosło zainteresowanie próbami zatrzymania lub odwrócenia stale postępującej degradacji środowiska przyrodniczego, wywołanej czynnikami pochodzenia antropogenicznego. Skuteczność podjętych działań w ramach rekultywacji, zabezpieczenia i ochrony gruntów oraz zasobów naturalnych...
-
Ocena stanu technicznego konstrukcji pras filtracyjnych w Grupowej Oczyszczalni Ścieków „DĘBOGÓRZE” w Gdyni
PublikacjaPodstawowym celem pracy była rzeczowa ocena z punktu widzenia technicznego stanu trzech pras filtracyjnych, usytuowanych w budynku, położonym w Oczyszczalni Ścieków ‘DEBOGÓRZE w Gdyni. Zakres prac obejmował szczegółowa ocenę trzech układów w każdej prasie a mianowicie: - hydraulicznego, - sterowania i automatyki, - mechanicznego – związanego ze sprawdzeniem stanu konstrukcji nośnej i obudów.. Opis i analiza stanu poszczególnych...
-
Ocena zgodności regulatorów automatycznych z wymaganiami dyrektywy kompatybilności elektromagnetycznej
PublikacjaW referacie przedstawiono niektóre zalecenia normalizacyjne związane z wymaganiami dyrektywy kompatybilności elektromagnetycznej (EMC) dla urządzeń automatyki zawierających wyposażenie elektroniczne. Wykonanie badań zalecanych przez zharmonizowane z dyrektywami Unii Europejskiej (UE) normy wyrobu i powoływanie się na nie w deklaracji zgodności przez producenta pomaga użytkownikowi dostosować charakterystyki urządzenia i instalacji...
-
Robot typu Micromouse – wykonanie, sterowanie i optymalizacja
PublikacjaW ostatnich latach obserwuje się intensywny rozwój robotyki. Roboty znajdują zastosowanie w różnych gałęziach przemysłu i życiu codziennym. Ich projektowanie wymaga interdyscyplinarnej wiedzy obejmującej obszary mechaniki, elektroniki, metrologii, automatyki i informatyki. W artykule przedstawiono poszczególne etapy wykonania robota typu Micromouse. Jest to specyficzne urządzenie, którego zadaniem jest zbadanie labiryntu, dotarcie...
-
SPRZĘTOWA SYMULACJA USZKODZEŃ W DIAGNOSTYCE MAGNESÓW NADPRZEWODZĄCYCH
PublikacjaUtrzymanie magnesów nadprzewodzących w stanie nadprzewodnictwa wymaga precyzyjnej kontroli ich parametrów zarówno przed pierwszym uruchomieniem jak i w trakcie ich użytkowania. Dla zapewnienia tej kontroli opracowywany jest obecnie na Wydziale Elektrotechniki i Automatyki Politechniki Gdańskiej (w ramach międzynarodowego projektu FAIR) specjalistyczny system pomiarowo-diagnostyczny do testowania stanu obwodów elektrycznych magnesów...
-
Micromouse robot - technical design and construction
PublikacjaW ostatnich latach obserwuje się intensywny rozwój robotyki. Roboty znajdują zastosowanie w różnych gałęziach przemysłu i życiu codziennym. Ich projektowanie wymaga interdyscyplinarnej wiedzy obejmującej obszary mechaniki, elektroniki, metrologii, automatyki i informatyki. W artykule przedstawiono poszczególne etapy wykonania robota typu Micromouse. Jest to specyficzne urządzenie, którego zadaniem jest zbadanie labiryntu, dotarcie...
-
Efektywność zarządzania energią w sieciach elektroenergetycznych typu Smart Grid - możliwości badawcze laboratorium LINTE^2
PublikacjaJednym z kierunków mającym na celu poprawę bezpieczeństwa elektroenergetycznego kraju może stać się między innymi rozwój technologii sieci elektroenergetycznych typu Smart Grid i efektywne zarządzanie energią elektryczną w takich sieciach. Wyzwania stojące przed polską elektroenergetyką w związku z wdrażaniem całkowicie nowych rozwiązań technicznych i organizacyjnych będą wymagały wsparcia ze strony uczelni i jednostek naukowych....
-
Koncepcja, realizacja i analiza nowego typu silnika piezoelektrycznego o strukturze wielokomórkowej
PublikacjaDotychczasowe wyniki badań w obszarze aktuatorów piezoelektrycznych, wskazują ich potencjalnie duże możliwości w przyszłych zastosowaniach specjalnych. W artykule przedstawiono proces projektowania nowego typu silnika piezoelektrycznego. Opisane zostały wybrane topologie maszyn piezoelektrycznych. Przedstawiono wady i zalety silnika ultrasonicznego z falą biegnącą oraz silnika o ruchu obrotowym. W ramach realizacji projektu...
-
Ochrona przeciwporażeniowa w sieciach i instalacjach niskiego napięcia
PublikacjaUżytkowanie sieci i instalacji elektroenergetycznych jest związane z wieloma zagrożeniami, a jednym z nich jest zagrożenie porażeniem prądem elektrycznym. Obowiązkiem osób projektujących te sieci i instalacje, a także osób odpowiedzialnych za ich eksploatację jest zastosowanie środków zapewniających skuteczną ochronę przeciwporażeniową. Wymagania ochrony przeciwporażeniowej są nadrzędne w stosunku do innych wymagań technicznych,...
-
Lokaty bankowe jako narzędzie gromadzenia oszczędności na emeryturę
PublikacjaW artykule poruszona została problematyka zabezpieczenia finansowego gospodarstwa domowego, w okresie po przejściu na emeryturę jego członków. Opracowanie prezentuje wyniki analizy możliwości wykorzystania instrumentu rynku finansowego, jakim jest lokata bankowa, dla poprawy sytuacji materialnej gospodarstwa domowego, które znajduje się już w fazie nieaktywności zarobkowej. Do przeprowadzenia stosownych obliczeń, wykorzystane zostały...
-
Badania i możliwości adaptacji ruin kościoła we Wocławach
PublikacjaW artykule opisano wyniki badań ruin kościoła z XIV w. we Wocławach. Przedstawiono też problem adaptacji ruin obiektów sakralnych, możliwości zagospodarowania oraz możliwe warianty odbudowy ruin. Po wojnie trzynastoletniej kościół został rozbudowany o nawy boczne i wieżę. Układ świątyni został zredukowany w czasie odbudowy po pożarze w XVIII w. W czasie II wojny światowej kościół został zniszczony. Do dziś nie został odbudowany...
-
Application of a cellular automaton to simulations of granular flow in silos
PublikacjaA cellular automaton based on a gas model of hydrodynamics was used to calculate the kinematics of non-cohesive granular materials during confined flow in a mass flow and funnel flow model silo. In the model, collisions of particles were taken into account during granular flow. In addition, a simplified automaton was used wherein granular flow was assumed as an upward propagation of holes through a lattice composed of cells representing...
-
Wyznaczanie gętości upakowania materiału sypkiego w silosie na podstawie danych pomiarowych elektrycznej tomografii pojemnościowej (ECT)
PublikacjaW artykule przedstwiono wyniki wstępnych badan majacych na celu określenie ilościowej zalezności pomiedzy zmianami koncentracji 9wskaźnika porowatości) o wiekościa pomieroznych zmian pojemności elektord pomiarowych stosowanych w elektrycznej Tomografii Pojemnościowej. Pomiary wykonao dla przypadku różnego zagęszczenia początkowego silosu cylindrycznego.
-
Jak szybko gasić pożar, czyli przypadek szeregowania zadań czasowozależnych
Publikacjaartykuł poświęcony jest planowaniu pracy brygad strażackich walczących z pożarami lasu. model matematyczny, który tutaj zastosowano to szeregowanie zadań uwarunkowanych czasowo. przedyskutowano złożoność problemu w przypadku zastosowania dwóch kryteriów optymalizacji: długości harmonogramu i średniego czasu przepływu. pokazano, że w ogólności nie istnieją uszeregowania idealne, zapewniające minimalizację obu kryteriów jednocześnie
-
Łączenie urządzeń wyposażonych w interfejs szeregowy RS-232 z siecią komputerową w oparciu o mikromoduł MMnet02
PublikacjaW artykule przedstawiono strukturę opracowanego i wykonanego układu opartego na platformie mikroserwera MMnet02, który umożliwia nadrzędne sterownie urządzeniami komunikującymi się poprzez interfejs szeregowy RS-232. Jako przykład urządzenia wykorzystanego do sterowania za pośrednictwem sieci komputerowej wykorzystano regulator pogodowy firmy Danfoss, który udostępnia odczyt i możliwość zmiany wybranych parametrów regulacji poprzez...
-
Komputerowy symulator algorytmów synchronizacji obiektów elektroenergetycznych
PublikacjaW artykule opisano istotę i różnorodność sposobów synchronizacji obiektów elektroenergetycznych oraz strukturę opracowanego i wykonanego dla celów badawczych, symulatora algorytmów synchronizacji. Przedstawiono architekturę blokową symulatora i jego powiązanie z procesem synchronizacji prądnic, opisano oprogramowanie symulatora oraz wskazano na szeroki zakres jego stosowalności oraz dużą użyteczność praktyczną.
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje 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...
-
Wybrane zastosowania niestandardowych modeli kolorowania w szeregowniu dwu-procesowych zadań jednostkowych
PublikacjaNiniejsza praca poświęcona jest wykorzystaniu teorii chromatycznej grafów wszeregowaniu. Koncepcja ta polega na przedstawieniu zbioru zadań w postaci krawędzi tzw. grafu konfliktów.
-
Warianty algorytmu Tabu Search w zastosowaniu harmonogramów zajęć szkolnych
PublikacjaW niniejszej pracy przedstawiono warianty adaptacji przeszukiwania tabu wrazz wynikami eksperymentów obliczeniowych do układania szkolnych harmonogramówzajęć. W modelu teoretycznym uwzględniono ograniczenia krytyczne jak np.konflikty czasowe uczestników zajęć (nauczyciele i uczniowie) oraz brakprzerw w zajęciach (eliminacja okienek) wybranych uczestników, jak równieżniekrytyczne składniki funkcji celu jak np. równomierne...
-
Szeregowanie zadań sprzężonych metodą kolorowania grafów
PublikacjaRozważono problem szeregowania zadań sprzężonych na pojedynczym procesorze w obecności ograniczeń kolejnościowych. Zidentyfikowano przypadki wielomianowe dla tego zagadnienia NP-trudnego.
-
Application of Particle Image Velocimetry method for monitoring the volume changes during silo flow on the basis of X-radiographs
PublikacjaW artykule przedstawiono wyniki badań nad zastosowaniem techniki pomiarowej PIV (Particle Image Velocimetry) do analizy zmian objętościowych zachodzących w materiale sypkim w czasie opróżniania silosu prostokątnego. Jako mateirły do analizy wykorzystano cyfrowe radiografy uzyskane z kontynualnej rejestracji z użyciem systemu tomografii promieni X. Szcególny nacisk położono na analizę zmian objętościowych zachodzącyh w kanale przepływu.
-
Acoustic Processor of the MCM Sonar
PublikacjaThis paper presents the concept of an acoustic processor of the mine countermeasure sonar. Developed at the Department of Marine Electronics Systems, Gdansk University of Technology, the acoustic processor is an element of the MG-89, a modernised underwater acoustic station. The focus of the article is on the modules of the processor. They are responsible for sampling analogue signals and implementing the algorithms controlling...
-
Algorytm branch-and-bound dla pewnego problemu szeregowania zadań uwarunkowanych czasowo
PublikacjaW artykule został przedstawiony algorytm branch-and-bound dla problemu szeregowania zadań uwarunkowanych czasowo 1 | pi = 1 + aisi | sum Ci. Przedstawiono także wyniki eksperymentów komputerowych prezentujących wydajność algorytmu. Zastosowanie przedstawionego algorytmu umożliwia powiększenie "obliczalnych" rozmiarów instancji o 6-10 zadań w stosunku do algorytmu pełnego przeszukiwania.
-
Porównanie algorytmów ważonego umieszczania grafów w grafach minimalizujących opóźnienia komunikacyjne
PublikacjaW artykule omówiono i porównano zaimplementowane algorytmy ważonego umieszczania grafów w grafach. Z uwagi na obliczeniową trudność problemu ogólnego większość przedstawionych podejść to heurystyki. Dla ograniczonych instancji problemu zaproponowano podejście dokładne oparte o ideę backtrackingu. W pracy zawarto porównanie algorytmów pod względem czasów działania i jakości uzyskanych rozwiązań. Algorytmy zaimplementowane zostały...
-
Gwarantowanie bezpieczeństwa w systemie z połączeniami awaryjnymi
PublikacjaRozważamy zapewnianie bezpieczeństwa przed zewnętrznym intruzem w systemie o topologii drzewa, w którym wprowadzono dodatkowe połączenia awaryjne. Grupa mobilnych autonomicznych agentów musi przechwycić intruza, niezależnie od przyjętej przez niego strategii unikania. W literaturze problem ten jest modelowany jako przeszukiwanie grafów. W pracy zawężamy dotychczasowe oszacowanie na liczbę przeszukiwawczą kaktusów podkubicznych,...
-
Szeregowanie zadań wieloprocesorowych metodą kolorowania hiperkrawędzi
PublikacjaW artykule rozważamy problem szeregowania jednostkowych zadań wieloprocesorowych na procesorach dedykowanych z repetycją zadań i ograniczeniami dostępności. Prezentujemy zebrane wyniki złożoności dla różnych typów instancji powyższego problemu szeregowania z kryteriami długości harmonogramu, sumy czasów zakończenia zadań i kosztu całkowitego. Problem ten opisujemy modelem kolorowania krawędzi różnych klas hipergrafów.