Wyniki wyszukiwania dla: drzewa
-
Drzewa póki jeszcze stoją
PublikacjaWystawa zbiorowa
-
Protokoły drzewa opinającego - ataki i metody obrony
PublikacjaW 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
PublikacjaCelem 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
PublikacjaProblem: 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.
PublikacjaW 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
PublikacjaW 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./
Publikacja.
-
Równowaga strategiczna dla zbiorów defensywnych w drzewach
PublikacjaW 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
PublikacjaAnalizę 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
PublikacjaNiniejszy 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 Wpływ zmian instytucjonalnych na świadczenia ekosystemów dostarczane lokalnym społecznościom przez drzewa i krzewy
ProjektyProjekt realizowany w Uniwersytet im. Adama Mickiewicza w Poznaniu zgodnie z porozumieniem UMO-2017/25/B/HS6/00954 z dnia 2018-01-30
-
iTre-es Wpływ zmian instytucjonalnych na świadczenia ekosystemów dostarczane lokalnym społecznościom przez drzewa i krzewy.
ProjektyProjekt realizowany w Uniwersytet im. Adama Mickiewicza w Poznaniu zgodnie z porozumieniem 2017/25/B/HS6/00954 z dnia 2017-11-23
-
Paired bondage in trees
PublikacjaW 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
PublikacjaOpisane 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
PublikacjaW 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
PublikacjaW 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
PublikacjaPraca 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
PublikacjaThe 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
PublikacjaW 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
PublikacjaW 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.
PublikacjaPraca 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
PublikacjaW 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
PublikacjaWprowadzono w zagadnienie drzewa Steinera na płaszczyźnie
-
Distance paired domination numbers of graphs
PublikacjaW 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
PublikacjaUporzą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
PublikacjaArtykuł 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.
PublikacjaArtykuł 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
PublikacjaZnana 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
PublikacjaDrzewa 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
PublikacjaPraca 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.
PublikacjaBezpieczeń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
PublikacjaAlgorytm 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
PublikacjaW 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.
PublikacjaOpisano 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
PublikacjaArtykuł 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
PublikacjaW 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
PublikacjaW 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
PublikacjaW 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
PublikacjaRozważ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
PublikacjaRekonstrukcja 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
PublikacjaW 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.
PublikacjaArtkuł 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...
-
Smoothing of wood surface by burnishing
PublikacjaW 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...
-
High-speed binary-to-residue converter with improved architecture.
PublikacjaPrzedstawiono 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...
-
Dynamic analysis of a satellite with feexible link
PublikacjaW 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...
-
Leksykon Szkocji : historia, polityka, nauka, kultura
PublikacjaLeksykon 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
PublikacjaArtykuł 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...
-
Connected searching of weighted trees
PublikacjaW 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...
-
Orteza bioniczna kończyny górnej
PublikacjaZastosowanie 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...
-
Mechanizmy zarządzania mobilnością węzłów w systemie netBaltic
PublikacjaZarzą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...
-
Non-linearity of multibody dynamic equations with respect to Lagrange multipliers: application to railway dynamics
PublikacjaPraca 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
PublikacjaKonsensusowy 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
PublikacjaRozważ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
PublikacjaZadanie 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
PublikacjaW 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...
-
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,...
-
Analiza dynamiczna anteny satelitarnej z uwzględnieniem podatności członów
PublikacjaW 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...
-
Fast rns scaling of signed numbers based on the chinese remainder theorem
PublikacjaPrzedstawiono 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
PublikacjaW 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
Publikacjaw 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...
-
Minimum vertex ranking spanning tree problem for chordal and proper interval graphs
PublikacjaW 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
PublikacjaW 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...
-
Redukcja czasu analizy MZP przez ograniczenie rozmiaru rozwiązania
PublikacjaAnaliza 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...
-
Porównanie protokołów umożliwiających samorekonfigurację sieci Ethernet.
PublikacjaPrzedstawiono 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...
-
Badania numeryczne zderzenia autobusu w układzie bariera i kratownicowa konstrukcja wsporcza
PublikacjaZdarzenia 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
PublikacjaZdarzenia 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...
-
Adjusting Game Difficulty by Recreating Behavioral Trees of Human Player Actions
PublikacjaThis 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....
-
Otoczenie drogi źródłem zagrożeń dla uczestników ruchu drogowego
PublikacjaDrzewa 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...
-
Porównywanie topologii drzew i sieci filogenetycznych z wykorzystaniem metryki błędu
PublikacjaPodstawowymi 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...
-
Capturing semantics of semi-structured data using partial-order trees
PublikacjaW 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
PublikacjaW 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
PublikacjaTrust 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....
-
Kinematyczne pomiary GNSS na linii kolei wąskotorowej w Koszalinie
PublikacjaW 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....
-
Sterowanie procesem eksploatacji okrętowych silników głównych z zastosowaniem diagnostyki technicznej
PublikacjaW 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...
-
Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
PublikacjaWe 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...
-
ZASTOSOWANIE OPROGRAMOWANIA ERP Z ZAKRESU „PLANT MAINTENANCE” NA PRZYKŁADZIE SAP PM JAKO NARZĘDZIA DLA SŁUŻB UTRZYMANIA RUCHU OBIEKTU OFFSHORE
PublikacjaW 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
PublikacjaGrunty 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...
-
Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym
PublikacjaW 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
PublikacjaZe 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...
-
Automatyzacja procesu rehabilitacji dzieci z paralysis cerebralis infantium oraz osteogenesis imperfecta
PublikacjaCelem 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...
-
Implementacja algorytmu wielosensorowego wykrywania celów z wykorzystaniem śledzenia wielohipotezowego
PublikacjaAlgorytmy ś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
PublikacjaW 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...
-
Wprowadzenie do sztucznej inteligencji - 2023/2024
Kursy OnlineCelem 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
PublikacjaMiejski 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
Kursy OnlineCel 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
Kursy OnlineCel 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
PublikacjaWe 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.
PublikacjaJest 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
PublikacjaZ 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
PublikacjaW 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ć...
-
Architektura zintegrowana z zielenią. Szpalery drzew liściastych jako ochrona przeciwsłoneczna budynków
PublikacjaPraca 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...
-
Total outer-connected domination numbers of trees
PublikacjaNiech 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...
-
A note on mixed tree coloring
PublikacjaZaproponowano 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]
PublikacjaPraca dotyczy pełnej charakteryzacji drzew stabilnych ze względu na liczbę dominowania słabo spójnego.
-
Weakly connected domination critical graphs
PublikacjaPraca dotyczy niektórych klas grafów krytycznych ze względu na liczbę dominowania słabo spójnego.
-
Dominowanie w grafach
PublikacjaW 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.