Зображення обкладинки

Forming of the approach to verification of power system dynamic model

Збережено в:

Бібліографічні деталі
Дата:	2015
Автори:	V. V. Pavlovskyi, O. V. Lenha
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2015
Назва видання:	Proceedings of the Institute of Electrodynamics of the National Academy of Sciences of Ukraine
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000392228
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Modeling the inertial responce of the interconnected power system of Ukraine with high penetration of renewables
за авторством: V. V. Pavlovskyi, та інші
Опубліковано: (2015)

Definition of the static load model of nuclear power plant auxiliaries
за авторством: V. V. Pavlovskyi, та інші
Опубліковано: (2014)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

Diagnostic approaches to glusometabolic categories verification: views evolution
за авторством: T. V. Ashcheulova, та інші
Опубліковано: (2016)

Semantic Space for the Verification of Economic Mathematical Models
за авторством: V. L. Petryk
Опубліковано: (2013)

Model of information object for digital library and its verification
за авторством: O. V. Novytskyi, та інші
Опубліковано: (2020)

Verification of the mathematical expressions for the efficiency and power of three-phase four-wire power system with shunt active filter
за авторством: S. Y. Polishchuk
Опубліковано: (2016)

Using of numerical modeling for verification of the functional hypothesis
за авторством: Sokolovsky, A.I., та інші
Опубліковано: (2007)

Model of information object for digital library and its verification
за авторством: Novitsky, A.V., та інші
Опубліковано: (2020)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Forming a Conceptual Model of the Enterprise&#039;s Strategic Analysis Based on the System-Dynamic Approach
за авторством: I. V. Saukh
Опубліковано: (2019)

Modeling and verification methods for application design in heterogeneous architectures
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2020)

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
за авторством: V. A. Berezos
Опубліковано: (2010)

High voltage direct current systems. Dynamic model of line commutated converter
за авторством: V. V. Pavlovskyi, та інші
Опубліковано: (2020)

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Dynamic models of cyclic development of photovoltaic power generation systems
за авторством: Denisov, V.
Опубліковано: (2017)

Dynamic models of cyclic development of photovoltaic power generation systems
за авторством: V. A. Denysov
Опубліковано: (2017)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Analysis of the frequency change in IPS of Ukraine in case of the generating unit disconnection of the nuclear power plant
за авторством: V. V. Pavlovskyi, та інші
Опубліковано: (2018)

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

Results of radionuclide vector verification to characterize solid radwaste of Chornobyl nuclear power plant sent for burial
за авторством: O. V. Mykhailov
Опубліковано: (2022)

Verification and validation: process VS procedure
за авторством: V. L. Demekhin, та інші
Опубліковано: (2013)

Methods of forming integral dynamic models of nonlinear control systems
за авторством: D. A. Verlan, та інші
Опубліковано: (2015)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

Construction and Verification of the Constitutive Model of Pure Copper Deformation at Elevated Temperatures
за авторством: Huang, S.H., та інші
Опубліковано: (2019)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Experimental Verification of Calculated Vibrating Models of Great Lavra Bell Tower in Lavra Reserve
за авторством: O. V. Kendzera, та інші
Опубліковано: (2016)

Influence estimation of the frequency protection of nuclear power plant units on system survivability and frequency stability of Ukrainian Power System
за авторством: V. V. Pavlovskyi, та інші
Опубліковано: (2015)

General approach to power transformer monitoring systems using stochastic models
за авторством: S. P. Denysiuk, та інші
Опубліковано: (2014)

Reactive power compensation approach with dynamic mode of load current
за авторством: V. J. Zhuikov, та інші
Опубліковано: (2018)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)

Deductive verification of requirements for event-driven architecture
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

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
за авторством: Yu. O. Ivanov, та інші
Опубліковано: (2015)

Development and verification of appropriateness for mathematical model of heat balance of electrothermal fluidized bed reactor
за авторством: K. V. Simeiko
Опубліковано: (2019)

The logic of verification of knowledge in the arguments of neopositivism
за авторством: L. H. Komakha
Опубліковано: (2015)

Verification of the hypotheses on the equality of densities of distributions
за авторством: P. K. Babilua, та інші
Опубліковано: (2016)

Application Results of Dry Method Verification for Post-Combustion Capture Control of Sulfur Removal in Low-Power Boilers
за авторством: A. V. Gorbunov, та інші
Опубліковано: (2015)

Modeling of forming radioactivity dynamics of higher aquatic plants
за авторством: V. V. Beliaiev, та інші
Опубліковано: (2015)

Linear Differential Systems with Small Coefficients: Various Types of Solvability and their Verification
за авторством: Barkatou, M.A., та інші
Опубліковано: (2019)

Mathematical model verification of thermal energy transfer in floodered rocks of a combusted coalseam
за авторством: I. A. Sadovenko, та інші
Опубліковано: (2016)