Buchumschlag

Forming of the approach to verification of power system dynamic model

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
Hauptverfasser:	V. V. Pavlovskyi, O. V. Lenha
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2015
Schriftenreihe:	Proceedings of the Institute of Electrodynamics of the National Academy of Sciences of Ukraine
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000392228
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Modeling the inertial responce of the interconnected power system of Ukraine with high penetration of renewables
von: V. V. Pavlovskyi, et al.
Veröffentlicht: (2015)

Definition of the static load model of nuclear power plant auxiliaries
von: V. V. Pavlovskyi, et al.
Veröffentlicht: (2014)

Diagnostic approaches to glusometabolic categories verification: views evolution
von: T. V. Ashcheulova, et al.
Veröffentlicht: (2016)

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Semantic Space for the Verification of Economic Mathematical Models
von: V. L. Petryk
Veröffentlicht: (2013)

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

Model of information object for digital library and its verification
von: O. V. Novytskyi, et al.
Veröffentlicht: (2020)

Model of information object for digital library and its verification
von: Novitsky, A.V., et al.
Veröffentlicht: (2020)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

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

Using of numerical modeling for verification of the functional hypothesis
von: Sokolovsky, A.I., et al.
Veröffentlicht: (2007)

High voltage direct current systems. Dynamic model of line commutated converter
von: V. V. Pavlovskyi, et al.
Veröffentlicht: (2020)

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

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
von: V. A. Berezos
Veröffentlicht: (2010)

Dynamic models of cyclic development of photovoltaic power generation systems
von: Denisov, V.
Veröffentlicht: (2017)

Dynamic models of cyclic development of photovoltaic power generation systems
von: V. A. Denysov
Veröffentlicht: (2017)

Modeling and verification methods for application design in heterogeneous architectures
von: S. D. Pohorilyi, et al.
Veröffentlicht: (2020)

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

Methods of forming integral dynamic models of nonlinear control systems
von: D. A. Verlan, et al.
Veröffentlicht: (2015)

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

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)

Formal verification of the properties of coreferent resolution model based on decision trees
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2024)

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

General approach to power transformer monitoring systems using stochastic models
von: S. P. Denysiuk, et al.
Veröffentlicht: (2014)

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

Model of dynamic indication in the bar graph form
von: Bushma, A.V., et al.
Veröffentlicht: (2002)

Verification and validation: process VS procedure
von: V. L. Demekhin, et al.
Veröffentlicht: (2013)

Modeling of forming radioactivity dynamics of higher aquatic plants
von: V. V. Beliaiev, et al.
Veröffentlicht: (2015)

Reactive power compensation approach with dynamic mode of load current
von: V. J. Zhuikov, et al.
Veröffentlicht: (2018)

Intelligent Object-Oriented Approach to Dynamic Energy Systems’ Modelling
von: Verlan, A., et al.
Veröffentlicht: (2020)

Simple non-deterministic rewriting in verification
von: Letichevsky, A., et al.
Veröffentlicht: (2010)

Simple non-deterministic rewriting in verification
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

Experimental Verification of Calculated Vibrating Models of Great Lavra Bell Tower in Lavra Reserve
von: O. V. Kendzera, et al.
Veröffentlicht: (2016)

Methodological approaches to forming the cluster model of regional development
von: I. V. Saukh
Veröffentlicht: (2009)

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

Approaches to build dynamic models of distributed scalar units controlled electromechanical systems
von: A. A. Verlan, et al.
Veröffentlicht: (2016)

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
von: Yu. O. Ivanov, et al.
Veröffentlicht: (2015)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)