Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:
Номер:5 (11)
Скачать PDF0 Кбайт
Приведение автоматного представления устройства дискретной автоматики к линейному векторно-матричному виду на основе агрегирования булевых термов
Аннотация:
Рассматривается задача конструирования линейного векторно-матричного (ВМ) описания автоматной версии УДА. Своим решением эта задача позволяет расширить класс представлений УДА, что тем самым, обеспечивает возможность доставлять УДА различные структурные и функциональные свойства. Показывается, что в концептуальной постановке поставленная задача может быть частично решена использованием принципа агрегирования булевых термов. Приводится пример.
Ключевые слова:
Постоянный URL
Статьи в номере
- Обработка голографических интерферограмм и спеклограмм с использованием двухчастотного лазера
- Особенности генерации мощного лазера на неодиовом стекле в частотно-импульсном режиме
- Эффективность энергетических преобразований в фотоэлектрических устройствах
- Исследования пространственно-энергетических характеристик внутрирезонаторного параметрического генератора света
- Оптические исследования дентина
- Высокочастотный разрядный модуль с обратной связью по мощности для систем накачки твёрдотельных лазеров
- Объектно-ориентированная структура данных для хранения конструктивных параметров оптических систем в программах автоматизированного проектирования
- Обеспечение точности курсоуказания для подвижных объектов в интегрированных системах навигации ИНС/СНС
- Синтез наблюдателя для конечномерного возмущения
- Параметрический синтез и анализ цифровой системы управления прецизионного электропривода лидарной станции
- Методы восстановления изображений в рентгеновской томографии
- Фрактальный анализ полутоновых изображении
- Рефлексивное управление в области безопасных информационных технологиях на основе анализа тридцати шести китайских стратагем
- Единое проектное пространство плюс аспектная технология – перспективная парадигма проектирования встраиваемых систем
- Резонансные эффекты в задаче рассеяния на сложном графе
- Катастрофа типа «сборки» в изобретательской задаче
- Интенсификация теплообмена в системе обеспечения теплового режим полупроводникового электронного прибора
- Верификация в исследовательских, учебных и промышленных системах
- Акустико-эмиссионный способ оценки пороговой нагрузки и остаточного ресурса конкретного изделия
- Исследование теплового состояния помещений больших размеров
- Мехатроника – научная и учебная дисциплина
- О связи максимального угла давления с основными параметрами плоского кулачкового механизма
- Оценка кинематических характеристик транспортных средств при неупругом их столкновении
- Локализованная зубчатая передача
- Вероятностный анализ шумоподобных сигналов инфранизкочастотного диапазона в задачах обнаружения и классификация воздушных объектов
- Модернизация нашлемной системы НСЦИ для нейрофизиологического контроля состояния пилота летательного аппарата
- Авторегрессионный анализ в электроэнцефалографии
- Индикационное оборудование в авиации XXI века
- Оценка существующих методов обработки и проверки КБО гражданских самолётов
- Предметные олимпиады как альтернативный вариант вступительных испытании
- Программно-методический комплекс дистанционного обучения и тестирования по вопросам информационной безопасности