1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 5(86)'2010
  5. Структура программного комплекса синтеза и верификации моделей цифровых автоматов

Структура программного комплекса синтеза и верификации моделей цифровых автоматов

Л. А. Шувалова, Д. Н. Моамар, Т. Ю. Уткина
Системи обробки інформації. — 2010. — № 5(86). — С. 149-152.
УДК 681.513
Мова статті: російська
Анотації на мовах:

В статье рассмотрены назначение и условия применения программного обеспечения, которое входит в состав программного комплекса, предназначенного для синтеза алгоритмов автоматизированного управления фасовочно-паковочными машинами. Детально освещены методы и средства лингвистической компиляции, описаны типы используемых ими данных. Дано описание режимов, в которых может применяться или модифицироваться комплекс для расширения его функций.
Ключові слова: цифровой автомат, автоматизированное управление
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Шувалова Л. А. Структура программного комплекса синтеза и верификации моделей цифровых автоматов / Л. А. Шувалова, Д. Н. Моамар, Т. Ю. Уткина  // Системи обробки інформації. — 2010. — № 5. — С. 149-152.