Определение состава программ в специальном программном обеспечении автоматизированных систем пожаровзрывобезопасности объектов
Аннотация
Рассмотрены единичные программные системы (ЕПС) автоматизированных систем пожаровзрывобезопасности (АСПВБ) объектов. Дано одно из возможных математических определений программ ЕПС и их характеристик. Проведена оценка количества формул в специальном программном обеспечении (СПО) АСПВБ и автоматизированных систем управления технологическими процессами в целом. Описан процесс поиска унификатора в ЕПС на множестве формул СПО АСПВБ. Показано, что для его определения необходимо провести разбиение ЕПС на базовые группы функциональности, представляющие собой неделимые на части элементы.
Об авторах
Н. Г. Топольский
Академия ГПС МЧС России
Россия
Россия
Доктор технических наук, профессор, заслуженный деятель науки РФ, профессор кафедры информационных технологий.
129366, Москва, ул. Бориса Галушкина, 4
А. В. Крючков
Российский государственный университет нефти и газа (национальный исследовательский университет) им. И.М. Губкина
Россия
Россия
Кандидат технических наук, доцент кафедры комплексной безопасности критически важных объектов.
119991, Москва, Ленинский просп., д. 65, корп. 1
Д. С. Грачев
Академия ГПС МЧС России
Россия
Россия
Соискатель факультета подготовки научно-педагогических кадров, кафедра информационных технологий.
129366, Москва, ул. Бориса Галушкина, 4
К. А. Михайлов
Академия ГПС МЧС России
Россия
Россия
Адъюнкт факультета подготовки научно-педагогических кадров, кафедра информационных технологий.
129366, Москва, ул. Бориса Галушкина, 4
Список литературы
1. Топольский Н. Основы автоматизированных систем пожаровзрывобезопасности объектов. — М. : МИПБ МВД России, 1997. — 164 с.
2. Абросимов А. А., Топольский Н. Г., Фёдоров А. В. Автоматизированные системы пожаровзрывобезопасности нефтеперерабатывающих производств. — М.: МИПБ МВД России, 1999. —239 с.
3. Гаплаев А. А.-Б. Автоматизированный комплекс контроля и испытаний системы управления противопожарной защиты нефтеперерабатывающих производств : дис. ... Кандидат технических наук. — М., 2018.—226 с.
4. Крючков А. В. Обобщение опыта синтеза специального программного обеспечения на различных инструментальных средствах // Технологии техносферной безопасности. — 2015. — Вып. 3(61). — C. 252-263. URL: http://agps-2006.narod.ru/ttb/2015-3/41-03-15.ttb.pdf (дата обращения: 03.06.2018).
5. Gajski D. D., Abdi S., Gerstlauer A., Schimer G. Software synthesis // Embedded System Design. — Boston, MA : Springer, 2009. — P. 155-197. DOI: 10.1007/978-1-4419-0504-8_5.
6. Крючков А. В. Методология универсализации синтеза специального программного обеспечения крупной автоматизированной системы управления предприятием // Технологии техносферной безопасности. — 2015. — Вып. 3(61). — С. 264-268. URL: http://agps-2006.narod.ru/ttb/2015-3/40-03-15.ttb.pdf (дата обращения: 03.06.2018).
7. Stolz L.Special issue: Harnessing theories for tool support in software // Innovations in Systems and Software Engineering. —2013. — Vol. 9, Issue 1. — P. 1-2. DOI: 10.1007/s11334-012-0193-4.
8. Макконнелл С. Профессиональная разработка программного обеспечения: сокращение сроков, повышение качества продукта, больше удачных проектов, расширение возможностей успешной карьеры / Пер. с англ. — СПб. : Символ&Плюс, 2006. — 240 с.
9. Вендров А. М.Проектирование программного обеспечения экономических информационных систем. — М. : Финансы и статистика, 2006. — 545 с.
10. Zheng Qin, Xiang Zheng, Jiankuan Xing. Software Architecture // Advanced Topics in Science and Technology in China. — Berlin, Heidelberg: Springer, 2008. — 337 p. DOI: 10.1007/978-3-540-74343-9.
11. Bass L., Clements P., Kazman R. Software architecture in practice. — 3rd Edition. — Addison-Wesley Professional, 2012. — 640 p.
12. RozanskiN., Woods E. Software systems architecture: working with stakeholders using viewpoints and perspectives. — 2nd Edition. — Addison-Wesley Professional, 2012. — 704 p.
13. Almeida J. B., Frade M.J., Pinto J. S., Melo de Sousa S. Rigorous software development. — London : Springer-Verlag, 2011. — 307 p. DOI: 10.1007/978-0-85729-018-2.
14. Crookshanks E. Practical Software Development Techniques: Tools and techniques for building enterprise software. — Berkeley, CA : Apress, 2014. — 212 p. DOI: 10.1007/978-1-4842-0728-4.
15. Грис Д. Наука программирования / Пер. с англ.; под ред. А. П. Ершова. — М. : Мир, 1984. — 416 с.
16. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем / Пер. с англ.; под ред. С. Ю. Маслова. — М. : Наука, 1983. — 360 с.
17. Дийкстра Э., Болье Л., ХоорК.,Дал У.-И. Языки программирования / Ред. Ф. Женюи; пер. с англ. В. П. Кузнецова, под ред. В. М. Курочкина. — М. : Мир, 1972. — 410 с.
18. Умрихин Ю. Д. Оптимизация сложных информационных систем. — М. : Министерство радиопромышленности СССР, 1983. — 125 с.
19. Клименко И. С. Теория систем и системный анализ. — М. : РосНОУ, 2014. — 264 с.
20. Шиханович Ю. А. Введение в современную математику. Начальные понятия. — М. : Наука, 1965. —376 с.
21. Ильин В. Д. Система порождения программ. — М. : Наука, 1989. — 257 с.
22. DeLuciaA., Ferrucci F. Software engineering. — Berlin, Heidelberg : Springer-Verlag, 2013. — 237 p. DOI: 10.1007/978-3-642-36054-1.
23. Peled D. A. Software reliability methods. — New York : Springer-Verlag, 2001. — 332 p. DOI: 10.1007/978-1-4757-3540-6.
Для цитирования:
Топольский Н.Г., Крючков А.В., Грачев Д.С., Михайлов К.А. Определение состава программ в специальном программном обеспечении автоматизированных систем пожаровзрывобезопасности объектов. Пожаровзрывобезопасность/Fire and Explosion Safety. 2018;27(7-8):67-73. https://doi.org/10.18322/pvb.2018.27.7-8.67-73
For citation:
Topolskiy N.G., Kryuchkov A.V., Grachev D.S., Mikhaylov K.A. Determination of the composition of programs in a special software of the computer-aided fire-explosion safety systems of objects. Pozharovzryvobezopasnost/Fire and Explosion Safety. 2018;27(7-8):67-73. (In Russ.) https://doi.org/10.18322/pvb.2018.27.7-8.67-73
Просмотров: 150
Послать статью по эл. почте 