Научная тема: «МОДЕЛИ И МЕТОДЫ ЛОГИКО-АЛГЕБРАИЧЕСКОГО АНАЛИЗА И СИНТЕЗА В ЗАДАЧАХ ТЕХНИЧЕСКОЙ ДИАГНОСТИКИ ИНФОРМАЦИОННЫХ СИСТЕМ»
Специальность: 05.13.18
Год: 2009
Отрасль науки: Технические науки
Основные научные положения, сформулированные автором на основании проведенных исследований:
  1. Системный подход к исследованию математических моделей описания дискретных динамических систем, являющийся развитием и совершенствованием моделей логического дифференциального и интегрального исчислений.
  2. Новые свойства дифференциальных операторов логических функций, ко­торые определяются над конечными полями и далее обобщаются на математиче­ские модели, использующие поля расширений, что позволяет выполнять проце­дуры анализа для универсальных базисов и многозначных логических функций.
  3. Постановка и решение задачи разработки модели онлайновой диагности­ки аппаратного и ПО.
  4. Новые декомпозиционные модели представления булевых функций в ба­зисах, наиболее подходящих для синтеза самодиагностируемых систем.
  5. Новые численные методы вычисления производных полностью и час­тично определенных логических функций и метод доопределения частично опре­деленных логических функций.
  6. Модели спектрального представления логических функций, позволяю­щие представлять эти функции полиномами над конечными полями, и алгоритмы численных расчетов.
  7. Алгоритмы спектральных и символьных преобразований функций в ло­гическом дифференциальном и интегральном исчислении при решении задач, связанных с анализом дискретных динамических систем.
  8. Метод внесения минимальной избыточности для управляемых линейных систем с целью сделать систему контролируемой.
  9. Метод синтеза контрольных уравнений с минимальным запаздыванием для линейной динамической системы.
  10. Метод синтеза контрольных уравнений и метод внесения избыточности, распространенные на нелинейные динамические системы.
  11. Алгоритмы синтеза контролируемой системы с минимальной избыточно­стью и синтеза контрольного уравнения с минимальным запаздыванием для ли­нейных и линеаризуемых систем.
  12. Предметно-ориентированный программный комплекс, реализующий предложенные численные методы и алгоритмы и предназначенный для проведе­ния вычислительных экспериментов, а также практического внедрения.
Список опубликованных работ
Публикации в периодических изданиях, рекомендованных ВАК РФ для изложения результатов докторских диссертаций

1.Чернов А.В. Методы линеаризации и модели контролируемых нелиней-ных дискретных динамических систем // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. - СПб., 2009. - №2. - С. 156 - 162.

2.Белявский Г.И., Чернов А.В. Математические модели линейных контро-лируемых дискретных динамических систем // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. - СПб., 2009. - №2. - С. 145 -151.

3.Чернов А.В. Синтез интеллектуальных самотестируемых устройств для систем управления электроэнергетическими объектами // Известия высших учеб¬ных заведений. Электромеханика. - 2009. - № 2. - С. 65 - 68.

4.Чернов А.В. Об актуальности развития новых направлений в математиче¬ской теории надежности информационных сетей с пакетной передачей данных // Обозрение прикладной и промышленной математики, 2008. - Т. 15. - Вып. 1. -С. 184 - 185.

5.Чернов А.В. Применение моделей случайных графов и бинарных диа-грамм решений к задачам анализа надежности информационных сетей // Обозре¬ние прикладной и промышленной математики. - 2008. - Т. 15. - Вып. 2.- С. 376 -377.

6.Чернов А.В. Развитие аппарата логического дифференциального исчис-ления в применении к задачам проектирования и диагностики телекоммуникаци¬онных систем // Научно-технические ведомости Санкт-Петербургского государ¬ственного политехнического университета. - СПб., 2008. - № 2. - С. 118 - 126.

7.Чернов А.В., Рассказов Д.А. Алгоритмическое и программное обеспече¬ние символьных вычислений для логического дифференциального и интеграль¬ного исчисления // Программные продукты и системы, 2008. - № 2. - С. 93 - 96.

8.Гуда А.Н., Чернов А.В. Алгоритмы спектральных и символьных преобра¬зований булевых функций для решения задач анализа и проектирования техноло¬гически безопасных информационных систем // Вестник Ростовского государст¬венного университета путей сообщения, 2008. - № 2. - C. 46 - 53.

