English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и лабораторий Проблем теоретической кибернетики и Математичеких проблем искусственного интеллекта механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сайта Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Канал кафедры МаТИС в Телеграм
 Объявления объявления о предстоящих событиях на кафедре, в лаборатории, на мех-мате
 Обновления анонсы новых материалов на нашем сервере
 Рассылка подписка на почтовую рассылку новостей и обновлений сервера

Объявления

18.10.21   20 октября – доклад Д.В. Алексеева и С.А. Нерсисяна "Моделирование динамики COVID-19 в клетках инфицированного организма" на кафедральном семинаре "Теория автоматов"

В среду, 20 октября, на заседании кафедрального семинара "Теория автоматов" под руководством академика В. Б. Кудрявцева состоится доклад Д.В. Алексеева и С.А. Нерсисяна "Моделирование динамики COVID-19 в клетках инфицированного организма".

Заседание состоится в 18-30 в смешанном формате. Очная часть будет проведена в аудитории 1201 (кафедра МаТИС), дистанционная – в zoom-конференции
https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09
Meeting ID: 886 6514 1982
Passcode: 965515

Анонс доклада:

Системы обыкновенных дифференциальных уравнений являются общепринятым способом для моделировании динамики вирусной инфекции в клетках инфицированного организма. В докладе будет представлена система из двух уравнений, описывающих число здоровых клеток и вирусных частиц SARS-CoV-2. Решение данной системы уравнений найдено в явном виде, также получены выражения для пиковой вирусной нагрузки и времени ее наступления.


18.10.21   20 октября – доклад Е.Кузнецовой на семинаре проф. Гасанова Э.Э. "Вопросы сложности алгоритмов поиска"

В среду, 20 октября, в 15:00 на семинаре "Вопросы сложности алгоритмов поиска" под руководством д.ф.-м.н, профессора Гасанова Э.Э. с докладом "Нижняя оценка числа состояний клеточного автомата, реализующего двунаправленное движение на луче со скоростью движения вперёд 1/3" выступит Екатерина Кузнецова.

Форма проведения – онлайн (zoom):

https://us02web.zoom.us/j/9423397823?pwd=NS90YzgyVUxrL3VtaTB1M0xKdFlsdz09

Идентификатор конференции: 942 339 7823

Код доступа: 944214

Аннотация доклада

В докладе рассматривается движение точки на экране, который реализован, как клеточный автомат на бесконечной в правую сторону полосе шириной в одну клетку. Изучается класс законов движения этого автомата, для которых движение вперёд возможно со скоростью, не большей, чем 1/3. Движение вперёд на одну клетку осуществляется с двумя остановками. Возможно движение назад со скоростью 1, также точка может стоять на месте произвольное количество тактов.

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


10.10.21   Кафедра МаТИС поздравляет А.А. Часовских с успешной защитой докторской диссертации!

Кафедра Математической теории интеллектуальных систем сердечно поздравляет Анатолия Александровича Часовских с успешной защитой докторской диссертации на тему "Полнота и выразимость в классах линейных автоматов".


10.10.21   Первое информационное письмо XII Международной научной конференции «Интеллектуальные системы и компьютерные науки»

С 29 ноября по 3 декабря 2021 года будет проходить XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», приуроченная к 85-летию со дня рождения В.Б. Кудрявцева. В приложении – первое информационное письмо.


10.10.21   13 октября – доклад Р.А.Ищенко "Восстановление диаграммы переходов автомата по его графу" на кафедральном семинаре "Теория автоматов"

В среду, 13 октября, на заседании кафедрального семинара "Теория автоматов" под руководством академика В. Б. Кудрявцева состоится доклад Р. А. Ищенко "Восстановление диаграммы переходов автомата по его графу".

Заседание состоится в 18-30 в смешанном формате. Очная часть будет проведена в аудитории 1201 (кафедра МаТИС), дистанционная – в zoom-конференции:

https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09

Meeting ID: 886 6514 1982
Passcode: 965515

Анонс доклада:

Если мы сотрем все отметки на ребрах диаграммы Мура, то получим ориентированный граф. Обратная задача гораздо сложнее. В докладе рассматривается вопрос, в каких случаях ребра ориентированного графа можно разметить так, чтобы получить диаграмму Мура автомата заданного класса (группового, дефинитного, абелевого), оценить число решений этой задачи, а также получить условия, когда такое восстановление единственно и существует эффективный алгоритм для осуществления данной разметки.


10.10.21   1-9 ноября 2021 г. в университете Сириус – школа "Формальные методы дизайна и верификации программного обеспечения"

1-9 ноября 2021 в университете Сириус (г. Сочи) состоится студенческая школа "Формальные методы дизайна и верификации программного обеспечения", подробности можно найти на странице https://sochisirius.ru/obuchenie/graduates/smena1089/5250.

Описание учебной программы можно найти по адресу https://docs.google.com/document/d/1olGc2eUTwFKynSGaw73NrrwrRkOWxtXR/edit?usp=sharing&ouid=105126782492556654297&rtpof=true&sd=true.

Школа проводится при поддержке Междисциплинарной научно-образовательной школы МГУ «Мозг, когнитивные системы, искусственный интеллект».

Участие в школе бесплатное, включая перелет из Москвы в Сочи и обратно.


23.09.21   Объявляется набор на третью совместную образовательную программу МГУ-Huawei SHARE

Уважаемые слушатели и потенциальные участники нового набора программы SHARE 2021-2023!

Онлайн презентация программы SHARE 2021-2023 пройдет 30 сентября в 17.00. Для участия в презентации, пожалуйста, заполните анкету на Timepad.

