Применение булевых функций к релейно-контактной схеме. Две основные задачи теории релейно-контактных схем.
Две основные задачи теории релейно-контактных схем:
1. Задача синтеза.
2. Задача анализа.
Главная задача всех дальнейших исследований – задача анализа, которая заключается в том, что по заданной топологии электрической цепи и её параметрам определяют токи ветвей. Задача анализа однозначна. Топология цепи это вид связей узлов и ветвей.
Если заданы все источники электрической цепи и нагрузки , то в каждой ветви будет протекать свой ток, обусловленный совокупностью источников и нагрузок.
Цепь называют линейной, если входящие в неё параметры постоянны, т.е. их вольт-амперные характеристики есть прямые линии (рис. 1.6, 1.7).
Все характеристики нагрузок проходят через начало координат (рис. 1.6). У источников характеристики не проходят через начало координат (рис. 1.7)
Смена направления тока в нагрузках ведет к смене направления напряжения.
Источники ЭДС обладают характеристиками, расположенными в 1 и 4 или 2 и 3 квадрантах. В первом и третьем квадрантах характеристики отражают генераторный режим, а во втором и четвертом – двигательный.
Задача синтеза обратна задаче анализа: по заданным токам предполагаемых ветвей или каким-то частным характеристикам (откликам) восстановить электрическую цепь.
Эта задача неоднозначна и имеет множество решений.
-
Yandex.RTB R-A-252273-3
- Универсальное множество: Универсальное множество (универсум) — множество, содержащее все мыслимые объекты. Упорядоченное множество — множество, на котором задано отношение порядка.
- Множество. Способы задания множеств (перечислением или списком, порождающей процедурой, описанием характеристического свойства). Привести примеры.
- Объединение более чем двух множеств. Пусть дано семейство множеств Тогда его объединением называется множество, состоящее из всех элементов всех множеств семейства:
- Алгебра множеств. Законы алгебры множеств. Доказать один из законов алгебры множеств.
- Множество. Мощность множества. Нахождение мощности объединения множеств (для двух множеств, для трех множеств, для n-множеств). Привести пример.
- Векторы. Прямое произведение множеств. Мощности прямого произведения множеств.
- Отношения. Основные понятия отношений (отношения; унарные, бинарные, n-местные отношения)
- Отношения. Бинарные отношения. Основные понятия (определение, обозначения, область определения, область значений, способы задания бинарных отношений). Привести примеры.
- Способы задания бинарных отношений
- Отношения. Свойства бинарных отношений (рефлексивность, антирефлексивность, симметричность, антисимметричность, транзитивность). Привести примеры.
- Переключательные (булевы) функции. Происхождение булевых функций.
- Булевы функции от одного аргумента. (Определение. Все булевы функции от одного аргумента).
- Булевы функции от двух аргументов (Определение булевой функции двух аргументов, тождественный ноль, тождественная единица, конъюнкция, штрих Шеффера, дизъюнкция, стрелка Пирса (функция Вебба)).
- Свойства дизъюнкции, конъюнкции и отрицания (теорема 4.3).
- Свойства эквиваленции, импликации и отрицания (теорема 4.4).
- Выражение одних булевых функций через другие (теорема 4.5).
- Булевы функции от n аргументов (определение, равенство булевых функций, суперпозиция булевых функций). Булевы функции от n переменных
- Булевы функции и формулы алгебры высказываний.
- Нормальные формы булевых функций.
- Применение булевых функций к релейно-контактной схеме. Две основные задачи теории релейно-контактных схем.
- Релейно-контактные схемы в эвм. Двоичный полусумматор. Одноразрядный двоичный сумматор.
- Графы. Основные понятия и определения (вершины, ребра, петли, кратность ребра, псевдограф, мультиграф, граф, орграф, неориентированный граф). Привести примеры.
- Графы. Матричное задание графов. Матрица смежности, матрица инцидентности. Привести примеры.
- Графы. Свойства матрицы смежности и инцидентности. Утверждение о числе всех путей (маршрутов) длины k из одной вершины в другую. Утверждение о наличие хотя бы одного контура.
- Графы. Связность. Компоненты связности. (Достижимость вершины, связный (сильно связный орграф) граф, слабо связанный, несвязанный, компонента связности (сильной связности)). Привести примеры.
- Графы. Матрицы связности. Утверждение о матрицах связности, матрицы достижимости, матрицы сильной связности.
- Графы. Поиск путей (маршрутов) с минимальным числом дуг (ребер). Алгоритм фронта волны.
- Графы. Минимальные пути (маршруты) в нагруженных орграфах (графах). Алгоритм Форда-Беллмана.