★★★
Главная страница
★★★
Состоявшиеся заседания No.No.1÷64
21 сентября 2021 года
Видеоконференция "Алгебраическая биология и теория систем"
Научный доклад: |
Пора переходить от нейронных сетей к функциональным
и категорным системам: компьютерное зрение, алгебраическая
биология и модели когнитома
|
Докладчик: д.т.н. В.Л.Лабунец (УрГЭУ, Екатеринбург)
Аннотация.
Ключевая мысль: когда-то в 1940-е возникла из рассмотрения мозга в
нейробиологии искусственная нейронная сеть, как способ приближения функций
многих переменных... в вычислительную математику хлынули термины нейрон,
аксон и т.п. Но уже через несколько десятилетий патриарх нейросетевиков
А.И.Галушкин призывал коллег прекратить апеллировать к ассоциациям
нейробиологии, это стало мешать развитию сетевой вычислительной математики
(связи и виды искусственных нейронов, успешные методы Галушкина,
опирающиеся на континуум числа нейронов уже никак не вписывались в
нейробиологию...). Старые идеи нейросетевиков реализовались в наши дни бума
нейросетей глубокого обучения, но это вчерашний день: Учащаются
высказываемые подозрения об исчерпании возможностей традиционных
искусственных нейросетей для вычислений. Отсюда наш ключевой вопрос: а не
пора ли снова серьезно обратиться к мозгу и нейробиологии, черпнуть оттуда
еще лет на сорок идей для вычислительной математики?
21 сентября 2021 года
Видеоконференция "Алгебраическая биология и теория систем"
Научный доклад: |
Алгебраическая биология и искусственный интеллект
|
Докладчик: д.ф.-м.н. С.В.Петухов (ИМАШ, Москва)
Аннотация.
Если вы возьмете 2х2 матрицу [С,A;T,G] из четырех букв
нуклеоснований генетического кода, возведёте эту матрицу в третью
тензорную степень, то вы получите 8х8 матрицу, названную
генетической, элементы которой есть коды в точности
20-аминокислот, их которых строится все живое, именно те 20 из
сотен известных биохимикам аминокислот. Многочисленные симметрии
геноматриц проясняют бесчисленные работы биологов, находящих в
мире растений и животных математические закономерности - числа
Фибоначчи при выстраивании корзинок семян, филлотаксис и т.п.
Появились алгебраические строго математические методы получения,
исходя из генома свойств организмов. Пока это отдельные примеры,
но и основа для новой строго математической науки алгебраическая
биология, отдаленной, конечно, но стратегической целью которой
является именно так и поставленная задача. Ключевое свойство
живого интеллект, и его связь с геномом очевидна. Что может
сказать алгебраическая биология об интеллекте (не только
человека, но и бактерий, насекомых...)? По большому счету
искусственный интеллект, о котором сейчас говорят повсеместно,
суть математическая модель интеллекта. Здесь алгебраическая
биология смыкается с искусственным интеллектом.
21 сентября 2021 года
Видеоконференция "Алгебраическая биология и теория систем"
Научный доклад: |
О теории свёрточных поликатегорий и категорных склеек
|
Докладчик: к.ф.-м.н. Г.К.Толоконников (ФНАЦ ВИМ, Москва)
Аннотация.
Для неживой природы (физических систем), как мы считаем, таким
системообразующим фактором является принцип наименьшего действия (для
классической механики, квантовой механики, квантовой теории поля ...).
Варьируя интеграл действия, мы выводим уравнения движения и прочие
физические законы. В живой природе системообразующим фактором живых
систем является принцип выживания, постулируемый биологами. Возникает
задача аналогично физике развернуть строго математически этот принцип
в биологические законы и свойства биосистем. Удается биомолекулы
(категорная химия) представить категорными системами, это дополняет
алгебраическую биологию новым мощным алгебраическим инструментарием
теории категорий, в результате кроме собственно генетического кода
строгому математическому анализу подвергаются свойства самих молекул
ДНК и РНК, необходимые помимо генома для "вычисления" свойств
организмов, включая, конечно, и их интеллект. Другими словами, сделаны
первые шаги по математическому моделированию живого на основе единых
методов и принципов в отличие от эклектичного понятия "математическая
биология". Непосредственные продвижения имеются в построении
категорных моделей традиционных нейронных сетей и широчайшего их
обобщения на основе высших поликатегорий и категорных склеек.
21 сентября 2021 года
Видеоконференция "Алгебраическая биология и теория систем"
Научный доклад: |
Алгебраическая биология и модели когнитома
|
Докладчик: д.ф.-м.н. Е.Е.Витяев (ИМ СО РАН, Новосибирск)
Аннотация.
Традиционная нейронная сеть всего лишь способ приближения функций многих
переменных, обоснованный теоремой А.Н.Колмогорова о представлении
непрерывных функций многих переменных функциями одной переменой с помощью
операций сложения и композиции. Функция по аргументам выдает значение, на
языке физиологии это отвечает рефлексам: стимул (аргументы) - реакция
(значение функции). Современная физиология далеко ушла от рефлекторной
теории высшей нервной деятельности, в особенности в рамках теории
функциональных систем и ее развития в подходе академика К.В.Анохина на
основе сетей как для физиологического, так и для ментального трафика
согласно развиваемой им концепции когнитома. Именно здесь в настоящее время
возможны бионические подходы переноса идей функционирования мозга на
вычислительные и роботизированные машины. В работах автора удалась
непосредственная формализация функциональных систем поведенческого акта,
когнитома и когов феноменального опыта на основе достаточно общего принципа
работы мозга: мозг обнаруживает все возможные причинные связи во внешнем
мире и осуществляет выводы по ним.
22 июня 2021 года (заседание #63)
Научный доклад: |
О методах получения формул вероятности перколяции
в задаче узлов на квадратной решетке |
Докладчики: доц. Р.К.Ахунжанов,
А.В.Есеркепов (АГУ, Астрахань)
Презентация.pdf
Аннотация.pdf
18 мая 2021 года (заседание #62)
Научный доклад: |
Программная система комплексного анализа
русских поэтических текстов: модели и алгоритмы |
Докладчики: к.фил.н. О.Ю.Кожемякина,
д.т.н. В.Б.Барахнин (ФИЦ ИВТ СО РАН, Новосибирск)
Презентация.pdf
Аннотация.
Доклад посвящен теоретическому обоснованию и практической реализации
принципов создания программной системы многоуровневого анализа поэтических
текстов с целью исследования взаимозависимостей между структурами уровней
поэтического текста. Технологические основы создания программных систем,
обеспечивающих автоматизированный многоуровневый анализ поэтических текстов
включают в себя: структуру описания русского поэтического текста,
отличительной особенностью которой является многоуровневость и наличие
категориальных связей между уровнями; модель программной системы
комплексного анализа поэтических текстов, предназначенную для хранения и
извлечения широкого спектра метаданных, позволяющую в автоматизированном
режиме генерировать словари рифм, метроритмические справочники, словари
языка поэтов, конкордансы; принципы и алгоритмы автоматизации анализа
основных уровней русского поэтического текста, позволяющие извлекать
широкий спектр метаданных, в том числе специфических для поэтических текстов.
20 апреля 2021 года (заседание #61)
Научный доклад: |
Модель упущенных возможностей - новый подход
к мониторингу, анализу и прогнозу государственной
статистики об эпидемии коронавируса в России |
Докладчики: член-корр. РАН С.М.Абрамов (ИПС РАН)
академик АН Молдовы Г.Дука,
проф. С.О.Травин (ИХФ РАН)
Презентация.pdf
Аннотация.
В марте 2020 года стало очевидно, что эпидемия коронавируса в России будет
иметь достаточно значительные масштабы и продолжительность. Для составления
личных планов, планов учреждений, надо было как-то отвечать в каждый момент
времени на простые вопросы: что нас ждет в ближайшее время? Какого размера
оно будет? На какой фазе эпидемии мы находимся? Когда все это закончится?
По сути, стало необходимым строить суждения о динамике эпидемии,
рассматривая поступающую официальную статистику об эпидемии, моделируя и
прогнозируя поведение этой статистики. Да, да, моделируя и прогнозируя
поведение не эпидемии, а именно поведение этой не полной, противоречивой и
не вполне достоверной статистики. Так тоже можно и это осмысленная работа -
см. заголовок доклада.
В результате удалось понять, что нынешняя эпидемия, как она отражается в
данной нам статистике, отлично описывается последовательностью сменяющихся
возможностей. Примерно в таком стиле: "Мы могли пройти эпидемию вот по
такой траектории. Но мы упустили эту возможность... Зато потом мы могли
пройти эпидемию вот по такой траектории. Но упустили и эту возможность..."
И так далее. При этом каждый кусочек истории - каждая возможность - текущая
и все упущенные, - отлично описывается самой простой моделью SI, хорошо
изученной с простым дифференциальным уравнением и известным аналитическим
решением. И авторам стало понятно, что так и должно быть.
Работа посвящена методам и результатам такого анализа, моделирования и
прогноза. И, в общем-то, ответы на все вопросы получены. А алгоритмы и
сложность расчета оказались весьма простыми.
23 марта 2021 года
Научный доклад: Математические модели эволюционной адаптации репликаторных систем
Докладчик: проф. А.С.Братусь (РУТ/МИИТ), С.В.Дрожжин (МГУ), И.Самохин (МГУ), Т.С.Якушкина (ВШЭ)
Презентация.pdf
Аннотация.pdf
16 февраля 2021 года (заседание #59)
Научный доклад: Априорная оценка порога перколяции
в задаче узлов на квадратных решетках
Докладчик: проф. П.В.Москалев (ВГАУ, Воронеж)
Презентация.pdf
Видео.mp4
Аннотация.
Объектом исследования является модель перколяции узлов
на квадратных решетках, взвешенных бета-распределенными
случайными величинами S i.
Используя методы Монте-Карло, мы оцениваем мощность
перколяционных кластеров P ∞
как усредненную относительную частоту P* ∞
целевого подмножества узлов на квадратной решетке
в выборочной совокупности. В результате формулируются
две эмпирические гипотезы:
H1) о соответствии порога перколяции pc
квантилям уровня p0 случайных величин Si,
взвешивающих узлы квадратной решётки с (1,d)-окрестностью,
где уровень p0 определяется топологией и параметрами
окрестности узла перколяционной решетки;
H2) о сходимости статистических оценок
функций мощности кластеров P*∞(p) к функциям
распределения FS(p) этих величин Si при
сверхкритических значениях вероятности протекания
p > pc.
Принятие указанных гипотез позволяет находить
априорные оценки порога перколяции pci для решеток,
взвешенных случайными величинами Si с достаточно
произвольными функциями распределения FSi(p), если
известна хотя бы одна оценка порога перколяции pc0
для решетки с фиксированной (1,d)-окрестностью,
взвешенной случайной величиной S0 с известной
функцией распределения FS0(p).
26 января 2021 года
Научный доклад: Стадии формирования доменов
при случайной последовательной
адсорбции жестких линейных
k-меров на квадратную решетку
Докладчики:
проф. М.В.Ульянов (ИПУ РАН),
проф. Ю.Ю.Тарасевич (АГУ, Астрахань),
А.В.Есеркепов (АГУ, Астрахань),
И.В.Григорьева (КемГУ, Кемерово)
Презентация.pdf
Видео.mp4
Аннотация.
Используя компьютерное моделирование, мы изучили случайную
последовательную адсорбцию жестких линейных k-меров
(частиц) на квадратную решетку. Такая частица занимает k
соседних ячеек решетки. Во время осаждения две взаимно
перпендикулярные ориентации частиц равновероятны,
следовательно, образуется макроскопически изотропный
монослой. Однако этот монослой локально анизотропен,
поскольку осажденные частицы имеют тенденцию образовывать
домены частиц одинаковой ориентации. В рамках концепции
исключенного объема (для двумерного случая - площади) мы
классифицировали ячейки решетки. Было выделено четыре типа
ячеек. Мы изучили, как изменяется доля ячеек каждого типа с
увеличением числа осажденных частиц, вплоть до состояния
джамминга. Поведение этих величин позволило нам предложить
следующие стадии формирования доменов: (i) появление зародышей
домена; (ii) заполнение доменов; (iii) уплотнение доменов.
22 декабря 2020 года
Научный доклад: Система субъект-объектных отношений
при организации хранения и использования
научных данных в идеологии FAIR
Докладчик: к.ф.-м.н. А.В.Юрченко (ФИЦ ИВТ СО РАН, Новосибирск)
Презентация.pdf
Видео.mp4
Аннотация.
Переиспользуемость научных данных - один из важнейших факторов
обеспечения качества основанных на данных научных исследований
и средство повышения эффективности исследований за счет
привлечения к работе с одними и теми-же данными групп с различными
компетенциями, наборами используемых методов и опытом обработки и
анализа данных, получения из них новых знаний.
Организация хранения и эффективного использования больших данных
из разнородных источников, какими являются научные данные, с
упором на их переиспользуемость требует разработки новых
подходов, опирающихся на автоматическую систематизацию и
построение систем знаний вокруг данных. Для этого предлагается
построить динамическую систему, содержащую компоненты и элементы,
позволяющие автоматически и автоматизировано строить связи между
объектами и субъектами - участниками процессов хранения и
обработки научных данных.
17 ноября 2020 года
Научный доклад:
Алгоритмы анализа изображений,
полученных при микроскопии крови
Докладчик: проф. Э.С.Соколова, П.Н.Шагалова (НГТУ им.Р.Е.Алексеева)
Презентация.pdf
Видео.mp4
Аннотация.
В докладе рассматривается значимая и перспективная область
применения технологий компьютерного зрения - обработка и
анализ цифровых изображений, полученных при микроскопии
крови, с целью постановки медицинского диагноза. Как
известно, лабораторные исследования крови позволяют
определить самые различные патологии организма. Академиком
РАМН В.Н. Шабалиным и профессором, д.м.н. С.Н. Шатохиной в
начале 90х годов был предложен новый метод диагностики -
клиновидной дегидратации, предоставивший много новой
информации о свойствах крови и получивший широкое применение
в лабораторных исследованиях. Капля биожидкости в результате
сложных и разнообразных форм движения переходит в твердую
форму, формируя фацию - сухую пленку сложной структуры
(макропортрет) с разнообразными трещинами, по виду которых
можно судить о наличии патологий. Разработке и результатам
работы алгоритмов обнаружения и распознавания трещин, а
также определения характерных структурных центральной и
периферийной зон фации посвящена первая часть исследований.
Вторая часть представляемого исследования микрореологических
свойств крови посвящена определению характеристик
деформируемости эритроцитов, которые являются преобладающим
типом клеток крови. Их упругая деформация позволяет проходить
по сосудистой системе, включая капилляры диаметром значительно
меньше диаметра самих эритроцитов, доставлять кислород тканям
и органам и отводить углекислый газ легким, где он выдыхается.
В настоящее время активно проводятся медицинские исследования
для получения портретов деформируемости эритроцитов и
определения соответствующих им патологий. Разработан алгоритм,
защищенный патентом "Способ определения деформируемости
эритроцитов", извлекающий качественную и количественную
информацию о свойствах деформированных эритроцитов.
Исследования проведены на реальных базах данных обезличенных
цифровых медицинских изображений, предоставленных
Приволжским исследовательским медицинским университетом.
27 октября 2020 года
Научный доклад:
Многоуровневая организация гибридных
алгоритмов решения прикладных задач на графах
Докладчики: проф. Н.В.Старостин, С.В.Небайкин (ННГУ им.Н.И.Лобачевского)
Презентация.pdf
Аннотация.
Доклад посвящен разработке гибридных алгоритмов для решения
прикладных труднорешаемых графовых задач, характеризующихся
большими размерами и наличием специфических требований
(ограничений, критериев), отличающих их от популярных
формализаций. В контексте конкретной прикладной задачи
конструкторского проектирования микросхем демонстрируются
возникающие проблемы и идеи, позволяющие формировать подходы
к их преодолению.
В целях сокращения экспоненциальных издержек и практической
применимости алгоритмов с ростом числа неизвестных
рассматриваются идеи декомпозиции и редукции (упрощения)
задач, позволяющие конструировать иерархические и
многоуровневые схемы их решения. В спектре проблем поиска
практически приемлемых решений конструктивными и
итерационными эвристиками иллюстрируется работа известных
идей рандомизации, "эволюции решений", переформатирования
"структуры" пространства решений, наращивания и рекомбинации
"удачных фрагментов" решений. Данные идеи можно
рассматривать как составные части многоуровневых архитектур
гибридных эвристик, ориентированных на решение прикладных
задач на дискретных структурах.
22 сентября 2020 года
Научный доклад:
Эффективная аппроксимируемость задачи оптимальной
маршрутизации транспорта в метрических пространствах
фиксированной размерности удвоения
Докладчики: профессор РАН М.Ю.Хачай, н.с. Ю.Ю.Огородников (ИММ УрО РАН)
Видеозапись/Код доступа: +WyW#^y8
Презентация.pdf
Аннотация.
Дискретные оптимизационные задачи, связанные с поиском
оптимальных маршрутов во взвешенных сетях и восходящие
к классическим постановкам Задачи коммивояжера (TSP) и
Задачи оптимальной маршрутизации транспортных средств
(VRP), обладают широким спектром актуальных приложений
в области исследования операций. Исследования в области
алгоритмического анализа этих задач инициированы пионерскими
работами Г.Данцига, Р.Карпа, К.Пападимитриу и во многом
определили направления развития как современной теории
вычислительной сложности, так и комбинаторной оптимизации
в целом. В условиях общеизвестной гипотезы P?NP все эти
задачи труднорешаемы, т.е. не обладают точными
алгоритмами с полиномиальными оценками трудоемкости как
в общем случае, так и в чрезвычайно частных постановках,
например, на евклидовой плоскости. До недавнего времени
результаты в области эффективной аппроксимируемости этих
задач в классе алгоритмов с гарантированными оценками
(точности и трудоемкости) удавалось описать в рамках одной общей схемы:
- в общем случае ни одна из них не обладает полиномиальными
приближенными алгоритмами со сколько-нибудь приемлемой точностью;
- метрические постановки задач APX-полны, т.е. их полиномиальная
аппроксимируемость ограничивается алгоритмами с фиксированными оценками
точности;
- в конечномерных числовых пространствах задачи эффективно
аппроксимируемы с произвольной заданной точностью, обладая
полнмоиальными или квазиполиномиальными приближенными
схемами (PTAS и QPTAS).
В 2016 г. Й.Бартал, Л.Готтлиб и Р.Краутгеймер существенно расширили
класс полиномиально аппроксимируемых постановок классической задачи
коммивояжера, распространив классический результат С.Ароры о
существовании PTAS на новый класс метрических пространств. В развитие
предложенного этими исследователями подхода нам впервые удалось
обосновать аппроксимируемость в классе квазиполиномиальных приближенных
схем (QPTAS) постановок задачи оптимальной маршрутизации транспорта
ограниченной грузоподъемности (CVRP), заданных в метрических
пространствах произвольной фиксированной размерности удвоения.
22 сентября 2020 года
Научный доклад:
Параллельные вычислительные технологии решения
конечномерных задач оптимизации большой размерности
Докладчик: д.т.н. А.Ю.Горнов, А.С.Аникин (ИДСТУ СО РАН),
А.Н.Андрианов (ИПМ РАН)
Презентация.pdf
Аннотация.
Большое число прикладных задач из самых разных областей могут быть в том или
ином виде сведены к оптимизационным постановкам. Трудность численного решения
таких задач связана как с "пробелами" во многих разделах теории оптимизации, так
и с растущей сложностью современных вычислительных архитектур - все они стали
параллельными. Значительный рост размерностей актуальных задач оптимизации
приводит к тому, что применение традиционных методов и подходов оказывается
затруднительным или неэффективным.
Для преодоления обозначенной проблемы предлагаются новые оптимизационные
методы, реализующие явный учет структуры решаемой задачи. Удачную стратегию
реализуют методы покомпонентного типа, которые на каждой итерации осуществляют
оптимизацию в ограниченном подпространстве переменных. Предлагаемые программные
реализации основаны на методах, эффективно использующих вычислительные мощности
современных параллельных архитектур, таких как многопроцессорные (SMP) системы,
кластерные системы и системы с графическими ускорителями (GPU). Исследуется
эффективность применения рассматриваемых компьютерных платформ при реализации
как хорошо известных, так и новых методов локальной и глобальной оптимизации.
Приводятся результаты решения ряда актуальных задач оптимизации большой и
сверхбольшой размерности: минимизации атомно-молекулярных кластеров,
ранжирования web-страниц (PageRank), поиска равновесного распределения
транспортных потоков, восстановления матрицы корреспонденций компьютерных сетей
и других. Представлены решения задач с числом переменных до ста миллиардов.
16 июня 2020 года
Видеоконференция "Модели эпидемий и COVID-19"
Научный доклад:
Обзор основных классов моделей распространения эпидемий
Докладчик: проф. Ю.Ю.Тарасевич (АГУ, Астрахань)
Презентация.pdf
Аннотация.
Хотя моделирование развития эпидемий имеет почти столетнюю
историю, в последнее время произошло существенное
увеличение числа публикаций, посвященных моделированию
распространения эпидемий вообще и COVID-19 в частности.
Классификацию моделей распространения эпидемий можно
проводить различными способами, например, разделять модели
на детерминированные и стохастические(подчеркнем, что
приводимая классификация ни в коей мере не претендует на
полноту или универсальность).
I. Точечные модели (модели с интенсивным перемешиванием, модели среднего поля) - модели, учитывающие развитие эпидемии во времени, но не в пространстве. К таким моделям относится SIR и ее многочисленные модификации (SEIR, SIRS и т.д.) Математическим аппаратом в таких моделях могут быть разностные, дифференциальные и дифференциально-разностные уравнения. Заметим, что, поскольку COVID-19 отличается длительным (около двух недель) инкубационным периодом, эффекты запаздывания могут оказаться принципиальными, поэтому использование моделей с явным учетом запаздывания выглядят предпочтительнее. Для крупных популяций (страна) точечные модели оказываются вполне эффективными, если интерес представляет прежде всего временная динамика. Поскольку в странах, в которых эпидемия COVID-19 близка к завершению, доля инфицированных не превышает долей процента (например, во Франции с населением 65 млн около 140 тыс. инфицированных, то есть примерно 0,2%), то для небольших населенных пунктов применение точечных моделей, основанных на обыкновенных дифференциальных уравнениях или дифференциальных уравнениях с запаздывающим аргументом едва ли оправдано, особенно в условиях карантина, когда предположение об интенсивном перемешивании (взаимодействии каждого с каждым) едва ли уместно.
II. Распределенные модели - модели, базирующиеся на SIR или её модификациях, но учитывающие развитие эпидемии как во времени, так и в пространстве. Эти модели, в свою очередь, удобно разделить на
1) модели с непрерывным пространством; в этом случае могут использоваться дифференциальные уравнения с частными производными;
2) модели с дискретным пространством, которые можно разделить на
а) модели на регулярных структурах (клеточные автоматы и перколяционные модели),
б) модели на сложных сетях. Заметим, что перколяционные модели применяются в сочетании как с регулярными структурами, так и со сложными сетями. Использование регулярных структур оправдано, например, при моделировании распространения эпидемии на плантации, но едва ли уместно при моделировании эпидемии в человеческой популяции.
16 июня 2020 года
Видеоконференция "Модели эпидемий и COVID-19"
Научный доклад:
Логистическое уравнение и COVID-19
Докладчики: проф. А.А.Куркин, Е.Н.Пелиновский,
О.Е.Куркина,
М.В.Кокоулина, А.С.Епифанова
(НГТУ, Нижний Новгород)
Презентация.pdf
Аннотация.
Обобщенное логистическое уравнение использовано для
интерпретации данных эпидемии COVID-19 в нескольких странах:
Австрия, Швейцария, Нидерланды, Италия, Турция, Южная Корея
и др. Вычислены коэффициенты модели: коэффициент роста и
ожидаемое количество заболевших людей, а также
показателей степени в обобщенном логистическом
уравнении. Показано, что зависимость числа заболевших людей
от времени в среднем хорошо описывается логистической кривой
(в рамках обыкновенного или обобщенного логистического
уравнения) с коэффициентом детерминации, превышающим 0.8.
В то же время зависимость числа заболевших людей в сутки от
времени имеет весьма неровный характер и только очень грубо
может описываться логистической кривой. Для ее описания
необходимо учитывать зависимость коэффициентов
модели от времени или от общего количества заболевших.
Вариации, например, коэффициент роста достигают 60%.
Спектры изменчивости коэффициентов имеют характерные
пики на периодах в несколько дней, что соответствует
наблюдаемым инфекционным серийным интервалам. Полученные
нами результаты демонстрируют возможности хорошо развитой
логистической модели для описания эпидемии такого масштаба как COVID-19.
16 июня 2020 года
Видеоконференция "Модели эпидемий и COVID-19"
Научный доклад:
Применение модели SEIR для прогноза развития
нового коронавируса 2019-nCoV
Докладчики: Гун Шэншо (HIT, Харбин),
доц. В.В.Татаринов (МГТУ)
Презентация.pdf
Аннотация.
Показывается применение модели SEIR для прогнозирования
развития эпидемии нового коронавируса 2019-nCoV.
Проводится сравнение результатов моделирования свободного
распространения вируса и в случае принятия мер
по купированию его распространения. Результаты
моделирования сравниваются с фактическими
данными города Ухань. Оцениваются возможные
дальнейшие подходы к реагированию на подобные эпидемии.
16 июня 2020 года
Видеоконференция "Модели эпидемий и COVID-19"
Научный доклад:
Математические модели распространения
и смертности от COVID-19
Докладчики: к.ф.-м.н. И.Н.Киселев, И.Р.Акбердин, М.К.Сугаков,
Р.Н.Шарипов, Ф.А.Колпаков
(ФИЦ ИВТ, Новосибирск)
Презентация.pdf
Аннотация.
В докладе рассматриваются 2 типа моделей распространения
и смертности от COVID-19: расширенная SIR модель на
основе системы обычных дифференциальных уравнений
(Westerhoff and Kolodkin, 2020 [1]) и агентной модели
(Tuomisto et al., 2020 [2]). Используя платформу BioUML
(http://ict.biouml.org) данные модели были воспроизведены,
доработаны, а значения параметров моделей были
идентифицированы на основе данных по г.Новосибирску и
г.Москва. Для прогнозирования различных сценариев действия
органов власти разработан специальный веб-интерфейс.
1. Westerhoff H.V., Kolodkin A.N. Advice from a
systems-biology model of the Corona epidemics. NPJ
Systems Biology and Applications (in press). 2020,
available at
https://medrxiv.org/cgi/content/short/2020.03.29.20045039v.
2. Tuomisto J.T., Yrjola J., Kolehmainen M.,
Bonsdorff J., Pekkanen J., Tikkanen T. An agent-based
epidemic model REINA for COVID-19 to identify
destructive policies. medRxiv 2020.04.09.20047498; doi:
10.1101/2020.04.09.20047498
16 июня 2020 года
Видеоконференция "Модели эпидемий и COVID-19"
Статья:
Об анализе, моделировании и прогнозе
статистики эпидемии коронавируса в России
Авторы: член-корр. РАН С.М.Абрамов, С.О.Травин
(ИПС РАН, Переславль-Залесский)
Статья.pdf
Аннотация.
В марте 2020 года стало очевидно, что эпидемия коронавируса
в России будет иметь достаточно значительные масштабы и
продолжительность. Для составления личных планов, или планов
небольших учреждений, надо было как-то отвечать в каждый
момент времени на простые вопросы: что нас ждет в ближайшее
время? На какой фазе эпидемии мы находимся? Когда все это
закончится? По сути, стало необходимым строить суждения о
динамике эпидемии, рассматривая поступающую официальную
статистику об эпидемии, моделируя и прогнозируя поведение
этой статистики. Данная работа посвящена методам и
результатам такого анализа, моделирования и прогноза.
26 мая 2020 года
Научный доклад:
Об организации хранения и использования научных данных
Докладчик: к.ф.-м.н. А.В.Юрченко (ФИЦ ИВТ СО РАН, Новосибирск)
Презентация.pdf
Аннотация:
Доклад посвящен одной из наиболее интенсивно развивающихся
научно-технологических областей - проблемам организации и
обеспечения проведения исследований, основанных на
интенсивном использовании данных. Данные, став настоящим
драйвером современной науки, порождают и множество вопросов,
связанных с их организацией и эффективным использованием. В
ряде областей знаний - в физике элементарных частиц, в
генетике, в изучении Земли из космоса - успешно решаются
задачи по работе с научными данными, генерируемыми внутри
своей области. Наибольший интерес представляет кросс- и
междисциплинарное использование данных, для чего нужны и
новые методологические решения, и организационные, и
инструментальные. О проработке таких решений и говорится в
докладе.
Акцент в докладе сделан на задаче формализации предметной
области "организация хранения и использования научных
данных", анализе ее в свете трех ключевых аспектов:
методологическом, организационном и инструментальном.
Рассмотрены модели основанных на данных исследований,
жизненных циклов данных, концепции повышения эффективности
использования научных данных, основанные на их
"просветлении", интеграции самих данных и методов работы с
ними. Представлены результаты развития инструментального,
инфраструктурного базиса решения задач организации хранения
и использования данных в ФИЦ ИВТ.
18 февраля 2020 года
Научный доклад:
Методы идентификации и восстановления входных сигналов динамических систем
Докладчики: проф. Бойков И.В., доц. Кривулин Н.П. (Пензенский государственный университет)
Презентация.pdf
Аннотация:
Доклад посвящен проблемам идентификации (линейных и нелинейных)
динамических систем с сосредоточенными и распределенными параметрами,
описываемых обыкновенными дифференциальными уравнениями, уравнениями
в частных производных, интегральными уравнениями Вольтерра.
Рассматриваются классические дифференциальные уравнения и уравнения
с дробными производными.
Особое внимание уделяется нестационарным динамическим системам.
Выделены классы систем, для которых возможна точная параметрическая
идентификация по нескольким тестовым входным сигналам.
Полученные результаты применяются для разработки методов восстановления
входных сигналов в информационно-измерительных системах.
Даны приложения к ряду конкретных информационно-измерительных систем.
3 декабря 2019 года
Научный доклад:
Онтологии как язык междисциплинарных научных коммуникаций
Докладчик: проф. Гаврилова Т.А. (СПбГУ)
Презентация.pdf
Аннотация:
Доклад посвящен одной из наименее исследованных областей искусственного
интеллекта - моделям и методам онтологического инжиниринга (ОИ).
ОИ - это часть инженерии знаний, которая зародилась в 70-х годах 20 века
в рамках исследований в области искусственного интеллекта. При разработке
баз знаний интеллектуальных систем встал вопрос о методах представления
профессиональных знаний экспертов для их дальнейшей формализации и обработки.
За почти 50 лет развития этой науки была разработана целая палитра таких
моделей - продукционные правила, фреймы, cемантические сети и др.
В последние 20 лет активно развиваются онтологии. Онтологии, или
структурированные словари предметных областей (термин заимствован Томасом
Грубером в 1973 из философии), являются универсальными моделями представления
знаний.
Наука издавна использует визуализацию, однако онтологии позволяют применять
визуальное структурирование для "мягких" предметных областей - экономики,
истории, психологии, эргономики, философии и пр. Активно развивается рынок
программных продуктов, позволяющих просто и красиво создавать такие модели
(Mind manager, iMmap, FreeMind, Cmap tool и др.). Акцент в докладе сделан на
использовании визуальных моделей для улучшения междисциплинарных коммуникаций
и преподавания. Визуальные модели онтологий позволяют наглядно отображать
основные концепты предметных областей и отношения между ними,
при взаимодействии "человек-человек" они улучшают понимание и продуктивное
взаимодействие.
15 октября 2019 года
Научный доклад:
Глобальная оптимизация для математических моделей
сложных задач проектирования
Докладчик: проф. Стронгин Р.Г. (ННГУ им. Н.И.Лобачевского),
доц. Баркалов К.А. (ННГУ им. Н.И.Лобачевского)
Презентация.pdf
Аннотация:
Рассматривается проблема разработки методов решения задач глобальной
оптимизации, возникающих при проектировании технических систем,
объектов или процессов. Проводится обзор существующих подходов
к решению задач указанного класса, обсуждаются типичные проблемы.
Описывается способ решения задач глобальной оптимизации в невыпуклых
и неодносвязных областях, основанный на редукции к базовой задаче.
Предлагаются подходы к ускорению процесса поиска решения, более полно
использующие доступную информацию о задаче (в том числе, точность
реализации полученных решений, порядок проверки ограничений задачи,
метрические свойства многомерного пространства при редукции размерности).
Рассматриваются новые способы распараллеливания разработанных алгоритмов,
ориентированные на современные суперкомпьютерные системы (с общей
и распределенной памятью, с ускорителями вычислений). Дается краткая
характеристика разработанной программной системы Globalizer. Приводятся
результаты сравнения с известными методами аналогичного назначения на
классах тестовых задач, а также примеры решения прикладных задач.
17 сентября 2019 года
Научный доклад:
Метод локализации и его приложения
Докладчик: член-корреспондент РАН Крищенко А.П. (МГТУ им.Н.Э.Баумана)
Презентация.pdf
Аннотация:
Динамической системе, например системе обыкновенных дифференциальных
уравнений, и функции на ее фазовом пространстве можно сопоставить два
подмножества фазового пространства: универсальное сечение и локализирующее
множество. Универсальное сечение пересекается с любым инвариантным
компактом системы и может использоваться в методе Пуанкаре для
численного нахождения периодических траекторий. Локализирующее множество
содержит все инвариантные компакты системы, а вне его поведение траекторий
допускает простую классификацию. Полученные в рамках этого подхода
результаты позволяют исследовать устойчивость положений равновесия
в особых случаях, строить аналоги функций Ляпунова и решать другие задачи.
14 мая 2019 года
Научный доклад:
Алгебраические носители скрытой задачи дискретного
логарифмирования и постквантовых криптосхем
Докладчик: проф. Н.А.Молдовян (СПИИРАН)
Презентация.pdf
Аннотация:
Рассматриваются новые результаты в направлении разработки постквантовых
алгоритмов и протоколов с открытым ключом на основе вычислительной трудности
скрытой задачи дискретного логарифмирования (СЗДЛ), задаваемой посредством
операции возведения в натуральную степень большого размера (256 и 512 бит),
выполняемой в базовой конечной циклической группе, которая маскируется
с помощью вспомогательных операций, взаимно коммутативных с базовой операцией
экспоненциирования. Предложены новые алгебраические носители и новые формы
задания СЗДЛ в конечных некоммутативных ассоциативных алгебрах (КНАА)
различных типов с использованием операций автоморфного и гомоморфного отображения.
Существенным моментом в задании новых версий СЗДЛ является использование
единичных элементов различных типов: глобальных, локальных, двухсторонних,
левосторонних, правосторонних, обратимых и необратимых. Предложены унифицированные
способы задания КНАА различных размерностей. Представлены постквантовые
криптосхемы следующих типов: электронной цифровой подписи, открытого распределения
ключей, открытого шифрования, коммутативного шифрования. Рассматриваются
вероятностные коммутативные шифры и псевдовероятностные шифры. Дается общее
сравнение предложенных криптосхем и постквантовых криптосхем отобранных в ходе
конкурса, объявленного Национальным институтом стандартов и технологий США
в связи с ожидаемым появлением после 2025 г. квантовых вычислителей,
по разработке постквантовых двухключевых криптосхем.
12 марта 2019 года
Научный доклад:
Полиномиальные матричные неравенства в задачах анализа систем управления
Докладчик: д.ф.-м.н. В.В.Поздяев (АПИ НГТУ им.Р.Е.Алексеева)
Презентация.pdf
Аннотация:
Рассмотрены полиномиальные матричные неравенства, возникающие в математической
теории управления, и задачи оптимизации при ограничениях в виде этих неравенств.
Особое внимание уделено невыпуклым задачам, связанным с анализом устойчивости и
вычислением норм 2D-систем, а также некоторыми версиями классических задач.
Представлен подход к решению формируемых таким образом полиномиальных и
параметризованных линейных матричных неравенств, включающий приведение к
универсальной промежуточной форме с помощью построения двойственных форм подзадач
и дальнейшую трансформацию пространства поиска с целью приведения к виду,
допускающему эффективное решение.
19 февраля 2019 года
Научный доклад:
Модели научения
Докладчик:член-корреспондент РАН Д.А.Новиков (ИПУ РАН)
Презентация.pdf
Аннотация:
Предложена математическая модель, являющаяся обобщением многих известных
вероятностных моделей научения. Исследованы свойства и получены аналитические
выражения основных параметров, предложены методы комплексирования.
Показано, что частными случаями являются широко распространенные
в теориях научения модели экспоненциальных, гиперболических и логистических
кривых научения, а также модели научения в процессе работы и группового научения.
25 декабря 2018 года
Научный доклад:
Энтропия обобщенных двумерных слов как характеристика динамики модели жестких частиц
Докладчики: проф. Ю.Г.Сметанин (ФИЦ ИУ РАН), проф. М.В.Ульянов (ИПУ РАН)
Презентация.pdf
Аннотация:
В докладе приводятся сведения о двумерных словах над конечным алфавитом,
предлагается метод вычисления энтропии конечных двумерных слов, основанный
на частотах конфигураций в скользящем окне. Вводится понятие обобщенных
двумерных слов над трехсимвольным алфавитом и рассматривается
модифицированный метод вычисления их энтропии.
Предложенный подход иллюстрируется на примере модели динамики жестких
ортогональных частиц в решетке с периодическими граничными условиями
(модель исследуется д.ф.-м.н. Ю.Ю. Тарасевичем - Астраханский Гос.
Университет). Показано, что энтропия двумерных слов в определенном
диапазоне ширины скользящего окна отражает структурную энтропию системы
и позволяет определить время модели, при котором система частиц
образует полосовые домены (состояние самоорганизации системы).
Особое внимание будет обращено на артефакты и особенности поведения
обобщенной энтропии двумерных слов, связанные с изменением ширины
скользящего окна.
27 ноября 2018 года
Научный доклад:
Наука как информационный процесс.
Что же измеряет наукометрия?
Докладчик: проф. Ю.Ю.Тарасевич (АГУ, Астрахань),
Презентация.pdf
Аннотация:
Наукометрия - раздел науковедения, рассматривающий науку как информационный
процесс и исследующий её с помощью количественных (статистических) методов.
Термин предложен в 1969 году в работе
Налимов В.В., Мульченко З.М.
Наукометрия. Изучение науки как информационного процесса.
- М.: Наука. Главн. ред. физ.-мат. литер., 1969. - 192 c.
Несмотря на отечественное происхождение, наукометрия развивалась
преимущественно на Западе и стала активно применяться в России
только во втором десятилетии XXI века. Абсолютизация формальных
показателей в оценке научной деятельности привела к появлению
нового вида мошенничества - околонаучного бизнеса, паразитирующего
на неосведомленных или тщеславных ученых. Одной из форм такого
мошенничества являются журналы-хищники.
В докладе будет попытка ответить на вопросы, которые часто
задают ученые.
Почему нужно публиковаться в международных журналах?
Как добиться высоких наукометрических показателей?
Действительно ли за публикацию надо платить?
В каком журнале опубликовать работу?
Как подготовить публикацию, чтобы ее приняли в международном журнале?
23 октября 2018 года
Научный доклад:
Математические модели и управление информационными
процессами в общественных системах
Докладчик: проф. Ю.С.Федосенко (ФБОУ ВО "ВГАВТ"),
доц. А.Ю.Петухов (ННГУ)
Аннотация:
Доклад посвящен проблематике социофизики. Излагаются современные подходы
к моделированию социальных процессов как классу многокомпонентных нелинейных
динамических систем. Приводится классификация моделей в их историческом
аспекте. Авторский подход основан на гипотезе о том, что управление
информационными процессами в многокомпонентных когнитивных системах может
быть основано на использовании критических точек при пороговых эффектах.
Такое управление основано на нахождении аналитического решения сложной
системы дифференциальных уравнений в обыкновенных и частных производных
путем введения функции управления в математическую модель социального
конфликта. Приводятся некоторые полученные этим подходом результаты
моделирования.
18 сентября 2018 года
Научный доклад:
Метод решения больших разреженных систем линейных уравнений
Докладчик: д.ф.-м.н. М.А.Черепнев (ВМК МГУ)
Презентация.pdf
Аннотация:
В докладе рассматривается проблема решения больших разреженных
систем линейных уравнений над конечными полями. Данная проблема
возникает, например, при решении задачи целой факторизации или
задачи дискретного логарифмирования - основных примитивов,
с помощью которых строятся схемы защиты информации. В основе
предлагаемого решения лежит метод Ланцоша (1950) разложения по
ортогональному базису пространства Крылова. Алгоритм использует
положительные характеристики самых быстрых на сегодняшний момент
блочных алгоритмов Монтгомери (1995) и Видемана-Копперсмита (1993).
Последний был использован в 2009 г. при постановке
в Нидерландах рекорда целой факторизации (было разложено число RSA длиной
в 768 бит). Представляется реальным получить новый рекорд, объединив
в интернете на 1-2 месяца несколько кластеров, построенных в Москве
в последнее время. Кроме того, новый алгоритм может дать ускорение
в текущей работе криптографических служб.
15 мая 2018 года
Научный доклад:
Общий принцип изоморфизма и единый подход
к алгебраической формализации
задач теории систем на его основе
Докладчик: доц. В.С.Кулабухов (АО МНПК "Авионика", Москва)
Презентация.pdf
Аннотация:
В докладе рассматривается проблема существования и единственности
решения задач теории систем. Анализируется подход Р.Калмана к ее
решению на основе принципа единственности в задаче реализации.
Исходя из практических соображений обосновывается интерпретация
принципа единственности в форме принципа изоморфизма, позволившая
в общем виде сформулировать и доказать теорему о реализации.
На основе принципа изоморфизма предлагается простая аксиоматика
для теории систем. В рамках аксиоматики строго определяются основные
понятия теории и по-новому, с точностью до некоторых изоморфных
моделей, формализуются критерии реализуемости фундаментальных
свойств систем (наблюдаемости, управляемости, контролируемости,
идентифицируемости), а также выявляются условия интеграции систем
в системы-комплексы и анализируются свойства интегрированных систем.
Приводятся примеры приложений общего принципа изоморфизма к решению
задач теории систем и анонсируются направления дальнейших исследований.
17 апреля 2018 года
Научный доклад:
Современное состояние проблемы управляемого термоядерного синтеза
Докладчики: проф. Д.Ю.Сычугов (МГУ),
проф. В.Э.Лукаш (НИЦ "Курчатовский институт")
Презентация.pdf
Аннотация:
В докладе рассказывается о современном состоянии проблемы управляемого
термоядерного синтеза. Описываются еще не решенные задачи, приводится
обзор проектируемых и строящихся установок Токамак нового поколения,
как в рамках международных проектов, так и отечественных. Существенное
внимание уделяется математическому моделированию процессов в плазме.
Рассматривается задача объединения существующих численных кодов в единую
программную среду, предназначенную для проектирования установок Токамак
и последующего сопровождения на них экспериментов.
20 марта 2018 года
Научный доклад:
Современные задачи теории управления.
Умный перекресток. Дорожная карта
Докладчик: академик РАН А.Б.Куржанский (МГУ)
В докладе рассматриваются современные задачи управления транспортными
потоками и электрическими сетями. В связи с переходом в ближайшие годы
на электромобили, указанные задачи требуют совместного рассмотрения.
20 февраля 2018 года
Научный доклад:
Образование структур в двумерных системах стержнеобразных частиц
Докладчик: проф. Ю.Ю.Тарасевич (АГУ, Астрахань)
Презентация
Аннотация:
Натурные эксперименты, проведенные различными научными группами,
показывают, что в плотных двумерных системах вытянутых частиц возможно
образование структур под действием вибрации. Компьютерное моделирование
свидетельствует, что случайное блуждание прямоугольных частиц
в дискретном двумерном пространстве может приводить к их самоорганизации.
В докладе рассматриваются
•
постановка задачи моделирования двумерных систем вытянутых частиц,
•
анализируются альтернативные подходы моделирования этого процесса,
•
приводятся результаты моделирования,
•
излагаются проблемы, ожидающие решения.
26 декабря 2017 года
Научный доклад:
Проблемы математического моделирования процесса горячего
изостатического прессования порошковых материалов
Докладчики: проф. В.А.Головешкин (ИПРИМ РАН), доц. А.В.Пономарев (МТУ)
Аннотация:
В докладе рассматривается постановка задачи моделирования горячего
изостатического прессования порошковых материалов, анализируются
проблемы моделирования этого процесса, приводятся примеры
аналитических и численных решений.
28 ноября 2017 года
Научный доклад:
Практическая оптимизация в задачах
оптимального управления
Докладчики: проф. А.Ю.Горнов,
Т.С.Зароднюк, А.С.Аникин, Е.А.Финкельштейн
(ИДСТУ, Иркутск)
Презентация.pdf
Аннотация:
В докладе рассматриваются проблемы, возникающие при решении
прикладных задач оптимального управления. Предлагается классификация
проблем в соответствии с особенностями и размерностями задач оптимизации,
их вычислительной сложностью, формулируются требования к алгоритмам
и программному обеспечению. Рассматриваются методики оценки качества
моделей и проверки их адекватности. Обсуждаются многометодные
вычислительные технологии и реализованный набор программных средств для
различных вычислительных платформ.
¶
Функциональное наполнение программных комплексов для решения задач
оптимизации составляют многометодные алгоритмы, основанные как на
теории конечномерной оптимизации, так и на теории оптимального управления.
Предусмотрена возможность решения экстремальных задач широкого класса:
невыпуклых задач нелинейного программирования; оптимизации в нелинейных
динамических системах, описываемых системами обыкновенных дифференциальных
уравнений; учета прямых, терминальных и фазовых ограничений, оптимизации
терминальных и интегральных функционалов, проведения оптимизации как по
управлениям-функциям, так по управлениям-константам, решения задач
быстродействия и других.
¶
Алгоритмическую основу предложенных технологий составляют модификации
известных методов решения конечномерных задач от нулевого до второго
порядка и методы теории оптимального управления, основанные на необходимых
условиях оптимальности, предназначенные для поиска локального экстремума.
Для невыпуклых экстремальных задач разработано несколько оригинальных
семейств алгоритмов оптимизации, основанных на: методике "скрытой
выпуклости"; нелокальном варьировании в пространстве управлений;
методах фазового оценивания. Для задач аппроксимации множества достижимости
реализован оригинальный набор алгоритмов, основанных как на подходе
стохастической аппроксимации, так и на редукциях к конечномерным
экстремальным задачам. Для оценки реальной сложности задач и качества
получаемых решений реализованы специализированные инструментальные
средства пред- и пост-оптимизационного анализа, верификации и визуализации.
¶
С применением предложенных алгоритмов и разработанного программного
инструментария был успешно решен большой ряд прикладных задач из
различных научных областей, таких как механика, динамика полета,
космонавтика, робототехника, экономика, экология, энергетика, химия,
материаловедение, квантовая физика, география, медицина, биология,
криминалистика, сейсмология и других.
17 октября 2017 года
Научный доклад:
Математическое моделирование несовместимых систем условий
методами теории графов и комбинаторной геометрии
Докладчик: проф. Д.Н.Гайнанов (МАИ, Москва),
Презентация.pdf
Аннотация:
Несовместные системы условий различного вида возникают в ряде
прикладных задач. Например, такие системы возникают естественным
образом в задачах распознавания образов в геометрической
постановке и являются основным предметом рассмотрения
в методе комитетов распознавания образов.
¶
В докладе изучаются общие свойства несовместных систем условий.
Рассматриваются системы независимости, связанные с общими системами
несовместных условий, определяются графы систем независимости.
Методами теории графов изучаются комбинаторные свойства систем
независимости, порождаемых различными классами несовместных
систем условий. Для ряда таких классов систем условий
доказывается связность соответствующих графов систем независимости,
являющаяся важнейшим их свойством с алгоритмической точки зрения.
Подробно изучаются свойства графов независимости для класса
несовместных систем линейных неравенств. Доказывается теорема
о существовании цикла нечетной длины в таких графах, которая
положена в основу эффективных алгоритмов поиска комитетов минимальной
мощности для метода комитетов распознавания образов.
¶
Вводится понятие G-диагонали выпуклого многогранника. Доказывается
теорема о двойственности диагоналей выпуклого многогранника и
максимальных совместных подсистем несовместных систем линейных неравенств.
Полученная двойственность позволяет исследовать комбинаторные свойства
несовместных систем линейных неравенств методами комбинаторной геометрии.
Подробно изучаются свойства положительных базисов.
¶
Комбинаторная задача выделения всех баз систем независимости общего
вида рассматривается в формулировке расшифровки монотонной булевой
функции, верхние нули которой соответствуют базам системы независимости.
Вводится естественный критерий оптимальности алгоритма расшифровки
монотонных булевых функций. Для класса монотонных булевых функций,
порождаемых несовместными системами линейных неравенств предлагается
оптимальный алгоритм ее расшифровки. Для класса монотонных булевых
функций, порождаемых неориентированными графами предлагается
эвристический алгоритм поиска максимального верхнего нуля с абсолютной
оценкой отклонения полученного решения от точного решения.
¶
Приводятся примеры практического применения полученных результатов
при решении прикладных задач распознавания образов в геометрической
постановке, оптимизации технологических маршрутов в металлургическом
производстве и управления транспортными процессами.
27 сентября 2017 года
Научный доклад:
Численные методы для задачи минимизации расходов
при альтернативных ресурсах (Mean Field Game)
Докладчики: член-корреспондент РАН В.В.Шайдуров,
Е.Д. Карепова (ФИЦ CO РАН, Красноярск),
Шухуа Чжан (КНР)
Презентация.pdf
Аннотация:
В докладе будут сформулированы численные методы для решения экономических
задач в рамках постановки минимизации расходов при альтернативных ресурсах,
называемых в зарубежной литературе Mean Field Game.
Исходная постановка состоит в минимизации интегрального функционала
стоимости расходов с ограничением в виде управляющего уравнения вида
Колмогорова с соответствующими начальными и краевыми условиями.
Она дополняется сопряженной задачей в форме Гамильтона-Якоби-Беллмана,
так что получается дифференциальная задача вида равновесия Нэша
(с бесконечным числом игроков).
Предложенные дискретные аналоги уравнений и функционала стоимости
сходятся с первым порядком точности и повторяют на дискретном уровне
требуемые законы сохранения и симметрии дифференциальной постановки
в отличие от имеющихся методов в зарубежной литературе.
Численные иллюстрации выполнены для тестовой задачи альтернативы оплаты
электроэнергии или утепления помещений с целью уменьшения платежей.
19 сентября 2017 года
Научный доклад:
Вероятностный прогноз сложности
индивидуальных задач коммивояжера
Докладчики: проф. М.В.Ульянов (ИПУ РАН), доц. Г.Н.Жукова (НИУ ВШЭ)
Презентация.pdf
Аннотация:
В докладе приводятся результаты статистического исследования сложности
несимметричной задачи коммивояжера (ATSP), полученные в результате обработки
пула, состоящего из 15 миллионов несимметричных матриц (экспериментальные
результаты получены магистрантом ФКН НИУ ВШЭ М.И. Фомичевым).
Показано, что нормальное распределение удовлетворительно приближает
распределение логарифма сложности при фиксированной размерности задачи.
На этой основе построено семейство распределений сложности, позволяющее
удовлетворительно решить задачу вероятностного прогнозирования.
Вводится понятие TSP-сложности матрицы, на основе которого формулируются
два направления развития исследований.
16 мая 2017 года
Научный доклад:
Принципы, методы и преимущества голографической литографии
Докладчик: проф. Шамаев А.С. (ИПМех РАН)
Сайт.html
Аннотация:
Доклад посвящен новому методу создания интегральных микросхем - субволновой
голографической литографии. Суть метода состоит в использовании для создания
светового изображения микросхем голографической пластинки вместо классической
проекционной маски. Этот метод обладает рядом радикальных преимуществ,
прежде всего в силу крайне слабой чувствительности изображения, полученного
с помощью голограммной пластины к локальным дефектам на пластине.
Голограммную маску можно также изготовить с помощью только крупных отверстий
(зон пропускания) на пластине, что радикально снижает стоимость изготовления.
¶
Рассматриваются методы ускоренного компьютерного расчета координат
и размеров зон пропускания голограммной пластины.
18 апреля 2017 года
Научный доклад:
Рандомизированное машинное обучение
Докладчик: академик Ю.С.Попков (ИСА ФИЦИУРАН)
Презентация.pdf
Аннотация:
Рассматривается новое направление в машинном обучении, названное
рандомизированным машинным обучением. Базовыми элементами в нем
является модель со случайными (рандомизированными) параметрами и
энтропийный функционал, характеризующий качество обучения.
В отличие от существующих методов машинного обучения,
в рандомизированном оцениваются функции распределения вероятностей
параметров модели и функции распределения вероятностей шумов
измерения данных, максимизирующие соответствующий энтропийный функционал.
¶
Приводятся примеры применения данного метода к задачам классификации
и динамической регрессии.
21 марта 2017 года
Научный доклад:
LibMeta - конструктор цифровых библиотек.
Цифровая библиотека по обыкновенным
дифференциальным уравнениям на основе LibMeta
Докладчик: проф. В.А.Серебряков, О.М.Атаева, Н.П.Тучкова (ВЦ ФИЦИУРАН)
Презентация.pdf
Аннотация:
Рассматривается система определения и реализации персональных цифровых
семантических библиотек, которая:
•
поддерживает возможность использования медийных объектов или ссылки
на них при описании своих объектов;
•
поддерживает определение типов используемых ресурсов и связей между
ними, составляющих семантическое описание ресурсов контента библиотеки;
•
является интеграционным узлом, предоставляя возможность связывания
своих данных с данными из разных источников, в том числе LOD.
Пользователи библиотеки имеют возможность организовывать свои
коллекции по интересующему их научному направлению, добавляя новые
термины в предметный тезаурус, уточняя, таким образом, область
своих интересов. Пользователи также имеют возможность осуществлять
поиск не только среди объектов в рамках системы, но и по источникам
данных, без необходимости использования специализированного языка
для поисковых запросов. В качестве примера рассматривается создание
цифровой семантической библиотеки для предметной области обыкновенных
дифференциальных уравнений.
21 февраля 2017 года
Научный доклад:
Обратные связи с многоцелевой структурой
в системах управления подвижными объектами
Докладчик: проф. Е.И.Веремей (СПбГУ)
Презентация.pdf
Аннотация:
Рассматриваются задачи синтеза законов управления движением объектов,
функционирующих в различных режимах, для каждого из которых формируется
комплекс требований, подлежащих обязательному выполнению в процессе
управления. Этот комплекс имеет противоречивый характер в силу
существенного различия особенностей указанных режимов. В качестве
универсального средства достижения определенного компромисса
предлагается использовать обратные связи со специализированной
многоцелевой структурой. Обсуждаются свойства и особенности таких
обратных связей и предлагаются конкретные варианты применения
оптимизационного подхода для их синтеза. Приводятся примеры построения
многоцелевых законов управления для морских подвижных объектов.
13 декабря 2016 года
Научный доклад:
Репликаторные системы и математические модели эволюции
Докладчик: проф. А.С.Братусь (МИИТ, ВМК МГУ)
Презентация.pdf
Аннотация:
Объектом исследования являются математические модели,
предложенные М. Эйгеным, которые описывают биологические
объекты способные само воспроизводству и обладающие
наследственной изменчивостью. Проводится анализ явления
"порога эволюции" и исследуется влияние пространственных
распределений на предельное поведение систем.
15 ноября 2016 года
Научный доклад:
Асимптотический и неасимптотический анализ
для нелинейных форм от случайных элементов
Докладчик: д.ф.-м.н. В.В.Ульянов (ВМК МГУ)
Аннотация:
В докладе будет дан обзор недавних результатов по приближениям
для распределений квадратичных и почти квадратичных форм от
случайных элементов со значениями в гильбертовом пространстве.
Исследование почти квадратичных форм мотивируется аппроксимационными
проблемами в многомерной математической статистике.
Ряд результатов являются оптимальными - они не могут быть улучшены
без дополнительных предположений.
Будет предложен единый подход по построению неасимптотических
приближений на основе общего результата по точности аппроксимации
для симметричных функций многих переменных.
18 октября 2016 года
Научный доклад:
Пиковые характерстики функции энтропии слов
и их применение в задачах кластерного анализа
Докладчики: проф. Ю.Г.Сметанин (ФИЦ ИУ РАН), проф. М.В.Ульянов (ИПУ РАН)
Презентация.pdf
Аннотация:
Объектом исследования являются слова конечной длины над конечным
алфавитом, предметом - информативные характеристики слов,
отражающие разнообразие подслов переменной длины в окне сдвига 1.
Формализация функции энтропии слов дается на основе энтропии
дискретных распределений. Вводятся пиковые характеристики
функции энтропии слов, показывается их возможное применение в
качестве осей кластерного пространства на примерах семейств
растений и временных рядов.
20 сентября 2016 года
Научный доклад:
Многоуровневые алгоритмы на графовых структурах
с приложениями в области суперкомпьютерного
моделирования и систем принятия решений
Докладчик: доц. Н.В.Старостин (ИПС ННГУ им. Н.И.Лобачевского)
Презентация.pdf
Аннотация:
Рассматривается проблема разработки многоуровневых алгоритмов решения
большеразмерных труднорешаемых задач на дискретных структурах.
Предлагается концепция многоуровневого итерационного поиска.
Рассматривается обобщение оптимизационных задач на графах, возникающих
в процессах суперкомпьютерного физико-математического моделирования и
проектирования сложных систем. Описывается методология построения
многоуровневых итерационных алгоритмов решения большеразмерных
оптимизационных задач на графах. Приводятся примеры многоуровневых
алгоритмов решения известных классических и различных прикладных
задач на графах. Рассматриваются аспекты построения параллельных
реализации многоуровневых итерационных схем решения задач
на сверхбольших графах.
14 июня 2016 года.
Научный доклад:
Развитие алгебраического подхода к вычислениям
Докладчики: проф. Н.Н.Непейвода, А.Б.Шворин,
А.А.Цветков (ИПС им. А.К.Айламазяна РАН)
Презентация.pdf
Аннотация:
Рассматриваются алгебраические формализмы для представления
традиционных и нетрадиционных вычислений и структуры числовых
данных, совместимые с алгебраическим подходом.
¶
Доказываются математические результаты о программных алгебрах
и представлении чисел. Показывается принципиальная схема и
имитационная модель одной из возможных реализаций алгебраических
вычислений на нетрадиционной элементной базе.
17 мая 2016 года.
Научный доклад:
Криптография и информационные технологии
Докладчик: проф. Н.А.Молдовян (СПИИРАН)
Презентация.pdf
Аннотация:
Доклад посвящен рассмотрению практических задач информатики,
решаемых криптографическими методами, их роль в становлении
новых информационных технологий и основные направления их
приложения - обеспечение секретности, анонимности и неотрицаемости.
Обсуждаются особенности использования коммутативных, гомоморфных,
нераспараллеливаемых и псевдовероятностных преобразований
при построении криптографичеких алгоритмов и протоколов,
а также основные типы последних - одноключевые, двухключевые
(с открытым ключом), бесключевые.
19 апреля 2016 года.
Научный доклад:
Слияние большого числа библиографических записей
Докладчики:
К.А.Косолапов (ВМК МГУ),
проф. В.А.Серебряков (ВЦ ФИЦИУРАН),
К.Б.Теймуразов (ВЦ ФИЦИУРАН),
О.Н.Шорин (РНБ)
Презентация.pdf
Аннотация:
Задача слияния библиографических записей сформулирована давно и заключается
она в следующем: даны две библиографические записи. Спрашивается: описывают
ли они одну и ту же публикацию? Задача хорошо проработана и существует много
подходов для ее решения. Все они основаны на попарном сравнении записей.
Однако, если записей более 20 млн., попарное сравнение невозможно.
Нужно привлекать алгоритмы, которые, во-первых, выделяют из всего множества
записей априорно близкие и, во-вторых, сводят сравнение самих записей
к сравнению их простых образов.
22 марта 2016 года.
Научный доклад:
Методы решения двухэтапных задач стохастического программирования
Докладчик: проф. А.И.Кибзун (МАИ)
Презентация.pdf
Аннотация:
Рассматриваются двухэтапные задачи стохастического программирования,
когда на первом этапе задачи формируется предварительный план (стратегия),
а после реализации случайных факторов их влияние на решение корректируется
с помощью стратегии второго этапа. Дается историческая справка по изучению
двухэтапных задач. Приводится классическая постановка двухэтапной задачи в
линейной постановке с критерием в форме математического ожидания.
Обсуждаются недостатки критерия в виде математического ожидания,
объясняется, чем он отличается от квантильного критерия. Формулируется
двухэтапная задача с билинейной функцией потерь и квантильным критерием.
Описываются два способа решения сформулированной задачи. Один способ
основан на дискретизации вероятностной меры и сведении исходной
стохастической задачи к задаче смешанного целочисленного линейного
программирования. А другой способ, основанный на доверительном методе,
позволяет получить гарантирующее решение исходной стохастической задачи
на основе решения некоторой вспомогательной задачи выпуклого
программирования. Дается иллюстративный пример.
16 февраля 2016 года.
Научный доклад:
Идентификация модели интерактивного управления
ресурсами технических систем при проектировании
Докладчик: проф. В.П.Хранилов (ИРИТ НГТУ им. Р.Е.Алексеева, Нижний Новгород)
Презентация.pdf
Аннотация:
Рассмотрены обобщенные математические динамические модели управления.
Предложены подходы для описания процессов проектирования технических
систем в виде динамических моделей. Приведены способы представления
проектных решений в пространствах состояний и параметров. Введено
формализованное описание модели процесса проектирования технических
систем в пространстве состояний. Выбран математический аппарат для
идентификации внутренних операторов пространств состояний и параметров
моделей управления для задач проектирования. Представлены приложения
идентифицированных моделей для реализации технологий непрерывной
информационной поддержки жизненного цикла (CALS-технологий) изделий
радиоэлектронных средств, в приборостроении, машиностроении,
при проектировании информационных систем, в том числе систем
информационной защиты, и систем интеллектуальных датчиков.
22 декабря 2015 года.
Научный доклад:
Актуальные проблемы системного программирования
Докладчик: академик РАН В.П.Иванников (ИСП РАН, МГУ)
Презентация.pdf
Аннотация:
В докладе рассматриваются следующие направления:
• верификация программ;
• большие данные;
• информационная безопасность.
24 ноября 2015 года.
Научный доклад:
Методы детекции слабоамплитудных полезных
сигналов на фоне сильных шумов случайной природы
Докладчик: проф. К.В.Руновский (МГУ, Севастополь)
Презентация.pdf
Аннотация:
Проблема обнаружения детерминированных компонент малой амплитуды
и оценки их параметров при наличии сильных шумовых помех случайной
природы возникает в самых разных областях естествознания, например,
в задаче детекции гравитационных волн и задаче обнаружении
движущихся подводных объектов в морской среде.
¶
В докладе обсуждаются стохастико-аналитические методы качественной
детекции, разработанные автором в рамках программы Немецкого Научного
Фонда "Астрономия гравитационных волн"
(DFG, Transregio 7 / Gravitations-wellenastronomie) и проектов Фонда
Александра Гумбольдта (AvH), некоторые новые результаты по
количественной детекции, а также план дальнейших исследований.
¶
Основная идея состоит в "размене" свойства независимости элементов
спектральной меры шума на уменьшение дисперсии специальным образом
преобразованной шумовой компоненты. Этот подход реализуется путем
введения и изучения двух операторов - оператора детекции и оператора
"открытия волны", допускающих дуальную стохастико-аналитическую
интерпретацию. Более точно, с одной стороны, они являются статистиками
для тех или иных параметров шума, а с другой - операторами в некоторых
функциональных пространствах.
¶
Сравнительный анализ предложенного подхода с другими методами детекции
выявляет целый ряд его преимуществ. В частности, качество детекции
зависит не от максимума амплитуды, а исключительно от энергии полезного
сигнала. Таким образом, метод "не боится" малости амплитуд, если она
достигается за счет увеличения ширины полосы частотного спектра.
Подобной характеристикой обладают и некоторые хорошо известные методы,
основанные на анализе в гильбертовых пространствах (templates), однако
в них, предполагается, что детектируемый сигнал известен полностью или,
по крайней мере, частично, что означает его принадлежность некоторому
параметрическому семейству функций. Предлагаемый же метод детекции
позволяет определять наличие полностью неизвестных сигналов, а также
давать оценки его характеристик и воспроизводить его форму с той или
иной точностью.
¶
Дальнейшее развитие темы предполагает, создание соответствующего
пакета программного обеспечения и интерфейса, проведение
компьютерных симуляций, сотрудничество со специалистами в области
астрофизики, гидрофизики и акустики, а также обработку реальных
данных и дальнейшую отладку предлагаемой методики.
27 октября 2015 года.
Научный доклад:
О реконструкции слов по подсловам в гипотезе сдвига 1
Докладчики: проф. Ю.Г.Сметанин (ФИЦ ИУ РАН), проф. М.В.Ульянов (ИПУ РАН)
Презентация.pdf
Аннотация:
Доклад посвящен задаче реконструкции слов по заданному множеству
подслов, в гипотезе, что это множество порождено смещением окна
фиксированной длины по неизвестному слову со сдвигом один. Приводится
формальная постановка задачи и предлагается полное решение для случая
реконструкции без запретов. Решение основано на построении мультиорграфа
де Брейна специального вида с последующим поиском в нем всех эйлеровых
путей или циклов.
Для решения задачи поиска всех эйлеровых путей предложена специальная
алгебра для символического умножения матриц смежности с операциями
символьного умножения и сложения для имен дуг. Обсуждаются особенности
задачи и излагается метод ее решения, доставляющий как число реконструкций,
так и собственно реконструируемые слова.
Дополнительно обсуждаются варианты и обобщения задачи, включая
реконструкцию при наличии запретов или заранее предопределенных слов,
а также реконструкция по подсловам переменной длины.
29 сентября 2015 года.
Научный доклад:
О задаче группового управления в условиях препятствий
Докладчик: академик РАН А.Б.Куржанский (МГУ)
Презентация.pdf
Аннотация:
Задачи группового управления относятся к актуальной тематике
современной теории процессов управления. Они мотивированы
многими прикладными проблемами. Тема данного доклада принадлежит
их числу. В нём рассматривается задача о координированном
движении стаи управляемых систем, совершающих совместное
движение к целевому множеству в условиях не столкновения её
элементов. А именно, по ходу движения к цели, члены группы
должны находиться внутри виртуального эллипсоидального
контейнера, совершающего эталонное движение, образуя трубку,
которая должна уклоняться от заранее известных препятствий.
Возможность такого уклонения может при этом обеспечиваться
реконфигурацией сечений трубки с сохранением их объёма.
В ответ на это, движущаяся стая должна перестраиваться внутри
контейнера, избегая взаимных столкновений и достигая целевого
множества вместе с контейнером. Указанная проблема приводит к серии
взаимосвязанных математических задач, решение которых позволяет
сконструировать координированные управления элементами стаи.
26 мая 2015 года.
Научный доклад:
Физико-математические интерпретации системы
зрительного восприятия
на уровне врожденных механизмов
Докладчик: проф. В.А.Утробин (ИРИТ НГТУ им. Р.Е.Алексеева, Нижний Новгород)
Презентация.pdf
Аннотация:
Рассматривается два этапа информационных преобразований на уровне
врождённых механизмов системы зрительного восприятия - этап формирования
исходного описания изображения, как объекта исследования
(с позиций системного анализа - это этап подготовки данных),
и этап формирования системы признаков. Именно эти два этапа, в настоящее
время, мало формализованы. Для раскрытия необходимых информационных
преобразований формализуется понятие изображения, выявляются его свойства,
как системного образования. Первому этапу ставится в соответствие
интегральное преобразование, позволяющее отобразить объект исследования
в бесконечно гладкое многообразие. Результатом преобразования
в замкнутой области определения является масса (с позиций живописи
и дизайна - "визуальная масса"), а в открытой области - это потенциальное
поле, которое позволяет использовать необходимые дифференциальные
операторы. На втором этапе решается задача по выявлению внутренней
геометрии многообразия с помощью пространственных градиентов по
15-ти направлениям векторов Киллинга. В результате объект исследования
может быть представлен 15-мерным вектором, который используется
при решении задачи узнавания. Этому вектору в декартовой системе
координат соответствуют функции чувствительности, входящие в ряд
Тейлора при решении задачи активной идентификации. Поэтому система
информационных преобразований, соответствующая "нижним" уровням
системы зрительного восприятия, в настоящее время, оформлена в виде
теории активного восприятия изображений. Излагаются подходы к решению
задач анализа и синтеза объекта исследования, позволяющие интерпретировать
механизмы изобразительного описания и восстановления формы объектов
изображения, моделируя тем самым процесс моностереовосприятия.
На этапе синтеза 15-ти дифференциальным операторам ставится в соответствие
15 двумерных булевых функций, позволяющих формировать алгебраические
структуры и формализовать понятие врождённых эталонов.
28 апреля 2015 года.
Научный доклад:
Интеллектуальные динамические системы и их
приложения в задачах моделирования поведения
Докладчик: проф. Г.С.Осипов (ИСА РАН)
Презентация.pdf
Аннотация:
Рассматривается класс динамических моделей, в которых состояния
описываются как количественными, так и качественными параметрами,
а законы поведения - эмпирическими или экспертными знаниями.
В качестве значений переменных допускаются не только числа,
но и слова или предложения искусственного или естественного языка.
Такие модели возникают при исследовании поведения ряда сложных систем,
в частности, экологических, социальных, политических, а также некоторых
технических систем.
17 марта 2015 года.
Научный доклад:
Представление и обработка знаний
в интеллектуальных системах
Докладчик: академик РАН С.Н.Васильев (ИПУ РАН)
Презентация.pdf
Аннотация:
В докладе рассматриваются методы реализации таких интеллектуальных
функций автоматических и автоматизированных систем, как логический
вывод, планирование, дооснащение и обнаружение аналогий с
применением в проблематике автоматизации исследований, проектирования
и управления.
На основе оригинальных логических языков и исчислений с разной
семантикой обеспечивается автоматическое доказательство теорем,
в т.ч. для конструктивного планирования действий. Для задач с
неполной информацией используется дооснащение, позволяющее
синтезировать недостающие условия разрешимости задачи, включая
спецификации недостающих конструктивных средств ее решения.
Случаи применимости аналогий и подходы к их обнаружению неисчерпаемы
по своему разнообразию даже в математике. В докладе предметами
посылки и заключения в гипотезе об аналогии выступают произвольные
математические модели: в посылке предполагается некоторое свойство
P одной модели, а в заключении - аналогичное свойство P' второй
модели. Предлагаются оригинальные алгоритмы решения логических
уравнений для формирования условий аналогии P → P'.
17 февраля 2015 года.
Информационный доклад:
Национальный суперкомпьютерный форум
- особенности и достижения
Докладчики: член-корреспондент РАН С.М.Абрамов, И.Н.Григоревский,
Е.П.Лилитко (ИПС им. А.К.Айламазяна РАН)
Презентация.pdf
Аннотация:
Современная наука (в некоторых отраслях, по крайней мере)
является делом коллективным и не способна развиваться только
за счет исследований и разработок. Требуются и другие усилия.
В том числе и те, что называют "научно-организационной работой".
Для российской суперкомпьютерной мысли серьезным событием
в этом направлении стал Национальный суперкомпьютерный форум
( НСКФ).
Именно этому Форуму и посвящен доклад.
В докладе обсуждаются:
•
Предыстория и предпосылки - откуда возникла идея НСКФ,
какие проблемы решались.
•
Отличительные особенности - чем НСКФ отличается от близких
мероприятий, какую нишу он занимает.
•
Полученные реальные характеристики НСКФ - чего удалось достичь.
•
Содержательное наполнение НСКФ - обзор ярких событий
(докладов, экспонатов, круглых столов, демонстраций),
случившихся в рамках прошедших Форумов.
•
Планы развития НСКФ - что предстоит сделать в ближайшее время.
Заседание семинара 23 декабря 2014 года.
Информационный доклад: Наиболее значимые результаты и перспективы развития
факультета ВМК МГУ в аспекте стратегических
информационных технологий
Докладчик: академик РАН Е.И.Моисеев (МГУ)
Презентация.pdf
Аннотация:
В докладе излагаются важнейшие направления научной и образовательной
деятельности факультета ВМК МГУ в рамках программы "Стратегические
информационные технологии". В рамках научных направлений особо
выделяются направления, имеющие прикладной характер. Среди образовательных
направлений большее внимание уделяется сетевым технологиям,
защите информации и направлению высокопроизводительных вычислений.
Рассматриваются дальнейшие перспективы развития научной и образовательной
деятельности факультета.
Научный доклад: Концепция энтропии в системном анализе
Докладчик: член-коррепондент РАН Ю.С.Попков (ИСА РАН)
Презентация.pdf
Аннотация:
Приводится обзор цикла работ, проводимых в ИСА РАН, посвященных
развитию теории макросистем, базирующейся на методах максимизации
энтропии. Рассматриваются методы математического моделирования
стационарных и нестационарных состояний макросистем, численные
методы для компьютерной реализации развиваемых методов моделирования.
Теоретические результаты этих работ применялись для задач
моделирования процессов в демо-экономических системах, восстановления
изображений по проекциям в компьютерной томографии, оценивания
характеристик рандомизированных моделей при ограниченных данных.
Заседание семинара 25 ноября 2014 года.
Научный доклад:
Методы автоматической обработки неструктурированной
информации на основе базы знаний онтологического типа
Докладчик: в.н.с. Н.В.Лукашевич (НИВЦ МГУ)
Презентация.pdf
Аннотация:
В настоящее время в связи с огромными объемами электронных документов
имеется все возрастающая потребность в обработке неструктурированной
текстовой информации, повышению качества и эффективности имеющихся
методов обработки текстов. Современные информационно-поисковые и
информационно-аналитические системы работают с текстовой информацией в
широких или неограниченных предметных областях, поэтому характерной
чертой современных методов обработки текстовой информации стало
минимальное использование знаний о мире и о языке, опора на статистические
методы учета частотностей встречаемости слов в предложении, тексте, наборе
документов, совместной встречаемости слов и т.п.
Это связано с тем, что внедрение дополнительных объемов знаний о языке
и мире в современные методы автоматической обработки текстов является
сложной задачей. Такие знания необходимо описывать в специально создаваемых
компьютерных ресурсах (тезаурусах, онтологиях), которые должны содержать
описания десятков тысяч слов и словосочетаний.
В докладе описывается подход к созданию сверхбольших лингвистических
ресуров для задач информационного поиска и автоматической обработки
текстов. На основе подхода созданы такие лингвистические ресурсы,
как Тезаурус русского языка
РуТез (http://www.labinform.ru/pub/ruthes/index.htm), Онтология по
естественным наукам и технологиям ОЕНТ, созданы онтологические ресурсы
в конкретных предметных областях (компьютерная безопасность, авиационная
сфера, банковское дело и др.). Данные ресурсы применяются в различных
технологиях автоматической обработки текстов: автоматическое концептуальное
индексирование, расширение поискового запроса, рубрицирование,
автоматическое аннотирование отдельных документов и групп тематически
близких документов, кластеризация документов.
Заседание семинара 28 октября 2014 года.
Научный доклад:
Нечеткая логика в задачах моделирования и управления
Докладчики: проф. Ю.И.Кудинов (ЛГТУ, Липецк), проф. Ф.Ф.Пащенко (ИПУ РАН)
Аннотация:
Основной задачей моделирования производственных систем (ПС) является
прогнозирование выходных переменных, состояний или показателей
качества продукции, а задачей управления - поддержание заданного или
оптимального значения технологических параметров и выходных переменных
системы. При этом надо учитывать, что ПС характеризуются следующими
особенностями:
- большое число технологических переменных в ПС, измеряется
со значительной погрешностью и подвержены воздействию помех,
причем часть переменных вообще не поддается измерению
известными средствами контроля;
- ПС являются нестационарными, сложными, недостаточно изученными
и плохо формализуемыми системами, функционирующими в условиях
неопределенности. ¶
К этим условиям наилучшим образом приспособлены нечеткие модели
и алгоритмы управления, нечувствительные к помехам и погрешностям
измерения, способные быстро настраиваться на изменение
технологических режимов и с требуемой точностью определять и
поддерживать показатели качества. ¶
Рассматриваются основные понятия нечетких множеств и нечеткой логики,
а также три типа нечетких моделей, среди которых выделяется модель
Такаги и Сугено, известная как TS (Takagi - Sugeno) модель и содержащая
в правой части правил линейные уравнения. ¶
Для идентификации TS моделей предлагается гибридный алгоритм, состоящий
из рекуррентного алгоритма, генетического алгоритма (ГА) и алгоритма
разбиения функций принадлежности (ФП), определяющих коэффициенты линейных
уравнений, параметры ФП и количество правил, соответственно. ¶
Показано применение нечетких TS моделей, оснащенных алгоритмами текущей
идентификации, для прогнозирования качественных показателей
металлопродукции конверторного производства, идентификации нечетких
разностных TS, моделей, используемых для описания динамических режимов
электрических печей отжига трансформаторной стали, транспортных задач
и синтеза нечетких регуляторов. Описывается нечеткий гибридный алгоритм
управления температурой отжига трансформаторной стали в трех зонах
электрической трансформаторной печи. ¶
Для идентификации статических и динамических нечетких моделей
был разработан программный комплекс (ПК), работающий (после ввода данных)
в двух режимах: автоматическом (идентификация осуществляется без участия
человека) и полуавтоматическом, когда программист по мере накопления
опыта работы на ПК самостоятельно выбирает поисковый алгоритм и порядок
его запуска. ¶
В заключительной части доклада предлагается методика определения
оптимальных параметров нечетких квазилинейных
пропорционально-дифференциально-интегральных (ПИД) регуляторов,
реализованная средствами MATLAB-SIMULINK. Найденные оптимальные значения
параметров ПИД регуляторов (коэффициент пропорциональности,
постоянные времени интегрирования и дифференцирования) обеспечили
требуемое качество системы регулирования.
Заседание семинара 16 сентября 2014 года.
Научный доклад:
Угловая мера асимптотического роста функций
и классификация алгоритмов по трудоёмкости
Докладчики: проф. В.А.Головешкин (МИРЭА), проф. М.В.Ульянов (ИПУ РАН)
Презентация.pdf
Аннотация:
Предлагаемый вниманию уважаемых участников общероссийского
семинара доклад посвящен варианту решения задачи о единой
для полиномов и экспонент мере асимптотического роста функций
и основанной на этом решении классификации компьютерных
алгоритмов по сложности функции трудоёмкости. Классическое
выделение функций с полиномиальным и экспоненциальным ростом
не опирается на чётко формализованную меру, в связи чем в
первой части доклада излагается угловая мера асимптотического
роста функций, разделяющая полиномы и экспоненты в рамках
единой меры. На основе введённой меры во второй части доклада
предлагается корректная классификация компьютерных алгоритмов
по сложности функции трудоёмкости.
Заседание семинара 15 апреля 2014 года.
Научный доклад:
Оптимальное управление в модели государства
Докладчики: проф. В.К.Захаров (МГУ), доц. О.А.Кузенков (ННГУ)
Презентация.pdf
Аннотация:
Каждое государство является сложной трёхуровневой
организационно-производственной подсистемой общества,
устроенной в виде совокупности основных подсистем.
Основными подсистемами являются: содержательная,
учётная, обеспечительная, совокупная распорядительная
и властная подсистемы. Все они связаны друг с другом и
с внешней средой потоками различных достояний.
Для такой общей агрегированной модели государства
создаётся соответствующая математическая модель в виде
системы из семи дифференциальных уравнений с восемью
управляющими параметрами. Для неё ставится
оптимизационная задача нахождения оптимальных управлений
при различных функционалах качества. В качестве конкретного
случая рассматривается задача обеспечения максимума
совокупного конечного достояния государства.
Для неё приводится явное аналитическое решение,
которое позволяет дать эффективный численный алгоритм
поиска оптимального управления.
Заседание семинара 20 марта 2014 года.
Научный доклад: Современные задачи динамики и управления:
мотивации, теория и вычисления, дорожная карта
Докладчик: академик РАН А.Б.Куржанский (МГУ)
Презентация.pdf
Заседание семинара 11 февраля 2014 года.
Научный доклад: Негладкие системы, операторы оптимизации и устойчивость
(Проекционно-операторный метод оптимизации и управлений)
Докладчик: проф. В.Н.Козлов (СПбГПУ)
Презентация.pdf
Аннотация:
В докладе рассматриваются математические модели, описанные
кусочно-линейными разностными или дифференциальными уравнениями.
В рамках проекционно-операторного метода оптимизации
сформулированы проекционно-операторные методы синтеза управлений.
Исследована устойчивость систем управления, синтезированных
на основе операторов конечно-мерной минимизации.
Заседание семинара 10 декабря 2013 года.
Научный доклад: Вопросы систематизации терминологии
Докладчики: проф. М.Г.Мальковский, проф. С.Ю.Соловьев (МГУ)
Презентация.pdf
Аннотация:
В докладе рассматривается проблема построения глобальной
системы знаний посредством систематизации терминологии.
(1) Излагается конструктивный подход к систематизации
терминов, заданных своими определениями.
(2) Представляются веб-ресурсы, сервисы и иные результаты
систематизации 50 тысяч терминов научной и деловой лексики.
(3) Обсуждаются актуальные задачи систематизации.
Заседание семинара 12 ноября 2013 года. // Организационные вопросы.
Научный доклад: Классификация и методы построения комбинаторных алгоритмов
Докладчик: проф. М.В.Ульянов (МГУП)
Презентация.pdf
Аннотация:
В докладе излагается классификация методов построения комбинированных
алгоритмов, в основу которой положены возможные результаты кластеризации и
последующего распознавания исходных и промежуточных данных. Важным
результатом предложенной классификации является новый подход к построению
комбинированных алгоритмов, состоящий в том, что при достаточно надёжной
кластеризации входов возможно назначение рациональных алгоритмов и/или их
комбинаций для устойчивых кластеров входных данных и выбор алгоритма для
текущего входа по результату решения задачи распознавания этого входа в
пространстве параметров. Предложенную классификацию можно рассматривать как
базу для создания методик разработки комбинированных алгоритмов, учитывающую
особенности их построения в аспекте повышения ресурсной эффективности.
|