Зображення обкладинки

Нисходящее проектирование алгоритмов в рамках алгеброалгоритмического подхода

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Математичні машини і системи
Дата:	2012
Автори:	Дорошенко, А.Е., Акуловский, В.Г.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2012
Теми:	Інформаційні і телекомунікаційні технології
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/60011
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Нисходящее проектирование алгоритмов в рамках алгеброалгоритмического подхода / А.Е. Дорошенко, В.Г. Акуловский // Мат. машини і системи. — 2012. — № 3. — С. 97-102. — Бібліогр.: 6 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Реализация комплексного подхода к описанию алгоритмов информационно-управляющих систем в рамках алгебраического аппарата
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2013)

Оценка продовольственной безопасности региона в рамках программы сотрудничества FAO UN с применением метода нечёткого вывода
за авторством: Алиєв, Э.Т.
Опубліковано: (2017)

Роль базисов компьютерной науки и системно-кибернетического подхода в решении проблемы информационно-психологического влияния
за авторством: Морозов, А.А., та інші
Опубліковано: (2009)

Согласованное описание алгоритмов в рамках алгебраического аппарата
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2014)

Графова інтерпретація інформаційних систем на основі баз даних та знань в рамках концепції задоволення обмежень та правил
за авторством: Випасняк, Л.І., та інші
Опубліковано: (2010)

Змінна роздільна здатність у зоровому сприйнятті та обробленні зображень
за авторством: Шарипанов А.В., А.В., та інші
Опубліковано: (2018)

Інформаційно-аналітична підтримка контролю за виконанням державних управлінських рішень
за авторством: Додонов, О.Г., та інші
Опубліковано: (2015)

Аппроксимация одно-, дву- и трехмерных дуг кривых параметрическими сплайнами
за авторством: Вишневский, В.В., та інші
Опубліковано: (2015)

Использование эвристики в планировании эксперимента и регрессионном анализе
за авторством: Радченко, С.Г.
Опубліковано: (2015)

Моделювання діалектного тексту в технології багаторівневого інформаційного моніторингу
за авторством: Голуб, С.В., та інші
Опубліковано: (2016)

Методы планирования потоков задач в grid-среде
за авторством: Казимир, В.В., та інші
Опубліковано: (2013)

Машинное зрение (аналитический обзор)
за авторством: Дятлов, Е.И.
Опубліковано: (2013)

Інформаційні технології в забезпеченні безпеки життєдіяльності в умовах зростаючого міжнародного і державного тероризму
за авторством: Ященко, В.О.
Опубліковано: (2019)

О применимости экспертных систем в учебном процессе
за авторством: Шахбазова, Ш.Н.
Опубліковано: (2013)

Метод параметрической адаптации турбокодов в условиях неопределенности
за авторством: Василенко, В.М.
Опубліковано: (2018)

Мультиагентная модель для управления эффективностью Дельфи-процесса многотуровой экспертизы
за авторством: Ильина, Е.П., та інші
Опубліковано: (2012)

Технологии управления медиапотоками
за авторством: Алексеев, К.Д., та інші
Опубліковано: (2014)

Инструментальные средства создания моделей в условиях неполноты данных
за авторством: Литвинов, В.В., та інші
Опубліковано: (2014)

Предиктивний тайпінг в інтерфейсі користувача інформаційно-пошукової системи
за авторством: Литвинов, В.А., та інші
Опубліковано: (2013)

Типовые ошибки в информационных ресурсах ГИС, правила и особенности их выявления в сфере лесного хозяйства (на примере системы "ГИС-Леспроект")
за авторством: Литвинов, В.А., та інші
Опубліковано: (2016)

Досвід створення в Україні національної інтегрованої системи трансферу технологій
за авторством: Лисенко, В.С., та інші
Опубліковано: (2013)

Фінансовий інжиніринг як інструмент інноваційної діяльності в інвестиційних проектах
за авторством: Краскевич, В.Є., та інші
Опубліковано: (2016)

"Платформа как сервис" в грид для интерактивного анализа медицинских данных
за авторством: Сальников, А.А., та інші
Опубліковано: (2015)

К вопросу о расчете метеорологических условий в облачной инфраструктуре Amazon
за авторством: Полонский, А.А.
Опубліковано: (2018)

Информационная система поддержки принятия решения в процессе выращивания биотехнических объектов
за авторством: Голуб, Б.Л., та інші
Опубліковано: (2018)

Технології підтримки прийняття рішень в умовах невизначеності при проектуванні технологічних процесів
за авторством: Броварець, О.О., та інші
Опубліковано: (2019)

Удосконалення методу висхідного синтезу елементів в інформаційній технології багаторівневого моніторингу мобільного робота
за авторством: Харченко, О.В., та інші
Опубліковано: (2016)

Относительная производительность ускоренного ввода ключевого слова в поисковой системе с пошаговой подсказкой
за авторством: Литвинов, В.А., та інші
Опубліковано: (2013)

Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань
за авторством: Федорук, П.І., та інші
Опубліковано: (2013)

Розподілена обробка інформації і ГІС-технології в системі електронного урядування регіонального рівня
за авторством: Білецький, Б.О., та інші
Опубліковано: (2014)

Информационная технология блочного имитационного моделирования автоматизированных систем в условиях неопределенности входной информации
за авторством: Литвинов, В.В., та інші
Опубліковано: (2018)

Оценка контролирующих свойств базового словаря допустимых слов в системе автоматического обнаружения ошибок пользователя
за авторством: Литвинов, В.А., та інші
Опубліковано: (2014)

Пространственно-временные геоданные, их представление и обработка в задачах планово-картографического сопровождения лесоустройства
за авторством: Майстренко, С.Я.
Опубліковано: (2015)

Аналіз недоліків систем автоматизованого захисту інформації та методів біометричної автентифікації, які в них використовуються
за авторством: Фенюк, М.В.
Опубліковано: (2012)

Аналіз та обґрунтування методів і моделей формування типових сценаріїв ліквідації НС з використанням ГІС-технологій на регіональному рівні
за авторством: Кузьменко, Г.Є., та інші
Опубліковано: (2012)

Оценка влияния изменений в Налоговом кодексе на налоговый потенциал на основе применения метода нечеткого вывода
за авторством: Агамалыев, М.А., та інші
Опубліковано: (2016)

Формування методичних засад оцінки території для системи управління містобудуванням як складової електронного урядування
за авторством: Кузьменко, Г.Є., та інші
Опубліковано: (2013)

Побудова моделей-класифікаторів за результатами багатовимірної поляризаційної мікроскопії в технології судово-медичного інтелектуального моніторингу хвороб серця
за авторством: Голуб, С.В., та інші
Опубліковано: (2018)

Численное исследование придонного давления и его горизонтального градиента в зоне прибоя и наката волн на берег
за авторством: Демченко, Р.И., та інші
Опубліковано: (2015)

Исследование характеристик помехозащищенности беспроводных сетей с сигналами OFDM с внутрибитовой псевдослучайной перестройкой поднесущих частот в условиях установки оптимальных помех
за авторством: Приступа, В.В., та інші
Опубліковано: (2015)