Международный симпозиум «Автоматы, алгоритмы и информационные технологии»
С 19 по 21 мая в Киеве (Украина) проходил Международный симпозиум «Автоматы, алгоритмы и информационные технологии», приуроченный к 75-летнему юбилею академика НАНУ Александра Адольфовича Летичевского....
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2010 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/45254 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Международный симпозиум «Автоматы, алгоритмы и информационные технологии» / М.К. Мороховец // Кибернетика и системный анализ. — 2010. — № 4. — С. 181-182. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-45254 |
|---|---|
| record_format |
dspace |
| spelling |
Мороховец, М.К. 2013-06-10T19:09:11Z 2013-06-10T19:09:11Z 2010 Международный симпозиум «Автоматы, алгоритмы и информационные технологии» / М.К. Мороховец // Кибернетика и системный анализ. — 2010. — № 4. — С. 181-182. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45254 С 19 по 21 мая в Киеве (Украина) проходил Международный симпозиум «Автоматы, алгоритмы и информационные технологии», приуроченный к 75-летнему юбилею академика НАНУ Александра Адольфовича Летичевского. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Научная информация Международный симпозиум «Автоматы, алгоритмы и информационные технологии» Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Международный симпозиум «Автоматы, алгоритмы и информационные технологии» |
| spellingShingle |
Международный симпозиум «Автоматы, алгоритмы и информационные технологии» Мороховец, М.К. Научная информация |
| title_short |
Международный симпозиум «Автоматы, алгоритмы и информационные технологии» |
| title_full |
Международный симпозиум «Автоматы, алгоритмы и информационные технологии» |
| title_fullStr |
Международный симпозиум «Автоматы, алгоритмы и информационные технологии» |
| title_full_unstemmed |
Международный симпозиум «Автоматы, алгоритмы и информационные технологии» |
| title_sort |
международный симпозиум «автоматы, алгоритмы и информационные технологии» |
| author |
Мороховец, М.К. |
| author_facet |
Мороховец, М.К. |
| topic |
Научная информация |
| topic_facet |
Научная информация |
| publishDate |
2010 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| description |
С 19 по 21 мая в Киеве (Украина) проходил Международный симпозиум «Автоматы, алгоритмы и информационные технологии», приуроченный к 75-летнему юбилею академика НАНУ Александра Адольфовича Летичевского.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/45254 |
| citation_txt |
Международный симпозиум «Автоматы, алгоритмы и информационные технологии» / М.К. Мороховец // Кибернетика и системный анализ. — 2010. — № 4. — С. 181-182. — рос. |
| work_keys_str_mv |
AT morohovecmk meždunarodnyisimpoziumavtomatyalgoritmyiinformacionnyetehnologii |
| first_indexed |
2025-11-25T13:49:45Z |
| last_indexed |
2025-11-25T13:49:45Z |
| _version_ |
1850516091415035904 |
| fulltext |
ÌÅÆÄÓÍÀÐÎÄÍÛÉ ÑÈÌÏÎÇÈÓÌ
«ÀÂÒÎÌÀÒÛ, ÀËÃÎÐÈÒÌÛ È ÈÍÔÎÐÌÀÖÈÎÍÍÛÅ ÒÅÕÍÎËÎÃÈÈ»
Ñ 19 ïî 21 ìàÿ â Êèåâå (Óêðàèíà) ïðîõîäèë Ìåæäóíàðîäíûé ñèìïîçèóì
«Àâòîìàòû, àëãîðèòìû è èíôîðìàöèîííûå òåõíîëîãèè», ïðèóðî÷åííûé ê 75-ëåò-
íåìó þáèëåþ àêàäåìèêà ÍÀÍÓ Àëåêñàíäðà Àäîëüôîâè÷à Ëåòè÷åâñêîãî.  îðãà-
íèçàöèè ñèìïîçèóìà ïðèíèìàëè ó÷àñòèå Íàöèîíàëüíàÿ àêàäåìèÿ íàóê Óêðàèíû,
Èíñòèòóò êèáåðíåòèêè èì. Â.Ì. Ãëóøêîâà ÍÀÍÓ, Èíñòèòóò ïðîãðàììíûõ ñèñ-
òåì ÍÀÍÓ, ÎÎÎ «Èíôîðìàöèîííûå ïðîãðàììíûå ñèñòåìû», Ôîíä Â.Ì. Ãëóø-
êîâà, Êàáàðäèíî-Áàëêàðñêèé íàó÷íûé öåíòð Ðîññèéñêîé àêàäåìèè íàóê, Èíñòè-
òóò ïðîáëåì èíôîðìàòèêè è àâòîìàòèçàöèè Íàöèîíàëüíîé àêàäåìèè íàóê Ðåñ-
ïóáëèêè Àðìåíèÿ.
 îðãàíèçàöèîííûé è ïðîãðàììíûé êîìèòåò ñèìïîçèóìà âîøëè ó÷åíûå èç
