|
|
| (не показаны 39 промежуточные версии 5 участников) |
| Строка 2: |
Строка 2: |
| | {| | | {| |
| | |colspan="3"|'''[[Дискретная математика и математическая кибернетика]]''' | | |colspan="3"|'''[[Дискретная математика и математическая кибернетика]]''' |
| − | {{announce Seminar| | + | <!-- |
| − | | | + | {{announce Seminar | 6 ноября 2020 |
| − | | }} | + | | '''О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов'''. |
| | + | Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским |
| | + | и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты. |
| | + | | '''Попков К.А.''' (Институт прикладной математики им. М.В. Келдыша РАН)}} |
| | + | --> |
| | | | |
| | |- | | |- |
| | |colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]''' | | |colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]''' |
| − | {{announce Seminar| | + | {{announce Seminar| |
| | | | | | |
| | | }} | | | }} |
| | | | |
| | |- | | |- |
| − | |colspan="3"|'''[[Дискретный анализ]]''' | + | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' |
| | {{announce Seminar| | | {{announce Seminar| |
| | | | | | |
| − | | }}
| + | | }} |
| − | | + | |
| − | |-
| + | |
| − | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
| + | |
| − | {{announce Seminar| 28 сентября
| + | |
| − | | Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов».<sup>[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]]
| + | |
| − | | align="center" | Мальцев А.Н.
| + | |
| − | |}}
| + | |
| − | {{announce Seminar| 21 сентября
| + | |
| − | | Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]]
| + | |
| − | | align="center" | Хзмалян Д.Э.
| + | |
| − | |}} | + | |
| | | | |
| | |- | | |- |
| | |colspan="3"|'''[[Сложность решения дискретных задач]]''' | | |colspan="3"|'''[[Сложность решения дискретных задач]]''' |
| − | {{announce Seminar| 5 октября 2018 г. | + | {{announce Seminar| |
| − | | Организационное заседание
| + | |
| | | | | | |
| − | |}}
| + | | }} |
| − | {{announce Seminar| 12 октября 2018 г.
| + | |
| − | | '''Расшифровка слабо положительных дизъюнкций'''.
| + | |
| − | В докладе рассматривается задача расшифровки функций алгебры логики, зависящих от n переменных, которые можно представить в виде элементарной дизъюнкции с ровно одной переменной с отрицанием. При расшифровке можно задавать вопросы о значении расшифровываемой функции на произвольном наборе значений ее переменных и получать правильные ответы. Функция считается расшифрованной, если восстановлены ее значения на всех возможных наборах значений ее переменных. Находятся верхняя и нижняя оценки наименьшего числа вопросов, которые требуется задать, чтобы расшифровать любую функцию от n переменных из рассматриваемого множества.
| + | |
| − | | Жорина Александра (618/1 гр.)
| + | |
| − | |}} | + | |
| | | | |
| | |- | | |- |
| | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | | |colspan="3"|'''[[Теоретические проблемы программирования]]''' |
| − | {{announce Seminar| 5 октября 2018 г. | + | {{announce Seminar| |
| − | | + | | |
| − | | '''Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной'''. | + | | }} |
| − | | + | |
| − | Доклад посвящен задачам анализа и синтеза временных автоматов. Временной автомат используется для описания поведения системы, которая переходит из состояния в состояние под действием входных воздействий, производя при этом выходные сигналы. Временная переменная позволяет учесть временные аспекты в поведении системы посредством введения временных ограничений по подаче входных символов, а также описания входных и выходных таймаутов. Для конечных автоматов с одной временной переменной рассматриваются классические задачи анализа и синтеза, такие как минимизация и композиция временных автоматов. Показывается, что для построения единственной приведенной (минимальной) формы детерминированного полностью определенного временного автомата недостаточно приведенной формы по состояниям, необходимо также минимизировать временные аспекты, и предлагается метод минимизации временного автомата. Во второй части доклада отмечается, что в отличие от классических автоматов, «медленная» внешняя среда и отсутствие осцилляций не являются достаточными условиями для описания параллельной композиции детерминированным временным автоматом, и формулируются достаточные условия, при которых операция параллельной композиции является замкнутой в множестве детерминированных временных автоматов. В последней части доклада отмечается, что автором получен ряд интересных результатов по синтезу проверяющих тестов с гарантированной полнотой для временных автоматов.
| + | |
| − | | + | |
| − |
| + | |
| − | | А.С. Твардовский (Томский гос. университет) | + | |
| − | | }}
| + | |
| − | | + | |
| − | | + | |
| − | <!--
| + | |
| − | |-
| + | |
| − | |colspan="3"|'''[[Просеминар для 2-го курса]]'''
| + | |
| − | {{announce Seminar||| }}
| + | |
| − | -->
| + | |
| | |} | | |} |
