PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Ograniczanie wyników
Czasopisma help
  1. 4 Discussiones Mathematicae - General Algebra and Applications
  2. 3 Demonstratio Mathematica
  3. 3 Elektronika : konstrukcje, technologie, zastosowania
  4. 3 Formalized Mathematics
  5. 2 Bulletin of the Section of Logic
Więcej...
Lata help
  1. 1 2021
  2. 1 2020
  3. 1 2017
  4. 1 2016
  5. 3 2015
Więcej...
Autorzy help
  1. 3 Coghetto R.
  2. 3 Wojciechowska-Rysiawa M.
  3. 2 Krystkowiak M.
  4. 1 Apaydın H.
  5. 1 Arvaniti A.
Więcej...
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 28

Liczba wyników na stronie
first rewind previous Strona / 2 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  filter
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
1
Content available remote Topology from Neighbourhoods
100%
Coghetto R.
Formalized Mathematics
|
2015
|
tom 23
|
nr 4
289-296
EN
Using Mizar [9], and the formal topological space structure (FMT_Space_Str) [19], we introduce the three U-FMT conditions (U-FMT filter, U-FMT with point and U-FMT local) similar to those VI, VII, VIII and VIV of the proposition 2 in [10]: If to each element x of a set X there corresponds a set B(x) of subsets of X such that the properties VI, VII, VIII and VIV are satisfied, then there is a unique topological structure on X such that, for each x ∈ X, B(x) is the set of neighborhoods of x in this topology. We present a correspondence between a topological space and a space defined with the formal topological space structure with the three U-FMT conditions called the topology from neighbourhoods. For the formalization, we were inspired by the works of Bourbaki [11] and Claude Wagschal [31].
2
Content available remote Strong meager properties for filters
100%
Laflamme C.
Fundamenta Mathematicae
|
1994-1995
|
tom 146
|
nr 3
283-293
EN
We analyze several "strong meager" properties for filters on the natural numbers between the classical Baire property and a filter being $F_σ$. Two such properties have been studied by Talagrand and a few more combinatorial ones are investigated. In particular, we define the notion of a P⁺-filter, a generalization of the traditional concept of P-filter, and prove the existence of a non-meager P⁺-filter. Our motivation lies in understanding the structure of filters generated by complements of members of a maximal almost disjoint family.
3
Content available On GE-algebras
100%
Bandaru R. , Saeid A. B. , Jun Y. B.
Bulletin of the Section of Logic
|
2021
|
tom 50
|
nr 1
81-96
EN
Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized exchange algebra), is introduced and studied its properties. We consider filters, upper sets and congruence kernels in a GE-algebra. We also characterize congruence kernels of transitive GE-algebras.
4
Content available remote Bipartite pseudo-BL algebras
100%
Walendziak A. , Wojciechowska-Rysiawa M.
|
2010
|
tom Vol. 43, nr 3
487-496
EN
The class of bipartite pseudo-BL algebras (denoted by BP) and the class of strongly bipartite pseudo-BL algebras (denoted by BP0) are investigated. We prove that the class BP0 is a variety and show that BP is closed under subalgebras and arbitrary direct products but it is not a variety. We also study connections between bipartite pseudo-BL algebras and other classes of pseudo-BL algebras.
5
Efektywność tłumienia prądów doziemnych silnika filtrami LC w napędach z falownikami napięciowymi zasilanymi z sieci TN
100%
Szymański J.
|
2011
|
tom nr 7-8
24-29
6
Content available A note on good pseudo BL-algebras
100%
Wojciechowska-Rysiawa M.
Discussiones Mathematicae - General Algebra and Applications
|
2010
|
tom 30
|
nr 2
193-205
EN
Pseudo BL-algebras are a noncommutative extention of BL-algebras. In this paper we study good pseudo BL-algebras and consider some classes of these algebras.
7
Content available Filters of lattices with respect to a congruence
88%
Sambasiva Rao M. , El-Mohsen Badawy A.
Discussiones Mathematicae - General Algebra and Applications
|
2014
|
tom 34
|
nr 2
213-219
EN
Some properties of filters on a lattice L are studied with respect to a congruence on L. The notion of a θ-filter of L is introduced and these filters are then characterized in terms of classes of θ. For distributive L, an isomorphism between the lattice of θ-filters of L and the lattice of filters of $L_{/θ}$ is obtained.
8
Content available Compounding Objects
88%
Šikić Z.
Bulletin of the Section of Logic
|
2020
|
tom 49
|
nr 2
EN
We prove a characterization theorem for filters, proper filters and ultrafilters which is a kind of converse of Łoś's theorem. It is more natural than the usual intuition of these terms as large sets of coordinates, which is actually unconvincing in the case of ultrafilters. As a bonus, we get a very simple proof of Łoś's theorem.
9
Content available remote Double Sequences and Iterated Limits in Regular Space
88%
Coghetto R.
Formalized Mathematics
|
2016
|
tom 24
|
nr 3
173-186
EN
First, we define in Mizar [5], the Cartesian product of two filters bases and the Cartesian product of two filters. After comparing the product of two Fréchet filters on ℕ (F1) with the Fréchet filter on ℕ × ℕ (F2), we compare limF₁ and limF₂ for all double sequences in a non empty topological space. Endou, Okazaki and Shidama formalized in [14] the “convergence in Pringsheim’s sense” for double sequence of real numbers. We show some basic correspondences between the p-convergence and the filter convergence in a topological space. Then we formalize that the double sequence [...] converges in “Pringsheim’s sense” but not in Frechet filter on ℕ × ℕ sense. In the next section, we generalize some definitions: “is convergent in the first coordinate”, “is convergent in the second coordinate”, “the lim in the first coordinate of”, “the lim in the second coordinate of” according to [14], in Hausdorff space. Finally, we generalize two theorems: (3) and (4) from [14] in the case of double sequences and we formalize the “iterated limit” theorem (“Double limit” [7], p. 81, par. 8.5 “Double limite” [6] (TG I,57)), all in regular space. We were inspired by the exercises (2.11.4), (2.17.5) [17] and the corrections B.10 [18].
10
Content available remote Designed Filter with CCII+ and Analysis of EEG for Epilepsy and Alzheimer
88%
Kitiş Ş. , Apaydın H. , Güntürkün R.
Acta Physica Polonica A
|
2017
|
tom 132
|
nr 3
423-426
EN
Biomedical signals are usually low amplitude and high bandwidth signals. EEG signals are very low amplitude (generally less than 300 μV) and very high bandwidth (range from 0.5 to 100 Hz), too. EEG was used to assist in the diagnosis of brain damage, Alzheimer disease and Parkinson disease, and certain mental disorders. In this study amplifier and filters designed with CCII+ and these simulations are performed with PSPICE program. Normal brain signal, the Alzheimer brain signal, epilepsy brain signal are compared, the shrinking hippocampus compared 25 years old normal brain, 75 years old normal brain and 75 years old with the Alzheimer brain.
11
Content available remote I-uniform continuity and I-uniform boundedness of a function
88%
Ghosal S.
|
2012
|
tom Vol. 45, nr 4
887-894
EN
The concepts of I-convergence and I-Cauchy condition are a generalization of statistical convergence and statistical Cauchy conditions and are dependent on the notion of the ideal I of subsets of the set N of positive integers. In this paper, we shall introduce two new notions of I-uniform continuity and I-uniform boundedness of a function with values in R or in a metric space and then study their basic properties.
12
Content available remote Convergent Filter Bases
75%
Coghetto R.
Formalized Mathematics
|
2015
|
tom 23
|
nr 3
189-203
EN
We are inspired by the work of Henri Cartan [16], Bourbaki [10] (TG. I Filtres) and Claude Wagschal [34]. We define the base of filter, image filter, convergent filter bases, limit filter and the filter base of tails (fr: filtre des sections).
13
Content available An introduction to envelope constrained filter design
75%
Cantoni A. , Vo B. N. , Teo K. L.
|
2001
|
tom nr 3
3-14
EN
Envelope constrained filter design is concerned with the time domain synthesis of a filter whose response to a specified input signal stays within prescribed upper and lowe bounds and in addition has minimal noise enhancement. In many practical applications, a "soft" approach, such as least mean square, is not the most suitable and it becomes necessary to use "hard" constraints such as the ones considered in the paper. We present an overview of key ideas related to robust continuous time envelope constrained filter design.
14
Mechaniczne przestrajanie filtrów mikrofalowych przy użyciu bezkontaktowego strojnika pojemnościowego
75%
Szczepaniak Z. , Arvaniti A. , Orzeł-Tatarczuk E.
|
2008
|
tom Vol. 49, nr 7-8
43-46
PL
W artykule zaprezentowano metodę strojenia, pozwalającą na uniknięcie problemu zapewnienia kontaktu elektrycznego w układach strojenia filtrów na bazie linii SLP. Układ proponowanego strojnika nie wymaga kontaktu elektrycznego z obudową filtru i bazuje na idei kondensatora cylindrycznego z ruchomą częścią wewnętrzną. W artykule, oprócz zasady działania układu, zaprezentowano również wyniki symulacji i pomiarów modelowego pięciostopniowego filtru grzebieniowego w paśmie L/S.
EN
The article comprises an approach to avoiding the problem of obtaining the electrical contact in typical tuners for stripline-based filters. The tuner structure shown here does not require any electrical contact and is based on the concept of the cylindrical capacitor with a sliding inner part. The idea of the construction and working principle are shown together with a simulation and measurement results fora manufactured model of 5' order combline L/S-band filter.
15
Content available remote On ideals, filters and weak distributivity in generalized Boolean Quasirings
75%
Kaleta J.
|
2000
|
tom Vol. 33, nr 2
231-241
EN
In this paper a theory of ideals and filters m some kind of ring-like structures, namely in generalized Boolean quasirings (GBQRs), is presented. We refer to weak distributivity in GBQRs, too.
16
Content available remote Wykorzystanie zespołu cyfrowych filtrów śledzących w diagnostyce silników lotniczych
75%
Romaniuk A.
|
1998
|
tom z. 51[168], t.1
377-385
PL
Obracające się części maszyn i urządzeń generują drgania o szerokim widmie częstotliwości, które są źródłem informacji wykorzystywanej w diagnostyce. Szczególne znaczenie w procesie diagnozowania mają składowe synchroniczne ze źródłem pobudzenia. Powszechnie znane są uniwersalne programy umożliwiające zamianę przebiegu w dziedzinie czasu na przebieg w dziedzinie częstotliwości (analiza Fouriera). Ich zastosowanie do pomiaru drgań synchronicznych ze źródłem pobudzenia jest ograniczone ze względu na niestabilność częstotliwości sygnału pobudzającego np. turbiny silnika. W pracy na przykładach z wykorzystaniem sygnału przyspieszenia wibracji silnika K-15 wykazano, że w przypadku gdy w poddanym analizie przedziale czasu, częstotliwość analizowanego przebiegu podlega zmianie, jednej rzeczywistej składowej w dziedzinie częstotliwości odpowiada kilka dyskretnych składowych przebiegu wyjściowego analizy Fouriera. W sytuacji gdy poziomy mierzonych przebiegów są małe wyodrębnienie ich jest niemożliwe. Zjawisko rośnie ze wzrostem rzędu harmonicznej. Wykazano, że zastosowanie filtrów śledzących umożliwia wydzielenie składowych synchronicznych z sygnałem pobudzającym oraz eliminację dla składowych synchronicznych z sygnałem pobudzającym, omówionego powyżej zjawiska rozszczepiania (zwielokratniania) składowych. Przedstawiono ocenę przydatności zastosowania zespołu cyfrowych filtrów śledzących do pomiaru drgań jednowirnikowego turbinowego silnika odrzutowego.
EN
A total frequency spectrum of rotating elements conteins a great deal of interesting and valuable information. The most valuable components are synchronous with rotating elements. There are a lot of universal programs for changing time-domain signals into frequency-domain signals (Fourier transform analysis). Their applications to measurement of synchronous with a source of vibration components are limited due to frequency unstability of the source of vibration.The paper using vibration acceleration signals of the K-15 turbine engine presents that when frequency of an analysing signal is changing one physicaly existing frequency signal component has a few counterparts in Fourier transform analysis. As the rate of harmonics increases the phenomenon increases. Using of narrow-band tracking filters anables extractions of synchronic components and elimination stated above phenomenon. The papers presents usability evaluation of implementation narrow-band tracking filters to measurement of vibration of a gas turbine engine.
17
Content available Congruences on semilattices with section antitone involutions
75%
Chajda I.
Discussiones Mathematicae - General Algebra and Applications
|
2010
|
tom 30
|
nr 2
207-215
EN
We deal with congruences on semilattices with section antitone involution which rise e.g., as implication reducts of Boolean algebras, MV-algebras or basic algebras and which are included among implication algebras, orthoimplication algebras etc. We characterize congruences by their kernels which coincide with semilattice filters satisfying certain natural conditions. We prove that these algebras are congruence distributive and 3-permutable.
18
Content available IF-filters of pseudo-BL-algebras
75%
Wojciechowska-Rysiawa M.
Discussiones Mathematicae - General Algebra and Applications
|
2015
|
tom 35
|
nr 2
177-193
EN
Characterizations of IF-filters of a pseudo-BL-algebra are established. Some related properties are investigated. The notation of prime IF- filters and a characterization of a pseudo-BL-chain are given. Homomorphisms of IF-filters and direct product of IF-filters are studied.
19
Content available remote Hilbert algebras as implicative partial semilattices
75%
Cīrulis J.
Open Mathematics
|
2007
|
tom 5
|
nr 2
264-279
EN
The infimum of elements a and b of a Hilbert algebra are said to be the compatible meet of a and b, if the elements a and b are compatible in a certain strict sense. The subject of the paper will be Hilbert algebras equipped with the compatible meet operation, which normally is partial. A partial lower semilattice is shown to be a reduct of such an expanded Hilbert algebra i ?both algebras have the same ?lters.An expanded Hilbert algebra is actually an implicative partial semilattice (i.e., a relative subalgebra of an implicative semilattice),and conversely.The implication in an implicative partial semilattice is characterised in terms of ?lters of the underlying partial semilattice.
20
Content available remote Półautomatyczne spinanie bibuły filtracyjnej taśmą stalową.
63%
Grabiński M.
|
1998
|
tom nr 4
34-36
first rewind previous Strona / 2 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.