Ссылка на подключение к онлайн-встрече будет выслана на указанный Вами в анкете e-mail.

Заполнить анкету для участия в конкурсном отборе на программу SHARE 2021-2023 можно до 2 октября 18.00 по ссылке: https://forms.yandex.ru/b2b/61449a6ea334c3fe7b462fd4/.

По всем организационным вопросам просьба писать на почту SHARE@intsys.msu.ru либо в Telegram ответственному секретарю программы, Кочетковой Татьяне, +79255976919


20.09.21   23 сентября – доклад Д.А. Шачнева «Методы поиска экспертов в CRIS-системах с учётом тематической принадлежности и значимости результатов» на спецсеминаре «Теория дискретных функций и приложения» под руководством проф. Бабина Д.Н.

В четверг, 23 сентября в 16:45 на спецсеминаре «Теория дискретных функций и приложения» под руководством проф. Бабина Д.Н. и с.н.с. Мазуренко И.Л. состоится доклад Д.А. Шачнева «Методы поиска экспертов в CRIS-системах с учётом тематической принадлежности и значимости результатов». Доклад о работающей системе автоматической обработки естественных языков.

Код конференции:
https://us04web.zoom.us/j/4528320761?pwd=cWo0SWpKUUxnRUxJWWlrMzhkOG1udz09.


20.09.21   22 сентября – доклад А.Пропажина "Построение кратчайшего пути клеточными автоматами с локаторами при наличии препятствий" на семинаре проф. Э.Э.Гасанова "Вопросы сложности алгоритмов поиска"

В среду, 22 сентября в 15:00 на семинаре "Вопросы сложности алгоритмов поиска" под руководством д.ф.-м.н, профессора Гасанова Э.Э. с докладом "Построение кратчайшего пути клеточными автоматами с локаторами при наличии препятствий" выступит Артем Пропажин.

Форма проведения – онлайн (zoom):
https://us02web.zoom.us/j/9423397823?pwd=NS90YzgyVUxrL3VtaTB1M0xKdFlsdz09
Идентификатор конференции: 942 339 7823
Код доступа: 944214


20.09.21   22 сентября – доклад Д. В. Ронжина "О полноте в классе линейных автоматов, функционирующих над бесконечными структурами" на кафедральном семинаре "Теория автоматов"

В среду, 22 сентября, на заседании кафедрального семинара "Теория автоматов" под руководством академика В. Б. Кудрявцева состоится доклад Д. В. Ронжина "О полноте в классе линейных автоматов, функционирующих над бесконечными структурами".

Заседание состоится в 18-30 в смешанном формате. Очная часть будет проведена в аудитории 1201 (кафедра МаТИС), дистанционная – в zoom-конференции

https://us02web.zoom.us/j/84871716165?pwd=bXRwaTZjVHM4QVFudlh0VVlNanFNZz09

Meeting ID: 848 7171 6165
Passcode: 495724

Анонс доклада:
В докладе будут представлены результаты исследования вопросов полноты по операциям суперпозиции (S) и композиции (K), а также А-замыкания в классе линейных автоматов, функционирующих над полем рациональных чисел и кольцом двоично-рациональных чисел. В случае поля рациональных чисел показано отсутствие конечных К-полных систем, а также наличие счетных К-полных и S-полных систем. Также показано наличие S-полных систем, не содержащих базиса. В случае двоично-рациональных чисел выделен счетный набор А-предполных классов, и в терминах данных классов сформулированы условия А-полноты систем линейных автоматов с добавками. Исследован вопрос алгоритмической разрешимости проверки непринадлежности конечных систем линейных автоматов найденным А-предполным классам, а также вопросы конечной порожденности по операциям А-замыкания упомянутых А-предполных классов.


13.09.21   15 сентября – доклад Ронжина Д.В. "Линейные автоматы над подкольцами рациональных чисел" на семинаре проф. Гасанова Э.Э. "Вопросы сложности алгоритмов поиска"

15 сентября в 15:00 на семинаре "Вопросы сложности алгоритмов поиска" под руководством д.ф.-м.н, профессора Гасанова Э.Э. состоится доклад выпускника кафедры МаТИС Ронжина Дмитрия Владимировича.

Тема доклада: .Линейные автоматы над подкольцами рациональных чисел.

Аннотация: Одной из классических задач теории автоматов является задача проверки полноты конечных автоматных систем по заданным операциям замыкания. Известно, что на множестве конечных автоматов задачи проверки конечных автоматных систем на А-полноту и К-полноту являются алгоритмически неразрешимыми, однако в случае линейных автоматов, функционирующих над конечными полями Часовских Анатолием Александровичем было показано, что эти же задачи являются алгоритмически разрешимыми.

В докладе будут представлены результаты исследования автором вопросов полноты и выразимости в классе линейных автоматов, функционирующих над некоторыми бесконечными структурами – полем рациональных и кольцом двоично-рациональных чисел. Будут сформулированы условия полноты для конечных систем с добавками по операциям композиции, суперпозиции и А-замыкания.

Форма проведения – онлайн (zoom):
https://us02web.zoom.us/j/9423397823?pwd=NS90YzgyVUxrL3VtaTB1M0xKdFlsdz09
Идентификатор конференции: 942 339 7823
Код доступа: 944214


Архив новостей...
   © 2001- г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ Написать вебмастеру   
Последние новости - в телеграм-канале кафедры МаТИС: Канал кафедры МаТИС в Телеграм
Rambler's Top100 Рейтинг@Mail.ru