Участник:ZizovVS — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Create file)
 
Строка 7: Строка 7:
 
== [[Области научных интересов]] ==
 
== [[Области научных интересов]] ==
  
* Формальная верификация программ и цифровой аппаратуры
+
===Вложение графов и структурное моделирование в некоторых моделях вычислений===
* Проверка эквивалентности программ
+
 
* Программно-конфигурируемые сети
+
Проблема моделирования вычислений, выполняемых в различных            структурных моделях, сводится к задаче построения            специальных вложений для графов этих структур. Рассматриваются            различные типы графов и различные виды вложений этих            графов. Изучаются, в частности, вложения древовидных            графов в плоские прямоугольные решетки, вложения графов            некоторых типов в гиперкубы и т.п.
* Временные автоматы
+
  
 
== Семинарские курсы ==
 
== Семинарские курсы ==

Версия 12:51, 13 мая 2025

Зизов Вадим Сергеевич
Зизов Вадим Сергеевич — младший научный сотрудник кафедры МК.

Области научных интересов

Вложение графов и структурное моделирование в некоторых моделях вычислений

Проблема моделирования вычислений, выполняемых в различных структурных моделях, сводится к задаче построения специальных вложений для графов этих структур. Рассматриваются различные типы графов и различные виды вложений этих графов. Изучаются, в частности, вложения древовидных графов в плоские прямоугольные решетки, вложения графов некоторых типов в гиперкубы и т.п.

Семинарские курсы

Спецсеминары