Программа проверки корректности визуальных моделей автоматизированных технологических комплексов Plant Model Checker CLI v 1.0
программа проверка корректность модель комплекс
Программа предоставляет набор консольных команд для проверки корректности визуальных моделей автоматизированных технологических комплексов, созданных в интегрированной среде разработки SWSYN Control Builder v 1.0. Программа позволяет использовать методы расширения для печати в консоль информации о правилах грамматики и грамматиках; считывать из текстового файла и анализировать корректность LR(1)-грамматик, описывающих правила построения визуальных моделей; анализировать корректность визуальных моделей относительно LR(1)-грамматик. Область применения: производственная деятельность, научно-исследовательская деятельность при проведении диссертационных исследований, учебный процесс при подготовке инженерно-технических специалистов высших учебных заведений. Программа реализована в виде консольного приложения с использованием языка C# для платформы .Net 6.0. Тип ЭВМ IBM PC-совмест. ПК; ОС: Windows.
производственная деятельность, научно-исследовательская деятельность при проведении диссертационных исследований, учебный процесс при подготовке инженерно-технических специалистов высших учебных заведений
Александр
Боровский
Сергеевич
заведующий кафедрой
Доктор технических наук
Доцент
-
57202982065
531401
http://www.osu.ru/doc/1041/kaf/5750/prep/5892
0000000328242215
РОССИЯ
Сергей
Летута
Николаевич
Проректор по науке
РОССИЯ
20.15.05
Информационные службы, сети, системы в целом
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
Александр
Боровский
Сергеевич
руководитель
РОССИЯ
Андрей
Парамонов
Владимирович
исполнитель
РОССИЯ
Бибигуль
Жумашева
Капуовна
исполнитель
РОССИЯ
ОРЕНБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, ОГУ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ОРЕНБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
1025601802698
СЕРГЕЙ
МИРОШНИКОВ
АЛЕКСАНДРОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения
ОРЕНБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, ОГУ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ОРЕНБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
1025601802698
СЕРГЕЙ
МИРОШНИКОВ
АЛЕКСАНДРОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения