Suchergebnisse - Ostapovska , S.
- Treffer 1 - 6 von 6
-
1
PULSE METHOD FOR CONTROLLING THE CURRENT STATE OF CHARGE OF ELECTROCHEMICAL ENERGY STORAGE von Plaksin , S., Zhitnik , M., Levchenko , R., Ostapovska , S.
Veröffentlicht 2025
Volltext
Artikel -
2
-
3
-
4
Correctness Property Proof for the Banking System for Money Transfer Payments von Yu. A. Ostapovska, T. V. Panchenko, N. V. Polishchuk, M. O. Kartavov
Veröffentlicht 2016Volltext
Artikel -
5
-
6
Correctness Property Proof for the Banking System for Money Transfer Payments von Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
electrochemical energy storage
response signal
електрохімічний накопичувач енергії
сигнал відгуку
імпульсний гальваностатичний метод
кінетичні параметри
Haar wavelet
Haar wavelet transform
IPCL
UDC 004.415.52
composition-nominative languages
concurrent program
current state of charge
energy storage
formal verification
generalized energy index
interleaving
invariant
kinetic parame- ters
kinetic parameters
material utilization ratio
pulse control methods
pulse galvanostatic method
pulsed galvanostatic method
safety property proof
single-pulse galvanostatic method
software correctness
state of health (SOH)
УДК 004.415.52
вейвлет Хаара