Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
PodymovVV (обсуждение | вклад) м (→Доклады на спецсеминарах) |
||
| (не показаны 36 промежуточные версии 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"|'''[[Сложность решения дискретных задач]]''' | |colspan="3"|'''[[Сложность решения дискретных задач]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| |
| − | + | ||
| | | | ||
| − | + | | }} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | |}} | + | |
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| |
| − | + | | | |
| − | | | + | | }} |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | | | + | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
|} | |} | ||