Àðìåíèè, Âåëèêîáðèòàíèè, Ãåðìàíèè, Ðîññèè, Óêðàèíû.
Íà ñèìïîçèóìå âûñòóïèëè ñ äîêëàäàìè 35 ó÷àñòíèêîâ èç âîñüìè ñòðàí
(Àðìåíèè, Âåëèêîáðèòàíèè, Ãåðìàíèè, Äàíèè, Ëàòâèè, Ðîññèè, ÑØÀ, Óêðàèíû).
Âî âñòóïèòåëüíîì ñëîâå àêàäåìèê ÍÀÍÓ, Ãåíåðàëüíûé äèðåêòîð Êèáåðíåòè÷åñ-
êîãî öåíòðà ÍÀÍÓ, äèðåêòîð Èíñòèòóòà êèáåðíåòèêè èì. Â.Ì. Ãëóøêîâà ÍÀÍÓ
È.Â. Ñåðãèåíêî ïîä÷åðêíóë âàæíîñòü è àêòóàëüíîñòü èññëåäîâàíèé â îáëàñòè òåîðèè
àâòîìàòîâ è èíôîðìàöèîííûõ òåõíîëîãèé. Îí îòìåòèë òàêæå áîëüøîé âêëàä â ðàçâè-
òèå ýòèõ íàïðàâëåíèé ñîâðåìåííîé íàóêè ó÷åíûõ êèåâñêîé øêîëû, îñíîâàííîé
Â.Ì. Ãëóøêîâûì, îäíèì èç êîòîðûõ ÿâëÿåòñÿ À.À. Ëåòè÷åâñêèé. È.Â. Ñåðãèåíêî ïî-
çäðàâèë À.À. Ëåòè÷åâñêîãî ñ 75-ëåòíèì þáèëååì. Íà öåðåìîíèè îòêðûòèÿ ñèìïîçèóìà
âûñòóïèëè: àêàäåìèê ÍÀÍÓ, äèðåêòîð Èíñòèòóòà ïðîãðàììíûõ ñèñòåì ÍÀÍÓ
Ô.È. Àíäîí, ÷ëåí-êîððåñïîíäåíò ÍÀÍÓ, äåêàí ôàêóëüòåòà êèáåðíåòèêè Êèåâñêîãî íà-
öèîíàëüíîãî óíèâåðñèòåòà èìåíè Òàðàñà Øåâ÷åíêî À.Â. Àíèñèìîâ, àêàäåìèê Íàöèî-
íàëüíîé àêàäåìèè íàóê Ðåñïóáëèêè Àðìåíèÿ, âèöå-ïðåçèäåíò ÍÀÍ Àðìåíèè
Þ.Ã. Øóêóðÿí, äåéñòâèòåëüíûé ÷ëåí Ìåæäóíàðîäíîé àêàäåìèè èíôîðìàòèçàöèè ïðî-
ôåññîð À.À. Áåðñ. Îðàòîðàìè îñâåùàëèñü àêòóàëüíûå ïðîáëåìû ðàçâèòèÿ èíôîðìàöè-
îííûõ òåõíîëîãèé. Êîëëåãè òåïëî ïîçäðàâèëè þáèëÿðà À.À. Ëåòè÷åâñêîãî.
 ïåðâûé äåíü ñèìïîçèóìà íà ïëåíàðíîì çàñåäàíèè áûëè ïðåäñòàâëåíû ñëåäó-
þùèå äîêëàäû.
Dines Bj�orner (Denmark). Domain Science & Engineering (From Computer Science
to the Sciences of Informatics). Äîêëàä ïîñâÿùåí ìåòîäîëîãèè ïîñòðîåíèÿ ìîäåëè
ïðåäìåòíîé îáëàñòè ïðè ðàçðàáîòêå ïðîãðàììíîãî îáåñïå÷åíèÿ; ïðåäëàãàåòñÿ íî-
âîå íàïðàâëåíèå — èíæåíåðèÿ ïðåäìåòíûõ îáëàñòåé.
R��usins,
� Freivalds (Latvia). Nonconstructive Methods in Finite Automata. Â äîêëàäå
îáñóæäàëèñü âîïðîñû ñðàâíåíèÿ ðàçìåðíîñòåé êîíå÷íîãî äåòåðìèíèðîâàííîãî àâ-
òîìàòà è ýêâèâàëåíòíîãî åìó âåðîÿòíîñòíîãî àâòîìàòà, à òàêæå âîçìîæíîñòè ðàñ-
ïîçíàâàíèÿ íåðåãóëÿðíûõ ÿçûêîâ ñ ïîìîùüþ êîíå÷íûõ àâòîìàòîâ; ïîêàçàíî, â ÷àñ-
òíîñòè, ÷òî ïðè ïåðåõîäå îò êîíå÷íîãî äåòåðìèíèðîâàííîãî àâòîìàòà ê ýêâèâàëåí-
òíîìó êîíå÷íîìó âåðîÿòíîñòíîìó àâòîìàòó ñïåöèàëüíîãî âèäà ÷èñëî ñîñòîÿíèé
ìîæåò óìåíüøèòüñÿ ýêñïîíåíöèàëüíî.
Tudor Jebelean (Austria). Logical Based Program Termination. Äîêëàä ïîñâÿùåí
ïðîáëåìå âåðèôèêàöèè èìïåðàòèâíûõ ïðîãðàìì. Öåëü èññëåäîâàíèé — ïîñòðîå-
íèå ñðåäñòâ àâòîìàòèçèðîâàííîãî äîêàçàòåëüñòâà ïðàâèëüíîñòè ïðîãðàìì. Èñõîäÿ
èç ýòîãî ðàçðàáàòûâàåòñÿ ìåòàëîãèêà ðàññóæäåíèé îá èìïåðàòèâíûõ ïðîãðàììàõ.
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2010, ¹ 4 181
Âî âòîðîé äåíü ñèìïîçèóìà íà ïëåíàðíîì çàñåäàíèè çàñëóøàíû ñëåäóþùèå
äîêëàäû.
Yuri Shoukourian (Armenia). Comparison of Traces (automata approach). Â äîêëà-
äå ðàññìàòðèâàåòñÿ ïðèëîæåíèå ìåòîäîâ àëãåáðû è òåîðèè àâòîìàòîâ ê ðåøåíèþ
çàäà÷ îïèñàíèÿ ñåìàíòèêè âçàèìîäåéñòâóþùèõ ïðîöåññîâ, à òàêæå ñðàâíåíèÿ ìíî-
æåñòâ òåêñòîâ; ïðåäëîæåí ìåòîä ðåøåíèÿ âòîðîé çàäà÷è.
Sergei Gorlatch (Germany). Towards High-Level Programming for Modern Parallel
and Distributed Systems: From GPU to Cloud. Ïðåäëîæåí ïîäõîä ê ïðîåêòèðîâàíèþ
è ðàçðàáîòêå ìàòåìàòè÷åñêîãî îáåñïå÷åíèÿ, ïîääåðæèâàþùåãî ðàñïðåäåëåííûå
âû÷èñëåíèÿ è óäîâëåòâîðÿþùåãî òðåáîâàíèÿì âûñîêîé ñêîðîñòè îáðàáîòêè äàí-
íûõ (îïåðàòèâíàÿ îáðàáîòêà èíôîðìàöèè ìåäèöèíñêîãî õàðàêòåðà, ïîääåðæêà êîì-
ïüþòåðíûõ èãð ñ áîëüøèì ÷èñëîì óäàëåííûõ îäèí îò äðóãîãî ó÷àñòíèêîâ).
Victor Khomenko (Great Britain). Unfolding Models of Asynchronous Systems:
Applications to Analysis and Synthesis. Äîêëàä ïîñâÿùåí ïðèëîæåíèÿì ñïåöèàëüíîé
òåõíèêè, îñíîâàííîé íà òåîðèè ñåòåé Ïåòðè, äëÿ àíàëèçà ñèñòåì ïàðàëëåëüíûõ âû-
÷èñëåíèé â öåëîì è âåðèôèêàöèè è ñèíòåçà àñèíõðîííûõ öåïåé â ÷àñòíîñòè.
Ïëåíàðíûå äîêëàäû, ïðåäñòàâëåííûå â òðåòèé äåíü ðàáîòû ñèìïîçèóìà, áûëè
ïîñâÿùåíû èíñåðöèîííîìó ìîäåëèðîâàíèþ è âåðèôèêàöèè ïðîãðàìì.
A.A. Letichevski (Ukraine). Insertion Modeling. Ïðåäëîæåí ïðîåêò ñèñòåìû èí-
ñåðöèîííîãî ìîäåëèðîâàíèÿ, îñíîâàííîé íà ðàçðàáîòàííîé àâòîðîì â 1990-õ ãîäàõ
ìîäåëè âçàèìîäåéñòâèÿ àãåíòîâ è ñðåä.
I.V. Konnov, O. Letychevskiy (Russia, Ukraine). Model Checking GARP Protocol
Using Spin and VRS. Ïðèâåäåíû ðåçóëüòàòû âåðèôèêàöèè ñ ïîìîùüþ ôîðìàëüíûõ ìå-
òîäîâ ïðîòîêîëà, èñïîëüçóåìîãî â ëîêàëüíûõ ñåòÿõ è îïðåäåëåííîãî ñòàíäàðòîì IEEE.
A.V. Kolchin (Ukraine). An Automatic Method for Dynamic State Abstraction
Construction of Formal Models. Ïðåäëîæåí ìåòîä, ïîçâîëÿþùèé ïîâûñèòü ýôôåêòèâ-
íîñòü âåðèôèêàöèè ïðîãðàìì, îñóùåñòâëÿåìîé ïóòåì ïðîâåðêè ìîäåëè (model checking).
S.V. Potiyenko (Ukraine). Static Ñhecking of Some Properties of Multi Component
Systems. Äîêëàä ïîñâÿùåí ñòàòè÷åñêèì ìåòîäàì âåðèôèêàöèè ìîäåëåé ìíîãîêîì-
ïîíåíòíûõ ñèñòåì, ñïåöèôèöèðîâàííûõ áàçîâûìè ïðîòîêîëàìè.
Íà ñèìïîçèóìå âûñòóïèëè ïðåäñòàâèòåëè ìîñêîâñêîé øêîëû òåîðèè ïðîãðàì-
ìèðîâàíèÿ (Ð.È. Ïîäëîâ÷åíêî, Â.À. Çàõàðîâ), äîíåöêîé øêîëû òåîðèè àâòîìàòîâ
(Â.À. Êîçëîâñêèé, Å.À. Ïðÿíè÷íèêîâà, Â.Ã. Ñêîáåëåâ, Å.À. Òàòàðèíîâ), êèåâñêîé
øêîëû âåðèôèêàöèè ïðîãðàìì (À.À. Ëåòè÷åâñêèé, À.Á. Ãîäëåâñêèé, À.Â. Êîë÷èí,
Àë.Àë. Ëåòè÷åâñêèé, Ñ.Â. Ïîòèåíêî), êèåâñêîé øêîëû òåîðèè àâòîìàòîâ (Ñ.Ë. Êðû-
âûé, È.Ê. Ðûñöîâ, À.Í. ×åáîòàðåâ). Ðÿä äîêëàäîâ áûë ïîñâÿùåí ñèñòåìå àëãåáðàè-
÷åñêîãî ïðîãðàììèðîâàíèÿ (ÀÏÑ), ðàçðàáîòàííîé ïîä ðóêîâîäñòâîì àêàäåìèêà
À.À. Ëåòè÷åâñêîãî (Ï.Í. Äåíèñåíêî, Â.Ñ. Ïåñ÷àíåíêî). Áûëè ïðåäñòàâëåíû äîêëà-
äû î ïàðàëëåëüíûõ è ðàñïðåäåëåííûõ âû÷èñëåíèÿõ (Ê.À. Æåðåá), òåõíîëîãèÿõ ïðî-
ãðàììèðîâàíèÿ íîâîãî ïîêîëåíèÿ (È.Â. Âåëüáèöêèé), î íàñòîÿùåì è áóäóùåì ðàç-
âèòèÿ âûñîêîïðîèçâîäèòåëüíûõ êîìïüþòåðîâ è ñâÿçàííûõ ñ ýòèì ïðîáëåìàõ
(Ò. Ëþäâèã). Äîêëàä÷èêè ïðåäñòàâèëè ðåçóëüòàòàòû èññëåäîâàíèé â îáëàñòè èñêóñ-
ñòâåííîãî èíòåëëåêòà (À.Â. Ñàìñîíîâè÷), èíôîðìàöèîííûõ òåõíîëîãèé (Í.Ì. Ãëà-
çóíîâ, ß.Ì. Êóëü÷èöêèé, C.C. Øêèëüíÿê), òåîðèè ïðîãðàììèðîâàíèÿ (Í.Ñ. Íèêèò-
÷åíêî), òåîðèè êëîíîâ (Ã.Å. Öåéòëèí).
 çàêëþ÷åíèå ñèìïîçèóìà ñ äîêëàäîì î òâîð÷åñêîì ïóòè þáèëÿðà À.À. Ëåòè-
