Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Znaleziono wyników: 12
first rewind previous Strona / 1 next fast forward last
Wyszukiwano:
w słowach kluczowych:  kraty
help Sortuj według:

help Ogranicz wyniki do:
1
100%
Demonstratio Mathematica
EN We show that every complete effect algebra is Archimedean. Moreover, a block-finite lattice effect algebra has the MacNeille completion which is a complete effect algebra iff it is Archimedean. We apply our results to orthomodular lattices.
2
80%
Demonstratio Mathematica
EN The depth of a term may be used as a measurement of complexity of identities. For any natural number [...] have depth at least k. For any variety V, the k-normalization of V is the variety Nk(V) defined by all k-normal identities of V. We describe a process to produce from a basis for V a basis for [...]
3
80%
Demonstratio Mathematica
EN First, we apply results proved in [Pió1] and some results of graph theory to formulate and prove a necessary condition for partial (and thus also total) unary algebras to have isomorphic (strong) subalgebra lattices. Although this condition is not sufficient for arbitrary partial unary algebras, we [...]
4
70%
Demonstratio Mathematica
EN Let r be a type of algebras. An identity s = t of type r is said to be externally compatible, or simply external, if the terms s and t are either the same variable or both start with the same operation symbol fj of the type. A variety is called external if all of its identities are external. For any[...]
5
61%
Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
2017 nr 6 315--318, CD
PL W pracy zaproponowano konstelację trójwymiarową dla techniki 3D-OFDM (ang. Three Dimensional Orthogonal Frequency Division Multiplexing) wykorzystującej dwuwymiarową odwrotnaą transformacją Fouriera – 2D-IDFT (ang. Two Dimensional Inverse Discrete Fourier Transform). Konstelację znaleziono przeszuku[...]
EN This paper proposes an alternative threedimensional signal constellation for 3D-OFDM based on 2D-IDFT. Unlike similar solutions that can be found in literature our three dimensional modulation scheme is designed directly in a three dimensional space. We achieve approximately 0.45 [dB] gain at the BE[...]
6
61%
Demonstratio Mathematica
2004 Vol. 37, nr 2 255--265
EN Let L, L1 be orthomodular lattices. Let us say that a surjective homomorphism f : L - L1 is Boolean carried if for any maximal Boolean subalgebra B1 of L1 there is a maximal Boolean subalgebra B of L such that f(B) = B1. In this note we investigate the class HOMC all L's such that all surjective ho[...]
7
61%
Demonstratio Mathematica
EN Some further properties related to BCK-algebras with the condition (S) are obtained. The main results are as follows: (i) If a commutative BCK-algebra X is a lattice with respect to the BCK-ordering <, then X need not be with the condition (S); (ii) A positive implicative BCK-algebra X with the cond[...]
8
51%
Prace Naukowe Instytutu Budownictwa Politechniki Wrocławskiej. Konferencje
PL Podano plan zagospodarowania terenu przeciętnej oczyszczalni ścieków. W tab. 1 przedstawiono priorytety budowy, rozbudowy i modernizacji oczyszczalni ścieków do 2010 roku wraz z niezbędnymi nakładami finansowymi. W dalszej kolejności omówiono ważniejsze obiekty oczyszczalni ścieków, ich materiałowo-[...]
EN In order to illustrate objects present in an ordinary sewage treatment plant on fig. 1 shows development plan of sewage treatment plant. The realization program of the sewage treatment plant up to the year 2010 is presented in table 1. Important objects, materials used eventual changes in the sewa[...]
9
51%
Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
2016 nr 6 201--204, CD
PL W pracy zaproponowano algorytm demodulacji dla konstelacji wielowymiarowych odmienny od powszechnie używanego dekodera sferycznego. Wykorzystując względną złożoność´ obliczeniową pokazujemy, że zaproponowane rozwiązanie może być nie więcej niż dziesięciokrotnie bardziej wydajne od rozwiązania znaneg[...]
EN This paper proposes an algorithm for symbol detection in multidimensional constellations as an alternative to widely used Sphere Decoder. We use a relative complexity of algorithms in order to measure the performance gain of the one solution over the other. Measurements and comparisons of relative e[...]
10
51%
Archives of Foundry Engineering
2019 iss. 3 49--54
EN Examples of cast grates whose construction was based on previously used "old" patterns of the technological equipment for heat treatment furnaces (TEq) are presented. Manufacturers of this type of castings have at their disposal numerous earlier designs of the applied TEq. Their adaptation for the n[...]
11
51%
Demonstratio Mathematica
EN The natural bijective correspondence between Boolean algebras and Boolean rings is generalized from Boolean algebras to lattices with 0 every principal ideal of which has an antitone involution. The corresponding ring-like structures are called ring-oids. Among them orthorings are characterized by a[...]
12
41%
Materiały Budowlane
2002 nr 7 38-40
first rewind previous Strona / 1 next fast forward last