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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    A Numerical Algorithm for Filtering and State Observation
    Autorzy:
    Ibrir, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/908263.pdf
    Data publikacji:
    1999
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    krzywa składana
    różniczkowanie numeryczne
    obserwator
    spline functions
    numerical differentiation
    observers
    smooth filters
    Opis:
    This paper deals with a numerical method for data fitting and estimation of continuous higher-order derivatives of a given signal from its non-exactsampled data. The proposed algorithm is a generalization of the algorithm proposed by Reinsch (1967). This algorithm is conceived as a key element in the structure of the numerical observer discussed in our recent papers. Satisfactory results are obtained which prove the efficiency of the proposed approach.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 1999, 9, 4; 855-869
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Password-authenticated group key establishment from smooth projective hash functions
    Autorzy:
    Bohli, Jens Matthias
    González Vasco, María Isabel
    Steinwandt, Rainer
    Powiązania:
    https://bibliotekanauki.pl/articles/330206.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    group key exchange
    password authentication
    smooth projective hashing
    uzgadnianie klucza
    uwierzytelnienie hasła
    haszowanie rzutowe
    Opis:
    Password-authenticated key exchange (PAKE) protocols allow users sharing a password to agree upon a high entropy secret. Thus, they can be implemented without complex infrastructures that typically involve public keys and certificates. In this paper, a provably secure password-authenticated protocol for group key establishment in the common reference string (CRS) model is presented. While prior constructions of the group (PAKE) can be found in the literature, most of them rely on idealized assumptions, which we do not make here. Furthermore, our protocol is quite efficient, as regardless of the number of involved participants it can be implemented with only three communication rounds. We use a (by now classical) trick of Burmester and Desmedt for deriving group key exchange protocols using a two-party construction as the main building block. In our case, the two-party PAKE used as a base is a one-round protocol by Katz and Vaikuntanathan, which in turn builds upon a special kind of smooth projective hash functions (KV-SPHFs). Smooth projective hash functions (SPHFs) were first introduced by Cramer and Shoup (2002) as a valuable cryptographic primitive for deriving provable secure encryption schemes. These functions and their variants proved useful in many other scenarios. We use here as a main tool a very strong type of SPHF, introduced by Katz and Vaikuntanathan for building a one-round password based two party key exchange protocol. As evidenced by Ben Hamouda et al. (2013), KV-SPHFs can be instantiated on Cramer–Shoup ciphertexts, thus yielding very efficient (and pairing free) constructions.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2019, 29, 4; 797-815
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A verified method for solving piecewise smooth initial value problems
    Autorzy:
    Auer, E.
    Kiel, S.
    Rauh, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/331354.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    interval method
    non smooth system
    initial value problem
    metoda przedziałowa
    metoda nie gładka
    zagadnienie początkowe
    Opis:
    In many applications, there is a need to choose mathematical models that depend on non-smooth functions. The task of simulation becomes especially difficult if such functions appear on the right-hand side of an initial value problem. Moreover, solution processes from usual numerics are sensitive to roundoff errors so that verified analysis might be more useful if a guarantee of correctness is required or if the system model is influenced by uncertainty. In this paper, we provide a short overview of possibilities to formulate non-smooth problems and point out connections between the traditional non-smooth theory and interval analysis. Moreover, we summarize already existing verified methods for solving initial value problems with non-smooth (in fact, even not absolutely continuous) right-hand sides and propose a way of handling a certain practically relevant subclass of such systems. We implement the approach for the solver VALENCIA-IVP by introducing into it a specialized template for enclosing the first-order derivatives of non-smooth functions. We demonstrate the applicability of our technique using a mechanical system model with friction and hysteresis. We conclude the paper by giving a perspective on future research directions in this area.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2013, 23, 4; 731-747
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Observability and controllability analysis for sandwich systems with backlash
    Autorzy:
    Luo, N.
    Tan, Y.
    Dong, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/330501.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    backlash
    sandwich system
    non smooth system
    state space equation
    observability
    controllability
    luz mechaniczny
    układ warstwowy
    równanie stanu
    obserwowalność
    sterowalność
    Opis:
    In this paper, an approach to analyze the observability and controllability of sandwich systems with backlash is proposed. In this method, a non-smooth state-space function is used to describe the sandwich systems with backlash which are also non-smooth non-linear systems. Then, a linearization method based on non-smooth optimization is proposed to derive a linearized state-space function to approximate the non-smooth sandwich systems within a bounded region around the equilibrium point that we are interested in. Afterwards, both observability and controllability matrices are constructed and the methods to analyze the observability as well as controllability of sandwich system with backlash are derived. Finally, numerical examples are presented to validate the proposed method.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2015, 25, 4; 803-814
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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