Доказательное проектирование алгоритмов функционирования реактивных систем

Доказательное проектирование алгоритмов функционирования реактивных систем

Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы, возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке L, и методы их решения....

Повний опис

Збережено в:
Бібліографічні деталі
Видавець:Інститут проблем штучного інтелекту МОН України та НАН України
Дата:2008
Автори: Чеботарев, А.Н., Головинский, А.Л.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 2008
Теми:
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/7164
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Цитувати:Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-7164
record_format dspace
spelling irk-123456789-71642010-03-26T12:01:03Z Доказательное проектирование алгоритмов функционирования реактивных систем Чеботарев, А.Н. Головинский, А.Л. Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы, возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке L, и методы их решения. Описується підхід до доказового проектування реактивних алгоритмів, що розвивається в Інституті кібернетики ім. В.М. Глушкова НАН України. Розглядаються основні проблеми, які виникають при проектуванні реактивних алгоритмів, що специфіковані логічною мовою L, та методи їх розв’язання. An approach to provably-correct design of reactive algorithms is described, that has been developed at the Glushkov Institute of Cybernetics of the Ukrainian Academy of Sciences. The basic problems arising in the design of reactive algorithms specified in the logical language L, and methods to solve them are considered. 2008 Article Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос. 1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/7164 519.713.1 ru Інститут проблем штучного інтелекту МОН України та НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
spellingShingle Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
Чеботарев, А.Н.
Головинский, А.Л.
Доказательное проектирование алгоритмов функционирования реактивных систем
description Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы, возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке L, и методы их решения.
format Article
author Чеботарев, А.Н.
Головинский, А.Л.
author_facet Чеботарев, А.Н.
Головинский, А.Л.
author_sort Чеботарев, А.Н.
title Доказательное проектирование алгоритмов функционирования реактивных систем
title_short Доказательное проектирование алгоритмов функционирования реактивных систем
title_full Доказательное проектирование алгоритмов функционирования реактивных систем
title_fullStr Доказательное проектирование алгоритмов функционирования реактивных систем
title_full_unstemmed Доказательное проектирование алгоритмов функционирования реактивных систем
title_sort доказательное проектирование алгоритмов функционирования реактивных систем
publisher Інститут проблем штучного інтелекту МОН України та НАН України
publishDate 2008
topic_facet Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
url http://dspace.nbuv.gov.ua/handle/123456789/7164
citation_txt Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос.
work_keys_str_mv AT čebotarevan dokazatelʹnoeproektirovaniealgoritmovfunkcionirovaniâreaktivnyhsistem
AT golovinskijal dokazatelʹnoeproektirovaniealgoritmovfunkcionirovaniâreaktivnyhsistem
first_indexed 2023-10-18T16:36:52Z
last_indexed 2023-10-18T16:36:52Z
_version_ 1796139442530942976

Схожі ресурси