14 феврал 2020
2ОСОБЕННОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ
5e46575e51ffb.pdf
MAQOLA ANNOTATSIYASI
MUALIFLAR
Teglar
Maqolani baholang
0
Maqola idintifikatorlari
DOI:
Mavjud emas
Foydalanilgan adabiyotlar
Булавский П.Е., Баратов Д.Х. Принципы организации и особенности электронного документооборота технической документации службы автоматики и телемеханики железной дороги // Автоматика и телемеханика железных дорог России. Техника, технология, сертификация. Сборник научных трудов/ Под ред. Сапожникова Вл.В. Спб: ПГУПС, 2008. С. 31-37.
Булавский П.Е. Концептуальная модель электронного документооборота технической документации // Транспорт Российской Федерации. – 2011. – №1(32). – C. 60-63.
Булавский П.Е. Синтез формализованной схемы электронного документооборота систем железнодорожной автоматики и телемеханики / Булавский П.Е., Марков Д.С. // Известия ПГУПС. 2010. Вып. № 4. С. 63–74.
Арипов Н.М., Баратов Д.Х. О документообороте в хозяйстве автоматики и телемеханики и внедрение безбумажной технологию ведения технической документации // Вестник ТашИИТ. 2015. №2. 2015. С.77-81.
Булавский П.Е., Марков Д.С., Соколов В.Б., Константинова Т.Ю. Формализация алгоритмического описания систем обеспечения жизненного цикла железнодорожной автоматики и телемеханики // Автоматика на транспорте. 2015. №4. Т. 1. С.418–432.
Булавский П.Е. Электронный документооборот технической документации / Булавский П.Е., Марков Д.С. // Автоматика, связь, информатика. 2012. №2. С.2–4.
Круковский М.Ю. Концепция построения моделей композитного документооборота // Математичні машини і системи. 2004. № 2. С.149–163.
Арипов Н.М., Баратов Д.Х. Мирсалихов Э.А. Моделирование электронного документооборота технической документации железнодорожной автоматики // Проблемы информатики и энергетики. 2016. №2. С.78–84.
Diestel R. Graph Theory, Electronic Edition. NY: Springer-Verlag, 2005. Р. 422.
Baratov D., Aripov N. Formalization of electronic technical document management of railway automatics and telemechanics // European Applied Sciences. 2016. №8. P.33–36.
Круковский М.Ю. Графовая модель композитного документооборота // Математичні машини і системи. 2005. № 3. С. 149–163.
Carson J. S. Model verification and validation // Proceedings of the 2002 Winter Simulation Conference. San Diego, CA, USA. December 8–11, 2002. P. 52–58.
Karim Kanso, Faron Moller, Anton Setzer. Automated Verification of Signalling Principles in Railway Interlocking Systems // Electronic Notes in Theoretical Computer Science. (2009). №250 P. 19–31.
Ibrahim Sener, Ozgur Turay Kaymakci, Ilker Ustoglu, Galip Cansever. Specication and formal verication of safety properties in a point automation system // Turkish Journal of Electrical Engineering & Computer Sciences. . (2016). №24 1384–1396.
Баратов Д.Х. Вопросы моделирования электронного документооборота автоматизированных технологических процессов // Научный вестник “Машинастроение”. 2017. №1. С.62–67.