|
 |
Шалыто
Анатолий
Абрамович
д.т.н., профессор, заведующий кафедрой технологии программирования СПбГУ ИТМО
|
|
Автоматное программирование, машинное обучение и биоинформатика
Большинство ответственных технических систем являются событийными, а используемое
в них управление является автоматным. Для таких систем может осуществляться ко-дизайн –
поведение как аппаратной. так и программной части может быть описано с помощью автоматов.
Автоматы могут быть либо построены эвристически, либо созданы с помощью машинного обучения.
Программы, реализующие поведение рассматриваемого класса систем, называются автоматными.
Такие программы могут быть эффективно верифицированы на основе метода Model Checking.
Методы машинного обучения основаны на применении идей из живых систем, а в биоинформатике
имеет место обратная ситуация – для исследования живых систем применяются дискретная
математика, машинное обучение и программи-рование.
|
| пт 25 апреля |
 |
утренняя секция |
| ауд. 2448 |
|
Петрова И.А., Буздалова А.С., Буздалов М.В.
Повышение эффективности эволюционных алгоритмов при помощи обучения с подкреплением в нестационарной среде
Буздалов М.В., Буздалова А.С.
Сравнительный анализ метода выбора вспомогательных критериев и метода спуска со случайными мутациями
Буздалов М.В., Буздалова А.С.
Асимптотически оптимальные алгоритмы для выбора вспомогательных критериев оптимизации
Чивилихин Д.С., Ульянцев В.И., Шалыто А.А.
Применение метода нарушения симметрии в алгоритмах построения управляющих конечных автоматов
Ведерников Н.В., Демьянюк В.Ю., Кротков П.В., Ульянцев В.И., Шалыто А.А.
Автоматизированное построение управляющих автоматов в среде STATEFLOW при помощи методов машинного обучения
Сметанников И.Б., Буздалов М.В.
Разработка эффективного метода определения самопересечений белковой цепи
Долганов В.О.
Разработка метода сборки транскриптома на основе анализа компонент связности графа де Брёйна
Крамар А.С.
Генетическое картирование по неполным и зашумленным данным
|
|
|
