Skocz do pozycji: 1.

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 A_T2 = [a_L, a_R], [ā_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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 2.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 3.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 4.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 5.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 6.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 7.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 8.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 9.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 10.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 11.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 12.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 13.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 14.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 15.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 16.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 17.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 18.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 19.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 20.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 21.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 22.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 23.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 24.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 25.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 26.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 27.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 28.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 29.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 30.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 31.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 32.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 33.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 34.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 35.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 36.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 37.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 38.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 39.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 40.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 41.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 42.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 43.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 44.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 45.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 46.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 47.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 48.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 49.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 50.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 51.

Tytuł:

Podręczniki do matematyki Stefana Banacha w kontekście doświadczeń szkolnych autora
Mathematics textbooks by Stefan Banach in the context of his school experiences

Autorzy:

Karpińska, Karolina

Powiązania:

https://bibliotekanauki.pl/articles/1398905.pdf

Data publikacji:

2019-06-30

Wydawca:

Polska Akademia Nauk. Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów

Tematy:

Stefan Banach
historia nauczania matematyki
historia matematyki
algebra
geometria
arytmetyka polityczna
matematyka finansowa
podręcznik szkolny
history of mathematics education
history of mathematics
geometry
political arithmetic
financial arithmetic
school textbook

Opis:

The aim of this paper is to analyse the content of school textbooks whose author or co-author was Stefan Banach (1892–1945), with particular attention paid to the scope of exploring equations, the method of introducing geometry to school teaching (whether to start it with discussing the basic planimetric concepts or basic stereometric concepts, or discussing them both parallelly?) and the range of political arithmetic (currently called financial arithmetic) problems. The paper examines the extent to which Banach’s textbooks were innovative in this respect. The research is based on, among others, the textbooks used by Banach as a secondary school student and the ordinances of the Polish ministry of education (Ministry of Religious Affairs and Public Education) from 1922.

Źródło:

Analecta. Studia i Materiały z Dziejów Nauki; 2019, 28, 1; 71-138
1509-0957

Pojawia się w:

Analecta. Studia i Materiały z Dziejów Nauki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 52.

Tytuł:

Zmiennoprzecinkowa jednostka arytmetyczna dla sprzętowej maszyny wirtualnej
A floating point unit for the hardware virtual machine

Autorzy:

Hajduk, Z.

Powiązania:

https://bibliotekanauki.pl/articles/156437.pdf

Data publikacji:

2011

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

układy FPGA
arytmetyka zmiennoprzecinkowa
field programmable gate array (FPGA)
floating point arithmetic

Opis:

W artykule omówiono, opracowaną dla struktur FPGA, implementację układów realizujących podstawowe operacje arytmetyki zmiennoprzecinkowej. Implementacja charakteryzuje się pewnym kompromisem pomiędzy zapotrzebowaniem na zasoby logiczne układu programowalnego a szybkością realizacji operacji arytmetycznych określoną przez liczbę taktów zegara niezbędną do wykonania operacji. Wspomniane układy zostały wykorzystane jako zasadnicze komponenty zmiennoprzecinkowej jednostki arytmetycznej przeznaczonej dla sprzętowej maszyny wirtualnej. Maszyna ta, implementowana w układach FPGA, jest specjalizowanym mikrokontrolerem wykonującym pośredni kod wykonywalny generowany przez kompilator środowiska inżynierskiego CPDev, przeznaczonego do projektowania oprogramowania sterowników przemysłowych. Wykonane testy wydajności maszyny sprzętowej wyposażonej w zmiennoprzecinkową jednostkę arytmetyczną wskazują, że jest ona średnio kilkadziesiąt razy szybsza od dotychczas istniejących realizacji programowych, wykorzystujących popularne mikrokontrolery AVR i ARM.
Under the CPDev (Control Program Developer) engineering environment, programs written in one of the languages defined in the IEC 61131-3 standard are compiled into the universal intermediate code executed on the side of programmable controllers by the virtual machines [9]. There are software implemented virtual machines, dedicated for the platform with popular AVR and ARM microcontrollers, and also there is a recently developed hardware virtual machine implemented using FPGA devices [2]. The hardware virtual machine, which in fact is a specialized microcontroller described in the Verilog Hardware Description Language [3], is several dozen times faster then its software counterparts [2]. But the main drawback of the existing hardware virtual machine is a lack of the ability of executing the floating point computations. The paper presents an architecture of the floating point arithmetic unit accomplishing basic floating point operation, designed for the hardware virtual machine. There are quite a lot of publications concerning FPGA implementation of the floating point arithmetic, for instance [6, 7, 8, 10, 11]. In this paper the realization of basic float-ing point operation, balanced between logic resources requirements and speed of computing (defined by the number of clock cycles necessary to end up a floating point operation), is presented. Figs. 1 and 2 show a simplified micro-architecture of the single precision (according to IEEE 754-1985 standard [5]) floating point multiplier and adder. A floating point divider has roughly the same structure as the multiplier - it differs in states functions performed by some blocks. A few different realizations of the multiplier and adder unit were designed - the details are presented in Tabs. 1 and 3. The general trend is as follows: a shorter clock cycle necessary to execute the operation needs more logic resources of FPGA. A floating point unit for the hardware virtual machine was designed based on the floating point multiplier, divider and adder blocks. Apart from the mentioned above basic floating point operation, the floating point unit also performs operations like: comparison and relation (equals, not equals, more than, more than or equal etc.), absolute value, negation, integer value to floating point value conversion, floating point to integer conversion (rounding, truncating) and some functions fetched from IEC 61131-3 standard like MIN, MAX, LIMIT. To compare performance of the hardware virtual machine equipped with the floating point unit and its software counterparts, the Whetstone based benchmark [1] was written in ST language. The test results are given in Tab. 4. The hardware virtual machine (implemented using Xilinx Spartan 3-AN FPGA XC3S1400AN-4FGG676) is several times faster than the software one implemented on AVR and ARM microcontrollers, and even a little bit faster than the PC based virtual machine (under .NET environment).

Źródło:

Pomiary Automatyka Kontrola; 2011, R. 57, nr 1, 1; 82-85
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 53.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 54.

Tytuł:

Quasi-arithmetic means
Średnie quasi-arytmetyczne

Autorzy:

Górowski, Jan
Łomnicki, Adam

Powiązania:

https://bibliotekanauki.pl/articles/1791018.pdf

Data publikacji:

2017-07-04

Wydawca:

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Tematy:

Quasi-arithmetic means
inequalities involving means
means in geometry
extended mean values

Opis:

We present a list of geometric problems with solutions that lead to knownor less known means. We also prove, by elementary means, some property for so-calledquasi-arithmetic means. We use the proved result to justify some inequalities betweenthe means.

Źródło:

Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia; 2015, 7; 35-43
2080-9751
2450-341X

Pojawia się w:

Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 55.

Tytuł:

Variations on sequences of arithmetic and geometric means
Wariacje na temat ciągów średnich arytmetycznych i geometrycznych

Autorzy:

Wituła, R.
Jama, D.
Nowak, I.
Olczyk, P.

Powiązania:

https://bibliotekanauki.pl/articles/87314.pdf

Data publikacji:

2011

Wydawca:

Politechnika Śląska. Wydawnictwo Politechniki Śląskiej

Tematy:

ciąg arytmetyczny
ciąg geometryczny
liczby pierwsze
arithmetic sequence
geometric sequence
prime numbers

Opis:

The paper presents a thematic overview and selected results connected with the asymptotic behavior of sequences of arithmetic and geometric means of fixed sequences of positive real numbers. A lot of original results and the independent proofs of known results are presented. Some rarely cited classical results (including the Kalecki Theoremand the Hurwitz identity) are recalled and used.
Wartykule przedstawiono przegląd tematyczny oraz wybrane wyniki dotyczące asymptotycznych zachowań ciągów średnich arytmetycznych i geometrycznych danych ciągów liczb dodatnich. Podano wiele orginalnych wyników oraz niezależnych dowodów znanych faktów. Przypomniano i zastosowano kilka, rzadko cytowanych wyników klasycznych (m.in. twierdzenie Kaleckiego, tożsamość Hurwitza).

Źródło:

Zeszyty Naukowe. Matematyka Stosowana / Politechnika Śląska; 2011, 1; 81-98
2084-073X

Pojawia się w:

Zeszyty Naukowe. Matematyka Stosowana / Politechnika Śląska

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 56.

Tytuł:

The basis of financial arithmetic from the viewpoint of utility theory

Autorzy:

Piasecki, K.

Powiązania:

https://bibliotekanauki.pl/articles/406429.pdf

Data publikacji:

2012

Wydawca:

Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej

Tematy:

synergy effect of capital
diversification
financial arithmetic
Gossen’s first law
utility

Opis:

The main goal of this paper is to present a modern axiomatic approach to financial arithmetic. An axiomatic theory of financial arithmetic was first proposed by Peccati, who introduced an axiomatic definition of future value. This theory has been extensively developed in recent years. The proposed approach to financial arithmetic is based on the concept of the utility of a financial flow. This utility function is defined as a linear extension of a multicriterion comparison determined by an individual’s time preference and capital preference. The present value is then defined to be the utility of the financial flow. Therefore, the law of the diminishing marginal utility of wealth has been considered as an additional feature of the present value. The future value is defined as the inverse of the utility function. This definition is a generalization of Peccati’s one. The net present value is given as the unique additive extension of the utility of the financial flow. Moreover, the synergy effect and the diversification effect will be discussed. At the end, the axiomatic definition of the present value will be specified in three ways.

Źródło:

Operations Research and Decisions; 2012, 22, 3; 37-53
2081-8858
2391-6060

Pojawia się w:

Operations Research and Decisions

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 57.

Tytuł:

Interval arithmetic-based fuzzy discrete-time crane control scheme design

Autorzy:

Smoczek, J.

Powiązania:

https://bibliotekanauki.pl/articles/201270.pdf

Data publikacji:

2013

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

interval arithmetic
discrete-time control
fuzzy control
pole placement
anti-sway control

Opis:

In many manufacturing segments, container terminals and shipping yards the automation of material handling systems is an important element of enhancing productivity, safety and efficiency. The fast, precise and safe transfer of goods in crane operations requires a control application solving the problems, including non-collision trajectory planning and limitation of payload oscillations. The paper presents the interval arithmetic-based method of designing a discrete-time closed-loop anti-sway crane control system based on the fuzzy interpolation of linear controller parameters. The interval analysis of a closed-loop control system characteristic polynomial coefficients deviation from their nominal values is proposed to define a minimum number of fuzzy sets on the scheduling variables universe of discourse and to determine the distribution of triangular-shaped membership functions parameters, which satisfy the acceptable range of performances deterioration in the presence of the system’s parameters variation. The effectiveness of this method was proved in experiments conducted using the PAC system on the laboratory scaled overhead crane.

Źródło:

Bulletin of the Polish Academy of Sciences. Technical Sciences; 2013, 61, 4; 863-870
0239-7528

Pojawia się w:

Bulletin of the Polish Academy of Sciences. Technical Sciences

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 58.

Tytuł:

Modelowanie czasu inicjacji korozji zbrojenia z zastosowaniem arytmetyki przedziałowej
Modeling of time of reinforcement corrosion initiation with the application of interval arithmetic

Autorzy:

Krykowski, T.

Powiązania:

https://bibliotekanauki.pl/articles/131600.pdf

Data publikacji:

2017

Wydawca:

Polska Akademia Nauk. Komisja Inżynierii Budowlanej PAN Oddział w Katowicach

Tematy:

arytmetyka przedziałowa
chlorki
dyfuzja
korozja zbrojenia
interval arithmetic
chlorides
diffusion
corrosion of reinforcement

Opis:

In this paper, the application of interval arithmetic in the affine formulation to the determination of time to initialization of corrosion cracking of reinforced concrete structures was formulated. The calculations ware made with the use of the incremental FEM formulation (backward Euler scheme) and the library of numerical procedures for the interval-affine computations INTALB.

Źródło:

Roczniki Inżynierii Budowlanej; 2017, 17; 43-52
1505-8425

Pojawia się w:

Roczniki Inżynierii Budowlanej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 59.

Tytuł:

Computer Assisted Proofs in Dissipative Partial Differential Equations

Autorzy:

Cyranka, J.

Powiązania:

https://bibliotekanauki.pl/articles/115445.pdf

Data publikacji:

2012

Wydawca:

Fundacja na Rzecz Młodych Naukowców

Tematy:

rigorous numerics
Lohner algorithm
viscous Burgers equation
interval arithmetic
dissipative partial differential equations

Opis:

The goal of this paper is to present a brief survey of our research that has focused on studying the dynamics of dissipative partial differential equations by performing computer as sisted proofs. We provide a description of the main ideas behind the computer assisted proofs that we have performed, along with related topics. The emphasis is given to the case of the vis cous Burgers equation with constant forcing, for which the existence of globally attracting fixed points has been established. To achieve this goal, we used a combination of analytical results with computer assistance.

Źródło:

Challenges of Modern Technology; 2012, 3, 3; 3-6
2082-2863
2353-4419

Pojawia się w:

Challenges of Modern Technology

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 60.

Tytuł:

The experimental investigation of surface roughness after dry turning of steel S235

Autorzy:

Molenda, Justyna

Powiązania:

https://bibliotekanauki.pl/articles/245799.pdf

Data publikacji:

2019

Wydawca:

Instytut Techniczny Wojsk Lotniczych

Tematy:

dry turning
turning parameters
turning results
surface roughness
arithmetic average surface roughness value

Opis:

Nowadays lot of scientific work inspired by industry companies was done with the aim to avoid the use of cutting fluids in machining operations. The reasons were ecological and human health problems caused by the cutting fluid. The most logical solution, which can be taken to eliminate all of the problems associated with the use of cooling lubricant, is dry machining. In most cases, however, a machining operation without lubricant finds acceptance only when it is possible to guarantee that the part quality and machining times achieved in wet machining are equalled or surpassed. Surface finish has become an important indicator of quality and precision in manufacturing processes and it is considered as one of the most important parameter in industry. Today the quality of surface finish is a significant requirement for many workpieces. Thus, the choice of optimized cutting parameters is very important for controlling the required surface quality. In the present study, the influence of different machining parameters on surface roughness has been analysed. Experiments were conducted for turning, as it is the most frequently used machining process in machine industry. All these parameters have been studied in terms of depth of cut (ap), feed rate (f) and cutting speed (vc). As workpiece, material steel S235 has been selected. This work presents results of research done during turning realised on conventional lathe CDS 6250 BX-1000 with severe parameters. These demonstrate the necessity of further, more detailed research on turning process results.

Źródło:

Journal of KONES; 2019, 26, 4; 179-184
1231-4005
2354-0133

Pojawia się w:

Journal of KONES

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 61.

Tytuł:

A comparative study on interval arithmetic operations with intuitionistic fuzzy numbers for solving an intuitionistic fuzzy multi-objective linear programming problem

Autorzy:

Vidhya, R.
Irene Hepzibah, R.

Powiązania:

https://bibliotekanauki.pl/articles/330813.pdf

Data publikacji:

2017

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

fuzzy number
fuzzy arithmetic
linear programming problem
liczba rozmyta
arytmetyka rozmyta
programowanie liniowe

Opis:

In a real world situation, whenever ambiguity exists in the modeling of intuitionistic fuzzy numbers (IFNs), interval valued intuitionistic fuzzy numbers (IVIFNs) are often used in order to represent a range of IFNs unstable from the most pessimistic evaluation to the most optimistic one. IVIFNs are a construction which helps us to avoid such a prohibitive complexity. This paper is focused on two types of arithmetic operations on interval valued intuitionistic fuzzy numbers (IVIFNs) to solve the interval valued intuitionistic fuzzy multi-objective linear programming problem with pentagonal intuitionistic fuzzy numbers (PIFNs) by assuming different α and β cut values in a comparative manner. The objective functions involved in the problem are ranked by the ratio ranking method and the problem is solved by the preemptive optimization method. An illustrative example with MATLAB outputs is presented in order to clarify the potential approach.

Źródło:

International Journal of Applied Mathematics and Computer Science; 2017, 27, 3; 563-573
1641-876X
2083-8492

Pojawia się w:

International Journal of Applied Mathematics and Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 62.

Tytuł:

Novel architecture for floating point accumulator with cancelation error detection

Autorzy:

Jamro, E.
Dąbrowska-Boruch, A.
Russek, P.
Wielgosz, M.
Wiatr, K.

Powiązania:

https://bibliotekanauki.pl/articles/201228.pdf

Data publikacji:

2018

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

floating point arithmetic
computing error
approximate computing
arytmetyka zmiennoprzecinkowa
błąd obliczeniowy
obliczenia przybliżone

Opis:

A floating point accumulator cannot be obtained straightforwardly due to its pipeline architecture and feedback loop. Therefore, an essential part of the proposed floating point accumulator is a critical accumulation loop which is limited to an integer adder and 16-bit shifter only. The proposed accumulator detects a catastrophic cancellation which occurs e.g. when two similar numbers are subtracted. Additionally, modules with reduced hardware resources for rough error evaluation are proposed. The proposed architecture does not comply with the IEEE-754 floating point standard but it guarantees that a correct result, with an arbitrarily defined number of significant bits, is obtained. The proposed calculation philosophy focuses on the desired result error rather than on calculation precision as such.

Źródło:

Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 5; 579-587
0239-7528

Pojawia się w:

Bulletin of the Polish Academy of Sciences. Technical Sciences

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 63.

Tytuł:

Matematyka nie opisuje świata, lecz wychodzi mu naprzeciw
Mathematics does not describe the world, but faces it

Autorzy:

Mioduszewski, Jerzy

Powiązania:

https://bibliotekanauki.pl/articles/690768.pdf

Data publikacji:

2015

Wydawca:

Copernicus Center Press

Tematy:

philosophy of mathematics
Richard Dedekind
arithmetic
geometry
number sense
calculus
incommensurability
transfinite numbers

Opis:

In everyday experience mathematics rarely appears to us as a whole, and certainly never as a system in the sense of David Hilbert’s considerations from early 20th Century. Mathematical disciplines seem to be independent and autonomous. We do not see that specific deduction goes beyond particular convention applicable in given discipline. In the late 19th Century this view was shared by Felix Klein and Richard Dedekind. The latter’s work “What are numbers and what should they be?” (Was Was sind und was sollen die Zahlen?) was the inspiration for writing this article. This essay is an attempt to see mathematics not as a building, but as a living organism seeking its explanation.

Źródło:

Zagadnienia Filozoficzne w Nauce; 2015, 58; 7-43
0867-8286
2451-0602

Pojawia się w:

Zagadnienia Filozoficzne w Nauce

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 64.

Tytuł:

A rationalized algorithm for complex-valued inner product calculation
Zracjonalizowany algorytm wyznaczania zespolonego iloczynu skalarnego

Autorzy:

Cariow, A.
Cariowa, G.

Powiązania:

https://bibliotekanauki.pl/articles/156555.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

zespolony iloczyn skalarny
redukcja złożoności obliczeniowej
complex-valued inner product
arithmetic complexity reduction

Opis:

This paper presents a rationalized algorithm for calculating a complex-valued inner product. The main idea of algorithm synthesis uses the well-known opportunity to calculate the product of two complex numbers with three multiplications and five additions of real numbers. Thus, the proposed algorithmic solution reduces the number of real multiplications and additions compared to the schoolbook implementation, and takes advantage of parallelization of calculation offered by field-programmable gate arrays (FPGAs).
W artykule został przedstawiony równoległy algorytm wyznaczania iloczynu skalarnego dwóch wektorów, których elementami są liczbami zespolonymi. Proponowany algorytm wyróżnia się w stosunku do całkowicie równoległej implementacji metody naiwnej zredukowaną złożonością multiplikatywną. Jeśli metoda naiwna wymaga wykonania 4N mnożeń (układów mnożących podczas implementacji sprzętowej) oraz 2(2N-1) dodawań (sumatorów) liczb rzeczywistych to proponowany algorytm wymaga tylko 3N mnożeń oraz 6N-1 dodawań. W pracy została przedstawiona zracjonalizowana wektorowo-macierzowa procedura obliczeniowa wyznaczania takich iloczynów a także zdefiniowane konstrukcje macierzowe, wchodzące w skład owej procedury. Przy implementacji sprzętowej proponowany algorytm posiada niewątpliwe walory w stosunku do implementacji naiwnego sposobu zrównoleglenia obliczeń wymagającego więcej bloków mnożących. A ponieważ blok mnożący pochłania znacznie więcej zasobów sprzętowych platformy implementacyjnej niż sumator, to redukcja liczby tych bloków przy projektowaniu jednostek obliczeniowych jest sprawą niezwykle aktualną. W przypadku implementacji jednostki do obliczania iloczynu skalarnego w strukturze FPGA proponowane rozwiązanie pozwala zaoszczędzić pewną część umieszczonej w układzie puli bloków mnożących lub też elementów logicznych.

Źródło:

Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 674-676
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 65.

Tytuł:

Arithmetic sequences of higher degrees characterizing figurate numbers

Autorzy:

Rygał, G.
Bryll, A.
Bryll, G.

Powiązania:

https://bibliotekanauki.pl/articles/122020.pdf

Data publikacji:

2011

Wydawca:

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane

Tematy:

arithmetic sequence
figurate numbers
geometric illustration
sekwencje arytmetyczne
liczby figuratywne
geometryczna ilustracja liczb

Opis:

Figurate numbers have simple geometric illustration: polygonal numbers can be represented by polygons, pyramidal numbers by pyramids, prismatic numbers by prisms, and trapezoidal numbers by trapezoids. The numbers mentioned above can be defined by formulae 1 or can be characterized by some arithmetic sequences of higher degrees which allow to obtain the corresponding formulae [3]. Figurate numbers due to their geometrical illustration and interesting properties can be of interest for school pupils.

Źródło:

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2011, 16; 335-344
2450-9302

Pojawia się w:

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 66.

Tytuł:

Solving Systems of Linear Equations under Conditions of Uncertainty on the Example of the Leontief Model

Autorzy:

Kacprzak, Dariusz

Powiązania:

https://bibliotekanauki.pl/articles/1356874.pdf

Data publikacji:

2019-09-11

Wydawca:

Uniwersytet Warszawski. Wydział Nauk Ekonomicznych

Tematy:

Systems of linear equations
interval arithmetic
fuzzy numbers
ordered fuzzy numbers
Leontief model

Opis:

The paper presents various methods of solving systems of linear equations under conditions of uncertainty. In a situation when the parameters of such systems cannot be precisely determined with real numbers, they can be represented by interval numbers, fuzzy numbers or ordered fuzzy numbers. Solutions of systems of linear equations with such representations of parameters are shown in the example of Leontief input-output model. It has also been shown that when ordered fuzzy numbers are applied, their additional feature – orientation – can broaden and deepen economic analysis.

Źródło:

Central European Economic Journal; 2018, 5, 52; 244 - 259
2543-6821

Pojawia się w:

Central European Economic Journal

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 67.

Tytuł:

Additive inequalities for weighted harmonic and arithmetic operator means

Autorzy:

Dragomir, Sever

Powiązania:

https://bibliotekanauki.pl/articles/1395937.pdf

Data publikacji:

2019

Wydawca:

Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej

Tematy:

Young’s inequality
convex functions
arithmetic meanharmonic mean inequality
operator means
operator inequalities

Opis:

In this paper we establish some new upper and lower bounds for the difference between the weighted arithmetic and harmonic operator means under various assumptions for the positive invertible operators A, B. Some applications when A, B are bounded above and below by positive constants are given as well.

Źródło:

Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica; 2019, 73, 1
0365-1029
2083-7402

Pojawia się w:

Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 68.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 69.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 70.

Tytuł:

Synthesis and Implementation of Reconfigurable PLC on FPGA Platform

Autorzy:

Milik, A.
Hrynkiewicz, E.

Powiązania:

https://bibliotekanauki.pl/articles/226640.pdf

Data publikacji:

2012

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

PLC
LD
IL
FPGA
high level synthesis
logic synthesis
arithmetic circuits
reconfigurable hardware

Opis:

The paper presents a set of algorithms dedicated for synthesis of reconfigurable logic controllers implemented on FPGA platform and programmed according to IEC1131 and EN61131. The program is compiled to hardware structure with a massive parallel processing. The developed method automatically allocates resources and operations. It controls resource usage and operation timing. Using mixed concept of operation allocation that considers operation timing and forms combinatorial chains of operations number of execution cycles can be reduced. An example of logic functions, PID controller and mixed arithmetic and logic programming examples are considered. Introducing the automatic implementation method allows flexible implementing the control algorithms. The maximal possible parallelism (limited only by the algorithm dependencies and available resources) is introduced.

Źródło:

International Journal of Electronics and Telecommunications; 2012, 58, 1; 85-94
2300-1933

Pojawia się w:

International Journal of Electronics and Telecommunications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 71.

Tytuł:

Hardware implementation of hyperbolic tangent and sigmoid activation functions

Autorzy:

Hajduk, Z.

Powiązania:

https://bibliotekanauki.pl/articles/200063.pdf

Data publikacji:

2018

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

FPGA
hyperbolic tangent
sigmoid
floating point arithmetic
tangens hiperboliczny
arytmetyka zmiennoprzecinkowa
funkcja sigmoidalna

Opis:

This paper presents the high accuracy hardware implementation of the hyperbolic tangent and sigmoid activation functions for artificial neural networks. A kind of a direct implementation of the functions in a few different versions is proposed and investigated both by software and hardware modeling. A single precision floating point arithmetic is applied. Apart from conventional design style with hardware description language coding, high level synthesis design techniques with the Matlab HDL coder and Xilinx Vivado HLS have also been investigated.

Źródło:

Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 5; 563-577
0239-7528

Pojawia się w:

Bulletin of the Polish Academy of Sciences. Technical Sciences

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 72.

Tytuł:

Badanie dokładności rotatora opartego na algorytmie CORDIC w systemie o skończonej precyzji obliczeń

Autorzy:

Poczekajło, P.

Powiązania:

https://bibliotekanauki.pl/articles/118396.pdf

Data publikacji:

2016

Wydawca:

Politechnika Koszalińska. Wydawnictwo Uczelniane

Tematy:

rotator
algorytm CORDIC
skończona precyzja obliczeń
dokładność
rotators
CORDIC algorithm
finite-precision arithmetic
accuracy

Opis:

W artykule dokonano pomiaru dokładności algorytmu CORDIC stosowanego do realizacji rotatora używanego m.in. w dedykowanych systemach CPS. Badania dotyczyły implementacji struktury w układzie o skończonej precyzji obliczeń. Wykonane zostały szczegółowe pomiary wyników algorytmu dla poszczególnych iteracji oraz dokonano ogólnej analizy dla większej grupy losowej. Przedstawione wyniki dały podstawę do oceny prawidłowego działania algorytmu oraz wykazały zalety i wady takiego podejścia do realizacji sprzętowej rotatorów.
In this paper, the accuracy of the CORDIC algorithm is measured and present. This algorithm is used to the rotation realization, which is utilized e.g. in dedicated DSP systems. The research is related to the structure implementation in a system with finite-precision arithmetic. Detailed measurements of the results of the algorithm for each iteration are made and also general analysis of a larger random group is presented. The results allow to rate CORDIC algorithm and show pros and cons this approach to hardware realization of rotation.

Źródło:

Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2016, 10; 187-192
1897-7421

Pojawia się w:

Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 73.

Tytuł:

Scaling of numbers in residue arithmetic with the flexible selection of scaling factor

Autorzy:

Ulman, Z.
Czyżak, M.
Smyk, R.

Powiązania:

https://bibliotekanauki.pl/articles/376813.pdf

Data publikacji:

2013

Wydawca:

Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej

Tematy:

scaling technique
scaling factor
residue arithmetic
Residue Number System
RNS
Mixed-Radix System
MRS

Opis:

A scaling technique of numbers in residue arithmetic with the flexible selection of the scaling factor is presented. The required scaling factor can be selected from the set of moduli products of the Residue Number System (RNS) base. By permutation of moduli of the number system base it is possible to create many auxiliary Mixed-Radix Systems (MRS). They serve as the intermediate systems in the scaling process. All MRS's are associated with the given RNS with respect to the base, but they have different sets of weights. For the scaling factor value resulting from the requirements of the given signal processing algorithm, the suitable MRS can be chosen that allows to obtain the scaling result in most simple manner.

Źródło:

Poznan University of Technology Academic Journals. Electrical Engineering; 2013, 76; 175-179
1897-0737

Pojawia się w:

Poznan University of Technology Academic Journals. Electrical Engineering

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 74.

Tytuł:

Distribution of linear combination the sample mean and the sample median
Rozkład kombinacji liniowej średniej arytmetycznej i mediany z próby

Autorzy:

Wagner, Wiesław

Powiązania:

https://bibliotekanauki.pl/articles/907028.pdf

Data publikacji:

2008

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

symmetrical distribution
arithmetic mean
median
estimator of linear combination
density function
Monte Carlo simulation

Opis:

In the work there is examined the estimator of linear combination of arithmetic mean and median from a random sample of a random variable in the symmetrical distribution. The coefficients of combinations are determined according to the criterion of minimization of variances. Properties of the estimator are expressed by its density function and the given result from simulation research for the uniform distribution.
Średnia arytmetyczna i mediana są powszechnie stosowanymi estymatorami nieobciążonymi wartości oczekiwanej zmiennej losowej o rozkładzie symetrycznym. Oba te estymator są nieobciążone, ale mają różne wariancje. Każdy z estymatorów różnie się zachowuje dla zadanych rozkładów prawdopodobieństwa. Zamiast rozważać każdy ze wspomnianych estymatorów w problemach estymacji i weryfikacji hipotez, warto stosować estymator złożony będący liniową kombinacją nadmienionych estymatorów. Posiada on znacznie wyższą efektywność w sensie minimalizacji wariancji, niż estymatory średniej arytmetycznej i mediany. Dla wskazanego estymatora złożonego określa się rozkład prawdopodobieństwa o zadanej funkcji gęstości, należący do klasy uciętych rozkładów normalnych.

Ź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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 75.

Tytuł:

Niepewność estymacji izolacyjności akustycznej przegród
Uncertainty of sound insulation estimation

Autorzy:

Batko, W.

Powiązania:

https://bibliotekanauki.pl/articles/153505.pdf

Data publikacji:

2013

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

ocena niepewności
redukcyjna arytmetyka interwałowa
izolacyjność akustyczna
uncertainty evaluation
reductive interval arithmetic
sound insulation

Opis:

W artykule przedstawiono sposób wyrażania niepewności estymacji izolacyjności akustycznej, oparty na redukcyjnej arytmetyce interwałowej. Zaproponowano rozwiązanie pozwalające na wyznaczenie zakresu możliwego błędu estymacji, przy uwzględnieniu możliwych rozbieżności w wartościach parametrów wejściowych. Zaproponowana metoda wskazuje na możliwość spójnej oceny różnych kategorii błędów, uzupełnia lukę formalną z jaka mamy do czynienia w praktycznym stosowaniu zaleceń przewodnika niepewności [1].
This paper presents the method for estimating the uncertainty of sound insulation of partitions based on the reductive interval arithmetic [4]. The variability ranges of input parameters were presented as interval numbers (Fig. 1). Based on the determined intervals, the sound insulation of partition was determined by performing operations on the interval numbers. As a result, there was obtained a range of variations of sound insulation as a function of frequency (Fig. 2). The proposed arithmetic allows determining the range of a possible estimation error of the parameter analyzed, when taking into account possible differences in the values of input parameters. The distribution of errors is asymmetric. The proposed method for evaluating the uncertainty shows the possibility of coherent assessment of various categories of errors, thereby fills the formal gap which exists in practical application of the recommendations of the Guide to the Expression of Uncertainty in Measurement [1].

Źródło:

Pomiary Automatyka Kontrola; 2013, R. 59, nr 1, 1; 26-27
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 76.

Tytuł:

Granular computational homogenisation of composite structures with imprecise parameters

Autorzy:

Beluch, W.
Hatłas, M.
Ptaszny, J.

Powiązania:

https://bibliotekanauki.pl/articles/38696696.pdf

Data publikacji:

2023

Wydawca:

Instytut Podstawowych Problemów Techniki PAN

Tematy:

computational homogenisation
granular computations
fuzzy number
directed interval arithmetic
response surface
finite element method

Opis:

The paper presents the formulation of a granular computational homogenisation problem and the proposition of a method to solve it, which enables multiscale analysis of materials with uncertain microstructure parameters. The material parameters and the geometry, represented by the interval and fuzzy numbers, are assumed to be unprecise. An _-cut representation of fuzzy numbers allows the use of interval arithmetic for epistemic uncertainties. Directed interval arithmetic is used to reduce the effect of interval widening during arithmetic operations. Response surfaces of diverse types, including Artificial Neural Networks, are used as model reduction methods. The finite element method is employed to solve the boundary value problem on a micro scale. Numerical examples are provided to demonstrate the effectiveness of the proposed approach.

Źródło:

Archives of Mechanics; 2023, 75, 3; 271-300
0373-2029

Pojawia się w:

Archives of Mechanics

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 77.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 78.

Tytuł:

Zastosowanie arytmetyki ułamkowej w reprogramowalnych jednostkach przetwarzających systemów jednoukładowych
Application of the fractional arithmetic in the reprogrammable processing units of the single-chip systems

Autorzy:

Maslennikow, O.
Ratuszniak, P.
Sergiyenko, A.
Pawłowski, P.

Powiązania:

https://bibliotekanauki.pl/articles/1203397.pdf

Data publikacji:

2009

Wydawca:

Politechnika Koszalińska. Wydawnictwo Uczelniane

Tematy:

arytmetyka ułamkowa
system jednoukładowy
arytmetyka stałoprzecinkowa
fractional arithmetic
reprogrammable processing units
single-chip systems

Opis:

W niniejszej pracy przedstawiono wyniki badań autorów nad zaletami i wadami stosowania arytmetyki ułamkowej w jednostkach przetwarzających (arytmetyczno-logicznych) systemów wyspecjalizowanych przeznaczonych do realizacji w nowoczesnych układach reprogramowalnych. Autorzy porównali dokładność obliczeń przeprowadzonych w arytmetyce ułamkowej z odpowiednią dokładnością klasycznej arytmetyki stałoprzecinkowej dla danych wejściowych różnej wielkości oraz opracowali kilka architektur potokowych i równoległych jednostek przetwarzających realizujących wybrane algorytmy algebry liniowej. Implementacja opracowanych przez autorów kilku z wyżej wymienionych architektur w układach FPGA rodziny Xilinx Virtex4 wykazały, że one lepiej wykorzystują zasoby sprzętowe nowoczesnych układów FPGA (np. wbudowane bloki mnożenia, DSP i pamięci RAM/FIFO). Ponadto złożoność sprzętowa jednostek przetwarzających RFA jest nawet kilkukrotnie mniejsza, a maksymalna częstotliwość działania – nawet dwukrotnie większa w porównaniu do odpowiednich parametrów podobnych jednostek przetwarzających działających na liczbach stało- lub zmienno-przecinkowych (przy porównywalnej dokładności obliczeń).

Źródło:

Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2009, 1; 23-58
1897-7421

Pojawia się w:

Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 79.

Tytuł:

Fuzzy arithmetical analysis of multibody systems with uncertainties
Analiza systemów wieloczłonowych z niepewnościami wykorzystująca arytmetykę rozmytą

Autorzy:

Walz, N. P.
Hanss, M.

Powiązania:

https://bibliotekanauki.pl/articles/950684.pdf

Data publikacji:

2013

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

fuzzy arithmetic
uncertainty
multibody system
robustness analysis
arytmetyka rozmyta
niepewność
układ wieloczłonowy
analiza odporności

Opis:

The consideration of uncertainties in numerical simulation is generally reasonable and is often indicated in order to provide reliable results, and thus is gaining attraction in various fields of simulation technology. However, in multibody system analysis uncertainties have only been accounted for quite sporadically compared to other areas. The term uncertainties is frequently associated with those of random nature, i.e. aleatory uncertainties, which are successfully handled by the use of probability theory. Actually, a considerable proportion of uncertainties incorporated into dynamical systems, in general, or multibody systems, in particular, is attributed to so-called epistemic uncertainties, which include, amongst others, uncertainties due to a lack of knowledge, due to subjectivity in numerical implementation, and due to simplification or idealization. Hence, for the modeling of epistemic uncertainties in multibody systems an appropriate theory is required, which still remains a challenging topic. Against this background, a methodology will be presented which allows for the inclusion of epistemic uncertainties in modeling and analysis of multibody systems. This approach is based on fuzzy arithmetic, a special field of fuzzy set theory, where the uncertain values of the model parameters are represented by so-called fuzzy numbers, reflecting in a rather intuitive and plausible way the blurred range of possible parameter values. As a result of this advanced modeling technique, more comprehensive system models can be derived which outperform the conventional, crisp-parameterized models by providing simulation results that reflect both the system dynamics and the effect of the uncertainties. The methodology is illustrated by an exemplary application of multibody dynamics which reveals that advanced modeling and simulation techniques using some well-thought-out inclusion of the presumably limiting uncertainties can provide significant additional benefit.
Uwzględnienie niepewności w symulacji numerycznej jest generalnie rzeczą rozsadną. Podejście to często prowadzi do wiarygodnych rezultatów, toteż zyskuje na atrakcyjności w wielu dziedzinach technik symulacyjnych. Niemniej, w analizie systemów wieloczłonowych – inaczej niż w innych dziedzinach – niepewności były dotąd brane pod uwagę jedynie sporadycznie. Termin ”niepewność” jest często kojarzony z czynnikami o charakterze przypadkowym, tzn. niepewnościami aleatorycznymi, z którymi można z powodzeniem radzić sobie metodami teorii prawdopodobieństwa. W rzeczywistości, znaczna część niepewności występujących w systemach dynamicznych, a w szczególności w systemach wieloczłonowych, jest powiązana z tzw. niepewnościami epistemologicznymi, które obejmują m.in. niepewności spowodowane brakiem wiedzy, subiektywnością w implementacji modelu numerycznego, a także niepewności wynikajace z uproszczeń i idealizacji. Tak więc, by modelować niepewności epistemologiczne w systemach wieloczłonowych wymagana jest odpowiednia teoria, która wciąż stanowi poważne wyzwanie. Na tym tle, autorzy przedstawiają metodologię, która pozwala na włączenie niepewności epistemologicznych w proces modelowania i analizy systemów wieloczłonowych. Prezentowane podejście jest oparte na arytmetyce rozmytej, specjalnej dziedzinie teorii zbiorów rozmytych, gdzie niepewne wartości parametrów modelu są reprezentowane przez tzw. liczby rozmyte, które odzwierciedlają, w sposób raczej intuicyjny lecz przekonywujący, nieostry zakres możliwych wartości parametrów. W rezultacie użycia tej zaawansowanej techniki modelowania uzyskuje się bardziej wszechstronny model systemu, który daje lepsze wyniki niż modele tradycyjne, o sztywnej parametryzacji. Wyniki symulacji, uzyskane przy zastosowaniu takiego modelu, odzwierciedlają zarówno dynamikę systemu, jak i efekty związane z niepewnościami. Prezentowana metodologia jest zilustrowana przykładowym zastosowaniem do dynamiki systemu wieloczłonowego. Przykład pokazuje, że użycie zaawansowanych technik modelowania i symulacji, w których w sposób dobrze przemyślany uwzględniono prawdopodobne niepewności graniczne, może dostarczyć znacznych korzyści dodatkowych.

Źródło:

Archive of Mechanical Engineering; 2013, LX, 1; 109-125
0004-0738

Pojawia się w:

Archive of Mechanical Engineering

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 80.

Tytuł:

Selected application of the Chinese remainder theorem in multiparty computation

Autorzy:

Jakubski, A.

Powiązania:

https://bibliotekanauki.pl/articles/122387.pdf

Data publikacji:

2016

Wydawca:

Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej

Tematy:

multiparty cryptography
secret sharing
distributed algorithms
modular arithmetic
kryptografia wielopartyjna
algorytmy rozproszone
arytmetyka modularna

Opis:

In this paper we present protocols checking the equality of two distributed numbers and calculation of the product in such a way that the distributed numbers are unknown to anyone. The presented protocols use the Chinese Remainder Theorem. As a result, the obtained protocols have many interesting cryptographic features.

Źródło:

Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 1; 39-47
2299-9965

Pojawia się w:

Journal of Applied Mathematics and Computational Mechanics

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 81.

Tytuł:

Assessment of WQI for the Al-Jubalia Water Treatment Plant

Autorzy:

Naeem, Saja M.
Al Chalabi, Ahmed S.
Al-Marj, Ohood K.

Powiązania:

https://bibliotekanauki.pl/articles/2202124.pdf

Data publikacji:

2022

Wydawca:

Polskie Towarzystwo Inżynierii Ekologicznej

Tematy:

WQI
Al-Jubalia
WTP
weight arithmetic index method
relative white
WHO
Iraqi standard
drinking water

Opis:

The water quality index is an effective tool for determining water quality. All water treatment plants in the Basrah governorate source their water from the Shatt al-Arab River. A water quality index (WQI) for both raw and treated water for the Al-Jubalia water treatment plant is obtained in order to assess its acceptability as a source of residential water supply and the performance of water treatment facilities. From January to December 2019, the physicochemical parameters were observed for the calculation of WQI for the annual and four seasons: winter, spring, summer, and autumn. The pH, turbidity, electric conductivity, total alkalinity, total hardness, Ca, Mg, Cl, SO4, TDS, Na, and K are the parameters that were considered in this study. In winter, spring, and summer, the results show that raw and treated water were unsuitable for home, industrial, and irrigation needs. In autumn, only the treated water was classified as good water according to WQI categories. As a result, the quality of the Al-Jubalia WTP treated water supply is unfit for human consumption.

Źródło:

Journal of Ecological Engineering; 2022, 23, 10; 216--228
2299-8993

Pojawia się w:

Journal of Ecological Engineering

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 82.

Tytuł:

Application of modular computing technology to number normalization in floating point arithmetic

Autorzy:

Selianinau, M.

Powiązania:

https://bibliotekanauki.pl/articles/951852.pdf

Data publikacji:

2015

Wydawca:

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane

Tematy:

arytmetyka zmiennoprzecinkowa
numerowanie normalizacji
modułowa technologia obliczeniowa
floating point arithmetic
number normalization
modular computing technology

Opis:

In the present paper, we deal with the methodology of mantissa normalization on the basis of parallel algorithmic structures of modular arithmetic. The use of interval-modular form and basic integral characteristics of modular code is fundamental for construction of floating-point modular computing arithmetic. The proposed method of mantissa normalization in the minimal redundant modular number system is based on the parallel algorithm of multiplication by constant with overflow check.

Źródło:

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2015, 20; 57-67
2450-9302

Pojawia się w:

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 83.

Tytuł:

Hierarchical residue number systems with small moduli and simple converters

Autorzy:

Tomczak, T.

Powiązania:

https://bibliotekanauki.pl/articles/907828.pdf

Data publikacji:

2011

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

arytmetyka cyfrowa
układ cyfrowy
resztowy system liczbowy
digital arithmetic
digital circuits
residue number system
VLSI

Opis:

In this paper, a new class of Hierarchical Residue Number Systems (HRNSs) is proposed, where the numbers are represented as a set of residues modulo factors of 2k š 1 and modulo 2k. The converters between the proposed HRNS and the positional binary number system can be built as 2-level structures using efficient circuits designed for the RNS (2k - 1, 2k, 2k +1). This approach allows using many small moduli in arithmetic channels without large conversion overhead. The advantages resulting from the use of the proposed HRNS depend on the possibility of factorisation of moduli [...].

Źródło:

International Journal of Applied Mathematics and Computer Science; 2011, 21, 1; 173-192
1641-876X
2083-8492

Pojawia się w:

International Journal of Applied Mathematics and Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 84.

Tytuł:

Standardowy błąd numeryczny dla estymatorów CHM i CAM
Numerical standard error for CHM and CAM estimators

Autorzy:

Pajor, Anna

Powiązania:

https://bibliotekanauki.pl/articles/588829.pdf

Data publikacji:

2016

Wydawca:

Uniwersytet Ekonomiczny w Katowicach

Tematy:

Skorygowana średnia arytmetyczna
Skorygowana średnia harmoniczna
Standardowy błąd numeryczny
Corrected arithmetic mean
Numerical standard error

Opis:

W pracy zaproponowano sposób obliczania standardowego błędu numerycznego dla estymatorów wartości brzegowej gęstości wektora obserwacji, opartych na skorygowanej średniej harmonicznej oraz skorygowanej średniej arytmetycznej. W części empirycznej porównano numeryczne własności tych estymatorów w kontekście modeli Copula-AR-GARCH. Dodatkowo zastosowano metodę Chiba i Jeliazkova. Wyniki jednoznacznie pokazały, że estymator oparty na skorygowanej średniej arytmetycznej charakteryzuje się najmniejszym standardowym błędem numerycznym.
The main aim of the paper is to propose methods for calculating numerical standard errors of the corrected harmonic as well as arithmetic mean estimators of the marginal likelihood. We apply these two estimators in Copula-AR-GARCH models for the daily growth rates of four sub-indices of the stock index WIG, published by the Warsaw Stock Exchange. For the sake of comparison Chib and Jeliazkov estimator (as a goldstandard) is also considered. Empirical results demonstrate that the corrected arithmetic mean estimator performs best. It is characterised by smallest numerical standard errors.

Źródło:

Studia Ekonomiczne; 2016, 304; 7-18
2083-8611

Pojawia się w:

Studia Ekonomiczne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 85.

Tytuł:

UWAGI NA TEMAT ŚREDNICH W EKONOMII
REMARKS ON MEANS IN ECONOMICS

Autorzy:

Fałda, Beata
Zając, Józef

Powiązania:

https://bibliotekanauki.pl/articles/453569.pdf

Data publikacji:

2017

Wydawca:

Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Katedra Ekonometrii i Statystyki

Tematy:

średnia arytmetyczna
średnia harmoniczna
średnia geometryczna
struktura algebraiczna
arithmetic mean
harmonic mean
geometric mean
algebraic structure

Opis:

Wykorzystanie metod i narzędzi matematyki oraz statystyki stanowi od dawna nieodłączny element analiz ekonomicznych. Nie kwestionując potrzeby matematyzacji ekonomii warto przyjrzeć się niektórym „pułapkom”, na które można się natknąć jeżeli bezkrytycznie wykorzystujemy dorobek nauk ścisłych. W niniejszej pracy autorzy przedstawiają wyniki studiów nad jednoznacznością związków pomiędzy podstawowymi parametrami ekonomicznymi a odpowiednimi średnimi liczbowymi.
The use of mathematical and statistical methods and tools is an integral part of economic analysis. Without questioning the need of economics mathematization, it is worth looking at some of the “traps” that can come across if we uncritically exploit the strict science. In this paper the authors present the results of studies on the uniqueness of relations between basic economic parameters and corresponding means.

Źródło:

Metody Ilościowe w Badaniach Ekonomicznych; 2017, 18, 2; 232-241
2082-792X

Pojawia się w:

Metody Ilościowe w Badaniach Ekonomicznych

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 86.

Tytuł:

On formal and informal notation of calculation during the early learning of arithmetic by young students

Autorzy:

Rożek, Bożena

Powiązania:

https://bibliotekanauki.pl/articles/748932.pdf

Data publikacji:

2016

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

early learning of arithmetic
symbolic language of mathematics
constructivist concepts of teaching
informal notation of calculation

Opis:

This article refers to one of the important objectives in teaching mathematics – shaping its formal language. It raises the question of teaching methods in crossing the decimal threshold in addition and subtraction, used in Poland for over 50 years, that are too formal for students of the first educational stage, and that boil down to successive transformations on a symbolic level. On one hand, there will be presented a theoretical analysis of literature concerning the formation of the language of mathematics and inefficient methods associated with a too early transition to the level of symbolic writing, that can lead to the danger of formalism in teaching mathematics. On the other hand, based on fragments of the research, there will be presented extreme difficulties of a second grade student in a primary school in the process of crossing of the threshold of ten in symbolic writing and examples of the use of less formal writing for children, adapted to their natural development. Considerations in the article suggests leaving a rigid school methodology, while encouraging the use of less formal writing in computational mathematics in early childhood education, as a transitional stage in the development of a proper formal language for students.

Źródło:

Didactica Mathematicae; 2016, 38
2353-0960

Pojawia się w:

Didactica Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 87.

Tytuł:

Silne i słabe własności pojęcia prawdy
Strong and Weak Truth Principles

Autorzy:

Wcisło, Bartosz
Łełyk, Mateusz

Powiązania:

https://bibliotekanauki.pl/articles/561284.pdf

Data publikacji:

2016

Wydawca:

Polskie Towarzystwo Semiotyczne

Tematy:

aksjomatyczne teorie prawdy
arytmetyka Peana
konserwatywność
granica Tarskiego
axiomatic truth theories
Peano Arithmetic
conservativity
Tarski boundary

Opis:

Niniejsza praca stanowi przegląd niedawnych wyników, zarówno opublikowanych, jak i jeszcze czekających na publikację, dotyczących różnych pojęć słabości i siły pojęcia prawdy, a także próbę ich systematyzacji i ukazania na tle szerszego nurtu badań. Omawiamy pojęcie granicy Tarskiego oddzielającej słabe i silne teorie prawdy. Omawiamy znane twierdzenia dotyczące niekonserwatywnych rozszerzeń podstawowej kompozycyjnej teorii prawdy oraz opisujemy pewną naturalną silną teorię prawdy, którą można scharakteryzować wieloma pozornie ze sobą niezwiązanymi układami aksjomatów. Na koniec przytaczamy inne możliwe eksplikacje pojęcia „siły” aksjomatycznych teorii prawdy.
This paper is an exposition of some recent results concerning various notions of strength and weakness of the concept of truth, both published and not. We try to systematically present these notions and their relationship to the current research on truth. We discuss the concept of Tarski’s boundary between weak and strong theories of truth and we give an overview of nonconservativity results for the extensions of the basic compositional truth theory. Additionally, we present a natural strong theory of truth, which admits a number of apparently unrelated axiomatisations. Finally, we discuss other possible explications for the notion of ‘strength’ in axiomatic theories of truth.

Źródło:

Studia Semiotyczne; 2016, 30, 2; 185-206
0137-6608

Pojawia się w:

Studia Semiotyczne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 88.

Tytuł:

Niskomocowy koprocesor kryptograficzny dla autonomicznych bezprzewodowych sieci czujnikowych
Low-power cryptographic coprocessor for autonomous wireless sensor networks

Autorzy:

Olszyna, J.
Winiecki, W.

Powiązania:

https://bibliotekanauki.pl/articles/152204.pdf

Data publikacji:

2013

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

autonomiczne bezprzewodowe sieci czujnikowe
arytmetyka modularna
koprocesor kryptograficzny
autonomous wireless sensor networks
modular arithmetic
cryptographic coprocessor

Opis:

W artykule przedstawiono układ koprocesora kryptograficznego dostosowanego do specyfiki autonomicznych bezprzewodowych sieci czujnikowych. Układ taki z założenia ma wspomagać realizację różnych algorytmów kryptografii klucza publicznego bazujących na arytmetyce modularnej. Koprocesor opisany w postaci modeli GEZEL i VHDL może w prosty sposób zostać zrealizowany w postaci układu ASIC lub uruchomiony na niskomocowym układzie FPGA.
The concept of autonomous wireless sensor networks involves energy harvesting, as well as effective management of system resources. Public-key cryptography (PKC) offers the advantage of elegant key agreement schemes with which a secret key can be securely established over unsecure channels. In addition to solving the key management problem, the other major application of PKC is digital signatures, with which non-repudiation of messages exchan-ges can be achieved. The motivation for studying a low-power and area efficient modular arithmetic algorithm comes from enabling public-key security for low-power devices that can perform under constrained environment like autonomous wireless sensor networks. This paper presents a cryptographic coprocessor tailored to the autonomous wireless sensor network constraints. Such a system is aimed at supporting the implementation of different public-key cryptosystems based on modular arithmetic in GF(p). The coprocessor key components are described as GEZEL models and can be easily transferred to VHDL and implemented in hardware.

Źródło:

Pomiary Automatyka Kontrola; 2013, R. 59, nr 6, 6; 499-502
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 89.

Tytuł:

Numerical modelling of the transient heat transport in a thin gold film using the fuzzy lattice Boltzmann method with α-cuts

Autorzy:

Belkhayat-Piasecka, A.
Korczak, A.

Powiązania:

https://bibliotekanauki.pl/articles/122914.pdf

Data publikacji:

2016

Wydawca:

Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej

Tematy:

fuzzy lattice Boltzmann method
α-cuts
directed interval arithmetic
analiza przedziałowa
transport ciepła
metoda siatkowa Boltzmanna

Opis:

In this paper a description of heat transfer in one-dimensional crystalline solids is presented. The fuzzy lattice Boltzmann method based on the Boltzmann transport equation is used to simulate the nanoscale heat transport in thin metal films. The fuzzy coupled lattice Boltzmann equations for electrons and phonons are applied to analyze the heating process of thin metal films via a laser pulse. Such an approach in which the parameters appearing in the problem analyzed are treated as constant values is widely used. Here, the model with fuzzy values of relaxation times and an electron-phonon coupling factor is taken into account. The problem formulated has been solved by means of the fuzzy lattice Boltzmann method using the α-cuts and the rules of directed interval arithmetic. The application of α-cuts allows one to avoid complicated arithmetical perations in the fuzzy numbers set. In the final part of the paper the results of numerical computations are shown.

Źródło:

Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 1; 123-135
2299-9965

Pojawia się w:

Journal of Applied Mathematics and Computational Mechanics

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 90.

Tytuł:

Implementation and parallel cryptanalysis of MASH hash function family
Implementacja i równoległa kryptoanaliza funkcji skrótu z rodziny MASH

Autorzy:

Grądzki, M.

Powiązania:

https://bibliotekanauki.pl/articles/209748.pdf

Data publikacji:

2011

Wydawca:

Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego

Tematy:

funkcje skrótu
poszukiwanie kolizji
arytmetyka modularna
obliczenia równoległe
hash functions
collision search
modular arithmetic
parallel computing

Opis:

In the article, two Java implementations of the MASH hash function family are presented. The first uses standard classes, the second custom class with optimized execution time and memory consumption. Fast and low memory implementations of MASH hash functions allowed to utilize full power of 368-core Azul Compute Appliance to perform parallel collision search using distinguished points method.
W artykule przedstawiono dwie implementacje funkcji skrótu z rodziny MASH wykonane w języku Java. Pierwsza z nich wykorzystuje standardowe klasy, druga klasę zoptymalizowaną pod względem szybkości działania i zużycia pamięci. Szybkie i oszczędne pamięciowo implementacje funkcji skrótu z rodziny MASH pozwoliły wykorzystać pełne możliwości 368-rdzeniowego Urządzenia Przetwarzającego Azul do równoległego znajdowania kolizji metodą punktów rozróżnialnych.

Źródło:

Biuletyn Wojskowej Akademii Technicznej; 2011, 60, 3; 365-377
1234-5865

Pojawia się w:

Biuletyn Wojskowej Akademii Technicznej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 91.

Tytuł:

On Unitary Analogue of \(f_g\)-perfect numbers and \(\Psi_s\)-perfect numbers

Autorzy:

Shukla, D.P.
Pandey, Shikha

Powiązania:

https://bibliotekanauki.pl/articles/744875.pdf

Data publikacji:

2011

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

\(f_g\)-Perfect Numbers
unitary divisors
arithmetic functions
Dedekind’s function
g-perfect numbers
\(\Psi_s\)-perfect numbers

Opis:

In this paper unitary analogue of \(f_g\)-Perfect numbers and some properties of Dedekind’s function and all the \(\Psi_s\)-perfect numbers have been discussed.

Źródło:

Commentationes Mathematicae; 2011, 51, 2
0373-8299

Pojawia się w:

Commentationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 92.

Tytuł:

Evaluation of the Accuracy of the Solution to the Heat Conduction Problem with the Interval Method of Crank-Nicolson Type

Autorzy:

Jankowska, M. A.
Sypniewska-Kamińska, G.
Kamiński, H.

Powiązania:

https://bibliotekanauki.pl/articles/387306.pdf

Data publikacji:

2012

Wydawca:

Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej

Tematy:

metoda Cranka-Nicholsona
arytmetyka interwałowa
błędy obliczeniowe
interval finite difference method of Crank-Nicholson type
interval arithmetic
computational errors

Opis:

The paper deals with the interval method of Crank-Nicolson type used for some initial-boundary value problem for the onedimensional heat conduction equation. The numerical experiments are directed at a short presentation of advantages of the interval solutions obtained in the floating-point interval arithmetic over the approximate ones. It is also shown how we can deal with errors that occur during computations in terms of interval analysis and interval arithmetic.

Źródło:

Acta Mechanica et Automatica; 2012, 6, 1; 36-43
1898-4088
2300-5319

Pojawia się w:

Acta Mechanica et Automatica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 93.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 94.

Tytuł:

Modelling of transient heat transport in metal films using the interval lattice Boltzmann method

Autorzy:

Piasecka-Belkhayat, A.
Korczak, A.

Powiązania:

https://bibliotekanauki.pl/articles/201473.pdf

Data publikacji:

2016

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

Boltzmann equation
transport equation
interval lattice Boltzmann method
directed interval arithmetic
równanie Boltzmanna
równanie transportu
interwałowa metoda siatek Boltzmanna

Opis:

In the paper a description of heat transfer in one-dimensional crystalline solids is presented. The lattice Boltzmann method based on Boltzmann transport equation is used to simulate the nanoscale heat transport in thin metal films. The coupled lattice Boltzmann equations for electrons and phonons are applied to analyze the heating process of thin metal films via laser pulse. Such approach in which the parameters appearing in the problem analyzed are treated as constant values is widely used, but in the paper the interval values of relaxation times and electron-phonon coupling factor are taken into account. The problem formulated has been solved by means of the interval lattice Boltzmann method using the rules of directed interval arithmetic. In the final part of the paper the results of numerical computations are shown.

Źródło:

Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 3; 599-606
0239-7528

Pojawia się w:

Bulletin of the Polish Academy of Sciences. Technical Sciences

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 95.

Tytuł:

Realization of multiplexer logic-based 2-D block firfilter using distributed arithmetic

Autorzy:

Chowdari, Ch. Pratyusha
Seventline, J. Beatrice

Powiązania:

https://bibliotekanauki.pl/articles/38699398.pdf

Data publikacji:

2023

Wydawca:

Instytut Podstawowych Problemów Techniki PAN

Tematy:

2-D FIR filter
switching-based LUT
distributed arithmetic
block processing
2-D FIR filtr
arytmetyka rozproszona
przetwarzanie blokowe

Opis:

This paper presents a novel systolic two-dimensional (2D) block finite impulse response(FIR) filter architecture using a distributed arithmetic (DA)-based multiplexer look-uptable (DA-MUX-LUT). The proposed DA-MUX-LUT architecture computes the instan-taneous partial-product using the bit vector. The switching-based LUT replaces memory-based structures and reduces hardware complexity. Block processing allows memory reuse,which reduces the number of registers to store the previous input samples. Parallel addersare substituted by a modified carry look-ahead adder (MCLA), which minimizes the delay.Moreover, a resource-sharing concept is introduced to the DA-MUX-LUT block that drastically reduces the adder requirement. The application specific integrated circuit (ASIC)synthesis results show that the proposed DA-MUX-LUT-based 2-D block FIR filter forfilter size 8x8 and block size 4 has 31.22% less delay, 28.66% less area-delay product(ADP), 37.70% less power-delay product (PDP), and occupies almost the same area thanthe existing architecture.

Źródło:

Computer Assisted Methods in Engineering and Science; 2023, 30, 1; 89-103
2299-3649

Pojawia się w:

Computer Assisted Methods in Engineering and Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 96.

Tytuł:

Implementacja wyrażeń arytmetycznych w rekonfigurowalnych sterownikach logicznych
On arithmetic operation implementation in a reconfigurable logic controller

Autorzy:

Milik, A.
Pułka, A.

Powiązania:

https://bibliotekanauki.pl/articles/155175.pdf

Data publikacji:

2011

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

sterownik programowalny
FPGA
synteza logiczna wysokiego poziomu
arytmetyka
układy rekonfigurowalne
PLC
high level logic synthesis
arithmetic
reconfigurable hardware

Opis:

W artykule przedstawiono metodę odwzorowania operacji arytmetycznych przeznaczoną dla rekonfigurowalnych sterowników logicznych. Istotą opracowanej metody jest wykorzystanie własności układów sprzętowych oraz architektury FPGA. W procesie implementacji brane są pod uwagę czas realizacji obliczeń oraz ograniczone zasoby logiczne. W oparciu o metodę szacowania czasu propagacji zrealizowano metodę łańcuchowego łączenia operacji kombinacyjnych pozwalającą na wykonanie wielu operacji w cyklu obliczeniowym.
The paper presents a package for arithmetic operation synthesis dedicated for reconfigurable logic controllers. Different representations (graphical or textual) commonly used are handled. The synthesis process starts from transforming algorithm representation into a data flow graph. The constant reduction and the tree height reduction optimization method are applied to the flow graph (Fig. 2). The developed method combines the ALAP and list allocation strategies with original elements. The main constraint is put to the number of available logic resources that can be allocated. The procedure attempts to allocate resources assuring it proper utilization in a calculation process. Together with resource allocation the operation scheduling is performed. During operation assignment the propagation time based concept of operation scheduling is used. The proposed method allows using sequential and combinatorial units. Operations are chained inside one state until total combinatorial propagation time does not exceed the assumed cycle time. This allows reducing the required number of calculation cycles by introducing combinatorial chains of operations (Figs. 3 and 4). Finally, an example of PID controller implementation is considered and compared with previous manual implementations (Fig. 5). Introducing the automatic implementation method allows reducing radically the calculation time (2.18 times) with little increase in hardware resources (+18%) (see Tab. 1).

Źródło:

Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 842-844
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 97.

Tytuł:

Realizacja generatora liczb losowych dla bezprzewodowych sieci czujnikowych
Realization of a random number generator for autonomous wireless sensor networks

Autorzy:

Olszyna, J.
Winiecki, W.

Powiązania:

https://bibliotekanauki.pl/articles/157906.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

autonomiczne bezprzewodowe sieci czujnikowe
generatory liczb losowych
arytmetyka modularna
autonomous wireless sensor networks
random number generators
modular arithmetic

Opis:

W artykule przedstawiono układ generatora liczb pseudolosowych dostosowany do specyfiki autonomicznych bezprzewodowych sieci czujnikowych. Realizacja podstawowych usług kryptograficznych wymaga dostarczenia liczb losowych, jednak ze względu na asymetrię zasobów (ograniczona moc zasilania i zasoby po stronie czujnikowej) konieczny jest dobór algorytmów i optymalizacja implementacji sprzętowej według kryterium mocy rozpraszanej.
The paper presents a pseudo-random number generator circuit tailored to the specific properties of autonomous wireless sensor networks [1, 2]. Implementation of essential cryptographic services, like zero-knowledge proof entity authentication [3], requires delivery of random numbers. The concept of autonomous wireless sensor networks involves energy consumption from the environment, as well as efficient management of system resources. Due to the asymmetry of resources (insufficient power and computing resources on the sensor side) careful selection of the algorithm and low-power implementation of the random number generator are required. Therefore we chose to implement the BBS algorithm (Blum-Blum-Shub generator) whose security is based on the integer factorization problem and whose operation is based on modular multiplication. In order to reduce power dissipation, we decided to implement the Montgomery modular multiplication algorithm in a bit-serial fashion. Due to the proposed modifications on algorithm and architecture level, the generator is suitable for use in constrained environments like autonomous wireless sensor networks. The power consumption is only 141 žW for an Actel Igloo low-power FPGA AGLN250V2 device operating at 100 kHz (1024 bit operands). Słowa kluczowe: autonomiczne bezprzewodowe sieci czujnikowe, generatory liczb losowych, arytmetyka modularna

Źródło:

Pomiary Automatyka Kontrola; 2012, R. 58, nr 9, 9; 789-791
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 98.

Tytuł:

Application of the interval Lattice Boltzmann method for a numerical modeling of 2D thin metal films irradiated by ultrashort laser pulses

Autorzy:

Piasecka-Belkhayat, Alicja
Korczak, Anna

Powiązania:

https://bibliotekanauki.pl/articles/122840.pdf

Data publikacji:

2019

Wydawca:

Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej

Tematy:

lattice Boltzmann method
interval arithmetic
laser irradiation
heat transfer
metoda kratowa Boltzmanna
arytmetyka przedziałowa
promieniowanie laserowe
przenikanie ciepła

Opis:

In the paper, the two-dimensional numerical modelling of heat transfer in thin metal films irradiated by ultrashort laser pulses using the D2Q9 scheme is considered. In the mathematical description, the relaxation times and the boundary conditions for phonons and electrons are given as interval numbers. The problem has been formulated using the interval coupled lattice Boltzmann equations for electrons and phonons. The solution has been obtained by means of the interval lattice Boltzmann method using the rules of directed interval arithmetic. Examples of numerical computations are presented in the final part of the paper.

Źródło:

Journal of Applied Mathematics and Computational Mechanics; 2019, 18, 4; 63-71
2299-9965

Pojawia się w:

Journal of Applied Mathematics and Computational Mechanics

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 99.

Tytuł:

Application of Interval Arithmetic to Production Planning in a Foundry

Autorzy:

Duda, J.
Stawowy, A.

Powiązania:

https://bibliotekanauki.pl/articles/382782.pdf

Data publikacji:

2017

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

foundry industry
application of IT
production planning
scheduling
uncertainty
interval arithmetic
przemysł odlewniczy
zastosowanie IT
planowanie produkcji
harmonogram
arytmetyka interwencyjna

Opis:

A novel approach for treating the uncertainty about the real levels of finished products during production planning and scheduling process is presented in the paper. Interval arithmetic is used to describe uncertainty concerning the production that was planned to cover potential defective products, but meets customer’s quality requirement and can be delivered as fully valuable products. Interval lot sizing and scheduling model to solve this problem is proposed, then a dedicated version of genetic algorithm that is able to deal with interval arithmetic is used to solve the test problems taken from a real world example described in the literature. The achieved results are compared with a standard approach in which no uncertainty about real production of valuable castings is considered. It has been shown that interval arithmetic can be a valuable method for modeling uncertainty, and proposed approach can provide more accurate information to the planners allowing them to take more tailored decisions.

Źródło:

Archives of Foundry Engineering; 2017, 17, 1; 41-44
1897-3310
2299-2944

Pojawia się w:

Archives of Foundry Engineering

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 100.

Tytuł:

Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties

Autorzy:

Rauh, A.
Minisini, J.
Hofer, E. P.

Powiązania:

https://bibliotekanauki.pl/articles/930112.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

arytmetyka przedziałowa
analiza osiągalności
sterowanie odporne
interval arithmetic
reachability analysis
observability analysis
robust stability
model-based design of optimal controllers

Opis:

Control strategies for nonlinear dynamical systems often make use of special system properties, which are, for example, differential flatness or exact input-output as well as input-to-state linearizability. However, approaches using these properties are unavoidably limited to specific classes of mathematical models. To generalize design procedures and to account for parameter uncertainties as well as modeling errors, an interval arithmetic approach for verified simulation of continuoustime dynamical system models is extended. These extensions are the synthesis, sensitivity analysis, and optimization of open-loop and closed-loop controllers. In addition to the calculation of guaranteed enclosures of the sets of all reachable states, interval arithmetic routines have been developed which verify the controllability and observability of the states of uncertain dynamic systems. Furthermore, they assure asymptotic stability of controlled systems for all possible operating conditions. Based on these results, techniques for trajectory planning can be developed which determine reference signals for linear and nonlinear controllers. For that purpose, limitations of the control variables are taken into account as further constraints. Due to the use of interval techniques, issues of the functionality, robustness, and safety of dynamic systems can be treated in a unified design approach. The presented algorithms are demonstrated for a nonlinear uncertain model of biological wastewater treatment plants.

Źródło:

International Journal of Applied Mathematics and Computer Science; 2009, 19, 3; 425-439
1641-876X
2083-8492

Pojawia się w:

International Journal of Applied Mathematics and Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce