Доказательное проектирование алгоритмов функционирования реактивных систем
Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в
 Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы,
 возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке
 L, и...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/7164 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862722020868882432 |
|---|---|
| author | Чеботарев, А.Н. Головинский, А.Л. |
| author_facet | Чеботарев, А.Н. Головинский, А.Л. |
| citation_txt | Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос. |
| collection | DSpace DC |
| description | Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в
Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы,
возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке
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.
|
| first_indexed | 2025-12-07T18:33:19Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-7164 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Russian |
| last_indexed | 2025-12-07T18:33:19Z |
| publishDate | 2008 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Чеботарев, А.Н. Головинский, А.Л. 2010-03-25T12:17:38Z 2010-03-25T12:17:38Z 2008 Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/7164 519.713.1 Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в
 Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы,
 возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке
 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. ru Інститут проблем штучного інтелекту МОН України та НАН України Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем Доказательное проектирование алгоритмов функционирования реактивных систем Доказове проектування алгоритмів функціонуванняя реактивних систем Provably-correct Design of Algorithms of Reactive Systems Functioning Article published earlier |
| spellingShingle | Доказательное проектирование алгоритмов функционирования реактивных систем Чеботарев, А.Н. Головинский, А.Л. Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| title | Доказательное проектирование алгоритмов функционирования реактивных систем |
| title_alt | Доказове проектування алгоритмів функціонуванняя реактивних систем Provably-correct Design of Algorithms of Reactive Systems Functioning |
| title_full | Доказательное проектирование алгоритмов функционирования реактивных систем |
| title_fullStr | Доказательное проектирование алгоритмов функционирования реактивных систем |
| title_full_unstemmed | Доказательное проектирование алгоритмов функционирования реактивных систем |
| title_short | Доказательное проектирование алгоритмов функционирования реактивных систем |
| title_sort | доказательное проектирование алгоритмов функционирования реактивных систем |
| topic | Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| topic_facet | Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/7164 |
| work_keys_str_mv | AT čebotarevan dokazatelʹnoeproektirovaniealgoritmovfunkcionirovaniâreaktivnyhsistem AT golovinskiial dokazatelʹnoeproektirovaniealgoritmovfunkcionirovaniâreaktivnyhsistem AT čebotarevan dokazoveproektuvannâalgoritmívfunkcíonuvannââreaktivnihsistem AT golovinskiial dokazoveproektuvannâalgoritmívfunkcíonuvannââreaktivnihsistem AT čebotarevan provablycorrectdesignofalgorithmsofreactivesystemsfunctioning AT golovinskiial provablycorrectdesignofalgorithmsofreactivesystemsfunctioning |