russian papers & IP

Программы для ЭВМ

  1. Бужинский И.П., Закирзянов И.Т., Миронович В.А., Казаков С.В., Лукин М.А., Буздалова А.С., Ульянцев В.И., Шалыто А.А. Программное средство для генерации дискретной формальной модели объекта управления по примерам поведения // Свидетельство о регистрации программы для ЭВМ. № 2018619728. Дата регистрации – 11.07.2018

  2. Чивилихин Д.С., Корнеев Г.А., Сергушичев А.А., Станкевич А.С., Ульянцев В.И., Буздалов М.В., Шалыто А.А. Программное средство для тестирования кибер-физических систем в замкнутом цикле на основе проверки моделей // Свидетельство о регистрации программы для ЭВМ. № 2018619730. Дата регистрации – 11.07.2018.

  3. Авдюхин Д.А., Ульянцев В.И., Чивилихин Д.С., Станкевич А.С., Шалыто А.А. Программное средство для анализа соответствия моделей сценариям исполнения // Свидетельство о регистрации программы для ЭВМ. № 2017617357. Дата регистрации – 21.09.2017. [pdf]

  4. Чивилихин Д.С., Ульянцев В.И. Программное средство для построения базисных функциональных блоков по сценариям работы // Свидетельство о государственной регистрации программы для ЭВМ. № 2017612567. Дата регистрации – 01.03.2017. [pdf]

  5. Закирзянов И.Т., Ульянцев В.И., Шалыто А.А. Программный комплекс методов машинного обучения DFA-Inductor для построения детерминированных конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2016660665. Дата регистрации – 20.09.2016. [pdf]

  6. Русин Н.С., Ульянцев В.И., Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Шалыто А.А. Программное средство преобразования полученных методами машинного обучения управляющих автоматов в формат MATLAB/Stateflow // Свидетельство о регистрации программы для ЭВМ. № 2015619224. Дата регистрации – 27.08.2015. [pdf]

  7. Чивилихин Д.С., Ульянцев В.И. Библиотека параллельных муравьиных алгоритмов для построения управляющих конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2015610291. Дата регистрации – 12.01.2015. [pdf]

  8. Чивилихин Д.С., Ульянцев В.И. Программное средство, реализующее муравьиный алгоритм для построения конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2013661249. Дата регистрации – 03.12.2013. [pdf]

  9. Ульянцев В.И. Программный комплекс для построения и тестирования управляющих конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2013619840. Дата регистрации – 17.10.2013. [pdf]

  10. Ульянцев В.И. Программное средство для построения КНФ-формулы по графу совместимости вершин дерева сценариев работы программы // Свидетельство о регистрации программы для ЭВМ. № 2012660438. Дата регистрации – 20.11.2012. [is.ifmo.ru]

  11. Ульянцев В.И., Царев Ф.Н. Программное средство для построения графа совместимости вершин дерева сценариев работы программы // Свидетельство о регистрации программы для ЭВМ. № 2012616462. Дата регистрации – 18.07.2012. [is.ifmo.ru]

