К упрощению временных полуавтоматов при синхронизации компонентов физических систем
Исследуются возможности уменьшения числа временных переменных во временном полуавтомате, которые используются при синхронизации компонентов в физических системах, например лазерных. Уменьшение числа временных переменных позволяет упростить задачи проверки компонент на соответствие необходимым требов...
| Published in: | Известия высших учебных заведений. Физика Т. 58, № 11. С. 150-152 |
|---|---|
| Main Author: | Громов, Максим Леонидович |
| Other Authors: | Евтушенко, Нина Владимировна |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141305 |
Similar Items
-
Параллельная композиция временных автоматов
by: Кондратьева, Ольга Викторовна -
Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
by: Громов, Максим Леонидович -
Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
by: Лапутенко, Андрей Владимирович -
О сложности детерминизации полуавтоматов некоторых классов
by: Кондратьева, Ольга Викторовна -
Метод построения полного проверяющего теста для входо-выходных полуавтоматов
by: Громов, Максим Леонидович