÷åâñêîãî âûñòóïèë Ñ.Ñ. Ãîðîõîâñêèé.
Ñèìïîçèóì ñîáðàë èññëåäîâàòåëåé â ðàçëè÷íûõ îáëàñòÿõ ñîâðåìåííîé êîì-
ïüþòåðíîé íàóêè, ïðåäñòàâèòåëåé íàó÷íûõ øêîë èç ðàçíûõ ñòðàí ìèðà, ÷òî äàëî
ó÷àñòíèêàì âîçìîæíîñòü îçíàêîìèòüñÿ ñ íîâûìè ðåçóëüòàòàìè èññëåäîâàíèé è
äîñòèæåíèÿìè, îáñóäèòü àêòóàëüíûå âîïðîñû òåîðèè àâòîìàòîâ, ðàçðàáîòêè àëãî-
ðèòìîâ è ïðîãðàìì, èíôîðìàöèîííûõ òåõíîëîãèé.
Òåçèñû äîêëàäîâ, ïðåäñòàâëåííûõ íà ñèìïîçèóìå, îïóáëèêîâàíû â ñáîðíèêå
«International Workshop Automata, algorithms and information technologies.
Abstracts». — Kyiv, May 19–21, 2010. — 28 c. Ðÿä äîêëàäîâ ñèìïîçèóìà îïóáëèêî-
âàí â æóðíàëå «Êèáåðíåòèêà è ñèñòåìíûé àíàëèç», ¹ 4, 2010.
Ì.Ê. ÌÎÐÎÕÎÂÅÖ
182 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2010, ¹ 4
|