Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "functions" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 22
Tytuł:
Elementary functions in HLL on example of CORDIC algorithm implemented in Mitrion-C language
Implementacja funkcji elementarnych w FPGA na przykładzie algorytmu CORDIC w języku wysokiego poziomu Mitrion-C
Autorzy:
Pietroń, M.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/156559.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
HLL
FPGA
funkcje elementarne
HPRC
elementary functions
Opis:
The elementary functions are very often used in scientific computations. The quantum chemistry, physics, financial computing are only examples were elementary functions like exponent, logarithm are intensively computed. This paper presents implementation of an exp(x) core in a CORDIC-algorithm written in Mitrion-C lanuage. The Mitrion-C language is a new high level language. It enables implementing pipelined and wide paralleled algorithms on FPGA platforms. It makes process of algorithms implementation on FPGA faster. From gravitational forces to quantum chemistry or financial mathematics, computational scientists very often use exp(x) in computer simulations. The implemented core generates IEEE 754 standard single precision exponential values. The CORDIC algorithm can be used to compute wide spectrum of different elementary functions like sine, cosine, tangent. In our solution values of the exponent for integer part of the input argument are stored in a table. The table is allocated in an internal memory. The fractional part is computed by the CORDIC algorithm. The final result is achieved by multiplying the values of the fractional and integer part. Our implementation is made on SGI Altix 4700 hardware platform. It is SGI multiprocessor distributed shared memory computer system with Virtex-4 LX 200 FPGAs.
Funkcje elementarne są bardzo często wykorzystywane w obliczeniach naukowych. Chemia kwantowa, matematyka finansowa, fizyka jedne z wielu dziedzin gdzie funkcje takie jak eksponenta, logarytm są intensywnie wykonywane. Praca ta przedstawia implementację funkcji eksponenty za pomocą algorytmu CORDIC w języku Mitrion-C. Mitrion-C jest nowym językiem wysokiego poziomu programowania układów FPGA. Język ten posiada odpowiednie instrukcje oraz wbudowane typy danych, które pozwalają na programowanie algorytmów potokowo jak i całkowicie równolegle. W naszym rozwiązaniu argument wejściowy jest rozdzielony na część całkowitą i część ułamkową. Wartości eksponenty dla części całkowitej przechowywane są w tablicy w pamięci wewnętrznej natomiast część wartość dla części ułamkowej obliczana jest algorytmem CORDIC. Wynik końcowy obliczany jest za pomocą mnożenia części ułamkowej i całkowitej. Implementacja wykonana jest na platformie sprzętowej SGI ALTIX 4700. Jest to platforma wieloprocesorowa ze współdzieloną pamięcią oraz układami FPGA typu Virtex-4 LX 200.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 671-673
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wyznaczanie symetrii argumentów funkcji logicznych
Recognition of variable symmetry of logic function
Autorzy:
Małecki, K.
Powiązania:
https://bibliotekanauki.pl/articles/154017.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wielomiany arytmetyczne
symetria funkcji
arithmetical polynomials
symmetry of logic functions
Opis:
W praktyce istotnym problemem jest zmniejszenie wejść układu logicznego np. zaprojektowanego dla potrzeb sterowania. Rozpoznanie symetrii argumentów funkcji logicznych pozwala na zmniejszenie liczby wejść takiego układu. W niniejszym artykule autor przedstawia wyniki badań nad algorytmem poszukiwania symetrii zmiennych dla form wielomianowych. Proponowane rozwiązanie dotyczy nie tylko układów logicznych ale także tych zjawisk, które można zapisać w postaci funkcji lub systemu funkcji logicznych.
In practice, an important problem is the reduction of logic circuit inputs e.g. for conceptual control design. Symmetry identification of logic function arguments permits to reduce the circuit input number. This article contains a theoretical introduction, in the form of a number of definitions concerning arithmetic polynomials and different kind of symmetry of functions. Then the author presents an innovative way to identify the symmetry of arguments (developed algorithms are described in Part Three of this article) and gives a part of many research results on an algorithm for exploration of symmetry variables of different arithmetical forms (Tab. 2, 3, 4). The great advantage of this approach is the ability to search for symmetry variables for the whole system of logic functions, as illustrated by results presented in Tab. 3. Studies have been confronted with the results obtained in the class of RM polynomials (Tab. 4). At the end of this article there are the conclusions of the research proving the validity of the arithmetic form application in the process of identifying the symmetry arguments of logic function system. The suggested solution can be applied not only to the logic circuits but also to those phenomena, which can be put in the form of logic functions or logic function system.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 666-668
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Likelihood Functions Synthesis for Multitarget Multiple-Sensor Tracking Applications using GPGPU
Synteza funkcji wiarygodności dla wielosensorowych systemów śledzenia wielu obiektów z wykorzystaniem GPGPU
Autorzy:
Mazurek, P.
Powiązania:
https://bibliotekanauki.pl/articles/154548.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
estymacja
śledzenie ruchu
funkcje wiarygodności
GPGPU
estimation
tracking
likelihood functions
Opis:
One-dimensional interpolation of the bearing function profile using small look-up-table as an alternative for run-time computation using direct formula is proposed in the paper. Computation of profile values is not necessary for large distances because a Gaussian profile is assumed so distance values are zeros. GPGPU are feasible for processing in parallel and are used in tests. The best results are obtained for conditional approach with distance test and look-up table of function profile.
Podejście bayesowskie jest często stosowane w celu uzyskania wysokiej jakości śledzenia i detekcji obiektów. Pomiarowa funkcja wiarygodności służy do wyspecyfikowania własności czujnika pomiarowego. Funkcje wiarygodności czujników (np. radarowych, wizyjnych) są określone wzorami matematycznymi [5] lub tabelami wartości. Wiele funkcji wiarygodności może zostać połączonych razem (5) w celu fuzji danych z wielu czujników. Funkcje wiarygodności można łatwo łączyć w przypadku dyskretnej przestrzeni pomiarowej 2D. Funkcja te jest zależna od odległości między czujnikiem a określoną komórką tej przestrzeni. Realizacja wszystkich możliwych kombinacji z wykorzystaniem tabeli wartości jest nieefektywna. Wyznaczenie funkcji wiarygodności w czasie rzeczywistym dla najbardziej typowej funkcji stosowanej w czujnikach wizyjnych jest możliwe za pomocą wzoru (6) lub uproszczonej postaci (7). W artykule zaproponowano interpolację jednowymiarową profilu funkcji z wykorzystaniem tabeli wartości i porównano z realizacją bezpośrednią (6). Ponadto wyznaczenie wartości profilu można uprościć dla dużej odległości między czujnikiem a określoną komórką. Do implementacji wykorzystano programowalny procesor graficzny (GPGPU), a w celu dalszej optymalizacji wykorzystano fakt, że nie jest konieczna synteza dla wszystkich komórek przestrzeni stanu.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 662-664
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja programowalnego układu czasowego w układzie Virtex-5
Implementation of the programmable time unit in the Virtex-5 circuit
Autorzy:
Jessa, M.
Jaworski, M.
Lange, K.
Powiązania:
https://bibliotekanauki.pl/articles/151896.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
faza
częstotliwość
programowanie funkcji
Virtex-5
phase
frequency
programmable functions
Opis:
W pracy opisujemy implementację programowalnego układu czasowego (PTU) w układzie Virtex-5 (XL5VLX50T). Przedstawiamy zasadę działania PTU, podstawowe tryby pracy oraz przykładowe przebiegi otrzymane w tym układzie.
Programmable Time Unit (PTU) offers numerous functions of digital processing of phase, frequency and width of rectangular impulses. The mode of working of PTU and the parameters of the output signal are programmable. The conversion process starts synchronously with the input signal. In this paper we describe an implementation of the programmable time unit (PTU) in Virtex-5 (XL5VLX50T) circuit. The principle of PTU work, basic modes of work and exemplary waveforms obtained in this circuit were presented. The set of applications includes electronics, telecommunications and informatics. The set of functions available in PTU can be divided into two basic groups. The first group contains: programmable delay of an impulse slope, programmable phase shift, pulse position modulation, pulse width modulation, frequency modulation with fixed or modulated pulse width, the generation of programmable number of impulses with programmable delay of generation, and many others. The second group contains functions that require a collaboration of PTU with one or two additional circuits. They are: broad-band phase shift, fast frequency synchronization in the wide range of the input frequencies, adding or multiplication of two numbers, etc. The PTU implemented in Virtex-5 uses less than 1% of its resources. It can also be implemented in cheaper FPGA as a single, low-cost circuit for general purposes.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 597-599
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optymalizacja w planowaniu ruchu urządzeń dźwigowych - część I
Optimisation in planning motion of cranes - part I
Autorzy:
Maczyński, A.
Wojciech, S.
Powiązania:
https://bibliotekanauki.pl/articles/151412.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
optymalizacja
funkcje napędowe
pozycjonowanie
stabilizacja
żuraw
optimisation
drive functions
positioning
stabilisation
crane
Opis:
Jest to pierwsza część pracy, w której przestawiono ogólne sformułowanie zadania optymalizacji dynamicznej polegającego na poszukiwaniu dyskretnych wartości funkcji napędowej, zapewniającej minimalizację pewnego funkcjonału (funkcji celu). Obliczenie wartości funkcjonału, która zależy od funkcji napędowej, wymaga całkowania równań ruchu układu, a więc rozwiązania prostego zadania dynamiki. Zaproponowany algorytm postępowania zilustrowano przykładami dotyczącymi poszukiwania optymalnych funkcji napędowych dla różnych żurawi.
In the paper a general formulation of a dynamic optimization task is presented. In the task the discreet values determining a drive function are searched. The optimal drive function has to minimize a specific functional (objective function). Calculating the value of the functional, that depends on the drive function requires integration of equations of the motion system, so the simple dynamic task has to be solved. The equations of the motion system may be presented in the form (1) - part I. The additional boundary conditions can be put on the drive function or on the elements of the vector of decisive variables. Algorithm of the proposed procedure has been illustrated by various examples of searching optimal drive functions for different types of cranes. Research of a drive function for a hoisting winch of an onshore crane that minimizes dynamic deformation of the rope during lifting the load from a floating ship are presented in the paper. Also a drive function of slewing of upper structure of a mobile telescopic crane that ensures the final load positioning is determined. The problem of stabilization of load position is solved for an offshore crane type A-frame. Effectiveness of proposed method of optimization has been experimentally verified on the laboratory stand. The method can be useful for initial analysis of control system of the crane and can constitute a base for investigations concerning so called "map of base functions".
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 6, 6; 375-379
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optymalizacja w planowaniu ruchu urządzeń dźwigowych - część II
Optimisation in planning motion of cranes - part II
Autorzy:
Fałat, P.
Maczyński, A.
Wojciech, S.
Powiązania:
https://bibliotekanauki.pl/articles/151416.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
optymalizacja
funkcje napędowe
pozycjonowanie
stabilizacja
żuraw
optimisation
drive functions
positioning
stabilisation
crane
Opis:
W pierwszej części artykułu (str. 375) przedstawiono ogólne sformułowanie zadania optymalizacji dynamicznej poszukiwana funkcji napędowej. W drugiej części przedstawiono kolejne przykłady zastosowania omawianej metody. Jeden z przykładów został zweryfikowany na stanowisku badawczym.
In the first part of the paper (p. 375) a general formulation of a dynamic optimization task is presented. In the second part different use examples of the method under discussion are shown. One example was verified on the test stand.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 6, 6; 380-384
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych
Computer-aided specification and verification of formal description for interlocking functions
Autorzy:
Kawalec, P.
Koliński, D.
Powiązania:
https://bibliotekanauki.pl/articles/157358.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie ruchem kolejowym
zależności
funkcje zależnościowe
railway traffic control
interlocking
interlocking functions
Opis:
Wykorzystując rachunek macierzowy i teorię automatów, zaproponowano metodę formalnego zapisu funkcji zależnościowych realizowanych w systemach sterowania ruchem kolejowym (srk). Metoda ta stała się podstawą wspomaganej komputerowo specyfikacji tych funkcji w językach opisu sprzętu HDL. Zaproponowana metoda pozwala naintuicyjne przejście od formalnego opisu w postaci macierzy do grafów przejść automatów skończonych w edytorze FSM. Przytoczono wyniki weryfikacji w postaci przebiegów czasowych, na grafie przejść oraz na schemacie blokowym.
The paper presents a formal specification method of interlocking functions in railway traffic control systems. The method utilizes matrix calculus and the automata theory. After defining the set of automaton internal states (9), the transition matrixes (16) and transition priorities matrixes, describing the conditions checking order (17), were developed. The obtained general mathematical description of interlocking functions defines a method for determining control functions based on input data, so it can be assumed that the control algorithms for interlocking functions were defined. The developed method was then used as a basis for computer aided specification of these functions in hardware description languages (HDL). The intuitive transition from the matrix-based formal description to the finite-state machine graph in FSM editor (Fig. 1) is the advantage of the proposed method. Verification of the created interlocking functions can be performed on waveforms (Fig. 2), on the FSM graph (Fig. 3) and on the hierarchical block diagram (BDE) (Fig. 4). This specification and verification process was used to create all possible 39 interlocking functions for 10 object types of the railway interlocking system. The specification and verification results proved the correctness of the developed interlocking function execution algorithms. Obtaining the description of the functions in VHDL language is an additional advantage of the proposed method, which allows automatic synthesis, implementation and execution of these functions in FPGA devices.
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 10, 10; 829-831
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Określanie geometrii tras szynowych z wykorzystaniem aproksymacyjnych funkcji sklejanych
Determining the geometry of rail routes using the approximating spline functions
Autorzy:
Lenda, G.
Strach, M.
Powiązania:
https://bibliotekanauki.pl/articles/155878.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
regulacja torów kolejowych
wykres krzywizn
funkcje sklejane
railtrack adjustment
curvature graph
spline functions
Opis:
Opracowanie skupia się na metodach rozpoznawania geometrii odcinków trasy kolejowej, przeprowadzanego na potrzeby regulacji torów. Wymieniono metody klasyczne z opisem ich ograniczeń, zaproponowano również nowy algorytm, bazujący na skalowalnym wykresie krzywizn, tworzonym w oparciu o aproksymacyjne funkcje sklejane opisujące oś toru. Analizowany nowy typ wykresu różni się od stosowanego powszechnie wykresu krzywizn tym, że pozwala na zredukowanie wrażliwości na błędy pomiarowe i deformacje geometrii toru. Ułatwia także klasyfikowanie poszcze-gólnych odcinków krzywoliniowych tworzących regulowany tor.
The study focuses on methods of recognition of the geometry of the railway sections, carried out for the adjustment of railway tracks. It is proposed a new algorithm, based on scalable curvature graph, created based on the approximating spline functions describing the axis of the track. The article presents the classical method of identifying the geometry, using angle graphs, cant graphs, curvature graphs, and the arrows of the arc graph (Fig. 1, 2, 3), discussing their characteristic features. Emphasis was put on the curvature graph, which allows accurate readings. However this graph is sensitive to measuring errors and deformations of track geometry, making it difficult to perform readings. In addition, although greater in comparison with other methods of precision, with his help differentiate segments of the small differences in curvature (segmental arcs) can raise doubts. To reduce these limitations proposed new way of creating a scalable curvature graph (chapter 3), which is determined to track described by the approximating spline functions with a given damping ratio distortion. In order to present the possibility of the method, constructed with the help of it curvature graphs for two independent sections of the track, comparing them to the classical curvature graphs (chapter 4). Towards them, the new method allows to reduce the sensitivity of the measurement errors and deformations of track geometry (Figures 8 and 9), facilitating the readings. It also increases the precision of the demarcation of segments of the small differences in curvature (Figures 10 and 11).
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 12, 12; 1082-1086
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja w układach FPGA operacji eksponenty dla liczb w standardzie IEEE-754 o podwójnej precyzji
FPGA Implementation of Exponent Function for Double Precision IEEE-754 Standard
Autorzy:
Wielgosz, M.
Jamro, E.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/152817.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
obliczanie funkcji elementarnych
przyspieszanie obliczeń, układy programowalne
elementary functions computations
computing acceleration
programmable devices
Opis:
W artykule przedstawiono implementację operacji obliczania eksponenty o podwójnej precyzji obliczeń w układach FPGA. Zaproponowano metodę tablicowo - aproksymacyjną, dla której wykorzystano 3 niezależne tablice 512´64-bity do obliczenia 27 najstarszych bitów mantysy oraz aproksymacje wielomianową ex"1+x dla pozostałych bitów mantysy. Wyniki implementacji pokazują że proponowany moduł zajmuje około 7.5% układu Virtex-4 LX200.
This paper presents FPGA implementation of exponent operation in double precision format. A mixture of Look-Up Table (LUT) and approximation methods was employed. Twenty seven most significant bits of input mantissa are calculated employing 3 independent LUTs, the rest input bits are calculated by approximation: ex"1+x. Implementation results in roughly 7.5% occupation of Virtex-4 LX-200.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 126-128
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie funkcji sklejanych do wyznaczania wysokości niwelety toru kolejowego
The use of spline functions to determine the grade line of railway tracks observed by clinometer surveys
Autorzy:
Strach, M.
Lenda, G.
Powiązania:
https://bibliotekanauki.pl/articles/157054.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
klinometr
regulacja torów kolejowych
niweleta
funkcje sklejane
clinometer
railtrack adjustment
grade line
spline functions
Opis:
Artykuł przedstawia rozwinięcie metody wyznaczania wysokości niwelety toru kolejowego poddanego obserwacjom pochyleń za pomocą libelli elektronicznej. Metoda polega na całkowaniu funkcji opisującej zbiór nachyleń stycznych, a kluczowe znaczenie dla dokładności wyników ma rodzaj użytej funkcji. Autorzy zaproponowali w tym celu wykorzystanie funkcji sklejanych, pozwalających opisywać gładkie kształty z dobrym przybliżeniem. Opracowanie przedstawia opis metody, jej cechy charakterystyczne oraz wyniki testów dokładnościowych, pozytywnie weryfikujące założenia koncepcji.
The development of a method for determining the height of a railway track grade line subjected to an observation of inclinations with the use of an electronic level [3] is presented in the paper. The method includes integrating a function which describes a set of slopes of tangents, and the type of a used function is a key to accuracy. In order to determine the function, approximating polynomials or straight interpolation segments can be used. However, these methods introduce some simplifications which decrease the accuracy of the results. The authors therefore suggested the use of spline functions, which allow to describe smooth shapes with a good approximation. The study presents a general description of the method with specifying the characteristics associated with the use of spline functions (Chapters 2 and 3), as well as establishing a test experiment with the accuracy results (Chapters 4 and 5). Spline models were compared with straight interpolation segments, for which the accuracy falls within the recommended industrial standards [14]. The tests were carried out on three independent models (Fig. 3), and their results have been grouped in Tables 1 and 2. The obtained results positively verified the assumptions of the concept, resulting in a higher accuracy as compared with the straight interpolation model, allowing for precise determination of the height regardless of the grade line geometry changes.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 713-716
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sklejany model właściwości dynamicznych elektrochemicznego czujnika tlenu
A spline model of the dynamic properties of an electrochemical oxygen sensor
Autorzy:
Przybyło, T.
Szyper, M.
Powiązania:
https://bibliotekanauki.pl/articles/153913.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
modelowanie systemów pomiarowych
funkcje i operacje sklejane
modelling of measuring systems
spline functions and operations
Opis:
Artykuł przedstawia nową koncepcję budowania modeli właściwości dynamicznych elektrochemicznego czujnika tlenu. Koncepcja polega na wyznaczaniu sygnału wyjściowego czujnika jako funkcji sklejanej z obliczanych przediałami rozwiązań układu równań różniczkowych, o współczynnikach zależnych od kierunku zmian mierzonego stężenia tlenu. Przedstawiono model operacji sklejania oraz wyniki eksperymentalnej weryfikacji modelu sklejanego.
The article presents a new concept of constructing models of electrochemical oxygen sensor dynamic properties. The concept consists in the evaluation of sensor output signal as a spline function from the calculated at intervals solutions of a system of differential equations with coefficients dependent on the direction of oxygen concentration changes. A model of the operation of splining as well as the results of the experimental model verification have been shown.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 9 bis, 9 bis; 250-252
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ocena dokładności estymacji funkcji korelacyjnych z użyciem modelu wirtualnego korelatora
Evaluation of estimation accuracy of correlation functions with use of virtual correlator model
Autorzy:
Lal-Jadziak, J.
Kawecka, E.
Powiązania:
https://bibliotekanauki.pl/articles/153128.pdf
Data publikacji:
2006
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
dokładność estymacji funkcji korelacyjnych
ocena dokładności
model wirtualnego korelatora
evaluation
estimation accuracy of correlation functions
virtual correlator model
Opis:
Przedmiotem badań jest niepewność towarzysząca cyfrowym pomiarom korelacyjnym. Analityczne modele błędów estymacji funkcji korelacyjnych są skomplikowane i na ich podstawie trudno szacować dokładność w wielu sytuacjach pomiarowych. Opracowanie odpowiedniego narzędzia informatycznego (modelu wirtualnego korelatora) umożliwiło przeprowadzenie badań eksperymentalnych z tego zakresu. W artykule zaprezentowano model wirtualnego korelatora oraz wybrane wyniki badań wykonanych w celu sprawdzenia poprawności działania aplikacji.
The subject of the research is uncertainty in digital correlation measurements. Analytical models of estimation errors of correlation functions are highly complex, therefore evaluation of accuracy is difficult and in many cases is unachievable. For that reason a virtual correlator model is proposed as an alternative to analytical modeling. The model enables determining of digital measurements uncertainty. In this article some preliminary research results are presented and discussed. A comparison of bias of the mean square value estimator modeled in Mathcad (Eq. 14) and obtained by means of virtual correlator model (Eq. 11) is carried out.
Źródło:
Pomiary Automatyka Kontrola; 2006, R. 52, nr 6, 6; 16-18
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jednoelementowe estymatory wartości mezurandu próbek o kilku niegaussowskich rozkładach prawdopodobieństwa - przegląd
One Component Estimators of Measurand Value of Data Samples of Some Non-Gaussian PDF-s - overview
Autorzy:
Warsza, Z. L.
Powiązania:
https://bibliotekanauki.pl/articles/156523.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
trapezowe rozkłady prawdopodobieństwa
estymatory
środek rozpięcia
ocena niepewności mezurandu
trapezoidal probability density functions
PDF
midrange
estimators
measurand uncertainty evaluation
Opis:
Przedstawiono wyniki badań efektywności różnych jednoelementowych estymatorów wartości mezurandu (wielkości mierzonej) dla próbek danych pomiarowych o kilku niegaussowskich rozkładach prawdopodobieństwa wykonane metodą symulacji Monte Carlo. Dla rozkładów trapezowych o bokach liniowych oraz krzywoliniowych wyznaczono standardowe odchylenia (SD) wartości średniej, środka rozpięcia i mediany w funkcji liczby n danych i kurtozy rozkładu próbki lub stosunku podstaw ß trapezu. Dla trapezu liniowego o ß od 1 do 0,35 środek rozstępu próbki ma mniejsze SD niż jej wartość średnia. Podano też wyniki symulacji stosunków standardowych odchyleń średniej i środka rozpięcia rodzin próbek danych modelowanych splotami rozkładów arc sin, normalnego i równomiernego.
The single- component estimators (1C) of the measurand value of data samples modelled by the few non-Gaussian probability distributions (PDF) are considered and their accuracy are evaluated. For symmetrical trapezoidal PDF of straight as well curved sides, using the Monte-Carlo method of simulation standard deviation (SD) of mean value, mid-range and mediana estimators are evaluated. It is established that in the ratio of upper and bottom bases of trapeze in the range from 1 to 0,35 the most accurate is the mid-range. Below this range smaller is standard deviation (SD) of the mean value. Investigated are also ratios of mean and midrange SD of arcsin convolutions with normal or uniform PDF models for simulated data samples.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 1, 1; 101-104
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Akceleracja obliczeń zmiennoprzecinkowych na platformie RASC
Accelerating calculations on the RASC platform
Autorzy:
Wielgosz, M.
Jamro, E.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/154331.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
akceleracja sprzętowa
komputery dużej mocy (HPC)
FPGA
obliczenia zmiennoprzecinkowe
funkcja exp()
HPRC (High Performance Reconfigurable Computing)
elementary functions
exponential function
Opis:
W artykule zostały zaprezentowane wyniki testów przeprowadzonych w celu określenia maksymalnej szybkości wykonywania operacji zmiennoprzecinkowych na platformie rekonfigurowanej RASC. Zaimplementowano różne dostępne tryby konfiguracji jednostki Host oraz RASC w celu wyłonienia najbardziej efektywnego pod względem wydajności trybu pracy jednostki obliczeniowej. Uzyskane wyniki pomiarów ujawniały, że kombinacja Direct I/O oraz DMA zapewnia najwyższą przepustowość pomiędzy węzłami Host i RASC. Niemniej jednak dla niektórych aplikacji tryb multi-buffering może okazać się bardziej odpowiedni, ze względu na możliwość jednoczesnego przesyłania danych i wykonywania operacji. Funkcja exp() w standardzie zmiennoprzecinkowym o podwójnej precyzji została wykorzystana jako przykładowa aplikacja, która pozwoliła oszacowanie możliwej do uzyskania akceleracji obliczeń na platformie RASC.
This paper presents results of the tests performed to determine high speed calculations capabilities of the SGI RASC platform. Different data transfer modes and memory management approaches were examined to choose the most effective combination of the Host and RASC memory adjustments. That work may be regarded as a case study of the contemporary FPGA -based accelerator which, however, can characterize the whole branch of the devices. The paper is strongly focused on the floating point calculations potential of the FPGA accelerator. The RASC algorithm execution procedure, from the processor perspective, is composed of several functions which reserve resources, queue commands and perform other preparation steps. It is noteworthy (Fig. 3) that the time consumed by the functions remains roughly the same, independent of the algorithm being executed. The resource reservation procedure, once conducted, allows many executions of the algorithm -that amounts to huge time savings, since the procedure takes approximately 7.5 ms, which is roughly 99 % of the overall execution time of the algorithm. Rasclib algorithm commit and rasclib algorithm wait calls are considered to be the key (Fig. 3) part of the RASC software execution routine. The first one activates the FPGA between these two commands is the transfer and algorithm execution time. All curves (Fig. 4) reflect overall processing time of the same amount of data, but differ in size of the single data chunk which varies from 1024x64 bit = 8 kB to 1048576x64 bit = 8 MB. It has been observed that for the bigger chunk much better results are achieved in terms of the effective execution time. However, above 1 MB a decrease of the effective execution time seems to indicate saturation, therefore sending data in bigger portions may not improve the performance of the system so much. The most effective execution time of single exp() function for SRAM buffering mode is 12 ns, so 9,5 ns is transport overhead due to bus delays. The theoretical calculation time of single exp() function (data transfer is not taken into account) is 2,5 ns because two exp() are implemented on the RASC and clocked at 200 Mhz. The obtained measurement results show that Direct I/O mode together with DMA transfer provides the highest data throughput between the Host and RASC slice. Nevertheless, for some application multi-buffering can appear to be more suitable in terms of concurrent data transfer capabilities and FPGA algorithm execution. As a hardware acceleration example, there is considered an exponential function which allows estimating maximum achievable data processing speed.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 485-487
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie hipergrafów w procesie selekcji implikantów prostych
Application of hypergraphs to the prime implicant selection process
Autorzy:
Wiśniewski, R.
Stefanowicz, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/155992.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
minimalizacja funkcji logicznych
selekcja implikantów prostych
hipergraf
transwersala dokładna
minimization of Boolean functions
selection of prime implicants
hypergraph
exact transversal
Opis:
W referacie przedstawiona została nowa koncepcja selekcji implikantów prostych w procesie dwupoziomowej minimalizacji funkcji logicznych. Aktualnie znane metody selekcji bazują na połączeniu metod dokładnych z przybliżonymi. W artykule zaproponowana została nowatorska metoda selekcji, która w całości opiera się na algorytmach dokładnych, poprzez zastosowanie teorii hipergrafów. Najbardziej istotną zaletą proponowanego rozwiązania jest wielomianowa złożoność obliczeniowa całej operacji selekcji, która w przypadku ogólnym ma złożoność wykładniczą.
: In the paper a new idea for the selection of prime implicants is proposed. The method is based on the two-level minimization process of the Boolean functions, according to the Quine-McCluskey approach. Initially, the set of prime implicants for the logic function ought to be calculated. Next, the selection process is applied to achieve the minimal formula. Such an operation is a typical covering problem and in general case it has exponential computational complexity. In the paper we propose a new prime implicants selection method. An idea is based on the hypergraph theory. The prime implicants table is formed as a selection hypergraph. If the selection hypergraph belongs to the Exact Transversal Hypergraph class (xt-class), the solution may be obtained in a polynomial time, which is not possible in a general case. The proposed method is illustrated by an example. All necessary steps are shown in order to apply the proposed selection algorithm to minimize an exemplary Boolean function.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 11, 11; 1195-1197
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 22

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies