397

В статье рассмотрена методология создания системы электронного документооборота
технической документации (ЭДТД), описана ее обобщенная формализованная схема, представлена
формальная модель ЭДТД. Логический уровень формальной модели ЭДТД реализован с
использованием аппарата теории графов. Основные теоретические результаты реализованы в
программном обеспечении «Автоматизированная система учета и контроля устройств
железнодорожной автоматики и телемеханики».

 

  • Internet havola
  • DOI
  • UzSCI tizimida yaratilgan sana 18-02-2020
  • O'qishlar soni 351
  • Nashr sanasi 21-12-2017
  • Asosiy tilRus
  • Sahifalar64-71
Русский

В статье рассмотрена методология создания системы электронного документооборота
технической документации (ЭДТД), описана ее обобщенная формализованная схема, представлена
формальная модель ЭДТД. Логический уровень формальной модели ЭДТД реализован с
использованием аппарата теории графов. Основные теоретические результаты реализованы в
программном обеспечении «Автоматизированная система учета и контроля устройств
железнодорожной автоматики и телемеханики».

 

Ўзбек

Мақолада техник ҳужжатларни электрон айланиши тизимини ишлаб чиқиш услубияти
кўриб чиқилди, умумий формаль схема тавсифланди, формал модел кўрсатилди. Техник
ҳужжатларни электрон айланиши формал моделининг мантиқий даражаси граф назарияси
қўлланган ҳолда амалга оширилди. Назарий натижалар Автоматика ва телемеханика
қурилмаларини ҳисобга олиш ва назорат қилишни автоматлаштирилган тизимида жорий этилди.
 

English

The article describes the methodology of the electronic document management system technical
documentation described a generalized formal scheme of electronic document management of technical
documentation, presents a formal model, the Logical level of the formal model was implemented using
the theory of graphs. The main theoretical results are implemented in the software “Automated system of
accounting and control devices of railway automatics and telemechanics”.

 

№ Muallifning F.I.Sh. Lavozimi Tashkilot nomi
1 Aripov N.M. _ _
2 Boltaev A.H. _ _
3 Baratov D.H. _ _
№ Havola nomi
1 Булавский П.Е., Баратов Д.Х. Принципы организации и особенности электронного документооборота технической документации службы автоматики и телемеханики железной дороги // Автоматика и телемеханика железных дорог России. Техника, технология, сертификация. Сборник научных трудов/ Под ред. Сапожникова Вл.В. Спб: ПГУПС, 2008. С. 31-37.
2 Булавский П.Е. Концептуальная модель электронного документооборота технической документации // Транспорт Российской Федерации. – 2011. – №1(32). – C. 60-63.
3 Булавский П.Е. Синтез формализованной схемы электронного документооборота систем железнодорожной автоматики и телемеханики / Булавский П.Е., Марков Д.С. // Известия ПГУПС. 2010. Вып. № 4. С. 63–74.
4 Арипов Н.М., Баратов Д.Х. О документообороте в хозяйстве автоматики и телемеханики и внедрение безбумажной технологию ведения технической документации // Вестник ТашИИТ. 2015. №2. 2015. С.77-81.
5 Булавский П.Е., Марков Д.С., Соколов В.Б., Константинова Т.Ю. Формализация алгоритмического описания систем обеспечения жизненного цикла железнодорожной автоматики и телемеханики // Автоматика на транспорте. 2015. №4. Т. 1. С.418–432.
6 Булавский П.Е. Электронный документооборот технической документации / Булавский П.Е., Марков Д.С. // Автоматика, связь, информатика. 2012. №2. С.2–4.
7 Круковский М.Ю. Концепция построения моделей композитного документооборота // Математичні машини і системи. 2004. № 2. С.149–163.
8 Арипов Н.М., Баратов Д.Х. Мирсалихов Э.А. Моделирование электронного документооборота технической документации железнодорожной автоматики // Проблемы информатики и энергетики. 2016. №2. С.78–84.
9 Diestel R. Graph Theory, Electronic Edition. NY: Springer-Verlag, 2005. Р. 422.
10 Baratov D., Aripov N. Formalization of electronic technical document management of railway automatics and telemechanics // European Applied Sciences. 2016. №8. P.33–36.
11 Круковский М.Ю. Графовая модель композитного документооборота // Математичні машини і системи. 2005. № 3. С. 149–163.
12 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.
13 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.
14 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.
15 Баратов Д.Х. Вопросы моделирования электронного документооборота автоматизированных технологических процессов // Научный вестник “Машинастроение”. 2017. №1. С.62–67.
Kutilmoqda