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ę "krata" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Some counting formulas for finite distributive lattices
    Autorzy:
    Grygiel, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/122017.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    finite distributive lattice
    combinatorial theory
    skończona krata dystrybutywna
    teoria kombinatoryczna
    Opis:
    In the paper we show that the weighted double skeleton of a finite distributive lattice is a suffcient structure to characterize the lattice numerically. We prove some combinatorial formulas for the number of all elements of a finite distributive lattice with the given weighted double skeleton, all its elements with exactly k lower covers and all its covering pairs. Introducing some simple examples, we show how the formulas work.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2010, 15; 43-48
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the lattice of tolerances for a finite chain
    Autorzy:
    Górnicka, A.
    Grygiel, J.
    Tyrala, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/121904.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    krata tolerancji
    siatka algebraiczna
    kongruencja
    lattice of tolerance
    algebraic grid
    congruences
    Opis:
    We provide some description of the lattice of tolerances for a finite chain, pointing to the skeleton tolerance as a special element of this lattice. In particular, we prove that the lattice of all glued tolerances of an n-element chain is isomorphic to the lattice of all tolerances of an n- 1-element chain nad at the same time is a principal filter of the lattice of an n-element chain.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 25-30
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Methods for creating animations based on physical phenomena in JavaScript
    Metody tworzenia animacji opartych na zjawiskach fizycznych w JavaScript
    Autorzy:
    Lipnicka, Maria
    Lipnicki, Artur
    Powiązania:
    https://bibliotekanauki.pl/articles/23050794.pdf
    Data publikacji:
    2022-03-10
    Wydawca:
    Mazowiecka Uczelnia Publiczna w Płocku
    Tematy:
    krata
    klatki kluczowe
    promień pokrywający
    ekspresje
    Lattice
    Key frames
    Covering radius
    Expressions
    Opis:
    After Effects (AE) to znakomite narzędzie do tworzenia prototypów bardzo zaawansowanych animacji. Zawsze szukamy sposobów na przyspieszenie naszej pracy i staramy się uprościć edycję. Środowisko AE obsługuje wyrażenia, które tworzą relacje między właściwościami kompozycji lub klatkami kluczowymi, dzięki czemu projektant może animować warstwy bez ręcznego definiowania każdej klatki kluczowej. Praca zawiera pewne instrukcje i skrypty dotyczące modelowania i animacji zjawisk fizycznych, takich jak odbicia od powierzchni, w tym siły tarcia itp. Otrzymane funkcje pozwalają na ich wykorzystanie w wymiarach 2D i 3D.
    After Effects (AE) is a great tool for prototyping very advanced animations, but we are always looking for ways to speed up our workflow and we strive to simplify editing. AE comes with support for expressions which create relationships between composition properties or keyframes so the designer can animate layers without defining each keyframe by hand. The work contains some instructions regarding modeling and animation of physical phenomena such as reflections from the surface, including friction forces etc. The received functions allow their use in dimensions 2D and 3D.
    Źródło:
    Rocznik Towarzystwa Naukowego Płockiego; 2021, 13; 185-196
    0860-5637
    2657-7704
    Pojawia się w:
    Rocznik Towarzystwa Naukowego Płockiego
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On maximum induced matching numbers of special grids
    Autorzy:
    Adefokun, T. C.
    Ajayi, D. O.
    Powiązania:
    https://bibliotekanauki.pl/articles/357751.pdf
    Data publikacji:
    2018
    Wydawca:
    Politechnika Rzeszowska im. Ignacego Łukasiewicza. Oficyna Wydawnicza
    Tematy:
    induced matching
    grid
    maximum induced matching number
    strong matching number
    skojarzenie
    krata
    liczba skojarzona
    Opis:
    A subset M of the edge set of a graph G is an induced matching of $G$ if given any two edges $e_{1}; e_{2} \in M$, none of the vertices on $e_{1}$ is adjacent to any of the vertices on $e_{2}$. Suppose that $Max(G)$, a positive integer, denotes the maximum size of $M$ in $G$, then, $M$ is the maximum induced matching of $G$ and $Max(G)$ is the maximum induced matching number of $G$. In this work, we obtain upper bounds for the maximum induced matching number of grid $G = G_{n,m}, n \geq 9; m \equiv 3 \mod 4; m \geq 7, and nm$ odd.
    Źródło:
    Journal of Mathematics and Applications; 2018, 41; 5-18
    1733-6775
    2300-9926
    Pojawia się w:
    Journal of Mathematics and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelling of erythrocyte behaviour in blood capillaries by structural model combined with Lattice-Boltzmann approach
    Autorzy:
    Przekop, R.
    Majewski, I.
    Moskal, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/185673.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Red Blood Cells
    Kelvin-Voigt model
    lattice Boltzmann
    Czerwone krwinki
    Model Kelvina-Voigta
    krata Boltzmanna
    Opis:
    A microstructural model of Red Blood Cell (RBC) behaviour was proposed. The erythrocyte is treated as a viscoelastic object, which is denoted by a network of virtual particles connected by elastic springs and dampers (Kelvin-Voigt model). The RBC is submerged in plasma modelled by lattice Boltzmann fluid. Fluid – structure interactions are taken into account. The simulations of RBC behaviour during flow in a microchannel and wall impact were performed. The results of RBC deformation during the flow are in good agreement with experimental data. The calculations of erythrocyte disaggregation from the capillary surface show the impact of RBC structure stiffness on the process.
    Źródło:
    Chemical and Process Engineering; 2018, 39, 4; 411--426
    0208-6425
    2300-1925
    Pojawia się w:
    Chemical and Process Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Estimation of Filtration Efficiency – from Simple Correlations to Digital Fluid Dynamics
    Autorzy:
    Przekop, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/185743.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    filtration
    lattice Boltzmann
    Brownian dynamics
    multiphase flows
    porous media
    filtrowanie
    krata Boltzmanna
    Dynamika Browna
    przepływy wielofazowe
    Opis:
    Aerosol filtration in fibrous filters is one of the principal methods of accurate removal of particulate matter from a stream of gas. The classical theory of depth filtration of aerosol particles in fibrous structures is based on the assumption of existing single fibre efficiency, which may be used to recalculate the overall efficiency of entire filter. Using “classical theory” of filtration one may introduce some errors, leading finally to a discrepancy between theory and experiment. There are several reasons for inappropriate estimation of the single fibre efficiency: i) neglecting of shortrange interactions, ii) separation of inertial and Brownian effects, ii) perfect adhesion of particles to the fibre, iv) assumption of perfect mixing of aerosol particles in the gas stream, v) assumption of negligible effect of the presence of neighbouring fibres and vi) assumption of perpendicular orientation of homogenous fibres in the filtration structure. Generally speaking, “classical theory” of filtration was used for characterization of the steady - state filtration process (filtration in a clean filter, at the beginning of the process) without deeper investigation of the influence of the nternal structure of the filter on its performance. The aim of this review is to outline and discuss the progress of deep-bed filtration modelling from the use of simple empirical correlations to advanced techniques of Computational Fluid Dynamics and Digital Fluid Dynamics.
    Źródło:
    Chemical and Process Engineering; 2017, 38, 1; 31-50
    0208-6425
    2300-1925
    Pojawia się w:
    Chemical and Process Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A comprehensive survey on formal concept analysis, its research trends and applications
    Autorzy:
    Singh, P. K.
    Aswani Kumar, C.
    Gani, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/330445.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    concept lattice
    formal concept analysis
    formal concept
    formal context
    Galois connection
    krata pojęć
    formalna analiza koncepcji
    koneksja Galois
    Opis:
    In recent years, FCA has received significant attention from research communities of various fields. Further, the theory of FCA is being extended into different frontiers and augmented with other knowledge representation frameworks. In this backdrop, this paper aims to provide an understanding of the necessary mathematical background for each extension of FCA like FCA with granular computing, a fuzzy setting, interval-valued, possibility theory, triadic, factor concepts and handling incomplete data. Subsequently, the paper illustrates emerging trends for each extension with applications. To this end, we summarize more than 350 recent (published after 2011) research papers indexed in Google Scholar, IEEE Xplore, ScienceDirect, Scopus, SpringerLink, and a few authoritative fundamental papers.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2016, 26, 2; 495-516
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algorithm and program for finding minimal and quasi-minimal cuts in graphs
    Algorytm i program znajdowania minimalnych i quasi-minimalnych przekrojów grafu
    Autorzy:
    Grishkeyich, A.
    Piątek, Ł.
    Powiązania:
    https://bibliotekanauki.pl/articles/268053.pdf
    Data publikacji:
    2008
    Wydawca:
    Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
    Tematy:
    krata dystrybutywna
    przekrój nierozkladalny
    jeden, dwu, trzy elementowy przekrój
    distributive lattice
    indecomposable cut
    one-, two-, three- elements cut
    Opis:
    It was found, that the set of minimum cuts, separating two chosen vertices in graph, have the structure of distributive lattice. It was developed an effective procedure for finding the set of 1, 2 and 3 elements cuts in graph based on the consideration of distributive lattice of the set of minimum cuts. The procedure consists of first, the algorithm for finding indecomposable minimal cuts of distributive lattice. Second, algorithm for synthesis, using resulting subset from stage one, of the entire set of minimum cuts. The third, is the algorithm for describing the set of quasi-minimum (close to the minimum, next to minimum) cuts in the form of sum of distributive lattices of minimal cuts found for the modified function of weight. The computer program, implementing these algorithms, is presented with examples.
    Ustalono, że zbiór minimalnych przekrojów, rozdzielających dwa zadane wierzchołki grafu, z wprowadzonymi na i operacjami ma strukturę kraty dystrybutywnej. Opracowano skuteczną algorytmiczną procedurę znajdowania zbioru jed dwu i trzy elementowych przekrojów grafu bazującą na rozpatrzeniu dystrybutywnych krat zbioru minimalnych przekrojów grafu. Procedura składa się z, po pierwsze, algorytmu szukania nierozkładalnych minimalnych przekrojów Dystrybutywnej, po drugie, algorytmu syntezy po tym podzbiorze w kracie dystrybutywnej całego poszukiwanego zbioru minimalnych przekrojów i, po trzecie, algorytmu opisu zbioru quasi-minimalnych (bliskich do minimalnych, następnych po minimalnych) przekrojów w formie sumy krat dystrybutywnych minimalnych przekrojów, znalezionych dla zmodyfikowanej funkcji wagi. Przedstawiono zrealizowany program komputerowy i przedstawiono przykłady pracy programu.
    Źródło:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2008, 25; 49-52
    1425-5766
    2353-1290
    Pojawia się w:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    What is a good formalization?
    Jak tworzy się dobre formalizacje?
    Autorzy:
    Wójtowicz, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/2097146.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    formalization
    ontology of situations
    lattice of elementary situations
    logical dimension
    states of affairs
    formalizacja
    ontologia sytuacji
    krata sytuacji elementarnych
    wymiar logiczny
    stan rzeczy
    Opis:
    Formalizacja danego zbioru przekonań wyrażonych w pewnym języku polega na przekładzie ich na zdania innego języka. Dobra formalizacja charakteryzuje się tym, że język przekładu jest dobrany właściwie, a przełożone zdania oddają wiernie sens zdań oryginalnych. Na przykładzie ontologii sytuacji pokazuję, jak doskonale rozwiązywał problem formalizacji Profesor Bogusław Wolniewicz.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2018, 3; 175-188
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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