Научные статьи на русском

  1. Ульянцев В.И., Царев Ф.Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы // Научно-технический вестник информационных технологий, механики и оптики. 2012. №1(77), с. 96–100 [elibrary]

  2. Чивилихин Д.С., Ульянцев В.И. Метод построения управляющих автоматов на основе муравьиных алгоритмов // Научно-технический вестник информационных технологий, механики и оптики. 2012. №6(82), с. 72–76 [ntv.ifmo.ru] [elibrary]

  3. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации / XII Всероссийское совещание по проблемам управления ВСПУ-2014. Москва, 16–19 июня 2014 г.: труды. [Электронный ресурс] М.: Институт проблем управления им. В.А. Трапезникова РАН, 2014. С. 4531–4542. [elibrary]

  4. Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем / XII Всероссийское совещание по проблемам управления ВСПУ-2014. Москва, 16–19 июня 2014 г.: труды. [Электронный ресурс] М.: Институт проблем управления им. В.А. Трапезникова РАН, 2014. С. 3159–3166. [elibrary]

  5. Ульянцев В.И., Казаков С.В., Дубинкина В.Б., Тяхт А.В., Алексеев Д.Г. MetaFast – программное средство для высокопроизводительного сравнительного анализа метагеномов / Сборник трудов IV международной научно-практической конференции “Постгеномные методы анализа в биологии, лабораторной и клинической медицине”. Казань, Россия, 29 Октября – 1 Ноября, 2014. С. 103. [pdf]

  6. Панченко Е.В., Ульянцев В.И. Применение методов решения задачи о выполнимости квантифицированной булевой функции для построения управляющих конечных автоматов по сценариям работы и темпоральным свойствам // Научно-технический вестник информационных технологий, механики и оптики. 2013. №4(86), с. 151–153
    [pdf] [elibrary]

  7. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Метод построения конечных автоматов на основе муравьиного алгоритма / Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник тезисов докладов VII-й Международной научно-технической конференции (Коломна, 20-22 мая 2013 г.). В 3-х томах. Т.2. - М.: Физматлит, 2013. с. 931–942
  8. Чивилихин Д.С, Ульянцев В.И. Метод построения конечных автоматов на основе муравьиного алгоритма / Сборник тезисов докладов конгресса молодых ученых, Выпуск 1. СПб: НИУ ИТМО. 2013. с. 235-236
  9. Ульянцев В.И. Метод построения управляющих конечных автоматов по сценариям работы на основе решения задачи удовлетворения ограничений / Научные работы участников конкурса «Молодые ученые НИУ ИТМО» 2012 года. – СПб: НИУ ИТМО, 2013. С. 256–260

  10. Чивилихин Д.С, Ульянцев В.И. Построение детерминированных конечных автоматов по зашумленным обучающим наборам с помощью алгоритма оптимизации муравьиной колонии / Научные работы участников конкурса «Молодые ученые НИУ ИТМО» 2012 года. – СПб: НИУ ИТМО, 2013. С. 285–292

  11. Ульянцев В.И. Применение методов решения задачи удовлетворения ограничениям для построения управляющих конечных автоматов по сценариям работы / Сборник тезисов докладов конгресса молодых ученых, Выпуск 1. Труды молодых ученых. СПб: НИУ ИТМО, 2012. – 246 с.

  12. Чивилихин Д.С., Ульянцев В.И. Применение муравьиных алгоритмов для построения конечных автоматов / Сборник тезисов докладов конгресса молодых ученых, Выпуск 1. Труды молодых ученых. СПб: НИУ ИТМО, 2012. – 246 с.

  13. Чивилихин Д. С., Ульянцев В. И. Применение муравьиных алгоритмов для построения конечных автоматов / Всероссийская научная конференция по проблемам информатики (СПИСОК-2012). СПб.: ВВМ. СПбГУ. 2012, с. 409, 410.

  14. Ульянцев В. И., Царев Ф. Н. Применение методов решения задачи удовлетворения ограничениям для построения управляющих конечных автоматов по сценариям работы / Всероссийская научная конференция по проблемам информатики (СПИСОК-2012). СПб.: ВВМ. СПбГУ. 2012, с. 444, 445.

  15. Чивилихин Д.С., Ульянцев В.И. Применение муравьиных алгоритмов для построения конечных автоматов / Труды XIX Всероссийской научно-методической конференции Телематика’2012. Том 1. СПб: Университетские телекоммуникации, 2012. с. 145 [tm.ifmo.ru]

  16. Бужинский И.П., Ульянцев В.И. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров / Сборник докладов XV Международной конференции по мягким вычислениям и измерениям (SCM`2012). СПб: СПбГЭТУ “ЛЭТИ”, 2012. Т. 1, с. 250 – 253

  17. Бужинский И.П., Ульянцев В.И, Шалыто А.А. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров / Сборник трудов Mеждународного конгресса по интеллектуальным системам и информационным технологиям IS&IT’2012. М.: Физматлит, 2012. Т. 1, с. 15-20. [pdf]

  18. Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы / Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM’2011). - Санкт-Петербург: СПбГЭТУ, 2011. Т. 2, с. 69-75.

  19. Ульянцев В.И., Вихарев А.К., Шалыто А.А. Применение алгоритма EDSM для построения управляющих конечных автоматов по сценариям работы / Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM’2011). - Санкт-Петербург, 2011. Т. 2, с. 76-80.

  20. Ульянцев В.И., Царев Ф.Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы / Список-2011: материалы межвузовской научной конференции по проблемам информатики. - Санкт-Петербург: ВВМ, 2011. С. 356-358. - 476 с.

  21. Ульянцев В.И. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы / Сборник тезисов докладов конференции молодых ученых, Выпуск 1. Труды молодых ученых – СПб: СПбГУ ИТМО, 2011. – 295 с.

  22. Ульянцев В.И. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы / Аннотированный сборник научно-исследовательских выпускных квалификационных работ бакалавров и специалистов НИУ ИТМО – СПб: НИУ ИТМО, 2011. с. 35-38 [fppo.ifmo.ru]

Образовательные статьи с разборами задач

  1. Смыкалов В.П., Замятин Е.И., Ульянцев В.И. Задача «Прогулка по парку» // Компьютерные инструменты в школе. 2017. № 1, с. 12–15. [ipo.spb.ru]

  2. Шовкопляс Г.Ф., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Починка забора» // Компьютерные инструменты в школе. 2014. № 1, с. 22–25. [ipo.spb.ru] [pdf]

  3. Яковлева Д.В., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «НОД И НОК» // Компьютерные инструменты в школе. 2014. № 2, с. 30–33. [ipo.spb.ru] [pdf]

  4. Комаров А.В., Кротков П.А., Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Телесъемка» // Компьютерные инструменты в школе. 2013. № 1, с. 24–27. [ipo.spb.ru] [pdf]

  5. Ульянцев В.И., Царев Ф.Н. Готовимся к олимпиадам по информатике. Задача «Времечко» // Компьютерные инструменты в школе. 2013. № 2, с. 31–33. [ipo.spb.ru] [pdf]

  6. Кротков П.А., Поромов С.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Деловые встречи» // Компьютерные инструменты в школе. 2013. № 3, с. 30–34. [ipo.spb.ru] [pdf]

  7. Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Гонки на подах» // Компьютерные инструменты в школе. 2013. № 4, с. 26–28. [ipo.spb.ru] [pdf]

  8. Замятин Е.И., Филиппов Д.С., Ведерников Н.В., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Бутерброды из жуков» // Компьютерные инструменты в школе. 2013. № 5, с. 44–46. [ipo.spb.ru] [pdf]

  9. Ведерников Н.В., Замятин Е.И., Шовкопляс Г.Ф., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Штурм» // Компьютерные инструменты в школе. 2013. № 6, с. 28–31. [ipo.spb.ru] [pdf]

  10. Надточий А.М., Ульянцев В.И., Цыпленков А.Е. Готовимся к олимпиадам по информатике. Задача «Конспирация» // Компьютерные инструменты в школе. 2012. № 1, с. 19-23. [ipo.spb.ru] [pdf]

  11. Ведерников Н.В., Кротков П.А., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «ЕГЭ» // Компьютерные инструменты в школе. 2012. № 2, с. 27-29. [ipo.spb.ru] [pdf]

  12. Кротков П.А., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Собеседование» // Компьютерные инструменты в школе. 2012. № 3, с. 25-27. [ipo.spb.ru] [pdf]

  13. Кротков П.А., Ульянцев В.И., Цыпленков А.Е. Готовимся к олимпиадам по информатике. Задача «Забор» // Компьютерные инструменты в школе. 2012. № 4, с. 30-33. [ipo.spb.ru] [pdf]

  14. Кротков П.А., Кучеренко Д.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Склад Оби-Вана Кеноби» // Компьютерные инструменты в школе. 2012. № 5, с. 23-27. [ipo.spb.ru]

  15. Ведерников Н.В., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Палиндромы» // Компьютерные инструменты в школе. 2012. № 6, с. 30-33. [ipo.spb.ru]

  16. Ульянцев В.И., Царев Ф.Н., Цыпленков А.Е. Готовимся к олимпиадам по информатике. Задача «Производство бензина» // Компьютерные инструменты в школе. 2011. № 1, с. 33-35. [pdf]

  17. Буздалов М.В., Ульянцев В.И., Царев Ф.Н. Готовимся к олимпиадам по информатике. Задача «Две дуги» // Компьютерные инструменты в школе. 2011. № 2, с. 14-16. [pdf]

  18. Ульянцев В.И., Царев Ф.Н. Готовимся к олимпиадам по информатике. Задача «Антипалиндром» // Компьютерные инструменты в школе. 2011. № 3, с. 32-34. [pdf]

  19. Ульянцев В.И., Цыпленков А.Е. Готовимся к олимпиадам по информатике. Задача «Лямбда-растение» // Компьютерные инструменты в школе. 2011. № 4, с. 27-29. [pdf]

  20. Гуровиц В.М., Кротков П.А., Станкевич А.С., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Космический кегельбан» // Компьютерные инструменты в школе. 2011. № 5, с. 20-23. [pdf]

  21. Ведерников Н.В., Кротков П.А., Ульянцев В.И. Готовимся к олимпиадам по информатике. Задача «Хвост графа» // Компьютерные инструменты в школе. 2011. № 6, с. 53-56. [ipo.spb.ru] [pdf]

  22. Ульянцев В.И., Царев Ф.Н. Готовимся к олимпиадам по информатике. Задача «Строки Фибоначчи» // Компьютерные инструменты в школе, №1, 2010 г., с. 36-38 [pdf]

  23. Колганов Р.А., Поромов С.С., Ульянцев В.И., Царев Ф.Н. Готовимся к олимпиадам по информатике. Задача «Обобщенные числа-близнецы» // Компьютерные инструменты в школе, №4, 2010 г., с. 43-45 [pdf]

  24. Комаров А.В., Ульянцев В.И., Цыпленков А.Е. Готовимся к олимпиадам по информатике. Задача «Рыцарский щит» // Компьютерные инструменты в школе, №6, 2010 г., с. 40-42 [pdf]

  25. Сатюков Р.В., Ульянцев В.И., Царев Ф.Н. Олимпиадные задачи по информатике и программированию. Задача «Раскраска кубиков» // Компьютерные инструменты в школе, №5, 2009 г., с. 19-21 [pdf]

  26. Ульянцев В.И., Царев Ф.Н. Олимпиадные задачи по информатике и программированию. Задача «Транспортные узлы» // Компьютерные инструменты в школе, №6, 2009 г., с. 36-37 [pdf]