Normal view
MARC view
Минимизация автоматов с таймаутами и временными ограничениями (Record no. 432918)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 04537nab a2200313 c 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000622963 |
| 005 - Дата корректировки | |
| Контрольное поле | 20240426161725.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 180319|2017 ru s c rus d |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000622963 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 100 1# - Автор | |
| Автор | Твардовский, Александр Сергеевич |
| 9 (RLIN) | 97109 |
| 245 10 - Заглавие | |
| Заглавие | Минимизация автоматов с таймаутами и временными ограничениями |
| Ответственность | А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов |
| 246 11 - Заглавие тома/части | |
| Заглавие тома/части | Minimizing Finite State Machines with time guards and timeouts |
| 504 ## - Библиография | |
| Библиография | Библиогр.: 12 назв. |
| 520 3# - Аннотация | |
| Аннотация | Конечные автоматы широко используются для анализа и синтеза управляющих систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вводится понятие временного автомата. В настоящей работе мы рассматриваем проблему минимизации автоматов с таймаутами и временными ограничениями, поскольку сложность многих задач в теории автоматов существенно зависит от размеров исследуемой системы. Поведение временного автомата может быть достаточно точно описано соответствующим конечным автоматом, и предлагаемый метод минимизации числа состояний системы основан на использовании такой конечно автоматной абстракции. Более того, далее мы минимизируем и временные аспекты автоматного описания, сокращая продолжительность таймаутов и число переходов с временными ограничениями. Мы также показываем, что для полностью определённого детерминированного временного автомата существует единственная минимальная (каноничная) форма, т. е. единственный приведённый по состояниям и временным аспектам автомат с таймаутами и временными ограничениями, поведение которого совпадает с исходным временным автоматом; например, такая минимальная форма может быть использована при построении проверяющих тестов для проверки функциональных и нефункциональных требований к тестируемой реализации. Предложенный метод к минимизации временных аспектов на основе конечно автоматной абстракции может быть применён и для частных случаев рассматриваемой модели, т. е. для минимизации детерминированных полностью определенных автоматов только с таймаутами или только с временными ограничениями. |
| 653 ## - Ключевые слова | |
| Ключевые слова | временные автоматы |
| 653 ## - Ключевые слова | |
| Ключевые слова | автоматы с таймаутами |
| 653 ## - Ключевые слова | |
| Ключевые слова | детерминированные автоматы |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | статьи в журналах |
| 9 (RLIN) | 879358 |
| 700 1# - Другие авторы | |
| Другие авторы | Евтушенко, Нина Владимировна |
| 9 (RLIN) | 70064 |
| 700 1# - Другие авторы | |
| Другие авторы | Громов, Максим Леонидович |
| 9 (RLIN) | 79018 |
| 773 0# - Источник информации | |
| Название источника | Труды Института системного программирования РАН |
| Место и дата издания | 2017 |
| Прочая информация | Т. 29, вып. 4. С. 139-154 |
| ISSN | 2079-8156 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| 856 7# - Электронный адрес документа | |
| URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000622963">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000622963</a> |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | статья |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 432918 |
No items available.