Инд. авторы:	Шорников Ю.В., Достовалов Д.Н., Бессонов А.В., Насырова М.С.
Заглавие:	Спецификация электроэнергетических систем в среде моделирования исма
Библ. ссылка:	Шорников Ю.В., Достовалов Д.Н., Бессонов А.В., Насырова М.С. Спецификация электроэнергетических систем в среде моделирования исма // АКТУАЛЬНЫЕ ПРОБЛЕМЫ ЭЛЕКТРОННОГО ПРИБОРОСТРОЕНИЯ АПЭП - 2016: ТРУДЫ XIII МЕЖДУНАРОДНОЙ НАУЧНО-ТЕХНИЧЕСКОЙ КОНФЕРЕНЦИИ: В 12 ТОМАХ. - 2016. - Т.8. - Т.:Математическое моделирование. - Новосибирск: Новосибирский государственный технический университет. - С.241-245. - ISBN: 978-5-7782-2999-0.
Внешние системы:	РИНЦ: 36284881;
Реферат:	rus: В работе представлены способы символьной и графической спецификации моделей электроэнергетических систем (ЭЭС). Предложено использование методологии гибридных систем (ГС) для описания переходных электромагнитных и электромеханических процессов в ЭЭС. Поведение гибридных моделей исследуется в окружении инструментальных средств машинного анализа (ИСМА), разработанных авторами. Для унификации математического и программного обеспечения ГС с новыми предметными приложениями предложена архитектура инструментальной среды с множеством предметных языков и общими средствами внутреннего представления и исследования программных моделей. Представлены примеры спецификации ЭЭС в текстовой и графической форме.
Ключевые слова:	принципиальные схемы электро-энергетических систем; текстовая спецификация; переходные процессы; гибридные системы;
Издано:	2016
Физ. характеристика:	с.241-245
Цитирование:	1. Pnueli A., Kesten Y. Timed and hybrid statecharts and their textual represen-tations // 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 // RealTime: 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. Сениченков Ю.Б. Численное моделирование гибридных систем. СПб.: Изд-во Политехи, ун-та, 2004. - 206 с. 6. Новиков Е.А., Шорников Ю.В. Компьютерное моделирование жестких гибридных систем: монография. Новосибирск: Изд-во НГТУ, 2012. - 451 c. 7. Колесов Ю.Б. Объектно-ориентированное моделирование сложных динамических систем. СПб.: Изд-во СПбГПУ, 2004. - 239 с. 8. Веников В.А. Переходные электромеханические процессы в электрических системах: Учеб. для электроэнергет. спец. вузов. М.: Высш. шк., 1985. - 536 с. 9. Лукашов Э.С., Калюжный А.Х., Лизалек Н.Н. Длительные переходные процессы в энергетических системах. Новосибирск: Наука, 1985. - 198 с. 10. Жданов П.С. Вопросы устойчивости электрических систем. М.: Энергия, 1979. - 456 с. 11. Системные исследования в энергетике // Труды молодых ученых ИСЭМ СО РАН, Вып. 44. - Иркутск: ИСЭМ СО РАН, 2014. - 175 с. 12. Непша Ф.С., Отдельнова Г.В., Савинкина О.А. Сравнение функциональных возможностей существующих программных средств расчета и анализа электрических режимов // Вестник кузбасского государственного технического университета. - 2013. - № 2(96). - С. 116 - 118. 13. Скурихина К.А., Арестова А.Ю., Армеев Д.В. Исследование динамических свойств MicroGrid при параллельной работе с энергосистемой // Вестник науки Сибири. - 2015. - № 1(15). - С. 93 - 102. 14. Фомина Т.Ю. Разработка алгоритма расчета переходных процессов сложных регулируемых ЭЭС: дис.… канд. техн. наук. - Москва. - 2014. - 109 с. 15. Esposito J. M., Kumar V. A State Event Detection Algorithm for Numerical-ly Simulating Hybrid Systems with Model Singularities // ACM Transactions on Modeling and Computer Simulation, 2007. - Volume 17, Issue 1, January 2007. - P. 1-22. 16. Шорников Ю.В., Бессонов А.В. Компоненты ядра программного комплекса «ИСМА 2015» // Свидетельство о государственной регистрации программы для ЭВМ № 2015617235. - М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам. - 2015. 17. Шорников Ю.В., Бессонов А.В. Унифицированный подход к компьютерному моделированию гибридных систем // Информационные технологии моделирования и управления. - 2015. - №3(93). - C. 289-298. 18. Шорников Ю.В., Бессонов А.В. Компонента спецификации моделей гибридных систем на языке LISMA_PDE // Свидетельство о государственной регистрации программы для ЭВМ № 2015617191. - М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам. - 2015.