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-50 z 128
Tytuł:
A decomposition approach to type 2 interval arithmetic
Autorzy:
Piegat, Andrzej
Dobryakova, Larisa
Powiązania:
https://bibliotekanauki.pl/articles/330100.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
multidimensional RDM interval arithmetic
type 2 interval arithmetic
RDM type 2 interval arithmetic
decomposition type 2 interval arithmetic
interval arithmetic
Opis:
The classic interval has precise borders A = [a, ā] . Therefore, it can be called a type 1 interval. Because of great practical importance of such interval data, several versions of type 1 interval arithmetic have been created. However, sometimes precise borders a and ā of intervals cannot be determined in practice. If the borders are uncertain, then we have to do with type 2 intervals. A type 2 interval can be denoted as AT2 = [aL, aR], [āL, āR]. The paper presents multidimensional decomposition RDM type 2 interval arithmetic (D-RDM-T2-I arithmetic), where RDM means relative-distance measure. The decomposition approach considerably simplifies calculations and is transparent for users. Apart from this arithmetic, examples of its applications are also presented. To the authors’ best knowledge, no papers on this arithmetic exist. D-RDM-T2-I arithmetic is necessary to create type 2 fuzzy arithmetic based on horizontal µ-cuts, which the authors aim to do.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2020, 30, 1; 185-201
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Is an interval the right result of arithmetic operations on intervals?
Autorzy:
Piegat, A.
Landowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/330098.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
interval arithmetic
one dimensional interval arithmetic
multidimensional interval arithmetic
RDM interval arithmetic
arytmetyka interwałowa
arytmetyka interwałowa jednowymiarowa
arytmetyka interwałowa wielowymiarowa
Opis:
For many scientists interval arithmetic (IA, I arithmetic) seems to be easy and simple. However, this is not true. Interval arithmetic is complicated. This is confirmed by the fact that, for years, new, alternative versions of this arithmetic have been created and published. These new versions tried to remove shortcomings and weaknesses of previously proposed options of the arithmetic, which decreased the prestige not only of interval arithmetic itself, but also of fuzzy arithmetic, which, to a great extent, is based on it. In our opinion, the main reason for the observed shortcomings of the present IA is the assumption that the direct result of arithmetic operations on intervals is also an interval. However, the interval is not a direct result but only a simplified representative (indicator) of the result. This hypothesis seems surprising, but investigations prove that it is true. The paper shows what conditions should be satisfied by the result of interval arithmetic operations to call it a “result”, how great its dimensionality is, how to perform arithmetic operations and solve equations. Examples illustrate the proposed method of interval computations.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2017, 27, 3; 575-590
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
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ł:
Computing with words with the use of inverse RDM models of membership functions
Autorzy:
Piegat, A.
Pluciński, M.
Powiązania:
https://bibliotekanauki.pl/articles/330406.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
computing with words
fuzzy arithmetic
RDM fuzzy arithmetic
granular computing
Opis:
Computing with words is a way to artificial, human-like thinking. The paper shows some new possibilities of solving difficult problems of computing with words which are offered by relative-distance-measure RDM models of fuzzy membership functions. Such models are based on RDM interval arithmetic. The way of calculation with words was shown using a specific problem of flight delay formulated by Lotfi Zadeh. The problem seems easy at first sight, but according to the authors’ knowledge it has not been solved yet. Results produced with the achieved solution were tested. The investigations also showed that computing with words sometimes offers possibilities of achieving better problem solutions than with the human mind.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2015, 25, 3; 675-688
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
New Approach to the Uncertainty Assessment of Acoustic Effects in the Environment
Autorzy:
Batko, W.
Pawlik, P.
Powiązania:
https://bibliotekanauki.pl/articles/177204.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
interval arithmetic
uncertainty
railway noise
Opis:
The acoustic climate assessment needed for the selection of solutions (technical, legal and organisa- tional), which will help to minimise the acoustic hazards in the analysed areas, is realised on the basis of acoustic maps. The reference computational algorithms, assigned to them, require very thorough prepa- ration of input data for the considered noise source model representing – in the best possible way – the acoustic climate. These input data are burdened with certain uncertainties in this class of computational tasks. The uncertainties are related to the problem of selecting proper argument values (from the inter- val of their possible variability) for the modelled processes. This situation has a direct influence on the uncertainty of acoustic maps. The idea of applying the interval arithmetic for the assessment of acoustic models uncertainty is formulated in this paper. The computational formalism assigned to the interval arithmetic was discussed. The rules of interval estimations for the model solutions determining the sound level distribution around the analysed noise source – caused by possible errors in the input data – were presented. The application of this formalism was illustrated in uncertainty assessments of modelling acoustic influences of the railway noise linear source on the environment.
Źródło:
Archives of Acoustics; 2012, 37, 1; 57-61
0137-5075
Pojawia się w:
Archives of Acoustics
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ł:
Residue number system (RNS)
Autorzy:
Sharoun, A. O.
Powiązania:
https://bibliotekanauki.pl/articles/376029.pdf
Data publikacji:
2013
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
residue number system
RNS
residue arithmetic
Opis:
In the residue number system, a set of moduli which are independent of each other is given. An integer is represented by the residue of each modulus and the arithmetic operations are based on the residues individually. The arithmetic operations based on residue number system can be performed on various moduli independently to avoid the carry in addition, subtraction and multiplication, which is usually time consuming. However, the comparison and division are more complicated and the fraction number computation is immatured. Due to this, a residue number system is not yet popular in general-purpose computers, though it is extremely useful for digital-signal-processing applications. This thesis deals with the design, simulation and microcontroller implementation of some (residue number system based) building blocks for applications in the field of digital signal processing. The building blocks which have been studied are binary to residue converter, residue to binary converter, residue adder and residue multiplier.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2013, 76; 265-270
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modified Distributed Arithmetic Concept for Implementations Targeted at Heterogeneous FPGAs
Autorzy:
Rawski, M.
Powiązania:
https://bibliotekanauki.pl/articles/226835.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
distributed arithmetic
FPGA
heterogeneous programmable structures
Opis:
Distributed Arithmetic (DA) plays an important role in designing digital signal processing modules for FPGA architectures. It allows replacing multiply-and-accumulate (MAC) operations with combinational blocks. The quality of implementations based on DA strongly depends on efficiency of methods that map combinational DA block into FPGA resources. Since modern FPGAs have heterogeneous structure, there is a need for quality algorithms to target these structures and the need for flexible architecture exploration aiding in appropriate mapping. The paper presents a modification of DA concept that allows for very efficient implementation in heterogeneous FPGA architectures.
Źródło:
International Journal of Electronics and Telecommunications; 2010, 56, 4; 345-350
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallelization of computations for lossless data compression
Autorzy:
Novikov, S.
Powiązania:
https://bibliotekanauki.pl/articles/92851.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
coding
parallel algorithm
arithmetic progression
shortest covering
Opis:
The paper presents two algorithms of parallelization of computations for lossless data compression. It is proposed as a parallel algorithm for Huffman coding and a parallel algorithm for coding of a set of numbers by the family of arithmetic progressions.
Źródło:
Studia Informatica : systems and information technology; 2011, 1-2(15); 35-41
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
High Performance DIF-FFT Using Dissimilar Partitioned LUT Based Distributed Arithmetic
Autorzy:
Cheepurupalli, Kusma Kumari
Charan, Muntha
Rao, Jammu Bhaskara
Noor, Mahammad S.
Powiązania:
https://bibliotekanauki.pl/articles/2055270.pdf
Data publikacji:
2021
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
fast Fourier transform
adders
distributed arithmetic
DSP
Opis:
Real-time data processing systems utilize Digital Signal Processing (DSP) functions as the base modules. Most of the DSP functions involve the implementation of Fast Fourier Transform (FFT) to convert the signals from one domain to another domain. The major bottleneck of Decimation in frequency - Fast Fourier Transform (DIF-FFT) implementation lies in using a number of Multipliers. Distributed arithmetic (DA) is considered as one of the efficient techniques to implement DIF-FFT. In this approach, the multipliers are not used. The proposed technique exploits the very advantage of the look-up table by storing the Twiddle factors, thereby avoiding the multipliers required in the butterfly structure. DIF-FFT using Distributed Arithmetic (DIF-FFT DA) models, with different adders such as Ripple carry adder (RCA), Carry-lookahead adder (CLA), and Sklansky prefix graph adder, are proposed in this paper. The three proposed models are synthesized using Cadence 6.1 EDA tools with a 45nm CMOS technology. Compared to the traditional method, it is observed that the area is improved by 53.11%, 53.35%, and 50.15%, power is improved by 42.31%, 42.52%, and 40.39%, and delay is improved by 45.26%, 45.42%, 41.80%, respectively.
Źródło:
International Journal of Electronics and Telecommunications; 2021, 67, 4; 631--637
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A realistic tolerant solution of a system of interval linear equations with the use of multidimensional interval arithmetic
Autorzy:
Piegat, Andrzej
Pluciński, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/11542697.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
interval arithmetic
interval linear equation
tolerable solution
multidimensional interval arithmetic
arytmetyka interwałowa
równanie liniowe przedziałowe
arytmetyka interwałowa wielowymiarowa
Opis:
The paper presents a method of determining the robustness of solutions of systems of interval linear equations (ILEs). The method can be applied also for the ILE systems for which it has been impossible to find solutions so far or for which solutions in the form of improper intervals have been obtained (which cannot be implemented in practice). The research conducted by the authors has shown that for many problems it is impossible to arrive at ideal solutions that would be fully robust to data uncertainty. However, partially robust solutions can be obtained, and those with the highest robustness can be selected and put into practice. The paper shows that the degree of robustness to the uncertainty of the entire system can be calculated on the basis of the degrees of robustness of individual equations, which greatly simplifies calculations. The presented method is illustrated with a series of examples (also benchmark ones) that facilitate its understanding. It is an extension of the authors’ previously published method for first-order ILEs.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2023, 33, 2; 229--247
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pipelined division of signed numbers with the use of residue arithmetic for small number range with the programmable gate array
Autorzy:
Smyk, R.
Ulman, Z.
Czyżak, M.
Powiązania:
https://bibliotekanauki.pl/articles/376378.pdf
Data publikacji:
2013
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
pipelining
residue number system
RNS
residue arithmetic
Opis:
In this work an architecture of the pipelined signed residue divider for the small number range is presented. Its operation is based on reciprocal calculation and multiplication by the dividend. The divisor in the signed binary form is used to compute the approximated reciprocal in the residue form by the table look-up. In order to limit the look-up table address an algoritm based on segmentation of the divisor into two segments is used. The approximate reciprocal transformed to residue representation with the proper sign is stored in look-up tables. During operation it is multiplied by the dividend in the residue form and subsequently scaled. The pipelined realization of the divider in the FPGA environment is also shown.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2013, 76; 117-126
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Multifunctional unit for reverse conversion and sign detection based on five-moduli set { 2 2n , 2 n + 1, 2 n − 1, 2 n + 3, 2 n − 3 }
Autorzy:
Mojahed, Mohsen
Molahosseini, Amir Sabbagh
Zarandi, Azadeh Alsadat Emrani
Powiązania:
https://bibliotekanauki.pl/articles/2097893.pdf
Data publikacji:
2021
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
computer arithmetic
residue number system
reverse converter
Opis:
A high dynamic range moduli set { 2 2n , 2 n + 1, 2 n − 1, 2 n + 3, 2 n − 3} has recently been introduced as an arithmetically balanced five-modull set for the residue number system (RNS). In order to utilize this moduli set in applications handling signed numbers, two important components are needed: a sign detector, and a signed reverse converter. However, having both of these components results in high-hardware requirements, which makes RNS impractical. This paper overcomes this problem by designing a unified unit that can perform both signed reverse conversion as well as sign detection through the reuse of hardware. To the authors’ knowledge, this is the first attempt to design a sign detector for a moduli set that includes a {2 n 3} moduli. In order to achieve a hardwareamenable design, we first improved the performance of the previous unsigned reverse converter for this moduli set. Then, we extracted a sign-detection method from the structure of the reverse converter. Finally, we made an unsigned reverse converter-to-sign converter through the use of the extracted sign signal from the reverse converter. The experimental results show that the proposed reverse convertor and sign detector result in improvements of 31% and 28% in area and delay, respectively, as compared to the previous unsigned reverse convertor with sign output using a comparator.
Źródło:
Computer Science; 2021, 22 (1); 101-121
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Determination of Water Quality Index of Selected Water Bodies in Warri, Delta State, Nigeria
Autorzy:
Ama, Ibiam Ntachiobi
Ebichime, Nwajei Godwin
Agbaire, Patience Odafe
Verla, Andrew Wirnkor
Powiązania:
https://bibliotekanauki.pl/articles/1112889.pdf
Data publikacji:
2018
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
arithmetic index
physicochemical parameter
water quality index (WQI)
Opis:
Water Quality index indicating the water quality in terms of index number, offers a useful representation of overall quality of water for public or for any intended use, as well as in pollution abatement programmes and in water quality management. The present study was carried out to determine the Water Quality Index (WQI) of selected rivers in Warri, Delta State, using fourteen physicochemical parameters and on the basis of weighted Arithmetic Index in order to access the suitability of this water for consumption, recreation and other purposes. The parameters were measured monthly for one year at the six selected water bodies. In this study, WQI was determined by the analysis-on the basis of various physicochemical parameters such as pH, chlorides, electrical conductivity, dissolved oxygen, biochemical oxygen demand, total dissolved solid, total suspended solids, chlorides, sulphates, chemical oxygen demand, oil/grease. Result obtained for the different sampling sites were found to fall within the WQI classifications - poor water (100-200) to unsuitable water or unfit (>300). There is, therefore, the need to periodically assess these water bodies to ensure the quality is suitable for the intended purpose.
Źródło:
World News of Natural Sciences; 2018, 16; 42-52
2543-5426
Pojawia się w:
World News of Natural Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design of transmultiplexer integer filters
Autorzy:
Ziółko, M.
Nowak, M.
Powiązania:
https://bibliotekanauki.pl/articles/229408.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
fixed point arithmetic
MIMO systems
integer digital filters
Opis:
The designing of transmultiplexer systems relies on determining filters for the transmitter and receiver sides of multicarrier communication system. The perfect reconstruction conditions lead to the bilinear equations for FIR filter coefficients. Generally there is no way of finding all possible solutions. This paper describes methods of finding a large family of solutions. Particular attention is devoted to obtaining algorithms useful in fixed-point arithmetic needed to design the integer filters. As a result, the systems perform perfect reconstruction of signals. Additionally, a simple method is presented to transform any transmultiplexer into an unlimited number of different transmultiplexers. Finally, two examples of integer filters that meet perfect reconstruction conditions are shown. The first illustrates a FIR filter which does not require multiplications. The frequency properties of filters and signals are discussed for the second example.
Źródło:
Archives of Control Sciences; 2018, 28, 2; 223-238
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A proposal of an aggregate index of labour productivity
Autorzy:
Białek, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/658365.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
aggregate index
arithmetic mean
harmonic mean
labour productivity
Opis:
W pracy zaproponowano konstrukcje agregatowego indeksu wydajności pracy. Proponowane systemy wag wynikają z teoretycznych rozważań nad sytuacją, gdy liczba obserwacji pochodzących od któregoś z analizowanych przedsiębiorstw jest niewystarczająca. Rozważania koncentrujemy na przypadku, gdy chcemy zmierzyć przeciętną, jednookresową dynamikę wydajności pracy posiadając dane pochodzące z T>2 okresów.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 2011, 255
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
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ł
Tytuł:
Modeling the Arithmetic Decomposition of DA-LUT Block for Heterogeneous FPGA Structures
Autorzy:
Staworko, M.
Rawski, M.
Powiązania:
https://bibliotekanauki.pl/articles/226414.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
distributed arithmetic
FPGA
FIR filter
heterogeneous programmable structures
Opis:
Distributed arithmetic is well known technique of designing FIR filters in FPGA devices. The quality of such filter implementation strongly depends on synthesis results of the DALUT block. Heterogeneity of modern FPGA structures introduces new possibilities into implementation process, that may lead to better results, but also makes it more complicated. This paper presents the simple mathematical model for estimating the necessary FPGA resources to implement DA-LUT using decomposition-based approach. The model takes into account the type of logic cells or memory blocks used for decomposition process. The proposed model is help ful to determinate the DALUT decomposition strategy for further automation of modified distributed arithmetic decomposition method.
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 4; 335-344
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O pewnych modyfikacjach teorii skierowanych liczb rozmytych
On certain modifications of ordered fuzzy numbers theory
Autorzy:
Piasecki, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/955256.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
Tematy:
skierowane liczby rozmyte
arytmetyka
ordered fuzyy number
arithmetic
Opis:
Skierowane liczby rozmyte zostały zdefiniowane w doskonały i intuicyjny sposób przez Witolda Kosińskiego. Z tej przyczyny skierowane liczby rozmyte coraz częściej określa się mianem liczb Kosińskiego. W pierwszej części tej pracy zaproponowano w pełni sformalizowaną definicję liczby Kosińskiego. Definicję tę następnie uogólniono do przypadku skierowanej liczby rozmytej z nieciągłą funkcją przynależności. Istotną wadą arytmetyki zaproponowanej przez Kosińskiego był brak zamknięcia przestrzeni skierowanych liczb rozmytych ze względu na podstawowe działania arytmetyczne, takie jak: dodawanie, odejmowanie, mnożenie i dzielenie. Głównym celem prezentowanej pracy jest taka modyfikacja działań arytmetycznych, aby przestrzeń liczb Kosińskiego była zamknięta z racji zmodyfikowanych działań arytmetycznych.
Ordered fuzzy numbers have been defined in an excellent, intuitive way by Witold Kosiński. For this reason, they are increasingly referred to as Kosiński’s numbers. A fully formalized definition of a Kosiński’s number is proposed in the first part of this work. This definition is generalized so as to fit an ordered fuzzy number with an upper semi-continuous membership function. A significant drawback of Kosiński’s arithmetic is that the space of ordered fuzzy numbers is not closed under addition, subtraction, multiplication, or division. The main aim of this paper is to modify the arithmetic in such a way that the space of ordered fuzzy numbers is closed under the modified arithmetic operations.
Źródło:
Optimum. Economic Studies; 2017, 3(87); 3-18
1506-7637
Pojawia się w:
Optimum. Economic Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interval boundary element method for transient diffusion problem in two-layered domain
Przedziałowa metoda elementów brzegowych dla zadań dyfuzji w obszarach dwuwarstwowych
Autorzy:
Piasecka-Belkhayat, A.
Powiązania:
https://bibliotekanauki.pl/articles/280879.pdf
Data publikacji:
2011
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
directed interval arithmetic
interval boundary element method
heat transfer
Opis:
In the paper, the description of an unsteady heat transfer for one- dimensional problem proceeding in a two-layered domain is presented. It is assumed that all thermophysical parameters appearing in the mathematical description of the problem analysed are given as directed interval values. The problem discussed has been solved using the 1st scheme of the interval boundary element method. The interval Gauss elimination method has been applied to solve the obtained interval system of equations. In the final part of the paper, results of numerical computations are shown.
W pracy przedstawiono opis nieustalonego przepływu ciepła dla zadań jednowymiarowych w obszarach dwuwarstwowych. Założono, że wszystkie parametry termofizyczne pojawiające się w opisie matematycznym analizowanego zadania są wartościami przedziałowymi skierowanymi. Omawiane zagadnienie zostało rozwiązane za pomocą pierwszego schematu przedziałowej metody elementów brzegowych. Do rozwiązania otrzymanego interwałowego układu równań zastosowano przedziałową metodę eliminacji Gaussa. W końcowej części pracy pokazano wyniki obliczeń numerycznych.
Źródło:
Journal of Theoretical and Applied Mechanics; 2011, 49, 1; 265-276
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sensitivity Analysis of the Estimation of the Single-Number Sound Absorption Evaluation Index DLα
Autorzy:
Batko, W.
Pawlik, P.
Wszołek, G.
Powiązania:
https://bibliotekanauki.pl/articles/176445.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
sensitivity analysis
acoustic barriers
interval arithmetic
Monte Carlo method
Opis:
Acoustic barriers are assigned to the respective categories of sound absorbing properties on the basis of a single-number sound absorption evaluation index. Categories of absorbing properties play a significant role in selecting the barrier type for the given localisation. The estimation of the single-number sound absorption evaluation index is performed, among others, by means of measuring the sound absorption coefficient of the analysed acoustic barrier sample in the reverberation chamber. The sensitivity analysis of the determination of the single-number sound absorption evaluation index was performed in this work. The estimation of the input parameters uncertainty contribution to the expanded uncertainty of the sound absorption evaluation index, was done first. The Monte Carlo method and the reduction interval arithmetic were used for this aim. The relative sensitivity coefficients were determined by means of the author’s method based on the interval arithmetic. These coefficients contain information concerning the quantitative influence of the given input value on the final result.
Źródło:
Archives of Acoustics; 2017, 42, 4; 689-696
0137-5075
Pojawia się w:
Archives of Acoustics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy number division and the multi-granularity phenomenon
Autorzy:
Piegat, A.
Pluciński, M.
Powiązania:
https://bibliotekanauki.pl/articles/202398.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
granular computing
fuzzy arithmetic
fuzzy calculations
RDM fuzzy arithmetic
horizontal membership function
przetwarzanie ziarniste
arytmetyka liczb rozmytych
RDM
funkcja przynależności poziomej
Opis:
The paper presents difficulties connected with fuzzy and interval division. If operations such as fuzzy addition, subtraction and multiplication provide as a result one compact, multidimensional granule, then a result of the fuzzy division can consists of few separated granules. Such results are more difficult to use in next calculations. The paper shows that the number of solution granules can be higher than 2 and that in certain problems division does not occur explicitly. In certain problems, separation of particular solution granules can be considerable. The paper also shows how to realize the fuzzy division when its denominator contains zero. Most types of fuzzy arithmetics forbid such operation. However, the paper shows that it is possible. Multidimensional fuzzy RDM arithmetic and horizontal membership functions which facilitate detecting of solution granules are also described. The considered problems are visualized by examples.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2017, 65, 4; 497-511
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
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ł:
Comparative study on transistor based full adder designs
Autorzy:
Anitha, R.
Powiązania:
https://bibliotekanauki.pl/articles/1182905.pdf
Data publikacji:
2016
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
Full Adder; CPL; DPL; CMOS; Transmission gates; Arithmetic Unit
Opis:
Recently in the generic systems the load on the processor is much heavy. The ability and the challenging process have ended with larger core operations are in the core processor. This paper is basically given special importance on different methodologies having been proposed for Adder, which is the basic operation of the Arithmetic unit. The wide research on the digital adders has been covered so many applications like designs of ALU, RISC, CISC processors, DSP used for data path arithmetic, low power CMOS, optical computing, Nanotechnology and so on. This paper gives greater knowledge and understanding about the various techniques that have amply used of Adder from the earlier years. In this paper we analyzed the implementation of different types of full Adders implemented using CMOS logic (Static CMOS and Dynamic CMOS), CMOS Transmission Gates, Pass Transistor Gates (CPL and DPL).
Źródło:
World Scientific News; 2016, 53, 3; 404-416
2392-2192
Pojawia się w:
World Scientific News
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Arytmetyka finansowa dla studentów wydziałów inżynierskich politechniki łódzkiej. Doświadczenia po dwóch latach prowadzenia przedmiotu
Financial arithmetic for students of engineering departments of the Lodz University of Technology. Experience after two years of teaching the course
Autorzy:
Długosz, Renata
Lindner, Monika
Powiązania:
https://bibliotekanauki.pl/articles/2031502.pdf
Data publikacji:
2021
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
arytmetyka finansowa
nauka zdalna
Excel
financial arithmetic
remote education
Opis:
W artykule omówiono doświadczenia z dwóch lat prowadzenia przedmiotu „Arytmetyka finansowa” dla studentów wybranych kierunków na Wydziale Budownictwa, Architektury i Inżynierii Środowiska Politechniki Łódzkiej. Przedstawiono trudności i pomysły na ich przezwyciężenie, przede wszystkim w kontekście pracy zdalnej. Podano sposoby motywowania studentów pokolenia Z (ery cyfrowej) do aktywnego udziału w procesie zdalnego uczenia się.
In the article the experience of two years of teaching the "Financial Arithmetic" course for students of selected faculties at the Faculty of Civil Engineering, Architecture and Environmental Engineering of the Łódź University of Technology is discussed. The authors were teaching this subject for two consecutive years. Due to the pandemic, the learning was conducted remotely. This resulted in many additional difficulties, including keeping students engaged and fair verification of their achievements. On the other hand, the fact that each of the students had their own computer with an accessible spreadsheet let the teachers to expand the practical part significantly. In the article difficulties and ideas for overcoming them were presented, mainly in the context of remote work. Some ways of motivating students of "Z generation" to actively participate in the process were given. Between them the project of the construction of student's own business plan was tested and described. The last part of the article presents plans for future improvements.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2021, 72; 29-32
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The arithmetic of the topologists sine curve in cryptographic systems dedicated to IoT devices
Autorzy:
Maleszewski, Wiesław
Powiązania:
https://bibliotekanauki.pl/articles/1954462.pdf
Data publikacji:
2014
Wydawca:
Politechnika Gdańska
Tematy:
IoT cryptography
secure communication
topologist’s sine curve
unconventional arithmetic
Opis:
When observing the modern world, we can see the dynamic development of new technologies, among which a special place, both owing to the potential and the threats is occupiedby the Internet of Things which penetrates almost all areas of our life. It is assumed that the IoT technology makes our life easier, however, it poses many challenges concerning the protection of the security of information transmission and, therefore, our privacy. One of the main goals of the paper is to present a new unconventional arithmetic based onthe transcendental curve dedicated to the cryptographic systems that protect the transmission of short messages. The use of this arithmetic may develop the possibilities of protecting short sequences of data generated by devices with limited computational power. Examples of such devices include the ubiquitously used battery powered sensors, the task of which is to collectand transmit data which very often comprises concise information. Another goal is to present the possibility of using the developed arithmetic in cryptographic algorithms.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2019, 23, 1; 29-47
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On an application of an interval backward finite difference method for solving the one-dimensional heat conduction problem
Autorzy:
Jankowska, M.
Marciniak, A.
Hoffmann, T.
Powiązania:
https://bibliotekanauki.pl/articles/205521.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
interval methods
interval arithmetic
finite difference methods
heat conduction problem
Opis:
The paper concerns the interval method for solving the one-dimensional heat conduction problem. It is based on the conventional backward finite difference scheme with the appropriate local truncation error terms that are also taken into account. For the theoretical formulation of the interval approach we can show that the exact solution is included in the interval one. In practice, there are problems, for which we cannot determine the endpoints of the error term intervals exactly. Nevertheless, if we use the appropriate approximation, related to the endpoints considered, then the numerical experiments confirm that the interval solution includes the exact one.
Źródło:
Control and Cybernetics; 2015, 44, 4; 463-480
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Some Schemes for Implementation of Arithmetic Operations with Complex Numbers Using Squaring Units
Autorzy:
Cariow, A.
Cariowa, G.
Powiązania:
https://bibliotekanauki.pl/articles/114347.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
complex number arithmetic
squaring unit
implementation complexity reduction
hardware implementation
Opis:
In this paper, new schemes for a squarer, multiplier and divider of complex numbers are proposed. Traditional structural solutions for each of these operations require the presence of some number of general-purpose binary multipliers. The advantage of our solutions is a removing of multiplications through replacing them by less costly squarers. We use Logan's trick and quarter square technique, which propose to replace the calculation of the product of two real numbers by summing the squares. Replacing usual multipliers with digital squares implies the reducing power consumption as well as decreases the complexity of the hardware circuit. The squarer requiring less area and power as compared to general-purpose multiplier, it is interesting to assess the use of squarers to implementation of complex arithmetic.
Źródło:
Measurement Automation Monitoring; 2017, 63, 6; 209-211
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Arithmetic labelings and geometric labelings of countable graphs
Autorzy:
Vijayakumar, Gurusamy
Powiązania:
https://bibliotekanauki.pl/articles/744063.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
arithmetic labeling of a graph
geometric labeling of a graph
Opis:
An injective map from the vertex set of a graph G-its order may not be finite-to the set of all natural numbers is called an arithmetic (a geometric) labeling of G if the map from the edge set which assigns to each edge the sum (product) of the numbers assigned to its ends by the former map, is injective and the range of the latter map forms an arithmetic (a geometric) progression. A graph is called arithmetic (geometric) if it admits an arithmetic (a geometric) labeling. In this article, we show that the two notions just mentioned are equivalent-i.e., a graph is arithmetic if and only if it is geometric.
Źródło:
Discussiones Mathematicae Graph Theory; 2010, 30, 4; 539-544
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
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ł:
A Boolean encoding of arithmetic operations
Autorzy:
Zbrzezny, A.
Powiązania:
https://bibliotekanauki.pl/articles/121991.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
Boolean encoding
algorithms
arithmetic operation
kodowanie Boolowskie
algorytmy
działania matematyczne
Opis:
In this paper we present algorithms for a Boolean encoding of four basic arithmetic operations on integer numbers: addition, subtraction, multiplication and division. Integer numbers are encoded in two's complement system as vectors of Boolean formulae, and arithmetic operations are faithfully encoded as operations on vectors of Boolean formulae.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2010, 15; 177-190
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling of biological tissue damage process with application of interval arithmetic
Autorzy:
Korczak, Anna
Jasiński, Marek
Powiązania:
https://bibliotekanauki.pl/articles/279929.pdf
Data publikacji:
2019
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
directed interval arithmetic
bioheat transfer
optical diffusion equation
Arrhenius scheme
Opis:
In the paper, the numerical analysis of thermal processes proceeding in a 2D soft biological tissue subjected to laser irradiation is presented. The transient heat transfer is described by the bioheat transfer equation in Pennes formulation. The internal heat source resulting from the laser-tissue interaction based on the solution of the diffusion equation is taken into account. Thermophysical and optical parameters of the tissue are assumed as directed intervals numbers. At the stage of numerical realization. the interval finite difference method has been applied. In the final part of the paper, the results obtained are shown.
Źródło:
Journal of Theoretical and Applied Mechanics; 2019, 57, 1; 249-261
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On probabilistic bounds inspired by interval arithmetic
Autorzy:
Zilinskas, A.
Zilinskas, J.
Powiązania:
https://bibliotekanauki.pl/articles/969846.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
global optimization
branch and bound method
randomized computing
interval arithmetic
Opis:
A randomized method aimed at evaluation of probabilistic bounds for function values is considered. Stochastic intervals tightly covering ranges of function values with probability close to one are modelled by a randomized method inspired by interval arithmetic. Statistical properties of the modelled intervals are investigated experimentally. The experimental results are discussed with respect to application of this method in the construction of a branch and bound type randomized algorithm for global optimization.
Źródło:
Control and Cybernetics; 2010, 39, 2; 507-525
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Codzienne operacje arytmetyczne a problem kosztów podwójnego zadania: raport z eksperymentu behawioralnego kontrolowanego elektroencefalografem
Everyday Mental Calculations and Dual-Task Costs: Evidences from a Behavioral Experiment Supported by EEG
Autorzy:
Przybyła, Tomasz
Klichowski, Michał
Powiązania:
https://bibliotekanauki.pl/articles/15840742.pdf
Data publikacji:
2018-09-15
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
mental arithmetic
cognitive-motor interference
mathematical education
shopping at the supermarket
Opis:
Very recent studies show that a cognitive-motor interference can expose people not only to a motor danger but also weaken their cognitive capabilities. This effect is called the dual-task cost. One of the most popular examples of it nowadays is the smartphone use while walking, which is well examined. Yet, there are no studies that would analyse to what extent the other high-popular dual-task situation – shopping at the supermarket, weakens cognitive processes. To shed some light on this issue, we investigated a behavioral experiment on everyday mental calculations. Methods: Twenty mathematical-ly-educated adults took part in this study. We used stimuli in the form of shop labels. The participant’s task was to add two prices or state the price after a discount. They carried out the tasks by turns, either by standing (single-task) or walking with a shopping basket (dual-task). EEG controlled level of their attention. Results: We found that a cognitive-motor interference do not affected the everyday mental calculations. But, such familiar mental arithmetic as calculating prices after discounts was frighteningly difficultfor the participants. Conclusions: While our findingdoes not confirmthe occurrence of dual-task costs in everyday mental calculations, it has profound consequences for a mathematical education, which effects turn out to be useless in real life.
Źródło:
Studia Edukacyjne; 2018, 49; 145-155
1233-6688
Pojawia się w:
Studia Edukacyjne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Vector space of increments
Autorzy:
Borawski, M.
Powiązania:
https://bibliotekanauki.pl/articles/206256.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
incremental arithmetic
vector space
vector calculus
standard deviation increment
variance increment
Opis:
The article discusses definitions of vector space for variance increment and standard deviation increment, as well as definition of scalar product for variance increment. This justifies using a vector calculus for variance increment and allows for emplyoing vector calculus methods for variance recalculated into variance increment. The paper also presents a practical example of combining images from sector-scan sonar based on comparison made between local increments of variance.
Źródło:
Control and Cybernetics; 2012, 41, 1; 145-170
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An interval difference method for solving the wave equation
Autorzy:
Szyszka, B.
Powiązania:
https://bibliotekanauki.pl/articles/378277.pdf
Data publikacji:
2012
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
wave equation
difference interval method
interval method
floating point interval arithmetic
Opis:
In the paper a difference interval method for solving the wave equation together the initial-boundary value problems is presented. Using an interval method together floating-point interval arithmetic guarantee, that obtained interval solutions contain all numerical errors. Additionally, each exact solution is included into interval solution. In numerical experiments it is guarantee contain all numerical errors in obtained interval solutions. Taken into consideration is the central discretization method with regard to space and time. An initial condition is approximated by the third-order Taylor polynomial with local truncation error of order 0(h4). In the paper new formula, which described discretization of the initial condition, is proposed. Therefore more exact solutions are obtained then in the previous considerations.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2012, 69; 161-168
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Study of harmonic detection methods under non-ideal conditions in ship power network
Autorzy:
Xu, X.-Y.
Mindykowski, J.
Tarasiuk, T.
Cheng, C.
Powiązania:
https://bibliotekanauki.pl/articles/259840.pdf
Data publikacji:
2015
Wydawca:
Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:
distorted three-phase voltage
rapid-variation load
harmonic detection
average arithmetic
Opis:
An improved harmonic detection method based on average arithmetic is proposed. According to the research results, the designed solution uses an LPF (low-pass-filter) and a mean value module connected in series instead of the conventional mean value module, and simultaneously, a three-phase voltage phase-locked module instead of commonly used PLL (phase lock loop) module is applied in order to reduce the influence caused by three-phase distorted voltage and rapid variation of load. The experimental results show that the application of this solution leads to increase in the accuracy of harmonics detection for distorted three-phase voltage and rapid variation of load.
Źródło:
Polish Maritime Research; 2015, 3; 82-89
1233-2585
Pojawia się w:
Polish Maritime Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Résumé on Interval Runge-Kutta Methods
Autorzy:
Marciniak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/748753.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
interval methods for ODEs, Runge-Kutta methods, floating-point interval arithmetic
Opis:
W artykule przedstawiono jawne i niejawne metody przedziałowe typu Rungego-Kutty. Metody takie zawierają w sobie błędy metod, co oznacza, że ten rodzaj błędów jest uwzględniony w otrzymywanych rozwiązaniach przedziałowych. Stosując te metody do rozwiązywania zagadnienia początkowego w zmiennopozycyjnej arytmetyce przedziałowej otrzymujemy zatem rozwiłzania w postaci przedziałów, które zawierają wszystkie możliwe błędy numeryczne. W artykule przedstawiono także przykłady numeryczne.
The paper presents explicit and implicit interval methods of Runge-Kutta type. Such methods introduce the errors of methods. It means that this kind of errors are included in the interval solutions obtained. Applying these methods for solving the initial value problem in floating-point interval arithmetic we can obtain solutions in the form of intervals which contain all possible numerical errors. Numerical examples are presented.
Źródło:
Mathematica Applicanda; 2012, 40, 1
1730-2668
2299-4009
Pojawia się w:
Mathematica Applicanda
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
SIGN detection and signed integer comparison for three-moduli SET {2n ±1, 2n+k}
Autorzy:
Torabi, Zeinab
Timarchi, Somayeh
Powiązania:
https://bibliotekanauki.pl/articles/2097970.pdf
Data publikacji:
2021
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
computer arithmetic
residue number system
signed integer comparison
dynamic range partitioning
Opis:
Comparison, division, and sign detection are considered to be complicated op erations in a residue number system (RNS). A straightforward solution is to convert RNS numbers into binary formats and then perform complicated op erations using conventional binary operators. If efficient circuits are provided for comparison, division, and sign detection, the application of RNS can be extended to those cases that include these operations. For RNS comparison in three-moduli set τ = {2 n−1, 2 n+k , 2 n+1},(0 ≤ k ≤ n), we have found only one hardware realization. In this paper, an efficient RNS comparator is proposed for moduli set τ , which employs a sign-detection method and operates more efficiently than its counterparts. The proposed sign detector and comparator utilize dynamic range partitioning (DRP), which has been recently presented for unsigned RNS comparison. The delay and cost of the proposed comparator are lower than the previous works, which makes it appropriate for RNS applications with limited delay and cost.
Źródło:
Computer Science; 2021, 22 (3); 387-401
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zmodyfikowane mnożenie o stałej szerokości bitowej
Improved fixed-width multiplier
Autorzy:
Jamro, E.
Wielgosz, M.
Russek, P.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/158107.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
arytmetyka komputerowa
filtry cyfrowe
układ mnożący
computer arithmetic
digital filters
multiplier
Opis:
Niniejszy artykuł prezentuje nową metodę kompensacji błędu odcięcia dla mnożenia o stałej szerokości bitowej czyli takiej, dla której szerokość bitowa argumentów wejściowych jest taka sama jak wyjścia. Niektóre poprzednie publikacje były oparte na błędnych założeniach, dlatego zadaniem tej publikacji jest wykazanie wspomnianych błędów oraz zaprezentowanie nowej architektury, dla której błąd średni dąży do zera.
Multiplication is usually implemented in hardware as a full bit-width parallel multiplier, i.e., input bit-widths add up to make up the output bit-width. Nevertheless, in most real-world cases, the input bit-width n is the same as the output bit-width. Therefore, in order to reduce a multiplier area, the n LSBs columns of the multiplier are truncated during the multiplication process (see Fig. 1). This introduces a truncation error which can be reduced by an error compensation circuit. The truncation errors presented in the previous papers, e.g. [3, 6, 7], are based on the false assumption; during truncation error calculation it is sufficient to consider only the combination of each partial input bit products aibj. instead of ever input bits ai and bj (see Fig. 2 and Tab. 1). Therefore a proper fixed-width multiplier structure should be introduced (the old one should be redesigned). This paper focuses on optimizing the mean error (ME) of the truncated multiplier. As a result, a novel Improved Variable error Compensation Truncated Multiplier (IVCTM) is proposed which in comparison to [2], reduces the number of AND gates by 1 in the error compensation circuit (see Fig. 3). For the IVCTM, a mean error is significantly lower than for previously published counterparts. The structure of the IVCTM is simplified in comparison to the previously published truncated multiplier [2], therefore it occupies less silicon area.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 10, 10; 1133-1136
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
FPGA implementations of low precision floating point multiply-accumulate
Autorzy:
Amaricai, A.
Boncalo, O.
Sicoe, O
Powiązania:
https://bibliotekanauki.pl/articles/397897.pdf
Data publikacji:
2013
Wydawca:
Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Tematy:
digital arithmetic
floating point arithmetic
FPGA
field programmable gate array (FPGA)
multiply-accumulate
dot product
arytmetyka cyfrowa
arytmetyka zmiennoprzecinkowa
field-programmable gate array
MAC
iloczyn skalarny
Opis:
Floating point (FP) multiply-accumulate (MAC) represents one of the most important operations in a wide range of applications, such as DSP, multimedia or graphic processing. This paper presents a FP MAC half precision (16-bit) FPGA implementation. The main contribution of this work is represented by the utilization of modern FPGA DSP block for performing both mantissa multiplication and mantissa accumulation. In order to use the DSP block for these operations, the alignment right shifts are performed before the multiply-add stage: a right shift on one of the multiplicand, and, a left shift for the other. This results in efficient DSP usage; thus both cost savings and higher performance (high working frequencies and low latencies) are targeted for MAC operations.
Źródło:
International Journal of Microelectronics and Computer Science; 2013, 4, 4; 159-163
2080-8755
2353-9607
Pojawia się w:
International Journal of Microelectronics and Computer Science
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ł:
An Arithmetically Complete Predicate Modal Logic
Autorzy:
Hao, Yunge
Tourlakis, George
Powiązania:
https://bibliotekanauki.pl/articles/2033850.pdf
Data publikacji:
2021-08-23
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs
Opis:
This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its cut-free Gentzenisation, the ``formulators'' tool. Its semantic completeness (with respect to finite reverse well-founded Kripke models) is fully stated in the current paper and the proof is retold here. Applying the Solovay technique to those models the present paper establishes its main result, namely, that \(\textup{ML}^3\) is arithmetically complete. As expanded below, \(\textup{ML}^3\) is a first-order modal logic that along with its built-in ability to simulate general classical first-order provability―"\(\Box\)" simulating the the informal classical "\(\vdash\)"―is also arithmetically complete in the Solovay sense.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 4; 513-541
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An assessment of water quality temporal variation in Sri Jayawardenapura Kotte canal, Sri Lanka
Autorzy:
Nishanthi, K.
Dushanan, R.
Mathanraj, S.
Priyadharshini, C.
Powiązania:
https://bibliotekanauki.pl/articles/1839859.pdf
Data publikacji:
2021
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
Water quality
WQI
COD
Weighted Arithmetic Index
Sri Jayawardenapura Kotte canal
Opis:
Assessment of temporal variation of the water quality is an essential aspect of evaluating temporary changes in a water body caused by natural or artificial contributions. The study aims to assess the water quality temporal variation and the water quality index over the year from 2010 to 2019. Water sampling was carried out near the bridge of the Kotte canal. Water quality parameters such as pH, electrical conductivity (EC), temperature, dissolved oxygen (DO), ammonia, nitrate, phosphate, and chemical oxygen demand (COD) were determined to assess the quality of water at different periods. It has been calculated based on the standard of the central environmental authority of Sri Lanka. The weighted arithmetic index method has been used to calculate the water quality index. The water quality index of the study area was recorded as good (33.60760) in 2010 and poor in 2013 (56.95663), 2016 (52.37269), and 2019 (69.04417). The study revealed that the water temperature in the canal fluctuates with the time and climate of the area. The EC of the water is registered within the reference range. However, pH, COD, DO, and ammonia are the main water parameters deviating from the reference range. It is observed that the leading causes of the deterioration of water quality are human activities, the illegal discharge of sewage and industrial wastewater, the lack of adequate sanitation facilities, and urban runoff.
Źródło:
World News of Natural Sciences; 2021, 38; 139-157
2543-5426
Pojawia się w:
World News of Natural Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Composition of Arithmetical functions with generalization of perfect and related numbers
Autorzy:
Shukla, D.P.
Yadav, Shikha
Powiązania:
https://bibliotekanauki.pl/articles/746376.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
Arithmetic Functions
Abundent numbers
Deficient numbers
Inequalities
Geometric Numbers
Harmonic Numbers
Opis:
In this paper we have studied the deficient and abundent numbers connected with the composition of \(\varphi\), \(\varphi^*\), \(\sigma\), \(\sigma^*\) and \(\psi\) arithmetical functions, where \(\varphi\) is Euler totient, \(\varphi^*\) is unitary totient, \(\sigma\) is sum of divisor, \(\sigma^*\) is unitary sum of divisor and \(\psi\) is Dedekind's function. In 1988, J. Sandor conjectured that \(\psi(\varphi(m)) \geq m\), for all \(m\), all odd \(m\) and proved that this conjecture is equivalent to \(\psi(\varphi(m)) \geq \frac{m}{2}\), we have studied this equivalent conjecture. Further, a necessary and sufficient conditions of primitivity for unitary r-deficient numbers and unitary totient r-deficient numbers have been obtained. We have discussed the generalization of perfect numbers for an arithmetical function \(E_\alpha\).
Źródło:
Commentationes Mathematicae; 2012, 52, 2
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Mean values for vector valued functions and corresponding functional equations
Autorzy:
Ger, Roman
Sablik, Maciej
Powiązania:
https://bibliotekanauki.pl/articles/745035.pdf
Data publikacji:
2013
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
mean value theorems, quasi-arithmetic means, Gauss-iteration, characterization of quadratic polynomials
Opis:
Although, in general, a straightforward generalization of the Lagrange mean value theorem for vector valued mappings fails to hold we will look for what can be salvaged in that situation. In particular, we deal with Sanderson's and McLeod's type results of that kind (see [9] and [7], respectively). Moreover, we examine mappings with a prescribed intermediate point in the spirit of the celebrated Acz\'el's theorem characterizing polynomials of degree at most 2 (cf. [1]).
Źródło:
Commentationes Mathematicae; 2013, 53, 2
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Comparing Axiomatic Theories of Truth
Autorzy:
Łełyk, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/561328.pdf
Data publikacji:
2019
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
axiomatic theories of truth
conservativity
Peano Arithmetic
disquotation
Kripke-Feferman
Friedman-Sheard
Opis:
The main aim of our paper was to present three formal tools for comparing various axiomatic theories of truth. In Section 2 we aimed at showing that there are indeed many different approaches to defining a set of axioms for the notion of truth. In Section 3 we introduced three different \measures of strength" of axiomatic theories of truth, i.e. three reflexive and transitive relations (preorders) on the set of axiomatic theories of truth. We have explained the intuition behind each of them. The three relations were called (from the most fine-grained to the coarsest): Fujimoto definability, model-theoretical strength, proof-theoretical strength. Then in the last section we described how they order the truth theories introduced in Section 2. We observed that theories made equivalent by the coarser relation can be strictly ordered by the next one.
Źródło:
Studia Semiotyczne; 2019, 33, 2
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Mnożenie o stałej szerokości bitowej z zaokrąglaniem
Fixed-width multiplier with rounding
Autorzy:
Jamro, E.
Wielgosz, M.
Russek, P.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/154742.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
arytmetyka cyfrowa
filtry cyfrowe
układ mnożący
digital arithmetic
digital filters
digital multiplier
Opis:
Niniejszy artykuł prezentuje mnożenie o stałej szerokości bitowej, dla którego szerokość bitowa argumentów jest taka sama jak danej wyjściowej. Najmłodsze bity wyniku są odrzucane już na etapie mnożenia, dzięki czemu układ zajmuje mniej zasobów kosztem niewielkiego błędu obliczeń, który można zmniejszyć poprzez zastosowanie dodatkowych bitów ochronnych, układu kompensacji błędu oraz operacji zaokrąglania. Niniejszy artykuł proponuje nową architekturę uwzględniające powyższe operacje.
The paper deals with fixed-width multipliers, i.e. multipliers for which inputs and output bit-width is the same. In order to reduce hardware requirements for such a multiplier, some of the multiplier logic is truncated during multiplication process (see Fig. 1). This, however, introduces a calculation error which can be reduced by both special truncation-error compensation logic (e.g. presented in Fig. 2) and by additional guard bits. As presented in Tabs. 1 and 2, for relatively small number of guard bits g, the overall error is determined by the rounding process rather than truncation. Nevertheless, as it is proved in this paper, for g>0, the error compensation logic interfere with the rounding process, e.g. offsets the Mean Error (ME). Therefore a novel multiplier denoted as Mean Error optimized Rounded Truncated Multiplier (MERTM) is presented. The MERTM, instead of rounding, includes additional AND gates in comparison to the VCTM [1]. As a result, for the MERTM, ME approaches zero.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 769-771
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Numerical study of large scale truss construction with structural uncertainties
Autorzy:
Bednár, Róbert
Sága, Milan
Vaško, Milan
Powiązania:
https://bibliotekanauki.pl/articles/41204159.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:
uncertain parameters
uncertainties and errors
Monte Carlo method
interval arithmetic
optimization
MATLAB
Opis:
The paper deals with efficiency and usability problem for the chosen solution methods for mechanical systems with structural uncertainties. They are significantly influencing the analysis results and the analysis itself. An application of the chosen approaches will be presented – the first one, a simple combination of only inf-values or only sup-values; the second one presents full combination of all inf-sup values; the third one uses the optimizing process as a tool for finding out an inf-sup solution and last one is Monte Carlo method as a comparison tool.
Źródło:
Studia i Materiały Informatyki Stosowanej; 2011, 4; 17-22
1689-6300
Pojawia się w:
Studia i Materiały Informatyki Stosowanej
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-50 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