Search
Search results for: drzewa
-
Drzewa póki jeszcze stoją
PublicationWystawa zbiorowa
-
Protokoły drzewa opinającego - ataki i metody obrony
PublicationW pracy przedstawiono sposoby ataków na sieci wykorzystujące realizacje drzewa opinającego STP (IEEE 802.1d i IEEE 802.1w a także modyfikacji STP wprowadzonych przez Cisco) oraz znane metody obrony przed atakami na STP. Zaproponowano także nową koncepcje obrony przed atakami mechanizmu STP wykorzystującą pole flags ramek BPDU.
-
Drzewa-pomniki przyrody na terenie Suwalskiego Parku Krajobrazowego
PublicationCelem badań członków Studenckiego Koła Naukowego Leśników Politechniki Białostockiej była aktualizacja informacji o drzewach uznanych za pomniki przyrody na terenie Suwalskiego Parku Krajobrazowego. Zakres prac obejmował również określenie ich stanu ochrony oraz ukazanie możliwości wykorzystania tych okazów jako atrakcji turystycznych. Wyniki badań wykazały, że drzewa ustanowione jako pomniki przyrody są w niektórych przypadkach...
-
Grafo-ania, czyli rzecz o grafach i algorytmach. Drzewa Steinera
PublicationProblem: na płaszczyźnie leżą 3 punkty. Znajdź czwarty, taki że jego sumaryczna odległość od 3 pozostałych jest minimalna, Pokazujemy jak rozwiązać ten problem i jego uogólnienie.
-
Analiza przybliżonego algorytmu dla problemu szukania drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym.
PublicationW pracy rozważamy kombinatoryczny problem MERST polegający na szukaniu, dla danego grafu, drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym. Dla ogólnych grafów problem MERST jest NP-trudny. W pracy zaproponowano nową funkcję dobroci dla pewnego przybliżonego algorytmu rozwiązującego powyższy problem i przeprowadzono doświadczenia komputerowe w celu porównania nowej z wcześniej znaną funkcją dobroci.
-
Trees with equal restrained domination and total restrained domination numbers
PublicationW publikacji scharakteryzowano wszystkie drzewa, w których liczby dominowania powściągniętego oraz podwójnie totalnego są sobie równe.
-
Algorytm optymalizacji przebiegu tras rurociągów w ograniczonej przestrzenistatku, wykorzystujący metody poszukiwania drzewa Steiner-a.**2002, 95 s. 50 rys. 1 tab. bibliogr. 210 poz. maszyn. Rozprawa doktorska /18.06.2002/ WOiO PG. Promotor: prof. dr hab. inż. W. Tarnowski /P. Koszal./
Publication.
-
Równowaga strategiczna dla zbiorów defensywnych w drzewach
PublicationW pracy rozważany jest problem defensywnej równowagi strategicznej dla zbiorów defensywnych w drzewach (spójnych grafach acyklicznych), który polega na znalezieniu dwóch rozłącznych globalnych zbiorów defensywnych. Zagadnienie to znajduje zastosowanie w modelo- waniu problemów komunikacyjnych w sieciach. Dla danego grafu G podzbiór jego wierzchołków S jest zbiorem defensywnym, jeśli dla każdego wierzchołka v należącego do S spełniony...
-
Dobór algorytmu do przetwarzania zależności czasowych w drzewach błędów
PublicationAnalizę drzew błędów można wzbogacić o rozważenia dotyczące zależności czasowych. Na podstawie informacji o zależnościach przyczynowo-skutkowych oraz o zależnościach czasowych zawartych w drzewie błędów można określić wymagania czasowe wobec komponentów analizowanego systemu, które podniosą jego bezpieczeństwo. Analiza zależności czasowych została precyzyjnie zdefiniowana w zakresie warunków wejściowych i wyjściowych przyjętego...
-
O problemie przydziału częstotliwości, kontrastowym kolorowaniu grafów i częściowych k-drzewach
PublicationNiniejszy artykuł poświęcony jest złożoności obliczeniowej problemu przydziału częstotliwości. Zawiera dowód tego, że jest on NP-trudny nawet dla grafów interferencji, będących grafami dwudzielnymi, oraz wielomianowy algorytm rozwiązujący ten problem dla grafów interferencji, będących częściowymi k-drzewami.
-
iTress The impact of institutional framework change on ecosystem services provided by trees/shrubs to local communities.
ProjectsProject realized in Uniwersytet im. Adama Mickiewicza w Poznaniu according to UMO-2017/25/B/HS6/00954 agreement from 2018-01-30
-
iTre-es The impact of institutional framework change on ecosystem services provided by trees/shrubs to local communities.
ProjectsProject realized in Uniwersytet im. Adama Mickiewicza w Poznaniu according to 2017/25/B/HS6/00954 agreement from 2017-11-23
-
Paired bondage in trees
PublicationW pracy zdefiniowano pojęcie liczby zniewolenia parami jako moc najmniejszego zbioru krawędzi, którego usunięcie z grafu spowoduje wzrost liczby dominowania parami. W szczególności scharakteryzowane są wszystkie drzewa, w których liczba zniewolenia wynosi 0, czyli takie, w których usunięcie dowolnego podzbioru krawędzi nie zwiększy liczby dominowania parami.
-
Total restrained domination numbers of trees
PublicationOpisane są wszystkie drzewa, w których liczby dominowania totalnego i totalno - powściągniętego są sobie równe, a także podano dolne ograniczenie na liczbę dominowania totalno - powściągniętego w drzewach.
-
Lower bound on the paired domination number of a tree
PublicationW pracy przedstawione jest ograniczenie dolne dla liczby dominowania parami oraz scharakteryzowane są wszystkie drzewa ekstremalne.
-
Lower bound on the distance k-domination number of a tree
PublicationW artykule przedstawiono dolne ograniczenie na liczbę k-dominowania w drzewach oraz scharakteryzowano wszystkie grafy ekstremalne.
-
Lower bound on the weakly connected domination number of a tree
PublicationPraca dotyczy dolnego ograniczenia liczby dominowania słabo spójnego w drzewach (ograniczenie ze względu na ilość wierzchołków i ilość wierzchołków końcowych w drzewie).
-
Representing and appraising Toulmin model arguments in trust cases
PublicationThe paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.
-
Total outer-connected domination in trees
PublicationW pracy przedstawiono dolne ograniczenie na liczbę dominowania totalnego zewnętrznie spójnego w grafach oraz scharakteryzowano wszystkie drzewa osiągające to ograniczenie.
-
Graphs with equal domination and 2-distance domination numbers
PublicationW publikacji scharakteryzowane są wszystkie te drzewa i grafy jednocykliczne, w których liczba dominowania oraz liczba 2-dominowania na odległość są sobie równe.
-
Struktury danych.
PublicationPraca stanowi podręcznik dla studentów pierwszych lat informatyki. Prezentuje ona podstawowe struktury danych stosowane w programach komputerowych wraz z algorytmami, ukierunkowanymi na przechowywanie informacji oraz operowanie informacją przy użyciu tych struktur. W podręczniku omówiono m.in. następujące zagadnienia: tablice uporządkowane, tablice rozproszone, sortowanie tablic, listy, drzewa binarne, drzewa wyszukiwawcze,...
-
Efficient parallel query processing by graph ranking
PublicationW artykule analizujemy przybliżony algorytm dla problemu szukania drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym, co znajduje zastosowanie w równoległym przetwarzaniu zapytań w relacyjnych bazach danych. Podajemy nowe oszacowanie uporządkowanego indeksu chromatycznego drzewa, które prowadzi do uzyskania lepszej funkcji dobroci wspomnianego algorytmu.
-
Potyczki algorytmiczne, czyli Alicja i Bogdan w różnych sytuacjach. Alicja i Bogdan otrzymują spadek
PublicationWprowadzono w zagadnienie drzewa Steinera na płaszczyźnie
-
Distance paired domination numbers of graphs
PublicationW pracy przedstawione są pewne własności liczb k-dominowania parami w grafach. Wykazane jest, że problem decyzyjny liczby k-dominowania parami jest problemem NP-zupełnym nawet dla grafów dwudzielnych. Przedstawione są ograniczenia górne i dolne dla liczby k-dominowania parami w drzewach i scharakteryzowane drzewa, w których te ograniczenia są osiągnięte.
-
The complexity of list ranking of trees
PublicationUporządkowane kolorowanie grafu polega na takim etykietowaniu jego wierzchołków, aby każda ścieżka łącząca dwa wierzchołki o tym samym kolorze zawierała wierzchołek o kolorze wyższym. Jeśli każdy wierzchołek posiada dodatkowo listę dozwolonych dla niego etykiet, to mówimy wówczas o uporządkowanym listowym kolorowaniu wierzchołków. W pracy wskazano szereg klas grafów, dla których problem jest trudny: pełne drzewa binarne, drzewa...
-
Construction of a picewise-linear classifier by applaing discriminant analysis to decision tree induction
PublicationArtykuł prezentuje metodę konstrukcji drzew decyzyjnych. W odróżnieniu od większości popularnych algorytmów, które wybierają pojedyncze cechy do budowy reguł decyzyjnych w węzłach drzewa, ta metoda łączy wszystkie cechy. Używa ona wieloklasowego kryterium Fishera do wydzielenia nowych cech, które są liniowa kombinacją cech pierwotnych. Takie drzewa mogą aproksymować złożone regiony decyzyjne używając mniejszej liczby węzłów w porównaniu...
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublicationArtykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...
-
Inferring perfect phylogenies with restrictions on character state transitions
PublicationZnana z klasycznej literatury metoda rekonstrukcji drzewa filogenetycznego zbioru gatunków na podstawie ich cech analizowanych w modelu doskonałej filogenezy często okazuje się niewystarczająca ze względu na założenia tego modelu, zmuszające do pominięcia znanych biologom informacji. W pracy definiujemy rozszerzenie umożliwiając wprowadzenie dla każdej cechy grafu skierowanego dopuszczalnych przejść ewolucyjnych pomiędzy jej stanami....
-
Metoda porównywania drzew filogenetycznych wykorzystująca najlżejsze doskonałe skojarzenie w grafach dwudzielnych
PublicationDrzewa filogenetyczne przedstawiają historyczne, ewolucyjne związki pokrewieństwa między różnymi gatunkami lub różnymi osobnikami w ramach jednego gatunku. Istnieje wiele metod rekonstruowania drzew filogenetycznych. Wykorzystywanie różnych metod na tym samym zbiorze danych zazwyczaj owocuje powstaniem różnych drzew. Pojawia się zatem pytanie: jak bardzo dwa dane drzewa różnią się od siebie. W niniejszej pracy prezentujemy nową...
-
O pewnym zastosowaniu uporządkowanego kolorowania grafów
PublicationPraca opisuje związki pomiędzy problemami uporządkowanego kolorowania wierzchołków grafów oraz szukania drzewa eliminacji o minimalnej wysokości dla danego grafu. Stąd wynika przydatność tytułowego problemu przy równoległej faktoryzacji macierzy metodą Cholsky´ego.
-
Model bezpieczeństwa statku morskiego.
PublicationBezpieczeństwo statku zależy istotnie od jego procesu eksploatacji. Proces ten zamodelowano jako semi-Markowowski. Fazostany procesu eksploatacji wywołują zapotrzebowanie na użytkowanie określonych systemów statku. Podczas realizacji procesów użytkowania tych systemów mogą powstawać zdarzenia niezdatności elementów technicznych i antropijnych, co może powodować wypadki morskie, czyli niespodziewane zdarzenia, których...
-
Ocena poprawności działania algorytmu proof-number search na strukturze digrafu acyklicznego
PublicationAlgorytm proof-number search jest znanym algorytmem służącym do rozwiązywania gier logicznych. Rozwiązanie gry jest jednoznaczne ze znalezieniem optymalnej strategii i pozwala przeprowadzić rozgrywkę w sposób pozwalający na osiągnięcie najlepszego możliwego wyniku. Jedną z największych wad tego algorytmu, naturalnie pracującego na strukturze drzewa, jest wielokrotne rozwijanie identycznych poddrzew gry co prowadzi do nadmiarowego...
-
A self-stabilizing algorithm for finding a spanning tree in a polynomial number of moves
PublicationW pracy rozważa się rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowy samostabilizujący algorytm znajdowania drzewa spinającego. Zgodnie z naszą wiedzą jest to pierwszy algorytm dla tego problemu z gwarantowaną wielomianową liczbą ruchów.
-
Stanowisko Phylloporus rhodoxanthus (Schw.) Bres. (Basidiomycota) w Trójmiejskim Parku Krajobrazowym, Phylloporus rhodoxanthus (Schw.) Bres. (Basidiomycota) in Trojmiejski Landscape Park.
PublicationOpisano stanowiska zagrożonego, ciepłolubnego grzyba z klasy borowikowców, występujące na obszarze Trójmiejskiego Parku Krajobrazowego. Takson należy do grzybów obligatoryjnie mikoryzowych, które preferują zwłaszcza drzewa lisciaste, w tym buka. Gatunek umieszczono na ''Czerwonej liście grzybów wielkoowocnikowych'' w kategorii ''rzadki'' oraz w spisie grzybów ściśle chronionych w Polsce.
-
Parallel query processing and edge ranking of graphs
PublicationArtykuł poświęcony jest problemowi szukania drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym. Jednym z zastosowań jest poszukiwanie optymalnych harmonogramów w równoległym przetwarzaniu zapytań w relacyjnych bazach danych. Podajemy nowe oszacowanie funkcji dobroci przybliżonego algorytmu autorstwa Makino, Uno i Ibaraki wraz z rezultatami testów komputerowych przeprowadzonych dla grafów losowych.
-
Self-stabilizing algorithms for graph coloring with improved performance guarantees
PublicationW pracy rozważa się rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowy samostabilizujący algorytm kolorowania grafów oparty na konstrukcji drzewa spinającego. Zgodnie z naszą wiedzą jest to pierwszy algorytm z gwarantowaną wielomianową liczbą ruchów, który dokładnie koloruje grafy dwudzielne.
-
Energy optimisation in resilient self-stabilizing processes
PublicationW pracy rozważa się rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowy samostabilizujący algorytm kolorowania grafów oparty na konstrukcji drzewa spinającego. Zgodnie z naszą wiedzą jest to pierwszy algorytm z gwarantowaną wielomianową liczbą ruchów, który dokładnie koloruje grafy dwudzielne.
-
Samostabilizujący się algorytm kolorowania grafów dwudzielnych i kaktusów
PublicationW pracy rozważa się rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowy samostabilizujący algorytm kolorowania grafów oparty na konstrukcji drzewa spinającego. Zgodnie z naszą wiedzą jest to pierwszy algorytm z gwarantowaną wielomianową liczbą ruchów, który dokładnie koloruje grafy dwudzielne.
-
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.
-
Matching Split Distance for Unrooted Binary Phylogenetic Trees
PublicationRekonstrukcja drzew ewolucji jest jednym z głównych celów w bioinformatyce. Drzewa filogenetyczne reprezentuje historię ewolucji i związki pokrewieństwa między różnymi gatunkami. W pracy proponujemy nową ogólną metodę określania odległości między nieukorzenionymi drzewami filogenetycznymi, szczególnie użyteczną dla dużych zbiorów gatunków. Następnie podajemy szczegółowe własności jednej metryki określonej przy użyciu tej metody...
-
Edytor polityk negocjacyjnych mobilnego dokumentu elektronicznego
PublicationW artykule opisano edytor polityk negozjacyjnych umożliwiający generowanie ich specyfikacji w postaci bardzo rozległych drzew na podstawie elementów składowych ofert oraz reguł polityk i ich wartościowanie. Przedstawiono również zarys problemu negocjacji miedzy dokumentem a agentem, ktory ma ten dokument obsługiwać. Drzewa generowane przez edytor mają posłużyć za zbiory uczące dla sieci neuronowej przyspieszającej proces negocjacji.
-
Role of various parametres in automatic classification of musical instrument sound.
PublicationArtkuł dotyczy problemu automatycznej klasyfikacji dźwięków instrumentów muzycznych, w tym głównie wpływu indywidualnych parametrów na proces automatycznego rozpoznawania instrumentów. Parametryzacja wykorzystuje wdirmo Fourierowskie i analizę czasową dźwięków do formowania 14 i 62-parametrowych wektorów cech dystynktywnych. Autorzy porównują jakość rozpoznawania i rozróźnialność instrumentów. Przy ocenach tego typu stosowano drzewa...
-
High-speed binary-to-residue converter with improved architecture.
PublicationPrzedstawiono ulepszoną architekturę szybkiego konwertera liczb z systemu binarnego do systemu resztowego dla liczb ze znakiem w kodzie U2. Algorytm konwertera oparty jest o segmentację słowa wejsciowego nasegmenty 4-bitowe. Reszty liczb reprezentowanych przez segmenty sąobliczane poprzez odwzorowanie. Wielooperandowe sumowanie modulo jest realizowane przy użyciu drzewa Wallace'a z segmentacją wektorów wyjściowych oraz finalnego...
-
Smoothing of wood surface by burnishing
PublicationW artykule zaprezentowano rozwój bezwiórowych metod obróbki wykańczającej drewna. Przedstawiono wpływ nagniatania ślizgowego na chropowatość powierzchni drewna. Badania przeprowadzono na próbkach wykonanych z drzewa sosnowego toczonych i nagniatanych ślizgowo. Nagniatanie ślizgowe przeprowadzono z wykorzystaniem nagniataka elastycznego o elemencie ślizgowym wykonanym z Karbonado. Wyniki odniesiono do głównych parametrów nagniatania...
-
Leksykon Szkocji : historia, polityka, nauka, kultura
PublicationLeksykon zawiera 1043 hasła obejmujące różne dziedziny: historia, polityka, nauka, kultura i inne. Jest to pierwszy w języku polskim tak obszerny zasób informacji o Szkocji, jej dziejach i dniu dzisiejszym. Oprócz haseł zawiera też: ''Od autora'', mapy, tablicę chronologiczną, drzewa genealogiczne, liczne aneksy (w tym: ''Szkocja - wybrane dane statystyczne'') oraz 34 kolorowe ilustracje. Obok bibliografii tradycyjnej podano również...
-
Edge ranking and searching in partial orders
PublicationArtykuł jest poświęcony problemowi konstrukcji optymalnej (wymagającej minimalnej ilości porównań/zapytań) strategii wyszukiwania elementu w częściowym porządku. W pracy wskazano związki pomiędzy tym problemem oraz uporządkowanym kolorowaniem krawędzi grafów, co implikuje liniowy algorytm dla częściowych porządków o strukturze drzewa. Pokazano również, że znalezienie optymalnej strategii jest problemem obliczeniowo trudnym dla...
-
Dynamic analysis of a satellite with feexible link
PublicationW artykule przedstawiono model przestrzenny satelity złożonego z dowolnej liczby podatnych ramion. Układ taki jest przykładem otwartego łańcucha kinematycznego o strukturze drzewa. Do dyskretyzacji członków podatnych zastosowano modyfikację metody sztywnych elementów skończonych. Równania ruchu wyprowadzono z równań Lagrange'a II rodzaju, stosując do opisu ruchu ciał współrzędne złączowe oraz przekształcenia jednorodne. W symulacjach...
-
Connected searching of weighted trees
PublicationW artykule rozważamy problem spójnego przeszukiwania drzew obciążonych. Autorzy w [L. Barriere i inni, Capture of an intruder by mobile agents, SPAA'02 (2002) 200-209] twierdzą, że istnieje wielomianowy algorytm dla problemu obliczania optymalnej strategii przeszukiwania obciążonego drzewa. W niniejszej pracy pokazano, że problem ten jest obliczeniowo trudny nawet dla wierzchołkowo-obciążonych drzew (wagi krawędzi równe 1) oraz...
-
Mechanizmy zarządzania mobilnością węzłów w systemie netBaltic
PublicationZarządzanie mobilnością w specyficznym środowisku komunikacyjnym, jakim jest środowisko morskie, wymaga dedykowanych rozwiązań przystosowanych do pracy w trudnych warunkach propagacyjnych, a jednocześnie zapewniających możliwość wykorzystania różnych technik transmisji. W artykule zaprezentowano rozwiązanie opracowane w ramach projektu netBaltic. Przedstawiono architekturę węzła z wprowadzonymi na potrzeby obsługi mobilności dodatkowymi...
-
Orteza bioniczna kończyny górnej
PublicationZastosowanie robotyki we współczesnej medycynie jest powszechną praktyką. Również w rehabilitacji po udarze i urazie rdzenia kręgowego możliwe jest zwiększenie skuteczności leczenia dzięki bionicznej ortezie kończyny górnej. Na wczesnym etapie stworzono model matematyczny i porównano trzy metody klasyfikacji: maszyną wektorów nośnych, K najbliższych sąsiadów i metoda drzewa decyzyjnego. Ponadto zastosowano najlepszy zestaw domen...
-
Non-linearity of multibody dynamic equations with respect to Lagrange multipliers: application to railway dynamics
PublicationPraca koncentruje się na dynamice układów wieloczłonowych z zamkniętymi łańcuchami członów. Głównym punktem zainteresowania jest modelowanie układów z występującymi nieliniowymi zależnościami opisującymi wpływ siły mnożników Lagrange'a na dynamikę układu (nieliniowe modele siły tarcia.). Aby zbudować model dynamiki układu zawierającego zamknięte łańcuchy członów, wspomniane łańcuchy są "rozcinane" i budowana jest struktura drzewa...
-
Some results on trading model in a consensus list coloring
PublicationKonsensusowy model kolorowania grafów - uogólnienie kolorowania listowego, został zdefiniowany przez Mahadeva i Robertsa w 2002 jako użyteczne narzędzie teoretyczne w niektórych zagadnieniach bioinformatycznych. Pozostaje on jednak słabo rozpoznany pod względem własności algorytmicznych. Wykazujemy, że problem kolorowania grafów pełnych w tym modelu jest wielomianowy, co można uogólnić na częściowe k-drzewa przy ustalonym ograniczeniu...
-
Drawing maps with advice
PublicationRozważamy następujący problem obliczeniowy. Agent zostaje umieszczony w wierzchołku nieznanego mu grafu. Wierzchołki grafu są nierozróżnialne, natomiast krawędzie posiadają numery portów. Zadaniem agenta jest wyznaczenie mapy, tzn. obliczenie izomorficznej kopii grafu, lub obliczenie dowolnego drzewa spinającego grafu. Bez dodatkowej informacji zadań tych nie można wykonać. W artykule wyznaczamy oszacowania na minimalną liczbę...
-
Algorytmy klasyfikacji i uczenia w rozpoznawaniu treści
PublicationZadanie klasyfikacji treści może zostać podzielone na dwa etapy: ekstrakcji cech istotnych dla podziału na klasy oraz etapu klasyfikacji na podstawie cech wyznaczonych w poprzednim etapie. Dzięki takiemu podziałowi, możliwe jest użycie w drugim etapie standardowych algorytmów budowy (uczenia) klasyfikatorów, takich klasyfikator bayesowski, drzewa decyzyjne, sztuczne sieci neuronowe czy metoda wektorów wspierających (SVM). Przy...
-
Gdańskie ciekawostki ogrodowe początku XX wieku
PublicationW XIX wieku drzewa egzotyczne stały się w Europie obiektem szczególnego zainteresowania. Nasilił się także proces wprowadzania ich do uprawy. W 1911 roku zagadnieniu temu poświęcony został doroczny, obradujący w Gdańsku zjazd Niemieckiego Towarzystwa Dendrologicznego. W tym samym roku, tygodnik Die Gartenwelt zamieścił szczegółową relację o towarzyszących obradom wycieczkach do okolicznych ogrodów. W oparciu o nią, autorka artykułu...
-
Analiza dynamiczna anteny satelitarnej z uwzględnieniem podatności członów
PublicationW artykule przedstawiono model przestrzenny anteny satelitarnej z podatnymi ramionami. Prezentowany układ jest przykładem otwartego łańcuch kinematycznego o strukturze drzewa. Do dyskretyzacji podatnych członów zastosowano modyfikację metody sztywnych elementów skończonych. Równania ruchu wyprowadzono z równań Lagrange'a II rodzaju, stosując do opisu ruchu ciał współrzędne złączowe oraz przekształcenia jednorodne. W symulacjach...
-
Gwarantowanie bezpieczeństwa w systemie z połączeniami awaryjnymi
PublicationRozważ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,...
-
Fast rns scaling of signed numbers based on the chinese remainder theorem
PublicationPrzedstawiono architekturę szybkiego skalera resztowego dla liczb ze znakiem dla modułów 5-bitowych opartego na chińskim twierdzeniu o resztach. W architekturze zastosowano wyznaczanie projekcji ortogonalnych przy użyciu funkcji logicznych 5 zmiennych, sumator kodulo m/k oraz wejściowy konwerter do systemu resztowego. Operacja modulo m/k jest wykonywana przy zastosowaniu drzewa 4-operandowych sumatorów modulo 2m/k i końcowego...
-
An environmental risk measure of ships
PublicationW referacie wyszczególniono najistotniejsze rodzaje zanieczyszczeń emitowanych przez statki do środowiska naturalnego. Przeprowadzono krótką dyskusję norweskiej propozycji indeksacji środowiskowej statków. Zaproponowano probabilistyczny model do oceny ryzyka stwarzanego przez statki względem środowiska morskiego. Jest to model strategii liniowej. Wiąże w jedną wartość liczbową prawdopodobieństwa uwolnienia zanieczyszczeń ze statku...
-
An improved high-speed residue-to-binary converter based on the chinese remainder theorem
Publicationw pracy zaprezentowano nowy szybki konwerter z systemu resztowego do systemu binarnego. Projekcje ortogonalne wyznaczane są przy użyciu funkcji logicznych pięciu zmiennych. Suma projekcji obliczana jest z zastosowaniem drzewa Wallace'a. Wektor sumy i wektor przeniesienia są dzielone na segmenty tak aby liczba reprezentowana łącznie przez obydwa segmenty o młodszych wagach nie przekraczała zakresu systemu resztowego,M. Bity segmentów...
-
Redukcja czasu analizy MZP przez ograniczenie rozmiaru rozwiązania
PublicationAnaliza drzew niezdatności jest uznaną metodą analizy bezpieczeństwa systemów. Notacja ECSDM pozwala definiować zależności czasowe między zdarzeniami drzewa oraz przeanalizować je w celu określenia zależności pomiędzy zdarzeniami z Minimalnych Zbiorów Przyczyn (MZP). Dzięki wprowadzeniu klasyfikacji zdarzeń z MZP można wyodrębnić zależności czasowe istotne dla zapobiegania wywoływania hazardu przez konkretny MZP. Pozostałe zależności...
-
Minimum vertex ranking spanning tree problem for chordal and proper interval graphs
PublicationW pracy rozważamy problem szukania, dla danego grafu prostego, drzewa spinającego, którego uporządkowana liczba chromatyczna jest minimalna. K.~Miyata i inni dowiedli w [Np-hardness proof and an approximation algorithm for the minimum vertex ranking spanning tree problem,Discrete Appl. Math. 154 (2006) 2402-2410], że odpowiedni problem decyzyjny jest NP-trudny już w przypadku pytania o istnienie uporządkowanego 4-pokolorowania....
-
Zastosowanie drzew decyzyjnych w prognozowaniu upadłości spółek akcyjnych
PublicationW artykule tym skupiono się na rozważaniach nad możliwością wykorzystania metody drzew decyzyjnych oraz modelu Random Forests w prognozowaniu upadłości spółek akcyjnych notowanych na Warszawskiej Giełdzie Papierów Wartościowych. W badaniach autor wykorzystał dane finansowe 107 spółek akcyjnych z lat 1998-2006. Każde z analizowanych przedsiębiorstw opisanych zostało za pomocą czternastu mierników finansowych.Celem tych badań była...
-
Badania numeryczne zderzenia autobusu w układzie bariera i kratownicowa konstrukcja wsporcza
PublicationZdarzenia spowodowane wypadnięciem pojazdu z trasy stanowią 20 – 30 % ogółu zdarzeń niebezpiecznych na drogach. Najczęściej występującymi przeszkodami i niebezpiecznymi obiektami przy drodze, w które uderza wypadający z niej pojazd są: bariery na autostradach i drogach ekspresowych oraz drzewa, słupy i znaki drogowe na innych szlakach. Do opracowania metody projektowania, tj. doboru lokalizacji i rodzaju urządzeń bezpieczeństwa...
-
BADANIA NUMERYCZNE ZDERZENIA AUTOBUSU W UKŁADZIE BARIERA I KRATOWNICOWA KONSTRUKCJA WSPORCZA
PublicationZdarzenia spowodowane wypadnięciem pojazdu z trasy stanowią 20 – 30 % ogółu zdarzeń niebezpiecznych na drogach. Najczęściej występującymi przeszkodami i niebezpiecznymi obiektami przy drodze, w które uderza wypadający z niej pojazd są: bariery na autostradach i drogach ekspresowych oraz drzewa, słupy i znaki drogowe na innych szlakach. Do opracowania metody projektowania, tj. doboru lokalizacji i rodzaju urządzeń bezpieczeństwa...
-
Porównanie protokołów umożliwiających samorekonfigurację sieci Ethernet.
PublicationPrzedstawiono protokoły warstwy łącza danych stosowane w sieciach Ethernet wtym: algorytm drzewa opinającego - przeciwdziałający krążeniu ramek w sieci LAN (protokół ten z jednej strony ogranicza całkowitą przepustowość sieci, zdrugiej zaś umożliwia automatyczną rekonfigurację sieci w przypadku uszkodzenia łączy lub węzłów); algorytm agregacji łączy - umożliwiający zwiększenie transferu danych między przełącznikami bez zwiększania...
-
Adjusting Game Difficulty by Recreating Behavioral Trees of Human Player Actions
PublicationThis paper presents a proposition of a method for adjusting game difficulty to the current level of player's skills in one-on-one games. The method is based on recognition of human player's actions and recording of those actions in the form of behavioral trees. Such trees are later used to drive behaviors of computer-controlled opponents so that human player has beat hit own strategy and improve on it, to win subsequent games....
-
Porównywanie topologii drzew i sieci filogenetycznych z wykorzystaniem metryki błędu
PublicationPodstawowymi modelami historii ewolucji organizmów są drzewa i sieci filogenetyczne. Ponieważ algorytmy konstrukcji filogenów zwracają różne wyniki dla tych samych danych wejściowych, powstaje problem oceny, który filogen najlepiej reprezentuje historię ewolucji dla zadanego zbioru gatunków. W pracy podano definicję metryki dla przestrzeni drzew o n liściach, zwanej metryką błędu. Dokonano przeglądu miar odległości na przestrzeni...
-
Otoczenie drogi źródłem zagrożeń dla uczestników ruchu drogowego
PublicationDrzewa bezpośrednio przy krawędzi jezdni, a za drzewami skarpy rowów odwadniających, uniemożliwiają poruszanie się niechronionych użytkowników dróg poboczem. Brak zdefiniowanej w polskich warunkach technicznych strefy bezpieczeństwa drogi powoduje duże konflikty z organizacjami ekologicznymi przy próbie usunięcia drzew z bezpośredniego otoczenia dróg. W związku z tym należy poszukiwać kompromisu pomiędzy bezpieczeństwem uczestników...
-
Capturing semantics of semi-structured data using partial-order trees
PublicationW artykule zaprezentowano nowe podejście do problemu klasyfikacji danych semistrukturalnych. Kryteria klasyfikacji bazują na strukturze danych (zwanej typem danych) oraz na ich usytuowaniu w grafir danych (zwanym rolą danych). Zastosowano model OEM (Object Exchange Model) do reprezentacji nazy danych semistrukturalnych. Bazując na tej reprezentacji, definiuje się typy i role obiektów semistrukturalnych i organizuje się je w struktury...
-
Environmental reliability model of a bilge water purifying installation
PublicationW referacie przedstawiono probabilistyczny model, służący do wyznaczania niezawodności środowiskowej instalacji oczyszczania wód zęzowych z zanieczyszczeń olejowych. Jest to model przyczynowo - skutkowy. Struktura modelu ma formę drzewa zdarzeń i odpowiednich drzew niezdatności. Niezawodność środowiskowa instalacji zdefiniowana została jako prawdopodobieństwo, że w wyniku jej eksploatacji nie nastąpi zagrożenie dla środowiska morskiego....
-
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublicationTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Metoda jest przedmiotem intensywnych badań. Jeden z kierunków rozwoju dotyczy tworzenia szablonów oceny zgodności ze standardami. Szablon Trust Case jest odwzorowaniem wymagań zawartych w normie w strukturę drzewa dowodowego....
-
Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
PublicationWe describe a technique that maps unranked trees to their hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to techniques implemented with minimal tree automata, our procedure builds a pseudo-minimal DTA. Pseudo-minimal automata are larger than the minimal ones but in turn the mapping can be arbitrary, so it can be determined prior to the automaton construction. We also provide procedures to build incrementally...
-
Sterowanie procesem eksploatacji okrętowych silników głównych z zastosowaniem diagnostyki technicznej
PublicationW referacie przedstawiono podstawowe uwarunkowania dotyczące możliwości zastosowania w praktyce eksploatacyjnej okrętowych układów energetycznych elementów strategii eksploatacji wg stanu technicznego (ang. Condition Based Maintenance). W tym aspekcie omówiono rolę diagnostyki jako narzędzia umożlwiającego podejmowanie racjonalnych, wynikających z aktualnego (lub prognozowanego) stanu technicznego, decyzji eksploatacyjnych oraz...
-
Kinematyczne pomiary GNSS na linii kolei wąskotorowej w Koszalinie
PublicationW artykule opisano metodę kinematycznych pomiarów geodezyjnych GNSS zastosowaną dla inwentaryzacji trasy kolejowej w terenie silnie zalesionym. W badaniach wskazano możliwości wykorzystania tej metody dla inwentaryzacji układu geometrycznego trasy kolei wąskotorowej w Koszalinie. Opisano najważniejsze różnice pomiędzy koleją o rozstawie szyn 1000 mm a 1435 mm oraz przyszłościowe zagadnienie planowanej rewitalizacji tego odcinka....
-
Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym
PublicationW niniejszym rozdziale przedstawiono oprogramowanie ProSIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z dwóch modułów wspomagających: określenie wymaganego poziomu SIL (moduł ProSILen) oraz weryfikację SIL (moduł ProSILer). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami...
-
Uwarunkowania diagnostyczne sterowania procesem eksploatacji okrętowych silników głównych
PublicationZe względu na losowość czynników wymuszających podczas użytkowania urządzeń okrętowych w praktyce eksploatacyjnej okrętowych układów energetycznych wdrażanych jest coraz więcej elementów strategii eksploatacji wg stanu technicznego (ang. Condition Based Maintenance). W referacie przedstawiono wybrane problemy dotyczące diagnostyki jako niezbędnego ogniwa w ciągu czynności związanych z podejmowaniem racjonalnych, podyktowanych...
-
ZASTOSOWANIE OPROGRAMOWANIA ERP Z ZAKRESU „PLANT MAINTENANCE” NA PRZYKŁADZIE SAP PM JAKO NARZĘDZIA DLA SŁUŻB UTRZYMANIA RUCHU OBIEKTU OFFSHORE
PublicationW artykule poruszono kwestię planowania zasobów przedsiębiorstwa z wykorzystaniem oprogramowania ERP. Efektywne planowanie zarządzania całością zasobów przedsiębiorstwa polega głównie na: - zapewnieniu wysokiej jakości produktów, - maksymalizacji ekonomicznego okresu użytkowania parku maszynowego, -maksymalizacji zdolności produkcyjnych, - minimalizacji kosztów utrzymania sprzętu w sprawności operacyjnej, - zapewnieniu bezpiecznych...
-
Matematyczne modelowanie wpływu drzew na uwilgotnienie i odkształcenia gruntów ekspansywnych
PublicationGrunty ekspansywne występują na znacznych obszarach Polski. Zmianom wilgotności gruntów ekspansywnych towarzyszą zmiany objętościowe, które mogą być przyczyną awarii płytko posadowionych obiektów budowlanych. Istotnym czynnikiem wpływającym na uwilgotnienie gruntów ekspansywnych jest pobór wody przez drzewa. Rozprawa zawiera opis autorskiej metody numerycznej, mogącej służyć do modelowania zmian wilgotności gruntów oraz wywołanych...
-
Implementacja algorytmu wielosensorowego wykrywania celów z wykorzystaniem śledzenia wielohipotezowego
PublicationAlgorytmy śledzenia wielohipotezowego (MHT) uznawane są obecnie za preferowane rozwiązanie problemu jednoczesnego śledzenia wielu obiektów. Główną zaletą śledzenia MHT jest możliwość efektywnego rozwiązywania problemów wieloznaczności i niepewności podczas wiązania wykryć w trasy. Środowisko, w jakim działają współczesne radary, stawia jednak przed mechanizmami formowania tras szereg wymagań oraz trudności, pogarszających jakość...
-
Tworzenie map konceptów dla ontologii opartych na logice opisowej
PublicationW poprzednich pracach przedstawiono nową metodę reprezentacji wiedzy nazwaną metodą kartograficzną. Metoda ta pozwala na uchwycenie zależności pomiędzy pojęciami wyznaczonymi w ramach terminologii, jak również na stopniowe (w miarę zwiększania się naszej wiedzy) przyporządkowywanie indywidualnych obiektów tym pojęciom. Zależności te reprezentowane są w postaci tzw. mapy konceptów. Efektywność budowy mapy konceptów stanowi zagadnienie...
-
Automatyzacja procesu rehabilitacji dzieci z paralysis cerebralis infantium oraz osteogenesis imperfecta
PublicationCelem prac badawczych będących tematem dysertacji jest opracowanie podstaw metodologicznych dla automatycznej platformy eksperckiej asystującej podczas procesu rehabilitacji dzieci chorych na paralysis cerebralis infantium oraz osteogenesis imperfecta. Przedstawione cele rozprawy do realizacji wymagały podejścia wieloetapowego, w którym wykonano szereg prac związanych m.in. z: gromadzeniem odpowiednich danych, selekcją efektywnych...
-
Wprowadzenie do sztucznej inteligencji - 2023/2024
e-Learning CoursesCelem przedmiotu jest zaznajomienie studentów z podstawami sztucznej inteligencji, rozumianej jako inteligentne techniki obliczeniowe, systemy uczące się, systemy decyzyjne czy systemy ekspertowe. Dodatkowo istotnym elementem wykładu jest zapoznanie studentów z wybranymi metodami inteligentnego przetwarzania sygnałów i danych oraz procesem przetwarzania wiedzy w oparciu o wnioskowanie formułowane w postaci reguł decyzyjnych. Uzyskana...
-
Risk assessment for tram traffic on tramway bridges
PublicationMiejski transport szynowy wielu miastach stanowi istotny element systemu transportowego i jest przestrzennie rozwijającym się systemem zapewniającym mieszkańcom codzienną obsługę transportową. Bezpieczeństwo pasażerów transportu szynowego i użytkowników dróg jest jednym z najważniejszych czynników, który należy uwzględnić w trakcie projektowania infrastruktury oraz w ocenie operacyjnej systemu miejskiego transportu tramwajowego....
-
Zdolni z Pomorza 2022/23 - Algorytmy i indukcja matematyczna
e-Learning CoursesCel kursu: Celem kursu jest wprowadzenie uczniów w świat matematyki dyskretnej i zapoznanie ich z praktycznymi zastosowaniami tej dziedziny matematyki. Opis kursu: Matematyka dyskretna to zbiorcza nazwa nauk matematyki, które zajmują się badaniem struktur nieciągłych, czyli zawierających zbiory co najwyżej przeliczalne. Zajmuje się „obiektami dyskretnymi”, takimi jak: ludzie, domy, drzewa, zwierzęta, itp. Matematyka dyskretna...
-
Zdolni z Pomorza 2019/20 - Dyskretny świat matematyki
e-Learning CoursesCel kursu: Celem kursu jest wprowadzenie uczniów w świat matematyki dyskretnej i zapoznanie ich z praktycznymi zastosowaniami tej dziedziny matematyki. Opis kursu: Matematyka dyskretna to zbiorcza nazwa nauk matematyki, które zajmują się badaniem struktur nieciągłych, czyli zawierających zbiory co najwyżej przeliczalne. Zajmuje się „obiektami dyskretnymi”, takimi jak: ludzie, domy, drzewa, zwierzęta, itp. Matematyka dyskretna...
-
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
PublicationWe describe a technique that maps unranked trees to arbitrary hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to other hashing techniques based on automata, our procedure builds a pseudo-minimal DTA for this purpose. A pseudo-minimal automaton may be larger than the minimal one accepting the same language but, in turn, it contains proper elements (states or transitions that are unique) for every input...
-
Układy wieloczłonowe z więzami jednostronnymi w zastosowaniu do modelowania złożonych układów mechanicznych. - K. Lipiński.
PublicationJest to monografia poświęcona modelowaniu i analizie dynamiki maszyn, w szczególności maszyn modelowanych jako układy wieloczłonowe. Zaprezentowano rozwiązania klasyczne oraz autorskie metody modelowania i eliminacji ograniczeń spotykanych podczas modelowania dynamiki układów tego typu. Szczególną uwagę poświęcono równaniom więzów. Omówiono sposoby ich formułowania oraz metody modelowania dynamiki układu z więzami. Ważną rolę odegrają...
-
Prezentacja performance "Wrażliwy obserwator", EuropapunktBremen, Brema, Niemcy
PublicationZ każdej szafy da się skoczyć! Jestem w Bremie, za kilka godzin mój pobyt tutaj będzie trwał już równy dzień, pierwszy z wielu. Drapię stopę nad kostką, komar, inny zwierz, nie wiem. Pod paznokciami zostaje skóra, czerwień pionowo obejmuje okolice ugryzienia, przecieram oko i piję łyk kawy. Zjadłem moje pierwsze śniadanie tutaj, piję moją pierwszą kawę, okej drugą, ale pierwszą samemu dla siebie. Kawa z ekspresu, pierwszy raz...
-
Drawing maps with advice
PublicationW pracy podejmujemy temat konstrukcji algorytmu dla agenta, który zostaje umieszczony w dowolnym wierzchołku grafu (wierzchołki są nierozróżnialne, krawędzie mają etykiety portów), po czym realizuje algorytm zmierzający do znalezienia drzewa spinającego grafu lub izomorficznej kopii grafu. Dla obu problemów podajemy asymptotycznie dokładne lub prawie dokładne oszacowania na ilość bitów dodatkowej informacji, którą agent musi otrzymać...
-
A note on mixed tree coloring
PublicationZaproponowano liniowy algorytm dla problemu kolorowania mieszanego w drzewach, uzyskując tym samym poprawę w stosunku do algorytmu o złożoności O(n^2) podanego w pracy [P. Hansen, J. Kuplinsky, D. de Werra, Mixed graph colorings, Math. Methods Oper. Res. 45 (1997) 145-160].
-
Weakly connected domination stable trees [online]
PublicationPraca dotyczy pełnej charakteryzacji drzew stabilnych ze względu na liczbę dominowania słabo spójnego.
-
Weakly connected domination critical graphs
PublicationPraca dotyczy niektórych klas grafów krytycznych ze względu na liczbę dominowania słabo spójnego.
-
Total outer-connected domination numbers of trees
PublicationNiech G=(V,E) będzie grafem bez wierzchołków izolowanych. Zbiór wierzchołków D nazywamy zbiorem dominującym totalnym zewnętrznie spójnym jeżli każdy wierzchołek grafu ma sąsiada w D oraz podgraf indukowany przez V-D jest grafem spójnym. Moc najmniejszego zbioru D o takich własnościach nazywamy liczbą dominowania totalnego zewnątrznie spójnego. Praca m.in. zawiera dolne ograniczenie na liczbę dominowania totalnego zewnętrznie spójnego...
-
Architektura zintegrowana z zielenią. Szpalery drzew liściastych jako ochrona przeciwsłoneczna budynków
PublicationPraca dotyczy integracji drzew i architektury jako formy ochrony przeciwsłonecznej budynku w zabudowie miejskiej. Wykorzystanie zieleni wysokiej jako elementu zacieniającego zabudowę zbadano na przykładzie wybranego układu, tj. ulicy wraz ze szpalerem drzew liściastych wzdłuż każdej z pierzei przy uwarunkowaniach wilgotnego klimatu kontynentalnego. W analizie nasłonecznienia elewacji osłoniętej przez roślinne elementy zacieniające...
-
Dominowanie w grafach
PublicationW pracy rozważanych jest pięć liczb dominowania: klasyczna liczba dominowania, liczba dominowania spójnego, liczba dominowania słabo spójnego, liczba dominowania słabo wypukłego i liczba dominowania wypukłego. Rozważane są pewne ograniczenia na liczby dominowania, równości między poszczególnymi liczbami, wpływ usuwania krawędzi lub zbioru krawędzi na liczby dominowania i NP-zupełność problemów dominowania.