Титульная страница и содержание

Титульная страница и содержание

Gespeichert in:
Bibliographische Detailangaben
Datum:2012
Format: Artikel
Sprache:Russian
Veröffentlicht: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
Schriftenreihe:Управляющие системы и машины
Online Zugang:http://dspace.nbuv.gov.ua/handle/123456789/83101
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Титульная страница и содержание // Управляющие системы и машины. — 2012. — № 6. — С. 1–2. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-83101
record_format dspace
spelling irk-123456789-831012015-06-15T03:02:11Z Титульная страница и содержание 2012 Article Титульная страница и содержание // Управляющие системы и машины. — 2012. — № 6. — С. 1–2. — рос. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83101 ru Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
format Article
title Титульная страница и содержание
spellingShingle Титульная страница и содержание
Управляющие системы и машины
title_short Титульная страница и содержание
title_full Титульная страница и содержание
title_fullStr Титульная страница и содержание
title_full_unstemmed Титульная страница и содержание
title_sort титульная страница и содержание
publisher Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
publishDate 2012
url http://dspace.nbuv.gov.ua/handle/123456789/83101
citation_txt Титульная страница и содержание // Управляющие системы и машины. — 2012. — № 6. — С. 1–2. — рос.
series Управляющие системы и машины
first_indexed 2025-07-06T09:50:08Z
last_indexed 2025-07-06T09:50:08Z
_version_ 1836890623223791616
fulltext © Международный научно-учебный центр информационных технологий и систем НАН и МОН Украины, 2012 и УСМ УПРАВЛЯЮЩИЕ С И С Т Е М Ы И М А Ш И Н Ы  Н а ц и о н а л ь н а я а к а д е м и я н а у к У к р а и ны  Межд у н а р о д ный н а уч н о - уч е бный ц е н т р и нфо рм а ц и о н ны х т е х н о л о г и й и с и с т е м  Ин с т и т у т к и б е р н е т и к и им е н и В .М . Г л уш к о в а  Фон д Г л уш к о в а М е ж д у н а р о д н ы й н а у ч н ы й ж у р н а л (статьи публикуются на русском, украинском, английском языках) 6 2012 Основан в сентябре 1972 г. (242) ноябрь–декабрь Выходит раз в два месяца Содержание Теоретические основы инсерционного моделирования Летичевский А.Ад. Инсерционное моделирование . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Семантика формальных и естественных языков Губа А.А., Шушпанов К.И. Инсерционная семантика плоских многопотоковых моделей языка UCM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Годлевский А.Б. Инсерционная семантика параллельных процедурных конструктов языка UCM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Мищенко Н.М., Фелижанко О.Д., Щеголева Н.Н. Универсальная система программ обработки тематических текстов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 Технические приложения инсерционного моделирования Колчин А.В., Котляров В.П., Дробинцев П.Д. Метод генерации тестовых сценариев в среде инсерционного моделирования . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 Потиенко С.В. Организация базы знаний о переходах системы с атрибутами перечислимых типов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 Кожаев В.В. Инсерционное моделирование сценариев ролевых игр . . . . . . . . . . . . . . . . . . . . . . 53 Дедуктивные методы Никитченко Н.С., Тимофеев В.Г. О применении композиционно-номинативных логик в инсерционном моделировании . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 Летичевский А.А. (мл.), Мороховец М.К., Песчаненко В.С. Система доказательного программирования . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 Информационные технологии Галковская Л.А., Глибовец Н.Н., Гороховский С.С. Гибридный алгоритм решения задачи удовлетворения ограничений. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 Коломейко В.В. Методологические аспекты обеспечения эффективного взаимодействия программных средств и специалистов в многоуровневых человеко-машинных системах. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 Наши авторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89 Систематический указатель статей, опубликованных в 2012 году . . . . . . . . . . 90 Алфавитный именной указатель за 2012 год . . . . . . . . . . . . . . . . . . . . . . . . . . 93 Научные консультанты Е.Л. Денисенко, А.В. Палагин Научные редакторы С.П. Чарчиян, Н.И. Савенко Компьютерная группа С.К. Горбунов, Н.С. Сташкова Журнал входит в Перечень периодических изданий, рекомендованных ВАК Украины для опубликования результатов диссертаций на соискание степени доктора физико-математических, технических и экономических наук Принято к печати ученым советом МНУЦИТиС Свидетельство о регистрации КВ № 17215 – 5985 ПР от 27.10.2010 Подп. в печать 17.12.2012. Формат 84  108/16. Бум. офсетная. Усл. печ. листов 4,0. Уч.-изд. листов 5,58. Печать офсетная. Тираж 160 экз. Зак. № 3448. Отпечатано в типографии Изд. дома «Академпериодика», 01004, Киев-4, ул. Терещенковская, 4. Свидетельство субъекта издательской деятельности ДК № 544 от 27.07.2011. Оригинал-макет журнала изготовлен в редакции с помощью настольной издательской системы.

Ähnliche Einträge