К упрощению временных полуавтоматов при синхронизации компонентов физических систем

Громов, Максим Леонидович; Евтушенко, Нина Владимировна

К упрощению временных полуавтоматов при синхронизации компонентов физических систем

Громов, Максим Леонидович, Евтушенко, Нина Владимировна

Дата публикации: 2015

Дата публикации в реестре: 2024-07-01T17:20:51Z

Аннотация:

Исследуются возможности уменьшения числа временных переменных во временном полуавтомате, которые используются при синхронизации компонентов в физических системах, например лазерных. Уменьшение числа временных переменных позволяет упростить задачи проверки компонент на соответствие необходимым требованиям.

Ключевые слова:
временные полуавтоматы, временные переменные, лазерные системы

Тип: статьи в журналах

Источник: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11. С. 150-152