Wyszukiwarka
Wyniki wyszukiwania dla: ZBIÓR DEFENSYWNY
-
program verification strategy and edge ranking of graphs
PublikacjaW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Efektywność metod modelowania systemów z perspektywy psychologii poznawczej.
PublikacjaPsychologiczne dopasowanie metod modelowania systemów i narzędzi CASE do profilu wykonawcy ma istotny wpływ na efektywność pracy rozumianą chociażby jako czas wykonania zadania, ilość wprowadzonych defektów, łatwość pracy,czy też łatwość wykorzystania rezultatów. W referacie zaprezentowano dwa podejścia do oceny metod modelowania z perspektywy poznawczej. W pierwszym podejściu wykorzystano zbiór wymiarów poznawczych, natomiast...
-
SUBIEKTYWNA OCENA MULTIPLEKSU RADIOFONII LOKALNEJ DAB+ DZIAŁAJĄCEJ W GDAŃSKU I WROCŁAWIU
PublikacjaStandard DAB+ (Digital Audio Broadcasting plus) jest wiodącym systemem naziemnej radiofonii cyfrowej. W porównaniu do analogowej radiofonii FM wszystkie usługi, obejmujące tradycyjne programy radiowe oraz usługi transmisji danych, grupowane są w zbiór (ensemble). Praca ta przedstawia proces rekonfiguracji polskiego multipleksu na przykładzie lokalnej radiofonii DAB+ w Gdańsku i Wrocławiu. Opisuje wyniki badań subiektywnych dotyczących...
-
Witold Parteka Dr
OsobyWykształcenie: Uniwersytet Gdański - Wydział Filologiczno-Historyczny – kierunek historia specjalność nauczycielska – dyplom (20 czerwiec 1997) – mgr historii Akademia Pomorska w Słupsku Wydział Filologiczno-Historyczny, Instytut Historii –– 21 październik 2009 - dr nauk humanistycznych w zakresie historii. Temat doktoratu: Szkolnictwo oficerskie Polskiej Marynarki Handlowej w latach 1945-1968 Zainteresowania badawcze: historia...
-
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...
-
Hiperheurystyki w kolorowaniu grafów
PublikacjaHiperheurystyki to jeden z nowych trendów w technice obliczeniowej. Można je zdefiniować jako algorytmy, które wykorzystują zdefiniowany zbiór prostych heurystyk do znalezienia przybliżonego rozwiązania. Celem algorytmu jest znalezienie takiej sekwencji uruchamiania tych prostych operacji, która będzie dawała najlepsze rozwiązanie dla danej instancji problemu lub danej klasy instancji problemu. W pracy zdefiniowano heurystyki dla...
-
Zagrożenie przestępczością w szkole
PublikacjaPrzestępczość w szkole, rozumiana jako zbiór czynów zabronionych ustawowo pod groźbą kary, a popełnionych na obszarze szkoły jest zjawiskiem społecznym będącym udziałem zarówno nieletnich jak i dorosłych, w tym nauczycieli, wychowawców i opiekunów. Ma ona wiele różnorodnych przyczyn. Do sprawców nieletnich stosuje się ustawę o postępowaniu wobec nieletnich a w stosunku do dorosłych kk. Do najczęściej popełnianych przestępstw należą:...
-
Recykling materiałowy odpadów gumowych w Polsce
PublikacjaRecykling materiałowy odpadów gumowych, polegający na waloryzacji wyeksploatowanych wyrobów gumowych w produkty o właściwościach użytkowych, zyskuje obecnie na coraz większym znaczeniu, stanowiąc alternatywę dla powszechnie stosowanego w Polsce odzysku energetycznego. Publikacja zawiera przegląd krajowej literatury naukowej oraz patentowej na temat zastosowania produktów recyklingu materiałowego odpadów gumowych. Zaprezentowany...
-
Wokół idei dobrego miasta
PublikacjaZbior refleksji na temat współczesnych zjawisk i procesów negatywnie oddziałujących na miejską tkankę i wymagających w związku z tym nowych, efektywnych narzędzi urbanistyki operacyjnej, a także zintegrowanego podejscia do zarządzania przestrzenią.
-
Metoda OptD do redukcji danych w opracowaniu wyników pomiarów linii elektroenergetycznych
PublikacjaSkaning laserowy to technologia dostarczająca we względnie krótkim czasie dużą ilość danych pomiarowych. Jest to zarazem pozytywna jak i negatywna cecha tej technologii. Z jednej strony w wyniku skaningu otrzymuje się dane, które szczegółowo odzwierciedlają pomierzony obiekt. Z drugiej strony trudność sprawia przetwarzanie takiej ilości danych i nie zawsze wszystkie dane ze skaningu są niezbędne do realizacji wybranego zadania....
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublikacjaW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
W pełni wielomianowy schemat aproksymacyjny dla pewnego problemu szeregowania zadań uwarunkowanych czasowo
Publikacjaw artykule tym rozważany jest następujący problem szeregowania zadań: dany jest jeden procesor, zbiór zadań j1, ..., jn, czas przetwarzania zadania i wynosi pi = a + bisi, zaś celem jest minimalizacja całkowitego czasu wykonywania zadań. przedstawiony został pełny wielomianowy schemat aproksymacyjny, który, o ile wszystkie współczynniki wydłużania zadań (bi) w instancji problemu są różne i większe od pewnej, ustalonej liczby u,...
-
Zarządzanie wartością przedsiebiorstwa - ujęcie procesowe
PublikacjaOpracowanie to zostało poświęcone szczególnemu problemowi zarządzania wartością ekonomiczną przedsiebiorstwa,jakim jest wdrożenie procesowej struktury organizacyjnej i zwiazanych z nią mechanizmów optymalizacji procesów gospodarczych na podstawie pomiarów ich wartości ekonomicznej. Procesy realizują zadania dla klientów wewnetrznych i zewnetrznych.Rozpatrywanym problemem jest analiza cech, jakimi powinny się charakteryzować procesy...
-
Homoclinic orbits for a class of singular second order Hamiltonian systems in R3
PublikacjaW niniejszym artykule rozważamy autonomiczny układ Hamiltonowski w 3-wymiarowej przestrzeni euklidesowej, z potencjałem osiągającym maksimum globalne właściwe równe zero w początku układu współrzędnych i mającym za zbiór punktów osobliwych prostą, która nie przechodzi przez początek układu. Przy założeniu, że potencjał spełnia pewien warunek zwartości w nieskończoności i warunek Gordona w otoczeniu prostej punktów osobliwych, stosując...
-
Witryna inrenetowa w funkcjonowaniu szkoły
PublikacjaW artykule przedstawiono problematykę funkcjonowania witryn internetowych w środowisku edukacyjnym. Przeanalizowano aspekty zarówno natury technologicznej jak i informacyjnej. Zaprezentowano technologie informatyczne i internetowe zorientowane na tworzenie witryn www. Przeanalizowano potrzeby funkcjonalne dla witryn szkolnych i edukacyjnych. Zwrócono uwagę na ich ukierunkowanie na grupy odbiorcze. Pokazano reprezentatywne przykłady...
-
Listowe kolorowanie grafów
PublikacjaW klasycznym modelu kolorowania grafów,kolor przydzielany wierzchołkowi jestograniczony przez regułę zakazującą pokolorowania dwóch sąsiednich wierz-chołków tym samym kolorem. Kolorowanie listowe wprowadza dodatkowe ograni-czenie: każdy wierzchołek posiada z góry określony zbiór dopuszczalnych ko-lorów. Rozważamy jak duża może być różnica pomiędzy liczbą chromatyczną ilistową liczbą chromatyczną oraz dla jakich klas grafów...
-
Almost homoclinics for nonautonomous second order Hamiltonian systems by a variational approach
PublikacjaW artykule badamy problem istnienia rozwiązań prawie homoklinicznych dla nieautonomicznych układów Hamiltona w R^n z potencjałem V(t,x) postaci -1/2(L(t)x,x)+W(t,x) oraz zaburzeniem f(t) (ang. forcing term) z L^2. Zakładamy, że L jest funkcją ciągłą z prostej w zbiór macierzy kwadratowych nxn taką, że macierze L(t) są symetryczne i dodatnio określone jednostajnie względem zmiennej t. Potencjał W(t,x) jest klasy C^1 i nadkwadratowy...
-
Synchronization helps robots to detect black holes in directed graphs
PublikacjaPraca zawiera nowe wyniki dla problemu poszukiwania czarnej dziury w grafie skierowanym przez zbiór agentów. Czarna dziura jest węzłem niszczącym wszystkich wchodzącej do niej agentów. Pokazano, że w przypadku, gdy stopień wejściowy czarnej dziury wynosi D, do przeszukania grafu skierowanego w modelu synchronicznym wystarcza O(D 2^D) agentów. Wartość ta jest bliska znanemu z literatury oszacowaniu dolnemu Omega (2^D). W pracy pokazano...
-
Model ontologiczny referencyjnego problemu planowania misji inspekcyjnych
PublikacjaRozważany problem doboru, alokacji i planowania działań grupy robotów inspekcyjnych w środowisku pomieszczeń zamkniętych sformułowany został w modelu deklaratywnym. Zaproponowany model definiowany przez zbiór zmiennych decyzyjnych charakteryzujących środowisko pomieszczeń zamkniętych z nieruchomymi i poruszającymi się przeszkodami a także flotę robotów mobilnych oraz zbioru ograniczeń wiążących te zmienne, wyrażany jest w postaci...
-
Zastosowanie metod chemometrycznych w szacowaniu wpływu Gdańskich Zakładów Nawozów Fosforowych "Fosfory" na różne komponenty środowiska
PublikacjaPodjęto próbę oszacowania wpływu Gdańskich Zakładów Nawozów Fosforowych "Fosfory" S.A. na różne komponenty środowiska. Szerokie spektrum analitów (pierwiastków) oznaczono w próbkach fosforytów, nawozów, fosfogipsów, gleby oraz trawy, wykorzystując neutronową analizę aktywacyjną. Uzyskany zbiór danych poddano analizie z wykorzystaniem metod chemometrycznych - analizy głównych składowych z rotacją varimax. Otrzymane wyniki zdecydowanie...
-
Kaszubskie zamieszkiwanie. Studium
PublikacjaGraficzne, malarskie i fotograficzne przedstawianie przestrzeni zamieszkiwania poprzez obraz oraz formalne poprzez rzeźbę to poszukiwanie nowych środków wyrazu dla ukazania osobistych refleksji na temat domu i jego relacji środowiskowych. Stanowią dopełnienie pracy naukowej i projektowej. Cykl „kaszubskie zamieszkiwanie. studium” to efekt projektu stypendialnego (stypendium dla twórców kultury Marszałka Województwa Pomorskiego...
-
Zwiększenie sprawności procesów technologicznych poprzez zastosowanie układów ORC i systemów trigeneracyjnych
PublikacjaPoprawa sprawności energetycznej procesów technologicznych - obok ograniczenia emisji gazów cieplarnianych i wykorzystania niekonwencjonalnych technologii do konwersji energii - stanowi obecnie najważniejszy element idei zrównoważonego rozwoju. Niniejsza praca wychodzi naprzeciw oczekiwaniom rynkowym, wskazując możliwości wpisania się w ten trend. Stanowi ona zbiór ogólnych wytycznych, opartych o literaturę przedmiotu i własne...
-
Przegląd mechanizmów zabezpieczeń sieci komputerowych wykorzystujących technikę Ethernet
PublikacjaW artykule przedstawiono zbiór wybranych rozwiązań służących zabezpieczeniu systemów sieciowych, wykorzystujących technikę Ethernet. Przedstawione rozwiązania nie wyczerpują oczywiście listy protokołów i mechanizmów możliwych do wdrożenia w tym środowisku, lecz należą bezsprzecznie do grupy rozwiązań najpopularniejszych i rekomendowanych. W świetle analizy funkcjonalności udostępnianej przez opisane rozwiązania, a także wniosków...
-
Solving Multi-Ship Encounter Situations by Evolutionary Sets of Cooperating Trajectories
PublikacjaAutor zaproponował nowe podejście do sytuacji kolizyjnych na morzu. Polega ono na zastąpieniu ewolucyjnej trajektorii własnej ewolucyjnym zbiorem trajektorii wszystkich obiektów. Podejście to umożliwia predykcję manewrowania obiektów obcych przy jednoczesnym zachowaniu efektywności algorytmów ewolucyjnych. Dodatkowo, opracowany już wstępnie przez autorów zbiór kryteriów, ograniczeń i operatorów specjalizowanych powinien zapewnić...
-
Przegląd popularnych mechanizmów bezpieczeństwa warstwy łącza danych sieci Ethernet
PublikacjaW artykule przedstawiono zbiór wybranych rozwiązań służących zabezpieczeniu systemów sieciowych, wykorzystujących technikę Ethernet. Opisane rozwiązania nie wyczerpują oczywiście listy protokołów i mechanizmów możliwych do wdrożenia w tym środowisku, lecz należą bezsprzecznie do grupy rozwiązań najpopularniejszych i rekomendowanych. W świetle analizy funkcjonalności udostępnianej przez opisane rozwiązania, a także wniosków uzyskanych...
-
Self-testing of analog parts of mixed-signal electronic microsystems based on multiple sampling of time responses
PublikacjaW artykule przedstawiono nowe podejście samo-testowania toru analogowego zakończonego przetwornikiem A/C w mieszanych sygnałowo elektronicznych systemach wbudowanych sterowanych mikrokontrolerami. Bazuje ono na nowej metodzie diagnostycznej opartej na przekształceniu transformującym zbiór próbek odpowiedzi czasowej układu badanego na pobudzenie impulsem prostokątnym na rodzinę krzywych identyfikacyjnych umieszczonych w przestrzeni...
-
Ontology Visualization
PublikacjaOntologie bardzo często są reprezentowane w postaci grafu, którego wierzchołkami są obiekty występujące w prezentowanej ontologii a krawędziami relacje i powiązania pomiędzy tymi obiektami. Grafy reprezentujące ontologie mogą być złożone już dla średniego rozmiaru ontologii. Stąd niezbędna jest pełna i czytelna reprezentacja elementów takiego grafu. Dostępne rozwiązania zazwyczaj nie oferują reprezentacji pełnego zbioru elementów...
-
Metody przydatne do wspomaganego komputerem projektowania wstępnego statków śródlądowych
PublikacjaMonografia zawiera zbiór metod przydatnych do projektowania wstępnego statków śródlądowych. Metody opracowano w wyniku badań inspirowanych potrzebą rozwiązywania konkretnych zagadnień projektowych, jakie pojawiały się przy realizacji projektowych prac studialnych prowadzonych w ramach tematu: "Nowa generacja przyjaznych środowiskowo statków śródlądowych i przybrzeżnych dla polskiego systemu dróg wodnych relacji Wschód-Zachód" -...
-
Identity verification based on mouse movements
PublikacjaW pracy przedstawiono ideę systemu zabezpieczeń biometrycznych opartego na sposobie poruszania myszą. Pomiary odczytywane z myszy są przykładem cech behawioralnych, które w przeciwieństwie do fizjologicznych są bardzo niestabilne. Opisano zbiór cech, które można wydobyć z danych pochodzących z myszy. Przeprowadzono eksperymenty dla danych zebranych od trzynastu użytkowników. Zaprezentowano wyniki uwierzytelniania za pomocą metody...
-
Ocena skuteczności czyszczenia sieci wodociągowej metodą hydropneumatyczną
PublikacjaPrzedmiotem analizy było dyskusyjne kryterium oceny skuteczności czyszczenia sieci wodociągowej określone przez eksploatatora. Analizę oparto na wynikach badań terenowych po czyszczeniu 9,5 km sieci wodociągowej o średnicy od 80 do 160 mm. Empiryczną podstawę dalszych rozważań stanowił zbiór wartości umownego zastępczego współczynnika chropowatości rurociągów k10. Uzyskane rezultaty wykazały, że lokalne warunki reakizacji pomiarów...
-
Multihomed Wireless Terminals: MAC Configuration and Network Selection Games
PublikacjaW artykule rozpatruje się rozdział pasma pomiędzy zbiór racjonalnych terminali bezprzewodowych dołączonych do wielu sieci lokalnych. Przy pomocy narzędzi analitycznych teorii gier pokazuje się, w jaki sposób można zniechęcać terminale do agresywnej konfiguracji protokołu MAC. Analizowana jest ilościowo rola prędkości generacji informacji zwrotnej z sieci w stosunku do częstości generacji żądań dostępu terminala do sieci. Wykazano,...
-
Cechy użytkowe kładek dla pieszych.
PublikacjaReferat zawiera zbiór uwag na temat własności użytkowych kładek dla pieszych. pieszych części pierwszej omówiono zagadnienia geometryczne związane z planowaniem kładek w zależności od ich przeznaczenia. Następnie zasygnalizowano problemy bezpieczeństwa związane z kładkami szczególnie podkreślając zespół ryzyka, jakie stwarza kładka dla użytkowników i otoczenia. Na koniec przedstawiono cechy mechaniczne nowoczesnych kładek dla pieszych....
-
Mark Fisher. Dziwaczne i osobliwe. Przekład i posłowie: Andrzej Karalus i Tymon Adamczewski
PublikacjaDziwaczne i osobliwe to zbiór esejów, w których autor dowodzi, że wiele spośród znanych dzieł kultury można opisać kategoriami dziwaczności lub osobliwości. Pojęcia te, choć bardzo do siebie zbliżone, nie są tożsame. Oba kojarzone są z horrorem lub literaturą sceince fiction, ale wykraczają poza jego ramy. Dotykają tego, co zewnętrzne i nieznane, niepokojące, ale niekoniecznie przerażające. Kategorie dziwaczności i osobliwości...
-
Słynne wille Polski, wystawa w Bytomiu - październik 2013
PublikacjaWystawa zorganizowana we Wrocławiu w Muzeum Architektury w dniach 28 kwietnia-18 maja 2013 r. przez Foibos Books Praha, na której wystawiono plansze autorstwa Marii Jolanty Sołtysik, oparte na książce Słynne wille Polski, oprac. zbior. R. Nakonieczny, Praha : Foibos Books, 2013, ISBN 978-80-87-073-57-5.
-
TECHNIKI CAD W INŻYNIERII ELEKTRYCZNEJ - WYBRANE ZAGADNIENIA
PublikacjaW pracy przedstawiono różne techniki CAD (ang. Computer Aided Design) wykorzystywane w inżynierii elektrycznej dla potrzeb komputerowego modelowania 3D przetworników elektromechanicznych. Wirtualne modele 3D różnych urządzeń są użyteczne nie tylko przy opracowywaniu dokumentacji technicznej ale są także wykorzystywane w obliczeniach inżynierskich:...
-
Multidimensional Approach to Quality Analysis of IPSec and HTTPS Applications
PublikacjaNiniejsza praca omawia aspekty bezpieczeństwa i wydajności aplikacji rozproszonych działających w środowisku sieci publiczno-prywatnych, stworzonych za pośrednictwem technologii IPSec i HTTPS. Jako przykłady implementacji pokazane są: jeden z największych polskojęzycznych portali motoryzacyjnych: www.auto.gda.pl oraz brama IPSec działająca w środowisku ATCA. Przedstawiona w referacie analiza pod kątem wydajności i bezpieczeństwa...
-
Obliczenia niezawodności użytkowej kładek dla pieszych
PublikacjaW pracy zaprezentowano metodę obliczania niezawodności użytkowej kładek dla pieszych. Obciążenie pieszymi opisano definiując następujące zmienne losowe: amplitudę i częstość wymuszenia pieszego, jego prędkość, a także czas i miejsce pojawienia się na kładce. Zastosowano metodę Monte Carlo. Wygenerowane realizacje obciążenia stanowią zbiór danych wejściowych do obliczeń przeprowadzanych dowolnym programem stosującym metodę elementów...
-
RDQC - sterowana wymaganiami kontrola jakości oprogramowania
PublikacjaArtykuł omawia metodę RDQC sterowania jakością wytwarzanego oprogramowania w oparciu o zbiór stawianych mu wymagań. W tym celu dokonywana jest specyfikacja wymagań wobec oprogramowania, stanowiąca następnie podstawę dla wybrania najbardziej istotnych charakterystyk jakościowych. W kolejnych fazach procesu wytwórczego wybrane charakterystyki podlegają kontroli - poprzez interpretację odpowiedzi na przypisane im pytania i pomiary...
-
Metodyka systematycznego przeglądu literatury w zakresie konkursów o nagrody jakości opartych na modelach doskonałości
PublikacjaModel doskonałości można zdefiniować jako zbiór zasad kompleksowej oceny organizacji , który często wykorzystywany jest jako podstawa konkursów jakości. Celem niniejszego referatu jest systematyczny przegląd literatury o tematyce konkursów jakości opartych na modelach doskonałości, szczególnie związanych z modelem EFQM – modelem europejskim. Podczas badań wykorzystano trzy bazy literaturowe dostępne na Politechnice Gdańskiej –...
-
Slavne Vily Polska
PublikacjaWystawa zorganizowana przez Foibos Books i prezentowana w Pradze w Pałacu na Hradczanach i w Instytucie Polskim we wrześniu 2013 r., na której wystawiono plansze autorstwa Marii Jolanty Sołtysik, oparte na książce Slavne vily Polska, oprac zbior. pod red. R. Nakoniecznego, Praha: Foibos Book, 2013, ISBN 978-80-87-073-56-7.
-
Obraz mówi więcej niż tysiąc słów
PublikacjaZbór refleksji nad przewijającym się tematem obrazowania tego co ulotne, a co jednak da się zatrzymać na wiele różnych sposobów, utrwalić i zachować i często w ten sposób uratować od zniszczenia czy zapomnienia. Tekst cały czas nawiązuje tematycznie do roli chemii w procesie utrwalania zabytków kultury.
-
Sterowanie multiskalarne pięciofazową maszyną indukcyjną
PublikacjaZastosowanie przekształcenia układu współrzędnych fazowych na układ ortogonalny dla pięciofazowego silnika indukcyjnego o uzwojeniach skupionych prowadzi do wystąpienia w modelu matematycznym dwóch par składowych alfa-beta wektorów wirujących w dwóch nieruchomych układach współrzędnych. Pierwszy układ współrzędnych odpowiada zmiennym pierwszej harmonicznej, drugi – zmiennym trzeciej harmonicznej. Dla każdego układu występuje oddzielny...
-
Derandomizing random walks in undirected graphs using locally fair exploration strategies
PublikacjaW pracy rozważono problem eksploracji anonimowego nieskierowanego grafu przez bezpamięciowego robota. Zaprojektowane strategie eksploracji cechują się własnością lokalnej sprawiedliwości, tj. kolejne krawędzie trawersowane przez robota wybierane są na podstawie lokalnych informacji tak, aby zapewnić równomierne wykorzystanie krawędzi w sensie pewnego kryterium. Okazuje się, że odpowiedni dobór kryterium jest kluczowy do zapewnienia...
-
Sterowanie multiskalarne pięciofazowym silnikiem indukcyjnym
PublikacjaZastosowanie przekształcenia układu współrzędnych fazowych na układ ortogonalny do pięciofazowego silnika indukcyjnego o uzwojeniach skupionych prowadzi do wystąpienia w modelu matematycznym dwóch par składowych alfa-beta wektorów wirujących w dwóch nieruchomych układach współrzędnych. Pierwszy układ współrzędnych odpowiada zmiennym pierwszej harmonicznej, drugi – zmiennym trzeciej harmonicznej. Dla każdego układu występuje oddzielny...
-
Bounding approach to parameter estimation without priori knowledge on model structure error.
PublikacjaArtykuł przedstawia estymację parametrów modelu ARMA (Autoregresive moving average) metodą zbiorów ograniczonych. Założono brak wiedzy na temat ograniczeń na błąd struktury modelu lub, że wiedza ta jest bardzo konserwatywna. W celu redukcji tego konserwatyzmu, zaproponowano koncepcje modelu punktowo-parametrycznego. W podejściu tym zakłada się istnienie zbioru parametrów modelu oraz błędu struktury odpowiadających każdej z trajektorii...
-
Hierarchical dynamic hybrid models for aided design of ship power subsystems.
PublikacjaRozważa się wielopoziomowe modele systemu energetycznego statku. Elementy systemu są modelowane z użyciem ciągłych zmiennych stanu i uwzględnieniem zerowego związku przyczynowo-skutkowego. Poziom pierwszy opisuje wzajemne związki modeli zerowego poziomu, poziom drugi reprezentuje powiązania modeli pierwszego poziomu itd. W ten sposób opisuje się modele elementów zespołów i podsystemów. Każdy z modeli może być hybrydowym modelem...
-
Hybrydowe metody modelowania układów mechanicznych
Publikacjaprzedstawiono dyskretno-ciągłą metodę pryzm oraz hybrydową metodę dekompozycji modalnej modelowania układów mechanicznych. W dyskretno- ciągłej metodzie pryzm elastyczne ciało dyskretyzuje się na jednowymiarowe elementy ciągłe nazywane pryzmami. Każda pryzma opisana jest przez zbiór sześciu sprzężonych równań różniczkowych cząstkowych. Do rozwiązania równań opisujących cały układ stosuje się metodę transmitancji dla układów o parametrach...
-
Algorytmy samostabilizujące w sieciach o wybranych topologiach
PublikacjaIdea algorytmów samostabilizujących została zapoczątkowana przez E. Dijkstrę artykułem pt. „Self-stabilizing systems in spite of distributed control” (Communications of the ACM, 1974). W rozprawie został położony nacisk na algorytmy samostabilizujące działające w sieciach o pewnych specyficznych topologiach, jak na przykład w grafach maksymalnych zewnętrznie planarnych, iloczynach kartezjańskich tych grafów ze ścieżkami i w drzewach. Wykorzystując...
-
Evolutionary Sets of Cooperating Ship Trajectories: COLREGS Compliance
PublikacjaThe paper presents a newly designed improvement to the method of solving multi-ship encounter situations. In general, the method combines some of the assumptions of game theory with evolutionary programming and aims to find optimal set of cooperating trajectories of all ships involved in an encounter situation. The improvement presented here is a new way of modelling some of the COLREGS rules. Due to this change, the method is...
-
Program komputerowy do określania kształtu eksploatowanego toru kolejowego
PublikacjaW pracy podjęto kwestię komputerowego wspomagania obróbki danych uzyskanych z pomiarów satelitarnych, z wykorzystaniem pakietów programowych Leica GeoOffice i Mathsoft Mathcad. Następnie przedstawiono podstawowe założenia opracowywanego w Politechnice Gdańskiej programu komputerowego SATTRACK do wizualizacji, oceny i projektowania trasy kolejowej. W sposób szczegółowy skupiono się na czterech modułach programu służących do określania...