Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов. Запропоновано підхід до проектування специфікації керуючої частини реактивного алгоритму, що базується на використанні п...
Збережено в:
| Опубліковано в: : | Комп’ютерні засоби, мережі та системи |
|---|---|
| Дата: | 2013 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/69703 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862728904554315776 |
|---|---|
| author | Чеботарев, А.Н. |
| author_facet | Чеботарев, А.Н. |
| citation_txt | Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос. |
| collection | DSpace DC |
| container_title | Комп’ютерні засоби, мережі та системи |
| description | Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов.
Запропоновано підхід до проектування специфікації керуючої частини реактивного алгоритму, що базується на використанні процедури перевірки узгодженості взаємодіючих автоматів.
An approach to the development of a logical specification of the control part of a reactive algorithm is proposed based on the procedure of checking the compatibility of interacting automata.
|
| first_indexed | 2025-12-07T19:11:46Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-69703 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1817-9908 |
| language | Russian |
| last_indexed | 2025-12-07T19:11:46Z |
| publishDate | 2013 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Чеботарев, А.Н. 2014-10-18T18:25:56Z 2014-10-18T18:25:56Z 2013 Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос. 1817-9908 https://nasplib.isofts.kiev.ua/handle/123456789/69703 519.713.1 Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов. Запропоновано підхід до проектування специфікації керуючої частини реактивного алгоритму, що базується на використанні процедури перевірки узгодженості взаємодіючих автоматів. An approach to the development of a logical specification of the control part of a reactive algorithm is proposed based on the procedure of checking the compatibility of interacting automata. ru Інститут кібернетики ім. В.М. Глушкова НАН України Комп’ютерні засоби, мережі та системи Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части Transformation of restrictions to the behavior of operational part of a reactive algorithm into the restrictions to the behavior of its control part Article published earlier |
| spellingShingle | Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части Чеботарев, А.Н. |
| title | Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части |
| title_alt | Transformation of restrictions to the behavior of operational part of a reactive algorithm into the restrictions to the behavior of its control part |
| title_full | Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части |
| title_fullStr | Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части |
| title_full_unstemmed | Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части |
| title_short | Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части |
| title_sort | преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/69703 |
| work_keys_str_mv | AT čebotarevan preobrazovanieograničeniinapovedenieoperacionnoičastireaktivnogoalgoritmavograničeniânapovedenieegoupravlâûŝeičasti AT čebotarevan transformationofrestrictionstothebehaviorofoperationalpartofareactivealgorithmintotherestrictionstothebehaviorofitscontrolpart |