Specification of electric power systems in isma simulation environment

Shornikov Y.V.; Dostovalov D.N.; Bessonov A.V.; Nasyrova M.S.

doi:10.1109/APEIE.2016.7806500

Инд. авторы:	Shornikov Y.V., Dostovalov D.N., Bessonov A.V., Nasyrova M.S.
Заглавие:	Specification of electric power systems in isma simulation environment
Библ. ссылка:	Shornikov Y.V., Dostovalov D.N., Bessonov A.V., Nasyrova M.S. Specification of electric power systems in isma simulation environment // ТРУДЫ XIII МЕЖДУНАРОДНОЙ НАУЧНО-ТЕХНИЧЕСКОЙ КОНФЕРЕНЦИИ АКТУАЛЬНЫЕ ПРОБЛЕМЫ ЭЛЕКТРОННОГО ПРИБОРОСТРОЕНИЯ: Proceedings: in 12 volumes. - 2016. - Vol.1, Part 2. - Новосибирск: Новосибирский государственный технический университет. - P.403-407. - ISBN: 978-5-7782-2992-5 (т. 1).
Внешние системы:	DOI: 10.1109/APEIE.2016.7806500; РИНЦ: 31042014; РИНЦ: 27322154; SCOPUS: 2-s2.0-85020732363; WoS: 000392625500093;
Реферат:	eng: He paper presents methods for symbolic and graphic model specification of electric power systems (EPS). The methodology of hybrid systems is proposed for describing the transient electromagnetic and electromechanical processes in EPS. The behavior of hybrid models studies in the instrumental environment ISMA developed by the authors. The offered ISMA architecture includes lots of input languages and common tools for internal representation and research of program models to unify the mathematical and program software of HS with new applications. Examples of EPS specification are presented in text and graphic form.
Ключевые слова:	textual specification; input language; computer simulation; transient processes; modal behavior; hybrid systems; principle circuits of EPS;
Издано:	2016
Физ. характеристика:	с.403-407
Конференция:	Название: XIII Международная научно-техническая конференция «Актуальные проблемы электронного приборостроения» Аббревиатура: АПЭП–2016 Город: Новосибирск Страна: Россия Даты проведения: 2016-10-03 - 2016-10-06 Ссылка: http://apeie.conf.nstu.ru/apeie2016/
Цитирование:	1. Pnueli A., Kesten Y. Timed and hybrid statecharts and their textual representations // Second International Symposium Nijmegen. - 1992. - Vol. 571. - P. 591-620. 2. Harel D., Pnueli A., Schmidt J.P., Sherman R. On the formal semantics of Statecharts // Proc. 2nd IEEE Symp. On Logic in Computer Science. - IEEE Press, New York, 1987. - P. 54-64. 3. Maler O., Manna Z., Pnueli A. From Timed to Hybrid systems // Real-Time: Theory in Practice, Lecture Notes in Computer Science. - Springer-Verlag, 1992. - Vol. 600. - P. 447-484. 4. Lee E.A., Zhenq H. Operational Semantics of Hybrid Systems // Proc. of Hybrid Systems: Computational and Control (HSCC). - Zurich, Switzeland, 2005. - Vol. 3414. - P. 25-53. 5. Senichenkov Yu.B. Numerical simulation of hybrid systems. St. Petersburg: Publishing house of Politechnical University, 2004. - 206 p. (in Russian). 6. Novikov E.A., Shornikov Yu.V. Computer simulation of stiff hybrid systems: monograph. Novosibirsk: Publishing house of Novosibirsk State Technical University, 2012. - 451 p. (in Russian). 7. Kolesov Yu.B. Object-oriented modeling of complex dynamical systems. St. Petersburg: Publishing house of Politechnical University, 2004. - 239 p. (in Russian). 8. Venikov V.A. Transient electromechanical processes in electrical systems. Мoscow: Vysshaja shkola, 1985. - 536 p. (in Russian). 9. Lukashov Je.S., Kaljuzhnyj A.H., Lizalek N.N. Long-term transients in power systems. Novosibirsk: Nauka, 1985. - 198 p. (in Russian). 10. Zhdanov P.S. Issues of stability of electrical systems. Moscow: Jenergija, 1979. - 456 p. (in Russian). 11. System research in the energy sector // Proceedings of young scientists ESI SB RAS, Vol. 44. - Irkutsk: ESI SB RAS, 2014. - 175 p. (in Russian). 12. Nepsha F.S., Otdel'nova G.V., Savinkina O.A. Compare the functionality of existing software to calculate and analyze of electric modes // Vestnik of Kuzbass State Technical University. - 2013. - Vol. 2(96). - P. 116 - 118. (in Russian). 13. Skurihina K.A., Arestova A.Ju., Armeev D.V. A study of dynamic properties of MicroGrid in parallel operation with the power system // Siberian Journal of Science. - 2015. - Vol. 1(15). - P. 93 - 102. (in Russian). 14. Fomina T.Ju. Development of the algorithm for calculating the transients in complex regulated EPS: dissertation of the candidate of technical sciences (PhD). - Moscow. - 2014. - 109 p. (in Russian). 15. Esposito J. M., Kumar V. A State Event Detection Algorithm for Numerically Simulating Hybrid Systems with Model Singularities // ACM Transactions on Modeling and Computer Simulation, 2007. - Volume 17, Issue 1, January 2007. - P.1-22. 16. Shornikov Yu.V., Bessonov A.V. The core components of “ISMA 2015” software // Certificate of state registration of computer programs # 2015617235. - Moscow: Federal Service For Intellectual Property (Rospatent). - 2015. (in Russian). 17. Shornikov Yu.V., Bessonov A.V. A unified approach to computer simulation of hybrid systems // Information technology of modeling and control. - 2015. - Vol. 3(93). - P. 289-298. (in Russian). 18. Shornikov Yu.V., Bessonov A.V. The component for specification of hybrid systems in LISMA PDE language // Certificate of state registration of computer programs # 2015617191. - Moscow: Federal Service For Intellectual Property (Rospatent). - 2015. (in Russian).