Filtry
wszystkich: 319
-
Katalog
- Publikacje 263 wyników po odfiltrowaniu
- Czasopisma 10 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 13 wyników po odfiltrowaniu
- Wynalazki 2 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 23 wyników po odfiltrowaniu
- Wydarzenia 3 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: DRZEWO STEINERA
-
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....
-
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...
-
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....
-
Aufklärung: interdisziplinäres Jahrbuch zur Erforschung des 18. Jahrhunderts und seiner Wirkungsgeschichte
Czasopisma -
Aufklärung. Interdisziplinäre Halbjahreschrift zur Erforschung des 18. Jahrhunderts und seiner Wirkungsgeschichte
Czasopisma -
KUSATU: Kleine Untersuchungen zur Sprache des Alten Testaments und seiner Umwelt
Czasopisma -
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...
-
Connected searching of weighted trees
PublikacjaW pracy pokazano, że problem spójnego przeszukiwania drzew ważonych jest silnie NP-zupełny. Problem pozostaje trudnym dla drzew z jednym wierzchołkiem o stopniu większym niż 2. Ponadto, przedstawiony został wielomianowy optymalny algorytm dla klasy drzew z ograniczonym stopniem.
-
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,...
-
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...
-
Trierer Zeitschrift fūr Geschichte und Kunst des Trierer Landes und seiner Nachbargebiete
Czasopisma -
An Analysis of External Finance Availability on SMEs’ Decision Making: A Case Study of the Emerging Market of Poland
Publikacja -
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
-
The Snow Team Problem
PublikacjaWe study several problems of clearing subgraphs by mobile agents in digraphs. The agents can move only along directed walks of a digraph and, depending on the variant, their initial positions may be pre-specified. In general, for a given subset~$\cS$ of vertices of a digraph $D$ and a positive integer $k$, the objective is to determine whether there is a subgraph $H=(\cV_H,\cA_H)$ of $D$ such that (a) $\cS \subseteq \cV_H$, (b)...
-
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...
-
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.
-
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...
-
Determining coinsistent states of distributed objects paricipating in a remote method call
PublikacjaPrzedstawiono metodę testowania obiektów w systemie rozprzoszonym z wykorzystaniem replikacji stanu obiektów. W szczególności zaproponowano technikę zegarów haszujących do identyfikacji zdarzeń w systemach zawierających nieznaną a'priori liczbą obiektów oraz E-drzewo do identyfikacji stanu tych obiektów.
-
A BRIEF REVIEW AND COMPARISON OF SELECTED EXPERIMENTAL METHODS FOR MEASURING NATURAL FREQUENCIES OF CIRCULAR SAW BLADES
PublikacjaDifferent methods for the empirical determination of the natural frequencies of circular saw blades are presented. Stationary methods, such as the harmonic and impulse tests, are discussed and the results of related comparison are given. The comparison of the methods revealed their degree of practical usefulness and their accuracy in determining natural frequencies. A combination of specific methods is proposed, which should allow...
-
ANALIZA EKONOMICZNA PRODUKCJI WARSTW LICOWYCH PODŁÓG KLEJONYCH WARSTWOWO
PublikacjaW artykule przedstawiono wyniki analiz wydajności liniowej, a także struktury kosztów produkcji, za pomocą cienkich pił na pilarce ramowej wielopiłowei i ta-śmowej, dębowych elementów licowych podłóg klejonych warstwowo. Stwierdzo-no, że przy przecinaniu deszczułek o grubości 4 mm o szerokości mniejszej od 180 mm bardziej wydajna jest pilarka ramowa wielopiłowa, zaś w pozostałych przypadkach widać przewagę wydajności pilarki taśmowej....
-
20. Międzynarodowe seminarium mechanicznej obróbki drewna w Szwecji (20th international wood machining seminar)
PublikacjaW czerwcu 2011 roku w Szwecji odbyło się kolejne seminarium z zakresu obróbki drewna, na którym prezentowane były osiągnięcia w dziedzinie narzędzi skrawających do obróbki drewna, procesów obróbkowych i urządzeń. Liczne referaty, przedstawiane przez specjalistów wiodących ośrodków naukowych i przemysłu na sesjach plenarnych i plakatowych obejmowały prace typowo teoretyczne, eksperymentalne oraz opracowania o charakterze utylitarnym.
-
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...
-
Identyfikacja i analiza procesów jako element integracji systemów zarządzania.
PublikacjaW niniejszym rozdziale omówiono problematykę integracji systemów zarządzania Autor wskazuje istotne znaczenie identyfikacji i analizy procesów dla możliwości integracji systemu zarządzania jakością, środowiskiem i bezpieczeństwem pracy. Przedstawia czynniki wspomagające integrację i korzyści z niej wynikające.
-
Zaangażowanie pracowników w zmiany w przedsiębiorstwie jako czynnik ryzyka zmian
PublikacjaWniniejszej publikacji została przedstawiona problematyka zaangazowania pracowników w zmiany mające na celu doskonalenie przesdsiębiorstwa. Omówione zostało zagadnienie zmian zachodzących w przedsiębiorstwie oraz recesji jako jednego z czynników kreujących te zmiany. Przedstawiona została również charakterystyka ryzyka związanego z wprowadzaniem zmian.
-
Cykl życia wyrobu a ochrona środowiska
PublikacjaW nienijszym rozdziale poruszono zagadnienia zwiazane z ochrona srodowiska- przedsatwiono genezę i rozwój koncepcji zarządzania środowiskiem. Przedstawiona została rózwnież problematyka wzajemnych oddziaływań przedsiebiorstwa i jego produktów na środowisko naturalne w aspekcie zarządzania środowiskowego i metody LCA(Life Cycle Assessment). Omówiono również zagadnienie związane z Zadsadą Przedłuzonej odpowiedzialności Producenta...
-
Niestandardowe Metody Opracowania Danych Pomiarowych
PublikacjaZastosowanie drzew decyzyjnych w interpretacji wyników sontowania statycznego CPTU.
-
Clearing directed subgraphs by mobile agents
PublikacjaWe study several problems of clearing subgraphs by mobile agents in digraphs. The agents can move only along directed walks of a digraph and, depending on the variant, their initial positions may be pre-specified. In general, for a given subset S of vertices of a digraph D and a positive integer k, the objective is to determine whether there is a subgraph H=(V,A) of D such that (a) S is a subset of V, (b) H is the union of k directed...
-
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.
-
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.
-
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.
-
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...
-
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.
-
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...
-
Generowanie sąsiedztwa w algorytmach lokalnych poszukiwań uporządkowanego kolorowania grafów
PublikacjaPrzedstawienie rozwiązań problemów kombinatorycznych w postacipermutacji daje podstawy do konstrukcji algorytmów lokalnychposzukiwań. Uporządkowane pokolorowanie grafu można zapisać w postaci permutacji wierzchołków grafu. Podstawowe operacje prowadzącedo generowania sąsiedztwa rozwiązania to zamiana dwóch elementówlub przesunięcie elementu permutacji. W artykule wskazujemy metodępozwalającą na wykonanie takich operacji w czasie...
-
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....
-
Strategia zmniejszania liczby i skutków wypadnięcia pojazdu z drogi
PublikacjaWypadnięcie z drogi, czyli wywrócenie się pojazdu lub najechanie na drzewo lub słup to jedna z głównych przyczyn wypadków drogowych. Wypadki tego typu charakteryzują się bardzo wysoką ciężkością. Przyczynia się do tego brak stref bezpieczeństwa w otoczeniu dróg. W artykule opisano strategie ograniczenia tego typu zdarzeń. Przedstawiono również efektywność tych rozwiązań oraz ogólne uwarunkowania zmniejszania ciężkości wypadków...
-
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.
-
Cutting power estimation of the bandsawing process of beech wood (Fagus sylvatica L.) dried in three operating modes
PublikacjaIn this paper the predicted values of cutting power for bandsawing machine (ST100R, f. Stenner), which is located at the sawmill company Complex in Dziemiany, were presented. The values of cutting power were forecasted for beech wood (Fagus sylvatica L.), from the northern part of Pomerania region in Poland, which was dried in three operating modes: BKP - air drying at 25oC, BKS - air-steam mixture drying at 80oC, BKW - steam drying...
-
Comparative studies of the Acinetobacter genus and the species identification method based on the recA sequences
PublikacjaZaproponowano metodę genotypowania bakterii rodzaju Acinetobacter, opartą o analizę sekwencji genów recA, amplifikację fragmentów genu recA i analizę profili fragmentów restrykcyjnych po cięciu produktów reakcji PCR enzymami restrykcyjnymi (recA PCR/RFLP). Profile RFLP otrzymane za pomocą enzymu Tsp509I są użyteczne w identyfikacji poszczególnych gatunków bakterii rodzaju Acinetobacter. Na podstawie analizy otrzymanych sekwencji...
-
Metody i algorytmy alokacji stacji wtórnego uzdatniania w sieciach dystrybucji wody pitnej
PublikacjaZapewnienie wymaganej jakości wody dostarczanej do konsumentów jest wciąż ambitnym zadaniem operacyjnym w systemach dystrybucji wody pitnej (SDWP). Jakość wody pitnej spełnia wymagania jakościowe na wyjściu stacji uzdatniania wody lecz może się ona znacznie pogorszyć w czasie przepływu przez sieć i w konsekwencji stanie się niestabilna biologicznie w węźle poboru wody. W takiej sytuacji niezbędne jest wprowadzenie wtórnego uzdatniania...
-
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.
-
Alternatywna metoda oceny bezpieczeństwa statków w stanie uszkodzonym. Gotowość systemu statek w analizie ryzyka
PublikacjaW pracy przedstawiono elementy związane z oceną gotowości systemu statek w stanie uszkodzonym. Zdefiniowano pojęcie gotowości. Przedstawiono system bezpieczeństwa transportu morskiego i statków, w tym system bezpieczeństwa statku w stanie uszkodzonym. Opisano wybrane elementy analizy ryzyka, w tym te dotyczące obliczania i oceny ryzyka. Przedstawiono przykładowe drzewo udziału w ryzyku. Opisano też problemy związane z ocena gotowości...
-
Komputerowa symulacja procesu przecinania na trakach
PublikacjaW pracy przedstawiono podstawowe wielkości kinematyczne i geometryczne procesu przecinania na trakach, jak również program symulacji komputerowej umożliwiający wyznaczenie chwilowych wartości tych parametrów.
-
Zużycie ostrzy pił trakowych
Publikacjakinematyka pilarek ramowych sprawia, że każde ostrze piły trakowej oddziela materiał o innym przekroju warstwy skrawanej. Odmienne warunki pracy poszczególnych ostrzy piły trakowej powodują, że ich zużycie jest zróżnicowane. Znajomość formy i rozkładu wartości zużycia kolejnych ostrzy w pile trakowej daje możliwość lepszego diagnozowania ich przydatność i do pracy.
-
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...
-
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...
-
Forecasting values of cutting power for the sawing process of impregnated pine wood on band sawing machine
PublikacjaW artykule przedstawiono prognozowane wartości mocy skrawania dla pilarki taśmowej (ST100R firmy STENNER), które są stosowane w polskich tartakach. Wartości mocy skrawania oszacowano dla drewna sosny zwyczajnej (Pinus sylvestris L.), które zostało poddane impregnacji. Dla porównania wyznaczono również wartości mocy skrawania dla drewna niezaimpregnowanego. Wartości te określono za pomocą innowacyjnej metody prognozowania sił skrawania,...