14 Fevral 2020
24ОСОБЕННОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ
5e46575e51ffb.pdf
АННОТАЦИЯ СТАТЬИ
АВТОРЫ
N.Aripov
_
D.Baratov
_
A.Boltaev
_
Теги
ДРУГИЕ СТАТЬИ ЭТОГО ЖУРНАЛА
- ПАСТ БОСИМЛИ СУВ ОҚИМЛАРИДА ИШЛОВЧИ МИКРОГЭС КОНСТРУКТИВ ВА ИШ РЕЖИМ ПАРАМЕТРЛАРИНИ МАТЕМАТИК МОДЕЛЛАШТИРИШ
Журнал «Проблемы информатики и энергетики» · 23 Fevral 2020
- ПОВЫШЕНИЕ УРОВНЯ БЕЗОПАСНОСТИ ПОЛЁТОВ ПУТЁМ АНАЛИЗА УГРОЗ, ВЛИЯЮЩИХ ПРИ УПРАВЛЕНИИ ВОЗДУШНЫМ ДВИЖЕНИЕМ, И ОПРЕДЕЛЕНИЕ ТРЕБОВАНИЙ, ПРЕДЬЯВЛЯЕМЫХ К РЕЧИ АВИАДИСПЕТЧЕРА
Журнал «Проблемы информатики и энергетики» · 23 Fevral 2020
- ҚЎЗҒАЛУВЧАН ЭЛЕКТРОМАГНИТ ЭКРАНЛИ ВА ТАРҚОҚ ПАРАМЕТРЛИ ЎЗГАРТГИЧЛАРНИ ҲИСОБЛАШНИНГ ХУСУСИЯТЛАРИ
Журнал «Проблемы информатики и энергетики» · 23 Fevral 2020
- ОПРЕДЕЛЕНИЕ ЭЛЕКТРИЧЕСКИХ ПАРАМЕТРОВ ОЧИСТИТЕЛЯ ВОДЫ
Журнал «Проблемы информатики и энергетики» · 23 Fevral 2020
- НОРАВШАН ХУЛОСА ТИЗИМЛАРИДА КОМПАКТ ВА КОМПАКТ БЎЛМАГАН Z-АХБОРОТЛАР
Журнал «Проблемы информатики и энергетики» · 19 Fevral 2020
- КОНЦЕПЦИЯ СОЗДАНИЯ СЕТИ SMART GRID В ЭНЕРГОСИСТЕМЕ УЗБЕКИСТАНА
Журнал «Проблемы информатики и энергетики» · 19 Fevral 2020
Оценить статью
Идентификаторы статьи
DOI:
Недоступно
Список литературы
Булавский П.Е., Баратов Д.Х. Принципы организации и особенности электронного документооборота технической документации службы автоматики и телемеханики железной дороги // Автоматика и телемеханика железных дорог России. Техника, технология, сертификация. Сборник научных трудов/ Под ред. Сапожникова Вл.В. Спб: ПГУПС, 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.