9.Чернов А.В. Синтез контрольного уравнения для линейной динамической системы // Обозрение прикладной и промышленной математики. - 2008. - Т. 15. -Вып. 5. - С. 945.

10.Чернов А.В. Частично определенные булевы функции с логическими производными в моделях технической диагностики дискретных систем // Извес-тия вузов, Северо-Кавказский регион. Технические науки, 2008. - № 5. - С. 8 - 11.

11.Чернов А.В. Модели анализа и диагностики формальных спецификаций программного обеспечения информационно-управляющих систем // Вопросы современной науки и практики. Университет им. В.И.Вернадского, серия «Техниче¬ские науки», 2008. - Т. 2. - № 4(14). - С. 147 - 153.

12.Чернов А.В. Алгоритм синтеза контрольного уравнения для линейной динамической системы над конечным полем // Обозрение прикладной и про-мышленной математики, 2008. - Т. 15. - Вып. 6. - С. 999 - 1002.

13.Белявский Г.И., Чернов А.В. Контролируемость и управляемость в детерминированных динамических системах над конечными полями // Вестник Донского государственного технического университета, 2008.- Т.8, № 4(39). - С. 357 - 365.

14.Чернов А.В. К вопросу о разработке математических моделей рефакто-ринга программного обеспечения // Обозрение прикладной и промышленной ма¬тематики, 2007. - Т. 14. - Вып. 2 - С. 368 - 369.

15.Гуда А.Н., Бутакова М.А., Чернов А.В., Чакрян В.Р. Современное состоя¬ние исследований в области теории телетрафика - от Марковских процессов до мультифракталов и вейвлетов // Вестник Ростовского государственного универ¬ситета путей сообщения, 2007. - № 3 - С. 17 - 23.

16.Иванов С.О., Чернов А.В. Об адаптивной методике количественной оцен¬ки защищенности автоматизированных банковских систем // Обозрение приклад¬ной и промышленной математики, 2003. - Т. 10. - Вып. 2. - С. 139.

17.Чернов А.В. Применение байесовского статистического вывода для иден¬тификации угроз безопасности рабочих мест в корпоративной сети // Обозрение прикладной и промышленной математики, 2002. - Т. 9. - Вып. 1 - С. 264.

18.Чернов А.В. О применении современных методов кодирования информа¬ции в автоматизированных системах управления на транспорте // Обозрение прикладной и промышленной математики, 2002. - Т. 9. - Вып. 2. - С.484 - 485.

19.Лябах Н.Н., Шабельников А.Н., Чернов А.В. Безопасность и качество функционирования программного обеспечения информационно-управляющих систем на транспорте // Вестник Всероссийского научно-исследовательского ин¬ститута железнодорожного транспорта, 2001.-. № 5. - С. 17 - 20.

20.Чернов А.В. Учет свойства безопасности функционирования программ-ного обеспечения информационно-управляющих транспортных систем // Извес¬тия вузов. Северо-Кавказский регион. Технические науки, 2001.-№ 3. -С. 17 - 20.

21.Чернов А.В. Формализация критериев технологической безопасности ин¬формационных систем на транспорте // Обозрение прикладной и промышленной математики, 2001. - Т. 8. - Вып. 2. - С. 721 - 722.

22.Чернов А.В., Ульяницкий Е.М. Способ повышения точности регистратора параметров аварийного режима воздушной линии электропередачи // Известия высших учебных заведений. Электромеханика, 1997. - № 1-2. - С. 114 - 117.

23.Чернов А.В., Ульяницкий Е.М. Использование масштабирующего усили¬теля в регистраторах параметров аварийного режима воздушной линии электро¬передачи // Известия высших учебных заведений. Электромеханика, 1997. -№1 -2. - С. 74 - 75.

Монография

24.Чернов А.В. Модели и методы дискретного анализа и синтеза в задачах технической диагностики информационных систем: Монография. - Ростов н/Д: Изд-во ЮФУ, 2009. - 170 с.

Другие работы, в которых опубликованы результаты диссертации

