Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "pokrycia" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Hydrodynamic thrust bearings with polymer lining
    Hydrodynamiczne łożyska wzdłużne z polimerową warstwą ślizgową
    Autorzy:
    Wodtke, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/187939.pdf
    Data publikacji:
    2016
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hydrodynamic thrust bearings
    tilting-pad bearings
    polymer lining
    hydrodynamiczne łożyska wzdłużne
    łożyska z wahliwymi segmentami
    pokrycia polimerowe
    Opis:
    Polymeric linings of sliding surfaces of the hydrodynamic bearings have been used successfully for over 50 years. Despite of their long history of operations and research, they have not become widespread in industrial applications. This fact may be surprising, considering the conclusions that have been publisher concerning bearing operation and design. This paper summarizes the current state of the art of the tilting-pad thrust bearings with a polymer lining of pad sliding surfaces. Bearing design and the most commonly used polymeric materials are described. The results of the latest theoretical and experimental researches by both bearing manufacturers and at scientific centres are presented. Observed properties of the bearings with polymer lining were compared to the properties of the bearings covered with Babbitt, which is the most frequently material used as lining for hydrodynamic bearings.
    Pokrycia polimerowe powierzchni ślizgowych łożysk hydrodynamicznych są stosowane z sukcesem od ponad 50 lat. Mimo tak długiej historii eksploatacji oraz badań nie znalazły one, jak dotąd, szerokiego zastosowania przemysłowego. Fakt ten może dziwić, biorąc pod uwagę wnioski płynące z eksploatacji oraz dostępnych w literaturze badań łożysk tej odmiany konstrukcyjnej. W niniejszej pracy podsumowano stan aktualnej wiedzy dotyczącej hydrodynamicznych łożysk wzdłużnych z wahliwymi segmentami z pokryciem powierzchni ślizgowej warstwą polimeru. Opisano konstrukcję łożyska oraz scharakteryzowano najczęściej stosowane materiały polimerowe na pokrycia łożysk. Omówiono wyniki najnowszych badań teoretycznych oraz doświadczalnych prowadzonych zarówno przez producentów, jak i w ośrodkach naukowych. Wskazano również na zaobserwowane różnice we właściwościach łożysk tej odmiany konstrukcyjnej w porównaniu z łożyskami z najczęściej stosowanym pokryciem warstwy ślizgowej stopem łożyskowym.
    Źródło:
    Tribologia; 2016, 268, 4; 225-237
    0208-7774
    Pojawia się w:
    Tribologia
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A system for simulation of DNA coverage in shotgun sequencing processes
    System dla symulacji pokrycia DNA w procesach sekwencjonowania typu shotgun
    Autorzy:
    Garbulowski, M.
    Polański, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/151357.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sequencing
    statistic
    DNA coverage
    sekwencjonowanie
    statystyka
    pokrycie DNA
    Opis:
    A design of a computational environment for simulation and statistical analysis of shotgun DNA sequencing process is presented. The approach involves developing simulation procedures on the basis of the Lander-Waterman theory. The explored aspects concern numbers of gaps and contigs. Simulations allow drawing certain conclusions: the created model is very similar to the Lander-Waterman theory, simulations of k-mers maps by the Poisson process allows estimating statistics of contigs number.
    W artykule zawarte są informacje dotyczące statystycznej analizy metody sekwencjonowania typu „Shotgun”. Projekt zakładał stworzenie środowiska obliczeniowego oraz modelu matematycznego, który jak najdokładniej odzwierciedla proces sekwencjonowania metodą „Shotgun”, wykorzystując przy tym losowe powstawanie krótkich sekwencji nukleotydowych, tak zwanych read’ów, a co za tym idzie również losowe formowanie się contig’ów – w pełni odtworzonych odcinków sekwencji. Stworzony model dzielił sekwencję zasad na zadaną ilość read’ów o stałej długości którą następnie odtwarzał poprzez porównanie końca poprzedniego i początku kolejnego read’a, sprawdzając tym samym ile fragmentów zostaje w pełni złożonych w contig’i. Jako własności statystyczne metody można rozumieć wzory Landera-Watermana przewidujące ilość powstawania contig’ów, które biorą pod uwagę całkowitą ilość read’ów, długość read’ów oraz całą długość sekwencji wejściowej. Wartości uzyskane metodą Landera-Watermana oraz uzyskane za pomocą modelu przedstawiono w postaci wykresu zależności ilości powstających contig’ów do parametru ścieżki pokrycia. Dodatkowo pod względem statystycznym wykreślono histogramy przedstawiające częstość występowania zasad w danym miejscu stworzone w oparciu o model oraz wykreślono na wykresie zakres wyników dla ilości powstających contig’ów wyliczony jako maksima i minima dla wielu losowych prób i przedstawione jako zależność od ścieżki pokrycia.
    Źródło:
    Pomiary Automatyka Kontrola; 2014, R. 60, nr 6, 6; 376-377
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analiza pokrycia powierzchni terenu przez działanie robota mobilnego w otoczeniu przeszkód ruchomych
    The analysis of the field coverage by mobile robot in environment with moving obstacles
    Autorzy:
    Dąbkowski, M.
    Grono, A. J.
    Powiązania:
    https://bibliotekanauki.pl/articles/153973.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    robotyka mobilna
    robotyka behawioralna
    pokrycie powierzchni
    mobile robotics
    behaviour based robotics
    field coverage problem
    Opis:
    W artykule została opisana metodyka rozwiązania problemu całkowitego pokrycia nieznanej powierzchni przez autonomicznego robota mobilnego podczas jednoczesnego unikania kolizji z przeszkodami ruchomymi. Przedstawiono sformułowanie oraz dokonano szczegółowej analizy obu problemów, ze zwróceniem szczególnej uwagi na występujące ograniczenia. Zaprezentowano behawioralne podejście do sterowania robotem mobilnym wzorowane na reakcjach istot żywych, które posłużyło rozwiązaniu postawionych zadań. Opisano pokrótce zdefiniowane zachowania, a także przedstawiono wyniki symulacji dla wybranych scenariuszy kolizyjnych wraz z płynącymi z nich wnioskami.
    In this paper the methodology of solving the complete field coverage problem by autonomous mobile robot during simultaneous avoiding moving obstacles was described. Formulations of both problems were shown separately and their analysises were made in details. Constraints of both tasks were took into concideration particularly. The behaviour based approach to mobile robot control which imitate the living animal actions was presented. This approach was used to solve formulated problems. Defined behaviours were shortly described. Simulation results were shown for choosen collision scenarios. Conclusions were made.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 4, 4; 4-8
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie grafu niezgodności i dopełnień w procesie kodowania automatów asynchronicznych
    An application of the Incompatibility and Complement Graph to asynchronous FSM coding
    Autorzy:
    Kania, D.
    Kulisz, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/156212.pdf
    Data publikacji:
    2008
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    problem pokrycia i dopełnienia
    teoria grafów
    kodowanie stanów
    sekwencyjne układy asynchroniczne
    covering and complement problem
    graph theory
    state assignment
    asynchronous FSMs
    Opis:
    W artykule przedstawiono przykład zastosowania nowego rodzaj grafu - grafu niezgodności i dopełnień. Specyficzną cechą tego grafu jest to, że zawiera on dwa rodzaje krawędzi: krawędzie skojarzone z relacjami niezgodności oraz krawędzie skojarzone z relacjami dopełniania. Graf może być wykorzystywany w szeregu problemów optymalizacyjnych, w których rozważane są relacje niegodności i dopełniania wzorców bitowych. W artykule zaprezentowano wykorzystanie grafu w procesie kodowania stanów asynchronicznych układów sekwencyjnych. Przedstawiono też odpowiednie algorytmy tworzenia grafu i kolorowania jego wierzchołków.
    The paper presents an application of a novel concept of graph - the Incompatibility and Complement Graph. A specific feature of the graph is that it contains two kinds of edges: connecting mutually incompatible nodes, and connecting mutually complementing nodes [3, 4]. The graph can be useful in certain class of optimization problems, in which compatibility of bit patterns in both the true and the complemented form has to be analyzed [5]. An example of such a problem is covering analysis in asynchronous FSM coding. The relevant coding method was presented by Tracey [1]. The method consists of several steps. In one of the steps a Boolean matrix is built, describing partitions of the relevant state set, which are required to provide coding free form critical races. In the subsequent step the Boolean matrix has to be reduced. During this step compatibility of the matrix rows both in the true, and the complemented form has to be analysed. For this purpose the Row Incompatibility and Complement graph can be used. The paper presents a simple example explaining the method. Appropriate algorithms for the graph building (Fig. 3) and colouring (Fig. 4) are also presented.
    Źródło:
    Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 486-488
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
    Calculation of State Machine cover of safe Petri net by means of computer based reasoning
    Autorzy:
    Tkacz, J.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/153764.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    przestrzeń stanów lokalnych i globalnych sieci Petriego
    transwersale
    podsieci automatowe SM
    logika sekwentów Gentzena
    Petri net state space
    transversal
    formal reasoning
    State Machine subnets
    configurable logic controllers
    Opis:
    W artykule przedstawiono nowy sposób pokrywania bezpiecznej sieci Petriego minimalną liczbą podsieci automatowych. Metoda symboliczna polega na wczesnej selekcji odpowiednich transwersali, stopniowo wyznaczanych dla rodziny maksymalnych podzbiorów współbieżnych miejsc sieci. W przypadku bezpiecznej sterującej sieci Petriego, miejsca traktowane są jako stany lokalne, natomiast ich dopuszczalne konfiguracje określają jej stany globalne. Transwersale wyróżniają podzbiory miejsc niewspółbieżnych, przypisanych do odpowiednich SM-podsieci. Komputerowe wnioskowanie odbywa się w monotonicznym rachunku sekwentów Gentzena. Rezultaty wykorzystywane są podczas syntezy cyfrowych, konfigurowanych sterowników logicznych z zastosowaniem komercjalnego oprogramowania i języków opisu sprzętu.
    The paper presents a way of finding a suitable Petri net cover by means of a minimal number of maximal State Machine subnets (SM-components). A new symbolic method of Petri net parallel decomposition is based on early selection of proper minimal transversals, taken from family of all global Petri net states. Global states are given in advance as maximal subsets, formed from mutually concurrent places. They can be found as reachable global states of Petri net. During digital design of a logic controller, the places of the safe Petri net are treated as local internal states of Concurrent State Machine, implemented in a reconfigurable logic device (FPGA). The minimal number of selected transversals, which characterizes subsets of sequentially related places, is assigned to separate State Machine subnets. The computer based reasoning is searching a logic expression describing transversals in Gentzen sequent logic. The obtained decomposition (or cover) is used for state encoding of configurable array based embedded logic controllers, implemented as microsystems.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1397-1400
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Resource Utilization Estimation and Core Placement in an NoC-based MPSoC realizing a data-dominated algorithm
    Szacowanie wykorzystania zasobów i rozmieszczenia rdzeni przy realizacji algorytmów zdominowanych danymi w MPSoC opartych na NoC
    Autorzy:
    Dondziak, P.
    Dziurzański, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/154795.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    szacowanie zasobów
    odwzorowanie rdzeni
    diagram przepływu danych i kontroli
    problem pokrycia paska
    sieci wewnątrzukładowe
    resource estimation
    core mapping
    Control Data Flow Graph
    Rectangular Strip Packing Problem
    Network on Chip (NoC)
    Opis:
    In this paper we propose a technique for estimating the number of NoC-based MPSoCs resources (measured in FPGA LUTs) needed for realizing an arbitrary data-dominated algorithm given in the SystemC language. This technique utilizes Control Data Flow Graphs describing the functionality of the code. In order to map the cores into the target chip we use the Bottom-Left-Decreasing algorithm for solving the 2D Rectangular Strip Packing problem. We illustrate the proposed technique with a lossless audio FLAC codec.
    W artykule zaproponowano technikę szacowania zasobów potrzebnych do realizacji wielordzeniowych układów MPSoC opartych na sieciach wewnątrzukładowych NoC (ang. Networks on Chip) realizujących dowolny algorytm zdominowany danymi. Algorytm ten jest wyrażony za pomocą kodu w języku opisu systemu SystemC. Jako miarę powierzchni przyjęto liczbę tablic look-up-table (LUT) układów typu FPGA, do których wejściowe algorytmy zostają odwzorowywane. Proponowana technika wykorzystuje diagram przepływu danych i kontroli (ang. Control Data Flow Graph, CDFG), opisujący funkcjonalność kodu. Następnie dla węzłów tego diagramu dokonuje się prostej estymacji wymaganych zasobów w zależności od typu danego węzła i rozmiaru danych, na których węzeł przeprowadza obliczenia. Proponowana technika została zilustrowana przykładem bezstratnego kodeka FLAC. Zaprezentowane wyniki badań eksperymentalnych pokazują dokładność od 99.3% do 57%, co jest zbliżone do wyników innych zespołów badawczych, np. [2, 4]. W celu odwzorowania rdzeni do docelowego układu użyto zachłannego algorytmu Bottom-Left-Decreasing do rozwiązania dwuwymiarowego problemu pokrycia paska. Badania przeprowadzono dla różnych ograniczeń maksymalnej wysokości paska; w artykule przedstawiono wizualizacje najlepszego i najgorszego przypadku.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 784-786
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies