К вопросу о верификации программ программируемых логических контроллеров
Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
| Рубрика | Программирование, компьютеры и кибернетика |
| Предмет | Программирование |
| Вид | статья |
| Язык | русский |
| Прислал(а) | Антипин А.Ф. |
| Дата добавления | 16.07.2018 |
| Размер файла | 106,4 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Архитектура программируемых логических контроллеров - промышленных компьютеров. Устройство вспомогательных интерфейсов. Разнообразие сетевых интерфейсов и коммуникационных модулей. Изучение среды программирования контроллеров фирмы Siemens Step7.
презентация [1,0 M], добавлен 06.08.2013Основные особенности функционирования программируемых логических контроллеров (ПЛК). Инструментальные средства построения методического процесса изучения ПЛК. Создание учебно-демонстрационного стенда на базе контроллеров Fatek и лабораторного практикума.
дипломная работа [4,0 M], добавлен 26.06.2012Использование пакета прикладных программ CADElectro для автоматизации проектных работ при создании электрических систем управления на базе контактной аппаратуры, программируемых контроллеров. Архив технической документации, управление данными об изделиях.
реферат [48,8 K], добавлен 04.04.2013Характерные технические особенности контроллера ALPHA XL Mitsubishi Electric. Подключение модуля адаптера для получения сигнала с датчиков температуры. Пример разработки в программируемой среде. Преимущества программируемых контроллеров Альфа (alpha xl).
курсовая работа [2,2 M], добавлен 21.06.2013Принципы построения и программирования игр. Основы 2-3D графики. Особенности динамического изображения и искусственного интеллекта, их использование для создания игровых программ. Разработка логических игр "Бильярд", "Карточная игра - 50", "Морской бой".
отчет по практике [2,3 M], добавлен 21.05.2013Понятие верификации моделирующих компьютерных программ. Классификация математических моделей. Языки программирования, используемые для имитационных моделирующих программ. Способы исследования реальных систем. Методы повышения валидации и доверия к модели.
шпаргалка [38,8 K], добавлен 02.10.2013Характеристика графических возможностей пакета MS Excel. Сущность MS Accses. Анализ систем счисления и арифметические операции над ними. Модифицированный, дополнительный и обратный коды. Принципы построения логических схем, изучение логических операций.
курсовая работа [2,3 M], добавлен 25.03.2015Разработка на языке программирования С++ программы анализа логических дисков. Интерфейс, диалог с пользователем. Определение текущего диска, его размера, занятого и свободного места, информации о кластерах. Организация программы с использованием меню.
курсовая работа [182,1 K], добавлен 22.10.2012Разработка простейших линейных алгоритмов (составление логических выражений), программ с ветвлениями, циклических программ и составление их блок-схем. Практическое выполнение обработки массивов на примере вычисления элементов квадратной матрицы.
контрольная работа [173,3 K], добавлен 01.03.2010Понятие двоично-десятичного кода (ДДК), его получение и использование. Изучение арифметико-логических устройств, использующихся для обработки ДДК. Алгоритмы сложения, вычитания, умножения и деления ДДК при помощи арифметико-логических устройств.
контрольная работа [145,5 K], добавлен 05.09.2010