25.Белявский Г.И., Чернов А.В. Логические дифференциальные операторы и уравнения над конечными полями и параллельные вычисления // Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сб. науч. тр. V-й Международной научно-технической конференции (Коломна, 20-3-мая 2009 г.) В 2-х томах. Т. 1. - М.: Физматлит, 2009. - С.190 - 197.

26.Чернов А.В. О задаче онлайновой диагностики и синтеза контролируе¬мых информационных систем // Матер. юбилейной Междунар. науч.-практ. конф. «Строительство-2009». - Ростов н/Д: РГСУ, 2009. - С. 167 - 169.

27.Гуда А.Н., Чернов А.В. Анализ безопасности функционирования про-граммного обеспечения информационных систем на транспорте на основе логи¬ческого дифференциального исчисления // Телекоммуникационные и информа¬ционные технологии на транспорте России / Аннотации докладов Шестой меж-дунар. науч. -практ. конф. «ТелекомТранс-2008». - Сочи, 2008. - С. 43 - 44.

28.Чернов А.В., Рассказов Д.А. Программный комплекс моделирования и синтеза отказоустойчивых контролируемых информационных систем. Св-во о гос. регистрации № 70200600585, св-во об отраслевой регистрации разработки № 8038, 2008.

29.Чернов А.В. Двоичные динамические модели диагностики телекоммуни¬кационных сетей на основе логического дифференциального исчисления // Управление созданием и развитием систем, сетей и устройств телекоммуникаций / Тр. науч.-практ. конф. Санкт-Петербургского государственного политехниче¬ского университета. - СПб., 2008. - С. 340 - 346.

30.Чернов А.В. Диагностика цифровых устройств на основе анализа помехо¬устойчивости логических функций // Теория, методы и средства измерений, кон¬троля и диагностики / Матер. VIII Междунар. науч.-практ. конф. Южно¬Российского государственного технического университета (НПИ). - Новочеркасск, ЮРГТУ (НПИ), 2007. - С. 97 - 99.

31.Гуда А.Н., Бутакова М.А., Чернов А.В. Концепция моделирования региональных информационных систем железнодорожного транспорта // Телекомму¬никационные и информационные технологии на транспорте России / Сб. докл. Пятой юбил. междунар. науч.-практ. конф. «ТелекомТранс-2007». - Ростов н/Д: РГУПС. С. 32 - 36.

32.Чернов А.В. Методы символьного имитационного моделирования в приложениях к задачам диагностики компьютерных сетей // Пятая междунар. науч.практ. конф. «Теория, методы проектирования, программно-техническая платформа корпоративных информационных систем». - Новочеркасск, ЮРГТУ (НПИ), 2007. - С. 140 -142.

33.Гуда А.Н. Чернов А.В. Задача обеспечения безопасности информационных систем на транспорте в современных условиях // Телекоммуникационные и информационные технологии на транспорте Росси / Аннотации докладов Четвертой междунар. науч.-практ. конф. «ТелекомТранс-2006». - Сочи, 2006. - С. 67 - 68.

34.Гуда А.Н. Чернов А.В. Обеспечение безопасности транспортных информационных систем // Телекоммуникационные и информационные технологии на транспорте России / Сб. докл. Четртой междунар. науч.-практ. конф. «Телеком-Транс 2006». - Сочи, 2006. - С. 275 - 281.

35.Бутакова М.А., Чернов А.В. Модель пакетного маршрутизирующего коммутатора в корпоративной телекоммуникационной сети // Тез. докл. XIV Межд. конф. «Математика. Экономика. Образование». - Ростов н/Д: Изд-во РГУ, 2006. - С. 51 - 52.

36.Чернов А.В. Байесовская модель информационной сети на транспорте с учетом дестабилизирующих факторов // Новые технологии управления движением технических объектов. - Ростов-н/Д: Изд-во СКНЦ ВШ, 2002. - Вып. 3. - Ч. 2. -С. 38 -40.

37.Чернов А.В. Совершенствование средств защиты автоматизированных рабочих мест в корпоративной сети СКЖД // Тр. Второй науч. конф. «Безопас¬ность информационных технологий». - Таганрог, 2002. - С. 26 - 29.

38.Чернов А.В. Байесовский подход в обеспечении информационной безо¬пасности корпоративных компьютерных сетей // X межд. конф. «Математика. Экономика. Образование». Тез. докл. - Ростов н/Д: Изд-во РГУ, 2002. - С. 242 - 243.

