Научная тема: «ПРИКЛАДНОЕ МАТЕМАТИЧЕСКОЕ, АЛГОРИТМИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ КОМПЬЮТЕРНОГО АНАЛИЗА ГИБРИДНЫХ СИСТЕМ»
Специальность: 05.13.11
Год: 2009
Отрасль науки: Технические науки
Основные научные положения, сформулированные автором на основании проведенных исследований:
  1. В отличие от лучших мировых аналогов, впервые для эффективной организации вычислительного эксперимента для режимов ГС разной жесткости в ПК ИСМА предложено использовать явные одношаговые и адаптивные методы компьютерного исследования ГС.
  2. Разработаны теоретические основы управления шагом моделирования с учетом жесткости режимов ГС и устойчивости методов в условиях односторонних событий. Впервые предложен эффективный алгоритм корректного обнаружения событий, который позволяет исследовать ГС с нетривиальными свойствами и особенностями.
  3. В отличие от принятого в практике формализма ГС в виде гибридных автоматов, предложена структурно-символьная спецификация компьютерных моделей со своими функциональными преимуществами разработки и исследования ГС инструментально-ориентированными средствами.
  4. Предложена архитектура ПК ИСМА, которая обеспечивает возможность интерактивного вычислительного эксперимента, необходимого при отладке программных моделей с вариацией параметров и структуры в ходе вычислительного эксперимента. Использована объектно-ориентированная технология с API-библиотеками примитивов и методов, обеспечивающая решение важной проблемы унификации и оперативной расширяемости программного обеспечения.
  5. Предложен графический язык и средства его реализации в виде многопроходного структурного процессора, результатом работы которого является орграф исполняемой модели, однозначно определенный корректностью программной модели.
  6. Впервые предложен предметно-ориентированный бездекларативный символьный язык и средства его реализации в виде разработанного и реализованного методом рекурсивного спуска синтаксического распознавателя и семантического анализатора, в результате работы которого формируется матрица переходов, функционально тождественная диаграмме Харела, которая однозначно управляет режимами ГС.
  7. Предложены и реализованы в рамках ПК ИСМА средства графической интерпретации результатов вычислительного эксперимента с моделями ГС, которые в отличие от известных мировых аналогов позволяют интерактивно манипулировать графическими данными.
Список опубликованных работ
1.Шорников Ю.В. Методика повышения точности программных сигналов на станках с ЧПУ с использованием инструментальных средств ИСМА / Ю.В. Шорников, Ю.Б. Соколовский // Научный вестник НГТУ. – 2004. – №1(16). – С. 17-21.

2.Шорников Ю.В. Компьютерное моделирование билиарной системы специализированными средствами / Ю.В. Шорников // Научный вестник НГТУ. – 2004. – №3(18). – С. 31-42.

3.Аносов В.Н. Математическая модель аккумуляторной батареи как элемента САУ транспортного средства / В.Н. Аносов, Ю.В. Шорников // Научный вестник НГТУ. – 2005. – № 3(21). – С. 131-136.

4.Аносов В.Н. Характеристики управляющих воздействий тягового электропривода автономного напольного транспортного средства / В.Н. Аносов, В.М. Кавешников, Ю.В. Шорников // Научный вестник НГТУ. – 2005. – № 3(21). – С. 37-44.

5.Новиков Е.А. Контроль устойчивости метода Фельберга седьмого порядка точности / Е.А. Новиков, Ю.В. Шорников // Вычислительные Технологии. – 2006. – № 4. – Т.11. – С. 65-72.

6.Шорников Ю.В. Визуально-лингвистическое моделирование гибридных систем / Ю.В. Шорников // Научный вестник НГТУ. – 2006. – № 2(23). – С. 65-72.

7.Новиков Е.А. Алгоритм переменного порядка и шага на основе стадий метода Фельберга седьмого порядка точности / Е.А. Новиков, Ю.В. Шорников, О.В. Никонова // Научный вестник НГТУ. – 2006. – № 4(25). – С. 105-118.

8.Шорников Ю.В. Моделирование сложных динамических и гибридных систем в ИСМА / Ю.В. Шорников // Научный вестник НГТУ. – 2007. – №1(26). – С. 79-88.

