Wyszukiwarka
Filtry
wszystkich: 699
-
Katalog
- Publikacje 578 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Osoby 26 wyników po odfiltrowaniu
- Wynalazki 5 wyników po odfiltrowaniu
- Projekty 36 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Kursy Online 31 wyników po odfiltrowaniu
- Wydarzenia 18 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: DRZEWA SPINAJĄCE
-
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...
-
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.
-
Modelowanie właściwości elektrycznych mięśnia sercowego w warunkach niedokrwienia
PublikacjaW rozprawie przedstawiono możliwość rozszerzenia pomiarów bioimpedancyjnych o pomiary istotnych diagnostycznie efektów nieliniowych, wyniki pomiarów elektrycznych efektów nieliniowych na sercu świni, spójne z rozważaniami modelowymi, prawdopodobny biofizyczny/molekularny mechanizm odpowiedzialny za obserwowane efekty nieliniowe, symulacje komputerowe i badania modelowe wyjaśniające pochodzenie efektów nieliniowych, efekty nieliniowe...
-
Problemy optymalizacji doboru energii defibrylacji komór serca
PublikacjaPraca dotyczy sformułowania tematyki badawczej z zakresu optymalizacji pobudzenia defibrylacyjnego serca. Dokonano przeglądu różnych sposobów defibrylacji elektrycznej, uwzględniając podstawy patofizjologiczne, ograniczenia i skutki uboczne. Przeprowadzona analiza prowadzi do zdefiniowania zakresu planowanych badań skoncentrowanych na optymalizacji zabiegu defibrylacji. Zdefiniowano kryteria optymalizacji, jakiej powinien podlegać...
-
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...
-
Grafowy model macierzy ultrametrycznej i jego zastosowania w filogenezie i t-kolorowaniu
PublikacjaW pracy podano definicję macierzy ultrametrycznej i jej reprezentację grafową. Macierz ta jest wykorzystywana głównie w filogenezie, do budowy drzew ultrametrycznych. W pracy opisano jeden z algorytmów słuzący do konstrukcji takich drzew. Ponadto, omówiono inne możliwe zastosowania modelu grafowego macierzy, tym razem dla problemu przydziału częstotliwości dla nadajników. Zaproponowano również rozwiązanie tego problemu w szczególnym...
-
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...
-
Opinia o nowej technologii planowanej do wdrożenia w ramach inwestycji na którą ma być udzielony kredyt technologiczny: ''Sposób wytwarzania drzwi stalowych o wzmocnionej konstrukcji oraz tłumiących hałas''
PublikacjaOpinię o nowej technologii opracowano dla Banku Gospodarstwa Krajowego na podstawie Ustawy z dnia 30 maja 2008 r. o niektórych formach wspierania działalności innowacyjnej (Dz. U. z 2008 r. Nr 116, poz. 730) z późniejszymi zmianami. Jednostką Naukową wystawiającą Opinię był Wydział Mechaniczny PG. Opinia dotyczyła projektu zatytułowanego ''Wdrożenie nowej technologii wytwarzania drzwi stalowych w przedsiębiorstwie PAWE-MAR''. Podmiotem...
-
The preparation method of experimental studies of the wood sawing process
PublikacjaW artykule przedstawiono sposoby działania, mające na celu przygotowanie badań doświadczalnych procesu przecinania drewna sosnowego na małogabarytowej pilarce ramowej PRW15M. Proces przygotowania badań podzielono na kilka etapów: przygotowanie próbek, pomiar własności fizycznych drewna (wilgotności drewna, gęstość drewna), pomiar własności strukturalnych drewna (średniej szerokości przyrostów rocznych oraz średniego udziału drewna...
-
Badania wytrzymałościowe nowych laminatów użytych do budowy łodzi ratunkowych
PublikacjaW artykule przedstawiono rodzaje badań właściwości kompozytów. Mogą to być badania dotyczące pojedynczych włókien oraz żywic. Badania przeprowadza się na półproduktach i gotowych elementów konstrukcyjnych. Chcąc uzyskać dodatkowe informacje o właściwościach nowych laminatów przeprowadza się badania na płytach próbnych. Wykonano badania dla dwóch laminatów poliestrowo-szklanych oraz dziesięciu epoksydowo-węglowych wg Lloyd Register...
-
Marcin Drewa
Osoby -
System SCADA w nowoczesnym monitorowaniu i sterowaniu oczyszczalnią ścieków
PublikacjaArtykuł jest kolejną publikacją z cyklu prezentującego wyniki projektu 5. Programu Ramowego UE ''SMART Control of wastewater systems - SMAC''. W ramach tego projektu zaproponowana została nowa koncepcja sterowania biologiczną oczyszczalnią ścieków (OŚ) oraz opracowana została nowa struktura i algorytmy sterowania. Wyniki projektu zostały zaimplimentowane w pilotażowej oczyszczalni w Kartuzach.
-
Stężenie formaldehydu w wodach spływnych z arterii komunikacyjnych, powierzchni dachów budynków i koron drzew, wodach gruntowych i rzecznych oraz w opadach i osadach atmosferycznych na terenie aglomeracji miejskich = Formaldehyde in road runoff, roof runoff, ground water, river, atmospheric precipitation and deposition from highly urbanized regions
PublikacjaOznaczono stężenie formaldehydu w próbkach wód opadowych, spływnych z arterii komunikacyjnych, powierzchni dachów budynków i koron drzew, wód gruntowych i cieków wodnych oraz w próbkach śniegu, szronu i sadzi. Próbki pobierano przez okres 7 miesięcy w trakcie wystąpienia opadu lub osadu atmosferycznego lub tuż po jego ustąpieniu. Pomiar zawartości formaldehydu wykonywano stosując metodę szybkich testów spektrofotometrycznych w...
-
Niestandardowe Metody Opracowania Danych Pomiarowych
PublikacjaZastosowanie drzew decyzyjnych w interpretacji wyników sontowania statycznego CPTU.
-
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.
-
Approximate search strategies for weighted trees
PublikacjaW pracy podajemy 3-przybliżony algorytm dla problemu spójnego przeszukiwania drzew ważonych.
-
Weakly connected domination stable trees [online]
PublikacjaPraca dotyczy pełnej charakteryzacji drzew stabilnych ze względu na liczbę dominowania słabo spójnego.
-
Type of surface and tire rolling resistance
Publikacja...
-
Wpływ nawierzchni jezdni na zużycie paliwa
PublikacjaW pracy przedstawiono problematykę wpływu tekstury nawierzchni na opór toczenia opon samochodowych. Przedstawiono wymierne efekty ekonomiczne i ekologiczne wpływu nierówności i tekstury przy oporze toczenia opon na zużycie paliwa. Zawarto krótki opis celu badań, pomiarów oraz analizy wyników. Zaprezentowano również spostrzeżenia i wnioski.
-
Wpływ nawierzchni jezdni na opór toczenia opon samochodowych
PublikacjaPraca stanowi wprowadzenie do problematyki wpływu tekstury nawierzchni na opór toczenia opon samochodowych. Przedstawiono krótki opis celu pracy, pomiarów oraz wyników. Zaprezentowane własne spostrzeżenia i wnioski.
-
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.
-
The effect of thermal modification of ash wood on granularity and homogeneity of sawdust in the sawing process on a sash gang saw PRW 15-M in view of its technological usefulness
PublikacjaPrzedstawiono wyniki analiz granulometrycznych trocin, drewna jesionowego niemodyfikowanego (Fraxinus exelsior L.) i modyfikowanego termicznie, otrzymanych w procesie przecinania drewna na pilarce ramowej wielopiłowej PRW15-M. Przecinanie drewna prowadzono dla dwu prędkości posuwu 0,36 m·min-1 oraz 1,67 m·min-1. Ziarnistośćpowstających trocin dla drewna jesionowego modyfikowanego termicznie zawierała się w przedziale od 33,5 μm...
-
Koncepcja komputerowego wspomagania procesu projektowania kablowych instalacji energetycznych i sterowniczych na statkach
PublikacjaW artykule scharakteryzowano elementy wchodzące w skład instalacji kablowych na statkach i przedstawiono skrótowo analizę procesu projektowania instalacji kablowych i wykazano przyczyny zapotrzebowania na komputerowe wspomaganie tego procesu. Zaprezentowano koncepcję i założenia systemu z bazą wiedzy do wspomagania projektowania instalacji kablowych oraz wyniki dotychczasowych prac nad tym systemem.
-
Zastosowanie magistrali USB w mikroprocesorowych urządzeniach automatyki.
PublikacjaW artykule przedstawiono właściwości magistrali USB oraz oceniono możliwość zastosowania jej w urządzeniach automatyki. Wnioski wyprowadzono w oparciu o doświadczenia związane z uruchomieniem prostego układu pomiarowego wykorzystującego popularny mikrokontroler z rodziny 8051 i scalony sterownik magistrali USB - FTU245AM.
-
Układy automatyki statku oraz metody wspomagania ich projektowania
PublikacjaPrzedstawiono zagadnienia związane z układami automatyki statku, w szczególności układami automatyki podsystemu elektroenergetycznego. Scharakteryzowano proces projektowania układów automatyki systemu energetycznego statku i zasygnalizowano problemy związane z wykorzystaniem metod sztucznej inteligencji do wspomagania tego procesu.
-
Portable parallel simulator using MPI for 2D and 3D domains: design and performance testing
PublikacjaW artykule prezentujemy szczegóły projektowo-implementacyjne naszego modularnego kodu symulacyjnego z wykorzystaniem MPI, w tym nakładaniem obliczeń i komunikacji. Podkreślamy modularność naszej implementacji pozwalającą na łatwą adaptację kodu dla innych zasotosowań. Prezentujemy związek pomiędzy przyspieszeniem obliczeń, rozmiarem i kształtami trójwymiarowych domen z różnymi stosunkami liczby węzłów aktualizowanych przez procesor...
-
Komputerowe wspomaganie procesu projektowania instalacji kablowych na statkach
PublikacjaW referacie scharakteryzowano elementy wchodzące w skład instalacji kablowych na statkach, przedstawiając skrótowo analizę procesu projektowania instalacji kablowych. Wykazano przyczyny zapotrzebowania na komputerowe wspomaganie tego procesu. Zaprezentowano koncepcję i założenia systemu z bazą wiedzy do wspomagania projektowania instalacji kablowych oraz wyniki dotychczasowych prac nad stworzeniem takiego systemu.
-
Parallel simulations of electrophysiological phenomena in myocardium on large 32 and 64-bit Linux clusters.
PublikacjaW pracy podjęto badania i przeprowadzono symulacje zjawisk elektrofizjologicznych w mięśniu sercowym z wykorzystaniem wytworzonego w tym celu oprogramowania równoległego opartego na MPI. Zaimplementowano i zbadano ulepszenia kodu prowadzące do uzyskania dobrej skalowalności oraz przeprowadzono testy wydajności na najnowszych 32 i 64-bitowych klastrach linuksowych. Praca stanowi próbę równoległej implementacji znanego podejścia...
-
TreeCmp: Comparison of Trees in Polynomial Time
PublikacjaMetryki filogenetyczne umożliwiają ocenę jakości wyników analizy filogenetycznej oraz wiarygodności algorytmów przeprowadzających taką analizę. Aplikacja TreeCmp oferuje efektywne, wielomianowe implementacje ośmiu takich metryk (dla drzew nieukorzenionych i zawierających korzeń) zdefiniowanych dla dowolnych filogenez (nie koniecznie binarnych). Program ten jako pierwszy umożliwia wyznaczanie nowych metryk, definiowanych w oparciu...
-
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...
-
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...
-
The effect of the annual growth and the late wood share upon density of the Polish pine wood as a function of its origin
PublikacjaW artykule przedstawiono zróżnicowanie gęstości polskiego drewna sosnowego (Pinus sylvestris L.) w zależności od udziału drewna późnego w przyroście rocznym z uwzględnieniem krainy pochodzenia drewna. Wspomniane zróżnicowanie jest w istotne statystycznie w skali globalnej oraz dla większości miejsc pochodzenia. Pomiar gęstości wykonano przy użyciu metody stereometrycznej. Metoda ta polegała na określeniu objętości pryzmy poprzez...
-
Sterowanie predykcyjne hydrauliką i jakością wody w SW
PublikacjaEfektywne sterowanie hydrauliką i jakością systemu wodociągowego (SW) wymaga zintegrowanej wiedzy o nim oraz zaawansowanych algorytmów sterowania. Ponieważ związek między hydrauliką a jakością wody jest jednostronny (hydraulika, poprzez rozpływ wody w sieci ma wpływ na jej jakość), to problem sterowania systemem wodociągowym należy rozpatrywać w odniesieniu do tych dwóch aspektów.
-
Model predictive controller for integrated wastewater treatment systems.
PublikacjaSterowanie optymalizujace systemem oczyszczania ścieków (WWTS) pozwala na zmniejszenie kosztów operacyjnych przy jednoczesnym spełnieniu narzuconych ograniczeń na wypływające ścieki, jednak wymaga zaawansowanych technologii sterowania. Sterowanie predykcyjne z modelem (MPC) jest bardzo użyteczną technologią sterowania takimi systemami. MPC doskonale radzi sobie z obecnością ogrniczeń na wielkości wyjściowe, wielowymiarowością problemu...
-
Analyses of the effect of tooth rake angle and friction conditions upon the shear angle in the cutting zone during wood sawing. - [Chapter III]W : Wood machining and processing - product and tooling quality development
PublikacjaW pracy przedstawiono analizy wpływu wartości kąta natarcia piły i warunków tarcia na zmiany kata ścinania w strefie skrawania podczas przecinania drewna. W obliczeniach numerycznych kąta ścinania wykorzystywano podejście oparte o współczesną mechanikę pękania. Obliczenia prowadzono dla próbek z drewna dębu, jesionu po modyfikacji termicznej jak również dla drewna niemodyfikowanego. Dla drewna jesionowego modyfikowanego termicznie...
-
Simulation of wood structure geometry after machining
PublikacjaW niniejszym artykule została przedstawiona nowa metoda trójwymiarowych symulacji geometrii powierzchni drewna. Zaprezentowano wpływ parametrów obróbkowych oraz drgań podczas strugania obrotowego drewna. Chropowatość powierzchni była charakteryzowana poprzez parametry profilu chropowatości Ra oraz Rz. Posuw na ostrze oraz średnica narzędzia są najbardziej wpływającymi czynnikami na wielkość nierówności podczas maszynowej obróbki...
-
Analysis of specific cutting resistance while cutting frozen pine blocks with narrow-kerf stellite tipped saws on frame sawing machines.
PublikacjaPrzedstawiono wyniki analizy oporów skrawania drewna zmrożonego podczas przecierania pryzm sosnowych na pilarce ramowej za pomocą cienkich pił. Badania prowadzono dla temperatur drewna -5 st. C, -20 st. C oraz dla porównania w temperaturze +18 st. C. Wilgotność drewna wynosiła 30%. Zaobserwowano znaczacy wzrost oporów skrawania wraz ze spadkiem jego temperatury.
-
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...
-
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...
-
Sawdust size distribution analysis of thermally modified and unmodified oak wood sawed on the frame sawing machine PRW15-M
PublikacjaW pracy przedstawiono wyniki analizy granulometrycznej składu wiórów drewna dębowego niemodyfikowanego i modyfikowanego termicznie uzyskanych podczas piłowania na pilarce ramowej PRW15-M z prędkością posuwu 1.67 mmin-1. Otrzymane trociny termicznie modyfikowanego drewna dębowego składają się z wiórów o ziarnistości w przedziale od 44.7 mm do 4.6 mm, podczas gdy dla drewna niemodyfikowanego zaobserwowano zmiany ziarnistości w granicach...
-
The effect of heat treatment of hardwood on the specific cutting resistance
PublikacjaW pracy przedstawiono wyniki badań mocy skrawania podczas przecierania modyfikowanego i niemodyfikowanego termicznie drewna dębowego i jesionowego na pilarce ramowej PRW15M. W pierwszym etapie badań, graniakowe próbki drewna dębowego i jesionowego były modyfikowane termicznie za pomocą przegrzanej pary (temperatura 197C, czas 4 h) w parzelni wysokotemperaturowej, w warunkach przemysłowych. Następnie, wyznaczono właściwe powierzchniowe...
-
Application of gas-steam mixture for wood drying purposes
PublikacjaW artykule przedstawiono wyniki suszenia drewna przy zastosowaniu mieszaniny parowo-gazowej. Badania dotyczyły suszenia drewna dębowego, sosnowego i świerkowego. We wszystkich eksperymentach skrócono czas suszenia w porównaniu z suszeniem konwencjonalnym.
-
Krzysztof Grzęda
Osoby -
Marek Czachor prof. dr hab.
Osoby -
Wpływ drzewienia elektrycznego na poziom ładunku w obszarze przyelektrodowym izolacji polietylenowej
PublikacjaW referacie przedstawiono wyniki badań charakterystyk prądów depolaryzacyjnych I(t) w próbkach polietylenu w układzie ostrze - płyta uziemiona. Charakterystyki te zmierzone po ładowaniu próbki napięciem 5 kV przez czas 10 lub 30 minut przedstawiają w układzie współrzędnych logarytm I - czas t postać prostych równoległych. W przypadku igły bez drzewka obserwuje się zależność wykładniczą, natomiast przy wystąpieniu drzewka w krótkich...
-
Washboarding during cutting on frame sawing machines II. Experimental study of the saw blade behaviour
PublikacjaPraca jest swego rodzaju suplementem do referatu przedstawianego na 15th Inernational Wood Machining Seminar w Los Angeles, CA, USA. Opisano uzyskane wyniki badań doświadczalnych prowadzonych w oparciu o plan badań Hartley`a.Czynnikami badanymi były: naprężenia napinające brzeszczotu piły, częstotliwość skoków ramy piłowej oraz wysokość cięcia przedmiotu obrabianego. Czynnikami wynikowymi były: wysokość sfalowania powierzchni oraz...
-
Hazard prevention by forced time constraints
PublikacjaMinimalne Zbiory Przyczyn powstałe podczas analizy Drzew Błędów wskazują zdarzenia, które jeśli nastąpią razem, mogą doprowadzić do Hazardu. W niektórych zastosowaniach opis zdarzeń może zostać poszerzony o informację czasową, wtedy zdarzenia z MZP mogą doprowadzić do Hazardu tylko jeśli wystąpi pomiędzy nimi określona zależność czasowa. W tym artykule przedstawione zostało jak informacja czasowa może zostać wprowadzona do Drzew...
-
Tool support for ECSDM fault tree methodology
PublikacjaExtended Common Safety Description Model (ECSDM) jest językiem do formalnej specyfikacji systemów związanych z bezpieczeństwem oraz ich komponentów. Język ten zawiera konstrukcje umożliwiające specyfikację zależności czasowych. Może on zostać użyty w analizie drzew błędów, aby uzyskać jednoznaczną specyfikację hazardów w sytuacji, gdy są one uzależnione od związków czasowych pomiędzy przyczynami. Artykuł opisuje narzędzie wytworzone...
-
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ć...