Informacja

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

Wyszukujesz frazę "aproksymacja" wg kryterium: Temat


Tytuł:
Underapproximating ATL with Imperfect Information and Imperfect Recall
Dolna Aproksymacja Bezpamięciowego ATL o Niepełnej Informacji
Autorzy:
Jamroga, W.
Knapik, M.
Powiązania:
https://bibliotekanauki.pl/articles/182675.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
ATL
model checking
approximation
weryfikacja
aproksymacja
Opis:
We investigate the correspondence between model checking of af-AMCi and ATLir , on the example of reachability. We identify some of the reasons for the fact that these logics are of uncomparable expressivity. These observations form the basis for a novel method for underapproximating ATLir by means of fixed-point calculations. We introduce a special version of the next-step operator, called Persistent Imperfect Next-Step Operator h_iF and show how it can be used to define a new version of reachability that carries to ATLir.
W pracy badane są związki pomiędzy weryfikacją modelową Bezpamięciowej Logiki Temporalnej Czasu Alternującego z Niepełną Informacją ATLir i Epistemicznego Alternującego Mu-Rachunku af-AMCi. Jak pokazano, naturalne uogólnienia pojęcia osiągalności z ATLir -a do af-AMCi nie przynoszą dobrych efektów: osiągalność w af-AMCi nie pociąga za sobą osiągalności w ATLir . Po zidentyfikowaniu części powodów, dla których tak się dzieje, zaproponowano nową wersję operatora następnego kroku, który pozwala na przybliżanie osiągalności w ATLir przy pomocy obliczeń stałopunktowych.
Źródło:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2015, 1032; 1-16
0138-0648
Pojawia się w:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On a method of the rapid approximation of a cubic Bèzier curve by quadratic Bèzier curves
O metodzie szybkiej aproksymacji krzywej Beziera trzeciego stopnia krzywymi Beziera drugiego stopnia
Autorzy:
Biły, B.
Powiązania:
https://bibliotekanauki.pl/articles/87334.pdf
Data publikacji:
2014
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
krzywa Beziera
aproksymacja
Bézier curve
approximation
Opis:
In this paper the approximation of a cubic Bèzier curve by quadratic Bèzier curves is presented. For some method of the choose of quadratic Bèzier curves, the error of approximation, measured with the Frèchet distance is especially simple to calculate. Moreover, this error is easy to predict also for parts of a given cubic Bèzier curve. Both these features give us the opportunity, with some caution, of rapid approximation, where required precision is granted.
W artykule zaprezentowano aproksymację krzywej Bèziera trzeciego stopnia za pomocą krzywych Bèziera drugiego stopnia. Dla pewnej metody wyboru krzywych Bèziera drugiego stopnia błąd aproksymacji, mierzony odległością Frècheta, jest szczególnie łatwy do policzenia. Co więcej, błąd ten łatwo policzyć także dla fragmentów wyjściowej krzywej. Obie te właściwości, z pewnymi zastrzeżeniami, umożliwiają szybką aproksymację z wymaganą dokładnością.
Źródło:
Zeszyty Naukowe. Matematyka Stosowana / Politechnika Śląska; 2014, 4; 57-71
2084-073X
Pojawia się w:
Zeszyty Naukowe. Matematyka Stosowana / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Approximation of Fractional Diffusion-Wave Equation
Autorzy:
Mitkowski, W.
Powiązania:
https://bibliotekanauki.pl/articles/387317.pdf
Data publikacji:
2011
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
aproksymacja
równanie różniczkowe
rozwiązanie
difference equation
solution
aproximation
Opis:
In this paper we consider the solution of the fractional differential equations. In particular, we consider the numerical solution of the fractional one dimensional diffusion-wave equation. Some improvements of computational algorithms are suggested. The considerations have been illustrated by examples.
Źródło:
Acta Mechanica et Automatica; 2011, 5, 2; 65-68
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of finite differences to edge detection in digital images
Zastosowanie różnic skończonych do wykrywania krawędzi w obrazach cyfrowych
Autorzy:
Pęksiński, J.
Mikołajczak, G.
Powiązania:
https://bibliotekanauki.pl/articles/153568.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wykrywanie krawędzi
aproksymacja różnicowa
edge detection
differential approximation
Opis:
This paper presents differential approximation of the two-dimensional Laplace filter. The proposed algorithm is based on 9- point square lattice. The used transformation Z reduced this problem to 2-D digital filter optimisation. The optimisation is based on the criterion of maximal compatibility of the Laplace filter obtained from differential approximation with the ideal one.
Jednym z problemów w cyfrowym przetwarzaniu obrazów jest detekcja krawędzi, która redukuje ilość danych i filtruje część informacji, zachowując ważne własności struktur znajdujących się na obrazie. Do tego celu wykorzystuje się wiele metod. Jedną z nich, bardzo często wykorzystywana jest metoda oparta o operator Laplace,a, szukająca przejść przez zero w drugiej pochodnej obrazu. W pracy zaproponowano aproksymację różnicową, operatora Laplace'a, opartą o dziewięcioelementową maskę. Współczynniki maski, wyznaczono wykorzystując transformatę Z dzięki, której otrzymano wyrażenie, będące transmitancją przyjętego operatora różnicowego. Następnie wyrażenie to rozwinięto w dwuwymiarowy szereg Taylora i porównano z transmitancją idealnego filtru Laplace`a, dzięki czemu otrzymano maskę filtru z parametrem. W zależności od wartości parametru można otrzymać klasyczny filtr Laplace'a. Działanie otrzymanego filtru przetestowano na obrazie cyfrowym zawierającym wiele elementów geometrycznych. Parametry maski dobierano w oparciu o analizę funkcji błędu.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 12, 12; 1520-1522
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kinematic Approximation of Robotic Manipulators
Autorzy:
Dulęba, I.
Powiązania:
https://bibliotekanauki.pl/articles/911220.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
manipulator
kinematyka
aproksymacja
kinematics
approximation
metrics
ULB robot
Opis:
A kinematic approximation of the nominal, reference kinematics of a manipulator is addressed. The approximation task leads to a minimax optimization problem. Some modifications facilitating the implementation of the algorithm in search spaces of high dimensionalities are presented. A sub-gradient mesh algorithm of solving the minimax task is given in detail. The approximation of the CYBOTECH manipulator with a ULB robot is provided based on the use of the Chebyshev metric. As an alternative, some measures of proximity of manipulators are also introduced.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2000, 10, 3; 605-622
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Continuous and smooth minimax spline-approximation of sensor temperature characteristic and its sensitivity
Ciągła i gładka aproksymacja minimaksowa funkcjami sklejanymi charakterystyki czujnika temperatury
Autorzy:
Andrunyk, V.
Malachivskyy, P.
Pizyur, Y.
Yatsuk, V.
Powiązania:
https://bibliotekanauki.pl/articles/155206.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
spline approximation
minimax Chebyshev polynom
aproksymacja funkcjami sklejanymi
Opis:
The problem under consideration is the construction of continuous and smooth spline-approximation whose any link is polynomial approximation according to a minimax criterion. The algorithm of such a spline-approximation with a priory given error is proposed. The practical sample of its application for the description of a temperature characteristic and sensitivity of cryogen thermodiode sensor is described.
Zbadano własności ciągłej i zarazem gładkiej aproksymacji funkcjami sklejanymi, w których wszystkie ogniwa są wielomianami. Zaproponowano algorytm konstrukcji takiego przybliżenia realizującego aproksymację z założoną dokładnością. Algorytm ten zastosowano do przybliżenia charakterystyki temperaturowej czujnika diodowego pracującego w obszarze temperatur kriogenicznych.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 9 bis, 9 bis; 617-620
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of the curvature of the river bend for regulation purposes
Analiza krzywizny brzegu rzeki na potrzeby regulacyjne
Autorzy:
Godek, K.
Krupiński, W.
Szeptalin, A.
Powiązania:
https://bibliotekanauki.pl/articles/100609.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie
Tematy:
approximation
regulation of watercourses
aproksymacja funkcji
regulacja cieków
Opis:
In order to determine the most appropriate geometrical parameters of regulated watercourses, this paper presents some ways to identify the natural course thereof. In addition to analysing the types of curves approximating the test object, the authors have also described the methods of studying the range of these curves. In order to determine the degree of relationships between the variables of the studied watercourses, the authors have analysed the correlation coefficients. The paper presents the findings pertaining to the best-matched curves approximating the given object.
W celu ustalenia najbardziej właściwych parametrów geometrycznych regulowanych cieków wodnych, przedstawione zostały pewne sposoby identyfikacji ich naturalnego przebiegu. Oprócz przeanalizowania rodzajów krzywych aproksymujących badany obiekt, zostały również opisane sposoby badania zasięgu tych krzywych. Dla ustalenia stopnia zależności między zmiennymi badanych cieków poddano analizie wartości współczynników korelacji. Przedstawiono wnioski dotyczące najwłaściwiej dobranych krzywych aproksymujących obiekt.
Źródło:
Geomatics, Landmanagement and Landscape; 2016, 4; 59-70
2300-1496
Pojawia się w:
Geomatics, Landmanagement and Landscape
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Approximation of Large-Scale Dynamical Systems: an Overview
Autorzy:
Antoulas, A. C.
Sorensen, D. C.
Powiązania:
https://bibliotekanauki.pl/articles/908058.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
aproksymacja
system dynamiczny
model reduction
SVD
Hankel
balancing
Krylov
Opis:
In this paper we review the state of affairs in the area of approximation of large-scale systems. We distinguish three basic categories, namely the {SVD}-based, the {Krylov}-based and the {SVD-Krylov}-based approximation methods. The first two were developed independently of each other and have distinct sets of attributes and drawbacks. The third approach seeks to combine the best attributes of the first two.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2001, 11, 5; 1093-1121
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Iterative Construction and Optimization of Fuzzy Models
Autorzy:
Golea, N.
Benmahammed, K.
Powiązania:
https://bibliotekanauki.pl/articles/908273.pdf
Data publikacji:
1999
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
aproksymacja rozmyta
optymalizacja iteracyjna
fuzzy approximation
decoupled learning
iterative optimization
Opis:
In this paper, a constructive approach to the fuzzy model selection problem is developed. First, the selection of membership functions is decoupled from parameter calculations using an orthogonalization procedure. Since each membership function depends only on its own parameters, the selection of rules is performed in a sequential manner. At each learning step, a new membership function is created and its parameters are optimized. The resulting parameter calculation boils down to the solution of a triangular system. This approach reduces significantly the computational complexity, and allows for the derivation of a simple optimization algorithm. In addition, optimization of the membership functions is related to the approximation accuracy. Simulation results, when compared with the orthogonal least-squares algorithm, show that this approach is less sensitive to the size of the training data and converges rapidly.
Źródło:
International Journal of Applied Mathematics and Computer Science; 1999, 9, 4; 899-919
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Trade-Off Guided Search for Approximate Pareto Optimal Portfolios
Autorzy:
Juszczuk, Przemysław
Kaliszewski, Ignacy
Miroforidis, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/578497.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Pareto front approximation
Portfolio optimization
Aproksymacja frontu Pareto
Optymalizacja portfela
Opis:
In this paper, we attempt to represent the Pareto Front in the Markowitz mean-variance model by two-sided discrete approximations. We discuss the possibility of using such approximations for portfolio selection. The potential of the approach is illustrated by the results of preliminary numerical experiments.
Źródło:
Multiple Criteria Decision Making; 2017, 12; 49-59
2084-1531
Pojawia się w:
Multiple Criteria Decision Making
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rough evaluation of block ciphers
Zgrubna ocena szyfrów blokowych
Autorzy:
Chmiel, K.
Powiązania:
https://bibliotekanauki.pl/articles/156095.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
kryptoanaliza
liniowa aproksymacja
szyfr blokowy
cryptanalysis
linear approximation
block cipher
Opis:
In the paper a rough evaluation of block ciphers method is presented. As a criterion of quality, effectiveness of the best nonzero linear approximation is taken. The main idea of the method is to evaluate the best nonzero linear approximation of a cipher by a composition of the best nonzero linear approximation of a single iteration. A block cipher quality is compared to quality of a comparative algorithm, with the same block length. The method is applied to a DES-like cipher and to the PP-1 cipher which is a scalable SPN.
W artykule przedstawiono zgrubną metodę oceny szyfrów blokowych. Jako kryterium jakości przyjęto efektywność najlepszej niezerowej liniowej aproksymacji. Główna idea prezentowanej metody polega na ocenie najlepszej niezerowej liniowej aproksymacji szyfru przez złożenie najlepszej niezerowej liniowej aproksymacji pojedynczej iteracji. Jakość szyfru porównywana jest z jakością algorytmu porównawczego o tej samej długości bloku. Rozpatrzono własności aproksymacji szyfru blokowego istotne dla oceny. Metoda zgrubna zapewnia górne ograniczenie efektywności najlepszej niezerowej aproksymacji szyfru o właściwie skonstruowanej funkcji iteracji h. Dla funkcji h wprowadzono S-blok zastępczy klasy qa o s bitach wejściowych. Sformułowano następnie twierdzenie, które dla znanych parametrów S-bloku zastępczego określa liczbę iteracji r, wymaganych dla szyfru blokowego by dorównał jakością algorytmowi porównawczemu. Z twierdzenia tego wynika między innymi, że realizacja szyfru o bloku 256 bitowym i większych dla qa = 4 nawet przy s = 16 wymaga większej liczby iteracji niż 16. Metodę zgrubną zastosowano do szyfru typu DES rozumianego jako szyfr o strukturze Feistela z dowolną funkcją f i do szyfru PP-1, który jest skalowalną siecią podstawieniowo-permutacyjną (SPN). W szczególności pokazano, że zgodnie z metodą zgrubną 64-bitowy wariant szyfru PP-1 o 11 rundach ma znacznie lepszą jakość niż 64-rundowy algorytm DES, który osiąga jakość algorytmu porównawczego dopiero po poprawieniu S bloków S1, S5 i S7 do klasy jakości 4.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 10, 10; 835-838
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Accuracy estimation of the approximated Atangana-Baleanu operator
Autorzy:
Oprzędkiewicz, Krzysztof
Mitkowski, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/122484.pdf
Data publikacji:
2019
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
Caputo operator
Mittag-Leffler function
ORA approximation
aproksymacja ORA
funkcja Mittag-Lefflera
Opis:
In the paper, the accuracy analysis of the approximation of the Atangana-Baleanu (AB) operator is presented. The AB operator is the nonsingular kernel operator proposed by Atangana and Baleanu. It is obtained by replacing the exponential function in the Caputo-Fabrizio operator by the Mittag-Leffler function. The Laplace transform of the AB operator requires approximating the factor sa. This is done using the well-known Oustaloup Recursive Approximaion (ORA) approximation. The step and frequency responses of the approximation are compared to the analytical responses. As the cost function, the FIT function available in MATLAB was applied. Results of simulations show that the use of ORA allows us to obtain the accurate approximant of the AB operator.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2019, 18, 4; 53-62
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Approximation table computing algorithms in cryptanalysis of block ciphers
Algorytmy obliczania tablic aproksymacji w kryptoanalizie szyfrów blokowych
Autorzy:
Chmiel, K.
Powiązania:
https://bibliotekanauki.pl/articles/158292.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
szyfr blokowy
kryptoanaliza
aproksymacja różnicowa
block cipher
cryptanalysis
differential approximation
linear approximation
Opis:
Approximation algorithms based on definitions of differential and linear equations, developed for computation of single element of the approximation tables, are of exponential time complexity. Fast general algorithms, for computation the best nonzero approximations in at worst linear time for a single element, without memory needed for storage of the whole table are presented in the paper. To frequently used components of block ciphers belong arithmetic sum and subtraction functions. For these functions are presented fast specialized algorithms computing a single element of the approximation tables in linear time.
Do najważniejszych ogólnych metod analizy kryptograficznej szyfrów blokowych należą kryptoanaliza różnicowa i kryptoanaliza liniowa. W obu metodach wykorzystywane są równania, które w sposób przybliżony, z pewnym prawdopodobieństwem, opisują działanie szyfru. Równania te nazywane są aproksymacjami różnicowymi lub liniowymi. Dla dowolnej funkcji f o n binarnych wejściach i m binarnych wyjściach zbiór wszystkich aproksymacji różnicowych lub liniowych może być reprezentowany w postaci tablicy aproksymacji o rozmiarze O(2n+m). W artykule przedstawiono algorytmy obliczania tych tablic. Oparte na definicji aproksymacji różnicowej lub liniowej algorytmy obliczają pojedynczą wartość tablicy aproksymacji w czasie wykładniczym. Ogranicza to zastosowanie tych podstawowych algorytmów do funkcji składowych szyfru o niewielkiej liczbie binarnych wejść i wyjść. Przedstawione w artykule szybkie ogólne algorytmy obliczają najlepszą niezerową aproksymację różnicową i liniową w co najwyżej liniowym czasie O(n+m) dla pojedynczego elementu bez angażowania pamięci potrzebnej do przechowania całych tablic. Do często stosowanych elementów składowych szyfrów blokowych należą funkcje sumy i różnicy arytmetycznej. Dla tych funkcji przedstawiono w artykule szybkie specjalizowane algorytmy obliczające pojedynczy element tablic aproksymacji w czasie liniowym.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 10, 10; 1174-1178
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementation of magnetic core frequency characteristics in modelling of power transformers
Uwzględnienie charakterystyk częstotliwościowych rdzenia magnetycznego w modelowaniu transformatorów elektroenergetycznych
Autorzy:
Daszczyński, T.
Pochanke, Z.
Powiązania:
https://bibliotekanauki.pl/articles/159077.pdf
Data publikacji:
2016
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
Tematy:
modelling
frequency characteristics
approximation
magnetic core
modelowanie
charakterystyka częstotliwościowa
aproksymacja
rdzeń magnetyczny
Opis:
This article is dedicated to the modelling of power transformers based on their frequency characteristics of impedance. The possible approaches to the modelling of transformers still do not take into account (audited and confirmed by the authors of the range up to 300 kHz) the influence of the magnetic core. Authors presented a measuring system to study the frequency characteristics of a reference coil with and without the magnetic core and to demonstrate the impact of this core on the measurement. The equivalent circuit model of studied system was also proposed.
Niniejszy artykuł poświęcony jest modelowaniu transformatorów elektroenergetycznych na podstawie ich charakterystyk częstotliwościowych impedancji. Przedstawione możliwe podejścia do modelowania transformatorów nadal nie uwzględniają, w zbadanym i potwierdzonym przez autorów zakresie do 300 kHz, wpływu rdzenia magnetycznego. Autorzy przedstawili układ pomiarowy do badania charakterystyk częstotliwościowych cewki wzorcowej z rdzeniem i bez rdzenia magnetycznego oraz udowodnili wpływ tego rdzenia na pomiar. Został także zaproponowany model obwodowy badanego układu z uwzględnieniem rdzenia magnetycznego.
Źródło:
Prace Instytutu Elektrotechniki; 2016, 273; 35-44
0032-6216
Pojawia się w:
Prace Instytutu Elektrotechniki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On some stability properties of polynomial functions
Autorzy:
Budzik, D.
Powiązania:
https://bibliotekanauki.pl/articles/121896.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
polynomial function
function approximation
stability function
funkcja wielomianowa
aproksymacja funkcji
stabilność funkcji
Opis:
In this paper we present conditions under which a function F with a control function f, in the following sense [wzór], can by uniformly approximated by a polynomial function of degree at most n.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2011, 16; 11-14
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł

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