39.Чернов А.В., Шабельников А.Н. Анализ условий безопасного программного управления в автоматизированных системах железнодорожного транспорта // Сб. матер. Первой ведомств. конф. МПС «Проблемы обеспечения информационной безопасности на федеральном железнодорожном транспорте». ГУП АЦ «Желдоринформзащита МПС». - СПб., 2001. - С. 101 - 104.

40.Чернов А.В. Методы формальных спецификаций программного обеспечения для безопасных информационных транспортных систем // Тр. науч.-теор. конф. проф.-препод. состава «Транспорт-2001». Ч. 1. - Ростов н/Д: РГУПС, 2001. -С. 63 -64.

41.Бутакова М.А., Чернов А.В. Способ снижения информационной нагрузки диспетчерского персонала в условиях ограниченного времени // Сб. докл. 6-й междунар. науч.-практ. конф. «ИНФОТРАНС - 2001». -Ростов н/Д: 2001. -С. 326 - 328.

42.Бутакова М.А., Чернов А.В. Об одном методе оценки качества программ¬ного обеспечения // Тр. науч.-теор. конф. проф.-препод. состава «Транспорт-2001». Ч. 1. - Ростов н/Д: РГУПС, 2001. - С. 28.

43.Ульяницкий Е.М., Хошафян О.С., Чернов А.В. О свойствах архитектуры распределенных вычислительных систем на железнодорожном транспорте // Вестник Ростовского государственного университета путей сообщения, 2000. -№ 2. -С. 104 - 107.

44.Бутакова М.А., Чернов А.В. О развитии технологий обмена информацией в автоматизированных системах железнодорожного транспорта // Тр. Второй междунар. отрасл. науч.-техн. конф. «Актуальные проблемы развития железнодорожного транспорта и роль молодых ученых в их решении». - Ростов н/Д: РГУПС, 2000. - С. 17.

45.Чернов А.В. Информационные системы на основе распределенных вычислительных систем // Труды 59-й вузовской науч.-теор. конф. проф.-препод. состава «Транспорт-2000». - Ростов н/Д: РГУПС, 2000. - С. 12.

46.Чернов А.В. О формализованном описании иерархических структур программных средств // Тр. межд. науч.-практ. конф. «Проблемы и перспективы раз¬вития железнодорожного транспорта». - Ростов н/Д: РГУПС, 1999. - С. 98 - 99.

47.Чернов А.В. Сравнительный анализ показателей качества современных операционных систем // Матер. 58-й науч. конф. проф.-преп. состава РГУПС. - Ростов н/Д: РГУПС, 1999. - С. 32.

48.Чернов А.В. Исследование критериев качества программных средств ин¬формационных систем // Тез. докл. отрасл. науч.-практ. конф. «Актуальные про¬блемы развития железнодорожного транспорта и роль молодых ученых в их ре¬шении». - Ростов н/Д: РГУПС, 1998. - С. 227.

49.Чернов А.В. Проблемы системного анализа качества программного обес¬печения // Матер. межгосуд. науч.-практ. конф. «Экономико-организационные проблемы проектирования и применения информационных систем». – Ростов н/Д: РГЭА, 1997. - С. 24.

50.Чернов А.В. О принципах построения устройства диагностики в микро¬процессорной системе релейной защиты // Вопросы совершенствования систем автоматики, телемеханики и связи на железнодорожном транспорте: Межвуз. сб. науч. тр. - Ростов н/Д: РГУПС, 1996. - С. 33 - 38.

51.Чернов А.В. О подходе к оптимизации структуры операционной системы для компьютерной релейной защиты // Информационные системы на железнодо¬рожном транспорте: Межвуз. сб. науч. тр. / Под ред. д.т.н., проф. Е.М. Ульяниц-кого. - Ростов н/Д: РГУПС, 1998. - С. 15 - 19.

52.Ульяницкий Е.М., Чернов А.В. Алгоритм распределения программ в мультикомпьютерной системе релейной защиты // Матер. межгосуд. науч.-практ. конф. «Организационно-экономические проблемы проектирования и применения информационных систем». - Ростов н/Д: РГЭА, 1996. - С. 28 - 29.