К вопросу о верификации программ программируемых логических контроллеров
Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
Подобные документы
Алгебра логики как раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений и операций над ними. Основные законы логической алгебры и их область применения в информатике. Примеры логических выражений и связок.
лекция, добавлен 29.10.2013Приобретение навыков программирования арифметико-логических операций командами микроконтроллера. Характеристика блок-схемы алгоритма и исходного кода программы. Влияние арифметических и логических указаний командной строки МК Intel 8051 на флаги.
лабораторная работа, добавлен 30.11.2016Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.
статья, добавлен 26.04.2019Устройства, предназначенные для обработки информации в цифровой форме. Реализация логических элементов. Пространство булевых функций от двух переменных. Логическая схема полусумматора. Полный одноразрядный сумматор. Определение логических приемов.
реферат, добавлен 15.05.2013Сведения о системах счисления. Построение таблиц истинности для логических выражений. Правило перевода целых десятичных чисел в систему счисления. Свойства логических операций. Математические основы информатики. Моделирование как метод познания.
разработка урока, добавлен 04.04.2015Изучение автоматизированных систем управления технологическими агрегатами, цехами и промышленными предприятиями. Построение модели объекта автоматизации. Создание диагностического стенда для испытания тяговых двигателей. Преимущества применения ЭВМ.
курсовая работа, добавлен 18.02.2019Функционирование схемы выборки. Ее назначение и области применения. Опись схемы в графическом и текстовом редакторе. Характеристика архитектур CPLD и FPGA. Синтезирование выборки с условиями формализации, минимизации и преобразования к заданному базису.
курсовая работа, добавлен 07.05.2014Свойства совершенной дизъюнктивной и конъюнктивной нормальной форм формулы. Минимизация булевой функции методом диаграмм Вейча с помощью карты Карно. Составление таблицы истинности. Построение схем на логических элементах. Разработка машинных моделей.
контрольная работа, добавлен 01.02.2020Основные функции логических элементов. Двоичные логические операции с цифровыми сигналами (битовые операции). Электрические сигналы - физические аналоги двоичных цифр в вычислительных устройствах. Особенности устройства электрических логических элементов.
реферат, добавлен 14.05.2013Построение структуры логического устройства согласно полученному языковому выражению. Проведение исследования работы программы моделирования, выполненной в среде Borland Delphi 7. Формирование логических функций с использованием системы моделирования.
статья, добавлен 25.08.2020Обзор и классификация существующих систем машинного перевода. Состав логических блоков систем, история развития машинного перевода. Рассмотрение места системы машинного перевода "Кросслятор 2.0" среди современных систем автоматической обработки текстов.
статья, добавлен 28.10.2018Использование арифметико-логических устройств (АЛУ) для выполнения арифметических и логических преобразований над числами и словами, логического сложения и умножения двух слов, сдвигов слов, преобразования двоичных кодов и некоторых других операций.
статья, добавлен 22.03.2019Рациональное построение и непрерывное совершенствование структур сетей автозаправочных станций. Эффективность автоматизированного управления процессами и объектами в данных системах путем разработки новых постановок задач и информационно-логических схем.
реферат, добавлен 20.03.2015Проектирование приложения, выводящего информацию о логических дисках: размер диска, свободное место, кластеры. Выведение номера тома, буфер, название. Последовательность смешения битовой маски всех дисков. Пример интерфейса программы и ее запуск.
лабораторная работа, добавлен 19.07.2017Получение класса унифицированных логических устройств ввода - интеракторов. Анализ моделей стандартных логических устройств ввода, выделение из них инвариантной части. Реализация интерактора средствами объектно-ориентированного программирования.
статья, добавлен 24.08.2020Архитектура вычислительной сети: функциональные, логические и физические принципы ее организации. Принципы расслоения функциональной и программной структуры на архитектурные уровни. Классификация прикладных функций автоматизированных систем управления.
реферат, добавлен 18.03.2018Определение понятия несанкционированного доступа информации. Ознакомление с основными видами вредительских программ: логических бомб, червей, троянских коней, компьютерных вирусов. Рассмотрение характеристики методов и средств шпионажа и диверсий.
реферат, добавлен 12.06.2014Необходимость минимизирования для реализации функции на логических элементах. Способы минимизации: Метод Квайна и Карты Карно. Реализация функции в смешанном базисе. Реализация функции на дешифраторе и логических элементах. Составление таблицы истинности.
контрольная работа, добавлен 20.03.2009Анализ средств и систем защиты информации. Характеристика способов представления булевых функций, приведение критериев эффективности и пути повышения производительности средств и систем защиты информации. Описание форм представления логических функций.
статья, добавлен 29.04.2017Метод формирования логических правил базы знаний экспертной системы. Логические ассоциативные правила, их формирование путём выделения из имеющегося покрытия, которое удовлетворяет определённому значению поддержки информативных информационных признаков.
статья, добавлен 29.06.2016Изучение различных известных способов решения логических задач и эффективности их применения к задачам разного типа. Создание сайта, содержащего рекомендации по использованию разных способов в решении задач. Тестирующая программа по проверке знаний.
статья, добавлен 22.03.2019Вопросы информационной безопасности и устойчивости к несанкционированному проникновению в автоматизированных системах управления технологическими процессами. Статистический анализ инцидентов, аварий и пожаров, которые имеют разные уровни автоматизации.
статья, добавлен 08.04.2019Изучение необходимости внедрения контроллеров для увеличения надежности всего электрооборудования автомобиля и снижения количества жгутов, проводов, отдельных модулей управления и индикации. Схема программирования и работа контроллеров ЭСУЭ и CBCU.
дипломная работа, добавлен 04.03.2015Анализ инструментальных средств проектирования автоматизированных систем. Разработка функциональных и логических схем. Алгоритм работы программы. Концептуальная модель базы данных. Диаграммы вариантов использования модели интернет-магазина автозапчастей.
курсовая работа, добавлен 31.12.2015Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
статья, добавлен 28.10.2018