|
 |
Шалыто
Анатолий
Абрамович
д.т.н., профессор, заведующий кафедрой технологии программирования СПбГУ ИТМО
|
|
Автоматное управление, эволюционные алгоритмы, верификация на моделях
Большинство ответственных технических систем являются событийными, а используемое
в них управление является автоматным. Для таких систем может осуществляться ко-дизайн –
поведение как аппаратной. так и программной части может быть описано с помощью автоматов.
Автоматы могут быть либо построены эвристически, либо выращены с помощью эволюционных
алгоритмов. Программы, реализующие поведение рассматриваемого класса систем, называются
автоматными. Такие программы могут быть эффективно верифицированы на основе метода Model Checking.
|
| пт 27 апреля |
 |
утренняя секция |
| ауд. 2414 |
|
Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.
Метод сборки контигов геномных последовательностей на основе совместного применения графов де Брюина и графов перекрытий
|
|
Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.
Метод сборки генома с использованием технологии MapReduce
|
|
Афанасьева А.С.
Выбор функции приспособленности особей генетического алгоритма с помощью обучения с подкреплением
|
|
Егоров К.В., Царев Ф.Н., Шалыто А.А.
Построение автоматов управления системами со сложным поведением на основе верификации и сценариев работы
|
|
Соколов А.А.
Генерация конечных автоматов с помощью генетических алгоритмов для решения задачи о поиске цели сенсорным агентом в области с препятствиями
|
|
Законов А.Ю.
Построение автоматных моделей веб-приложений
|
|
Банных А.Г.
Применение деревьев для реализации массовых операций на многомерных массивах данных
|
|
Коноплев Ю.Ю.
Генерация слоев нейронных сетей каскадной корреляции Фальмана с использованием генетических алгоритмов
|
|
Бочкарев А.И.
Портирование генетических алгоритмов на платформу OpenCL на примере генерации автомата в задаче "Умный муравей"
|
|
Буздалов М.В.
Применение эволюционных алгоритмов для покрытия кода тестами
|
|
Чивилихин Д.С., Ульянцев В.И.
Применение муравьиных алгоритмов для построения конечных автоматов
|
|
Малаховски Я.М.
Полиморфные по числу аргументов функции
|
|
Ульянцев В.И., Царев Ф.Н.
Применение методов решения задачи удовлетворения ограничениям для построения управляющих конечных автоматов по сценариям работы
|
|
Масальских А.В.
О методе восстановления функций двух переменных, заданных таблично, посредством линейных комбинаций сдвигов и сжатий одной функции
|
|
Родиков Д.Е.
Иерархическое восстановление разреженной структуры пространства и точек съемки по набору фотографий
|
|
Malakhovski J.
Dependent polyvariadic functions
|
Если хотите выступить в этой секции (на этом семинаре), то напишите письмо с тезисами своего выступления:
|
|
