Cover Image

Forming of the approach to verification of power system dynamic model

Saved in:

Bibliographic Details
Date:	2015
Main Authors:	V. V. Pavlovskyi, O. V. Lenha
Format:	Article
Language:	English
Published:	2015
Series:	Proceedings of the Institute of Electrodynamics of the National Academy of Sciences of Ukraine
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000392228
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Modeling the inertial responce of the interconnected power system of Ukraine with high penetration of renewables
by: V. V. Pavlovskyi, et al.
Published: (2015)

Definition of the static load model of nuclear power plant auxiliaries
by: V. V. Pavlovskyi, et al.
Published: (2014)

Diagnostic approaches to glusometabolic categories verification: views evolution
by: T. V. Ashcheulova, et al.
Published: (2016)

About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)

Semantic Space for the Verification of Economic Mathematical Models
by: V. L. Petryk
Published: (2013)

Model of information object for digital library and its verification
by: O. V. Novytskyi, et al.
Published: (2020)

Forming a Conceptual Model of the Enterprise&#039;s Strategic Analysis Based on the System-Dynamic Approach
by: I. V. Saukh
Published: (2019)

Model of information object for digital library and its verification
by: Novitsky, A.V., et al.
Published: (2020)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Verification of the mathematical expressions for the efficiency and power of three-phase four-wire power system with shunt active filter
by: S. Y. Polishchuk
Published: (2016)

Using of numerical modeling for verification of the functional hypothesis
by: Sokolovsky, A.I., et al.
Published: (2007)

High voltage direct current systems. Dynamic model of line commutated converter
by: V. V. Pavlovskyi, et al.
Published: (2020)

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
by: V. A. Berezos
Published: (2010)

Modeling and verification methods for application design in heterogeneous architectures
by: S. D. Pohorilyi, et al.
Published: (2020)

Analysis of the frequency change in IPS of Ukraine in case of the generating unit disconnection of the nuclear power plant
by: V. V. Pavlovskyi, et al.
Published: (2018)

Dynamic models of cyclic development of photovoltaic power generation systems
by: Denisov, V.
Published: (2017)

Dynamic models of cyclic development of photovoltaic power generation systems
by: V. A. Denysov
Published: (2017)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

Satisfiability For Symbolic Verification in VRS
by: Letichevsky, A., et al.
Published: (2013)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

Methods of forming integral dynamic models of nonlinear control systems
by: D. A. Verlan, et al.
Published: (2015)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

Features of Software Solutions in the Field of Verification and Validation of Numerical Models
by: Гейко, О. О., et al.
Published: (2025)

Verification and validation: process VS procedure
by: V. L. Demekhin, et al.
Published: (2013)

Results of radionuclide vector verification to characterize solid radwaste of Chornobyl nuclear power plant sent for burial
by: O. V. Mykhailov
Published: (2022)

Influence estimation of the frequency protection of nuclear power plant units on system survivability and frequency stability of Ukrainian Power System
by: V. V. Pavlovskyi, et al.
Published: (2015)

General approach to power transformer monitoring systems using stochastic models
by: S. P. Denysiuk, et al.
Published: (2014)

Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)

Model of dynamic indication in the bar graph form
by: Bushma, A.V., et al.
Published: (2002)

Experimental Verification of Calculated Vibrating Models of Great Lavra Bell Tower in Lavra Reserve
by: O. V. Kendzera, et al.
Published: (2016)

Modeling of forming radioactivity dynamics of higher aquatic plants
by: V. V. Beliaiev, et al.
Published: (2015)

Intelligent Object-Oriented Approach to Dynamic Energy Systems’ Modelling
by: Verlan, A., et al.
Published: (2020)

Reactive power compensation approach with dynamic mode of load current
by: V. J. Zhuikov, et al.
Published: (2018)

Construction and Verification of the Constitutive Model of Pure Copper Deformation at Elevated Temperatures
by: Huang, S.H., et al.
Published: (2019)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

The verification of constant preparation methodology for IMCORE code
by: Galchenko, V.V., et al.
Published: (2018)

Mathematical modelling of dynamics of 90Sr and 137Cs migration in components of agrocenosises soil-plant cover at the late phase of radiation accident. II. Model verification and prediction assessments
by: Yu. O. Ivanov, et al.
Published: (2015)

Deductive verification of requirements for event-driven architecture
by: A. Letichevsky, et al.
Published: (2013)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

Development and verification of appropriateness for mathematical model of heat balance of electrothermal fluidized bed reactor
by: K. V. Simeiko
Published: (2019)