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

  Lista filtrów

Dostawca treści

Wyrównaj
Wyświetlanie 1-15 z 128
Tytuł:
Arithmetic progressions of length three in subsets of a random set
Autorzy:
Kohayakawa, Yoshiharu
Łuczak, Tomasz
Rödl, Vojtěch
Powiązania:
https://bibliotekanauki.pl/articles/1391171.pdf
Data publikacji:
1996
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
Szemerédi's theorem
arithmetic progressions
combinatorial number theory
regularity lemma
random sets of integers
Źródło:
Acta Arithmetica; 1996, 75, 2; 133-163
0065-1036
Pojawia się w:
Acta Arithmetica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The ternary Goldbach problem in arithmetic progressions
Autorzy:
Liu, Jianya
Zhan, Tao
Powiązania:
https://bibliotekanauki.pl/articles/1390842.pdf
Data publikacji:
1997
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
ternary Goldbach problem
exponential sum over primes in arithmetic progressions
mean-value theorem
Opis:
For a large odd integer N and a positive integer r, define b = (b₁,b₂,b₃) and $(N,r) = {b∈ ℕ³ : 1 ≤ b_j ≤ r, (b_j, r) = 1$ and b₁+b₂+b₃ ≡ N (mod r)}. It is known that $#(N,r) = r² ∏_{p|r}_{p|N} ((p-1)(p-2)/p²) ∏_{p|r}_{p∤N} ((p²-3p+3)/p²)$. Let ε > 0 be arbitrary and $R = N^{1/8-ε}$. We prove that for all positive integers r ≤ R, with at most $O(Rlog^{-A}N)$ exceptions, the Diophantine equation N = p₁+p₂+p₃, ⎨ $p_j ≡ b_j (mod r),$ j = 1,2,3,$ ⎩ with prime variables is solvable whenever b ∈ (N,r), where A > 0 is arbitrary.
Źródło:
Acta Arithmetica; 1997, 82, 3; 197-227
0065-1036
Pojawia się w:
Acta Arithmetica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Arithmetic functions and weighted averages
Autorzy:
de Koninck, Jean-Marie
Grah, Jacques
Powiązania:
https://bibliotekanauki.pl/articles/965954.pdf
Data publikacji:
1999
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
mean value of arithmetic functions
arithmetic functions
weighted averages
Źródło:
Colloquium Mathematicum; 1999, 79, 2; 249-272
0010-1354
Pojawia się w:
Colloquium Mathematicum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On a problem of Matkowski
Autorzy:
Daróczy, Zoltán
Maksa, Gyula
Powiązania:
https://bibliotekanauki.pl/articles/965981.pdf
Data publikacji:
1999
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
functional equation
quasi-arithmetic mean
convexity
Opis:
We solve Matkowski's problem for strictly comparable quasi-arithmetic means.
Źródło:
Colloquium Mathematicum; 1999, 82, 1; 117-123
0010-1354
Pojawia się w:
Colloquium Mathematicum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On what I do not understand (and have something to say): Part I
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1204995.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
set theory
cardinal arithmetic
pcf theory
forcing
iterated forcing
large continuum
nep
nicely definable forcing
combinatorial set theory
Boolean algebras
set-theoretic algebra
partition calculus
Ramsey theory
Opis:
This is a non-standard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdotes and opinions. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept to a minimum ("see ..." means: see the references there and possibly the paper itself). The base were lectures in Rutgers, Fall '97, and reflect my knowledge then. The other half, [122], concentrating on model theory, will subsequently appear. I thank Andreas Blass and Andrzej Rosłanowski for many helpful comments.
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 1-82
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Set arithmetic and the enclosing problem in dynamics
Autorzy:
Mrozek, Marian
Zgliczyński, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/1207977.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
dynamical systems
interval arithmetic
rigorous numerical analysis
enclosing problem
Opis:
We study the enclosing problem for discrete and continuous dynamical systems in the context of computer assisted proofs. We review and compare the existing methods and emphasize the importance of developing a suitable set arithmetic for efficient algorithms solving the enclosing problem.
Źródło:
Annales Polonici Mathematici; 2000, 74, 1; 237-259
0066-2216
Pojawia się w:
Annales Polonici Mathematici
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy-Arithmetic-Based Lyapunov Synthesis in the Design of Stable Fuzzy Controllers: a Computing-With-Words Approach
Autorzy:
Zhou, C.
Powiązania:
https://bibliotekanauki.pl/articles/908020.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
fuzzy control
standard fuzzy arithmetic
constrained fuzzy arithmetic
Lyapunov synthesis
stability
computing with words
perception-based information
pole balancing mobile robot
Opis:
A novel approach to designing stable fuzzy controllers with perception-based information using fuzzy-arithmetic-based Lyapunov synthesis in the frame of computing with words (CW) is presented. It is shown that a set of conventional fuzzy control rules can be derived from the perception-based information using the standard-fuzzy-arithmetic-based Lyapunov synthesis approach. On the other hand, a singleton fuzzy controller can be devised by using a constrained-fuzzy-arithmetic-based Lyapunov synthesis approach. Furthermore, the stability of the fuzzy controllers can be guaranteed by means of the fuzzy version of Lyapunov stability analysis. Moreover, by introducing standard and constrained fuzzy arithmetic in CW, the "words" represented by fuzzy numbers could be efficiently manipulated to design fuzzy controllers. The results obtained are illustrated with the design of stable fuzzy controllers for an autonomous pole balancing mobile robot.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 3; 411-421
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Effective residue-to-binary converter with the Chinese Remainder Theorem
Efektywna konwersja liczb z systemu resztowego do systemu wagowego z uzyciem chińskiego twierdzenia o resztach
Autorzy:
Ulman, Z.
Czyżak, M.
Powiązania:
https://bibliotekanauki.pl/articles/152042.pdf
Data publikacji:
2003
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
cyfrowe przetwarzanie sygnałów
szybka arytmetyka komputerowa
resztowy system liczbowy
digital signal processing
fast computer arithmetic
residue number system
residue-to-binary converter
Opis:
The residue-to-binary conversion is the key operation in all digital signal processing applications that use the Residue Number System (RNS). In this work a new conversion technique based on the Chinese Remainder Theorem (CRT) for 5- and 6-bit moduli is proposed. It is especially suited for the realization with the use of binary arithmetic. the specific property of the realization with the use of binary arithmetic. The specific property of the technique is a way of calculation of the excess factor r in the CRT formula that makes possible, under certain conditions, the reduction of processed numbers from the range [0,nM) to [0,2M) where "M" is the product of moduli. This is done by replacing the calculation of "r" by the computation of the result of division of the sum of projections by a power of 2 close to M. Such approach allows for very effective hardware realization of the converter. Only small ROM`s and standard binary adders are required. Moreover, the pipelining on the Full-Adder (FA) level possible.
Konwersja liczb z systemu resztowego do systemu binarnego jest podstawową operacją we wszystkich układach cyfrowego przetwarzania sygnałów, które wykorzystują system resztowy. W niniejszej pracy zaproponowano nowa metodę konwersji opartą o chinskie twierdzenie o resztach dla modułów 5- i 6-bitowych. Specyficzną cechą nowej metody jest sposób obliczania tzw. współczynnika pomiaru "r" w formule chińskiego twierdzenia o resztach, co umożliwia pod pewnymi warunkami, redukcję przetwarzanych liczb z zakresu [0,nM) do [0,2M). Jest to realizowane poprzez zastąpienie obliczania "r" obliczaniem rB, gdzie M jest potęgą liczby 2 bliska M. Takie podejście pozwala na bardzo efektywną sprzętową realizację konwertora. Konieczne są tylko małe pamięci typu ROM i standardowe sumatory binarne. ponadto możliwa jest realizacja potokowa z częstotliwością ograniczoną opóźnieniem sumatora 1-bitowego.
Źródło:
Pomiary Automatyka Kontrola; 2003, R. 49, nr 12, 12; 34-38
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementation of Adaptive Generalized Sidelobe Cancellers Using Efficient Complex Valued Arithmetic
Autorzy:
Glentis, G. O.
Powiązania:
https://bibliotekanauki.pl/articles/908084.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
elektronika
adaptive beamforming
generalized sidelobe canceller
LMS algorithm
complex valued arithmetic
Opis:
Low complexity realizations of Least Mean Squared (LMS) error, Generalized Sidelobe Cancellers (GSCs) applied to adaptive beamforming are considered. The GSC method provides a simple way for implementing adaptive Linear Constraint Minimum Variance (LCMV) beamformers. Low complexity realizations of adaptive GSCs are of great importance for the design of high sampling rate, and/or small size and low power adaptive beamforming systems. The LMS algorithm and its Transform Domain (TD-LMS) counterpart are considered for the adaptive processing task involved in the design of optimum GSC systems. Since all input signals are represented by complex variables, complex valued arithmetic is utilized for the realization of GSC algorithms, either on general purpose computers, or on dedicated VLSI ASICs. Using algorithmic strength reduction (SR) techniques, two novel algorithms are developed for efficient realizations of both LMS GSCs and TD-LMS GSC schemes. Both of the proposed algorithms are implemented using real valued arithmetic only, whilst reducing the number of multipliers by 25% and 20%, respectively. When VLSI implementation aspects are considered, both the proposed algorithms result in reduced power dissipation and silicon area realizations. The performance of the proposed realizations of the LMS based GSC methods is illustrated in the context of typical beamforming applications.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 4; 549-566
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A New Definition of the Fuzzy Set
Autorzy:
Piegat, A.
Powiązania:
https://bibliotekanauki.pl/articles/908479.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
zbiór rozmyty
prawdopodobieństwo
arytmetyka rozmyta
fuzzy set theory
fuzzy arithmetic
possibility
Opis:
The present fuzzy arithmetic based on Zadeh's possibilistic extension principle and on the classic definition of a fuzzy set has many essential drawbacks. Therefore its application to the solution of practical tasks is limited. In the paper a new definition of the fuzzy set is presented. The definition allows for a considerable fuzziness decrease in the number of arithmetic operations in comparison with the results produced by the present fuzzy arithmetic.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2005, 15, 1; 125-140
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On practical problems with the explanation of the difference between possibility and probability
Autorzy:
Piegat, A.
Powiązania:
https://bibliotekanauki.pl/articles/970096.pdf
Data publikacji:
2005
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
system rozmyty
arytmetyka rozmyta
możliwość
prawdopodobieństwo
fuzzy systems
fuzzy arithmetic
possibility
probability
Opis:
In his famous paper "Fuzzy Sets as a Basis for a Theory of Possibility" (Zadeh, 1978) Professor Lofti Zadeh introduced the notion of possibility distribution [pi]x and tlie concept of possibility measure. He denned in the paper the possibility distribution function to be numerically equal to the membership function ([pi]x = [my]F). In this paper Professor Zadeh draws the special attention of the reader to the fact that: "... there is a fundamental difference between probability and possibility". To explain this difference he had given a special example illustrating the difference, which then was cited by many authors of books on Fuzzy Set Theory and gained great importance for understanding the notion of possibility. In the paper the author presents his doubts as to this important example, explains why it is incorrect and gives a correct version of the example based on the notion of possibility distribution of Dubois and Prade.
Źródło:
Control and Cybernetics; 2005, 34, 2; 505-524
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
What is not clear in fuzzy control systems?
Autorzy:
Piegat, A.
Powiązania:
https://bibliotekanauki.pl/articles/908467.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
sterowanie rozmyte
system rozmyty
arytmetyka rozmyta
logika rozmyta
możliwość
fuzzy control
fuzzy systems
fuzzy arithmetic
fuzzy logic
necessity
possibility
Opis:
The paper presents a number of unclear, unsolved or partly solved problems of fuzzy logic, which hinder precise transformation of expert knowledge about proper control of a plant in a fuzzy controller. These vague problems comprise the realization of logical and arithmetic operations and another basic problem, i.e., the construction of membership functions. The paper also indicates how some of the above problems can be solved.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2006, 16, 1; 37-49
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Arytmetyka zredukowanego systemu binarnego
Diminished-1 arithmetic
Autorzy:
Ulman, Z.
Plebanek, M.
Ożarowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/154065.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
system liczbowy
arytmetyka binarna
arytmetyka modulo
liczby Fermata
number system
Fermat numbers
modulo arithmetic
Opis:
Arytmetyka zredukowanego systemu binarnego umożliwia wykonywanie operacji modulo w binarnych układach logicznych liczących modulo . Z tego powodu jest ona chętnie stosowana w algorytmach cyfrowego przetwarzania sygnałów, na przykład do obliczeń transformaty Fouriera modulo liczby Fermata. W literaturze polskiej system ten nie był dotychczas omawiany. Artykuł przedstawia szczegółową definicję zredukowanego systemu binarnego oraz przedstawia zasady wykonywania elementarnych operacji arytmetycznych w układach cyfrowych.
Diminished-1 arithmetic makes possible performing modulo-2n+1 operations in binary arithmetic hardware which computes modulo-2n. For this reason it is willingly used in various digital signal processing applications, for instance in computing modulo-Fermat-number Fourier transforms. In this article the definition of the diminished-1 system is discussed in detail in comparison to the natural binary system. Basic arithmetic diminished-1 operations in binary circuits are also considered.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 4, 4; 76-79
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O filozofii matematyki Imre Lakatosa
On Imre Lakatos’ Philosophy of Mathematics
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/2013341.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
quasi-empiryzm matematyczny
falsyfikator arytmetyczny
hipoteza Eulera
styl heurystyczny
antyfundacjonizm
mathematical quasi-empiricism
arithmetic falsifier
Euler’s hypothesis
heuristic style
anti-fundationism
Opis:
The paper is concerned with Imre Lakatos’ philosophy of mathematics; it contains a presentation of Lakatos’ views and a critical analysis. Lakatos formulates his conception on the basis of a case study – namely, the history of Euler’s hypothesis concerning polyhedrons. Differentiation of Euclidean and quasi-empirical theories depending on mechanisms of justification of the theses of a given science is crucial to Lakatos’ conception. Lakatos opposes the view according to which mathematics has a Euclidean character, i.e. it is created by deducing theorems from axioms. In mathematics we deal with the mechanism of formation of explaining hypotheses for basic propositions (which are propositions accepted in informal mathematics) and in this respect it reminds of empirical sciences. The paper — apart from presenting Lakatos’ conception — also contains several critical remarks. I assert that the concept of arithmetic falsifier for multiplicity theory he introduced is not well justified. I prove the thesis that although examples on which Lakatos’ conception is based do have a historical value, they do not have any reference to contemporary mathematics. And finally I assert that it is doubtful if the way of presenting mathematical problems that Lakatos used can have a didactic value.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 229-247
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A proposition of the system of weights for aggregative indexes on the example ofthe index of work efficiency
Propozycja systemu wag dla indeksów agregatowych na przykładzie indeksu wydajności pracy
Autorzy:
Białek, Jacek
Czajkowski, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/906832.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
aggregative index
arithmetic mean
harmonic mean
work efficiency
Opis:
In this paper we propose a construction of the aggregative index of work efficiency. The proposed system of weights is based on theoretical considerations over the situation in which the number of observations - coming from some of the considered enterprises - is insufficient. In the first part of this paper we consider a group of N - enterprises and two periods of their activity. We propose a construction of index to compare the periods taking into consideration the work efficiency. Next we consider the case when we intend to measure the average, one-period dynamics of the efficiency of work, having data from T>2 periods. We construct a new index which is a more general version of the previous index.
W pracy zaproponowano konstrukcję agregatowego indeksu wydajności pracy. Proponowany system wag wynika z teoretycznych rozważań nad sytuacją, gdy liczba obserwacji pochodzących od któregoś z analizowanych przedsiębiorstw jest niewystarczająca. W pierwszej części pracy rozważania dotyczą grupy N - przedsiębiorstw i dwóch okresów ich funkcjonowania. Podajemy konstrukcję indeksu dla porównania tych okresów z punktu widzenia wydajności pracy. Następnie rozważamy przypadek, gdy chcemy zmierzyć przeciętną, jedno-okresową dynamikę wydajności pracy posiadając dane pochodzące z T>2 okresów. Konstruujemy nowy indeks stanowiący ogólniejszą wersję poprzedniego indeksu.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 2008, 216
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 128

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