9.Новиков Е.А. Контроль устойчивости метода Дорманда-Принса / Е.А. Новиков, Ю.В. Шорников // Сибирский журнал индустриальной математики. – 2007. – №4(32). – С. 95-103.

10.Шорников Ю.В. Инструментально-ориентированный анализ жестких динамических и гибридных систем явными методами / Ю.В. Шорников // Системы управления и информационные технологии. – 2007. – №2(28). – С. 72-75.

11.Горячкин В.В. Исследование системы автосопровождения методом моделирования гибридных систем в среде ИСМА / В.В. Горячкин, Ю.В. Шорников // Информационно-измерительные и управляющие системы. – 2008. – №6. – Т.6. – С. 65-69.

12.Шорников Ю.В. Моделирование гибридных систем явными методами / Ю.В. Шорников // Системы управления и информационные технологии. – 2007. – № 4(30). – С. 307-311.

13.Новиков Е.А. Численное моделирование гибридных систем явными методами / Е.А. Новиков, Ю.В. Шорников // Вычислительные технологии. – 2008. – №2. – Т.13. – С. 88-104.

14.Шорников Ю.В. Визуально – лингвистическое моделирование билиарной системы / Ю.В. Шорников, И.Н. Томилов // Научный вестник НГТУ. – 2008. – №4(33). – С. 53 – 61.

15.Шорников Ю.В. Теория и практика языковых процессоров: Учеб. пособие. – Новосибирск: Изд-во НГТУ. – 2004. – 208с.

16.Новиков Е.А. Особенности компьютерного моделирования кинематики сыпучих сред / Е.А. Новиков, Ю.В. Шорников // Вестник КрасГАУ. – 2006. – №10. – С. 77-82

17.Новиков А.Е. Аппроксимация матрицы Якоби в (2,2)-методе решения жестких систем / А.Е. Новиков, Е.А. Новиков, Ю.В. Шорников // Докл. АН ВШ РФ. – 2008. – №1(10). – С. 31-44.

18.Шорников Ю.В. Автоматизация построения областей устойчивости одношаговых методов / Ю.В. Шорников, Д.Н. Достовалов // Докл. АН ВШ РФ. – 2008. – №2(12). – С. 135-144.

Зарегистрированные в Роспатент и ОФАП

19.Шорников Ю.В. Программа исследования областей устойчивости численных методов «RStable» / Ю.В. Шорников, Е.А. Новиков, М.В. Солодовникова // Свидетельство об официальной регистрации программы для ЭВМ № 50200700692. – М.: ВНТИЦ. – 2007.

20.Шорников Ю.В. Адаптивный алгоритм численного анализа жестких систем / Ю.В. Шорников, Е.А. Новиков, М.С. Денисов // Свидетельство об официальной регистрации программы для ЭВМ № 2007611459. – М.: Роспатент. – 2007.

21.Шорников Ю.В. Программа языкового процессора с языка LISMA (Language of ISMA) / Ю.В. Шорников, И.Н. Томилов // Свидетельство об официальной регистрации программы для ЭВМ № 2007611024. – М.: Роспатент. – 2007.

22.Шорников Ю.В. Аппроксимация звена чистого запаздывания рядом Паде в программной среде ИСМА / Ю.В. Шорников, М.В. Солодовникова // Свидетельство об официальной регистрации программы для ЭВМ № 50200700715. – М.: ВНТИЦ. – 2007.

23.Шорников Ю.В. Импорт данных в программной среде ИСМА / Ю.В. Шорников, В.С. Дружинин // Свидетельство об официальной регистрации программы для ЭВМ № 50200600117. – М.: ВНТИЦ. – 2006.

24.Шорников Ю.В. Методология анализа нелинейных динамических систем методом фазовой плоскости в среде ИСМА / Ю.В. Шорников, В.С. Дружинин // Свидетельство об официальной регистрации программы для ЭВМ № 50200600116. – М.: ВНТИЦ. – 2006.

25.Шорников Ю.В. Инструментальные средства машинного анализа / Ю.В. Шорников, В.С. Дружинин, Н.А. Макаров, К.В. Омельченко, И.Н. Томилов // Свидетельство об официальной регистрации программы для ЭВМ № 2005610126. – М: Роспатент. – 2005.