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)

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

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)

High voltage direct current systems. Dynamic model of line commutated converter
by: V. V. Pavlovskyi, 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)

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)

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)

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

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

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)

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

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)

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

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

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

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)

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

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)

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)

Formal model for verification of personalized educational trajectories based on ALLOY
by: Poltoratskyi, M.Yu., et al.
Published: (2026)

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

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

Methodological approaches to forming the cluster model of regional development
by: I. V. Saukh
Published: (2009)

Approaches to build dynamic models of distributed scalar units controlled electromechanical systems
by: A. A. Verlan, et al.
Published: (2016)

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

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

The main approaches to the development of a mathematical model for determining of the effect of the factors of complexity and dynamism and dynamism of the environment of the enterprise in the form of prospects for its development
by: T. E. Andreeva, et al.
Published: (2015)

Quasi-dynamic model of the interconnected power system of Ukraine for a frequency stability study
by: V. V. Pavlovsky, et al.
Published: (2022)

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)

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

Dynamical system approach to solving linear programming problems and applications in economic modelling
by: Tverdokhlib, I.P., et al.
Published: (2002)