CEDAR Logic Simulator: управление роботом-пылесосом

Published on ● Video Link: https://www.youtube.com/watch?v=_EOpmeC5uoo



Category:
Vlog
Duration: 4:18
16 views
0


В видео рассматриваются основы работы в логическом симуляторе CEDAR Logic на примере простой практической задачи управления движением платформы робота-пылесоса вперед, и развороты по часовой и против часовой стрелки. Задача формализована логическими выражениями, проведено ее моделирование и проверка по таблице истинности.

Подготовка материалов, презентации, озвучка и монтаж видео: Турбов Михаил.

Видео также опубликовано на Яндекс.Дзен канале "Самостоятельная работа":




Other Videos By Самостоятельная работа


2022-08-04Atanua: управление работой доков
2022-08-03Atanua: управление системой диагностики элементов умного дома
2022-08-02DigicalSim: управление системой диагностики элементов умного дома
2022-08-01DigicalSim: управление работой доков
2022-07-31DigicalSim: управление системой диагностики элементов умного дома
2022-07-31DigicalSim: управление железнодорожной станцией
2022-07-30Hradla: задача управления платформой робота-пылесоса
2022-07-30Hradla: реализация импликации и эквивалентности
2022-07-29LogModel: задача управления платформой робота-пылесоса
2022-07-29LogModel: управление освещением помещения
2022-07-29CEDAR Logic Simulator: управление роботом-пылесосом
2022-07-29CEDAR Logic Simulator: управление работой кондиционеров
2022-07-28MultiMedia Logic: управление освещением производственного помещения
2022-07-28MultiMedia Logic: система управления освещением библиотекой
2022-07-26Оценка риска на основе нечёткой композиции трудно формализуемых факторов
2022-07-26Основные определения для оценки риска модернизации технических систем
2022-07-18Бинарные операции над нечёткими множествами
2022-07-16Использование нечётких отношений для выбора конкурентоспособной виброзащитной технологии.
2022-07-16Обзор функций принадлежностей нечётких множеств
2022-07-10Примеры тестовых заданий по разделу "Нечёткие множества"
2022-07-10Унарные операции над нечёткими множествами



Tags:
Дискретная математика
Логика
Логика высказываний
Булева алгебра
Логическая схема
Логический симулятор
Логическая конъюнкция
Логическая дизъюнкция