2025-02-24T07:45:05-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-69703%22&qt=morelikethis&rows=5
2025-02-24T07:45:05-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-69703%22&qt=morelikethis&rows=5
2025-02-24T07:45:05-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-24T07:45:05-05:00 DEBUG: Deserialized SOLR response
Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части

Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части

Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов....

Full description

Saved in:
Bibliographic Details
Main Author: Чеботарев, А.Н.
Format: Article
Language:Russian
Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Series:Комп’ютерні засоби, мережі та системи
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/69703
Tags: Add Tag
No Tags, Be the first to tag this record!
id irk-123456789-69703
record_format dspace
spelling irk-123456789-697032014-10-19T03:02:01Z Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части Чеботарев, А.Н. Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов. Запропоновано підхід до проектування специфікації керуючої частини реактивного алгоритму, що базується на використанні процедури перевірки узгодженості взаємодіючих автоматів. 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. 2013 Article Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос. 1817-9908 http://dspace.nbuv.gov.ua/handle/123456789/69703 519.713.1 ru Комп’ютерні засоби, мережі та системи Інститут кібернетики ім. В.М. Глушкова НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
description Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов.
format Article
author Чеботарев, А.Н.
spellingShingle Чеботарев, А.Н.
Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
Комп’ютерні засоби, мережі та системи
author_facet Чеботарев, А.Н.
author_sort Чеботарев, А.Н.
title Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
title_short Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
title_full Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
title_fullStr Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
title_full_unstemmed Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
title_sort преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate 2013
url http://dspace.nbuv.gov.ua/handle/123456789/69703
citation_txt Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос.
series Комп’ютерні засоби, мережі та системи
work_keys_str_mv AT čebotarevan preobrazovanieograničenijnapovedenieoperacionnojčastireaktivnogoalgoritmavograničeniânapovedenieegoupravlâûŝejčasti
first_indexed 2023-10-18T18:57:02Z
last_indexed 2023-10-18T18:57:02Z
_version_ 1796145598803476480

Similar Items