Доказательное проектирование алгоритмов функционирования реактивных систем
Описание подхода к доказательному проектированию реактивных алгоритмов (ПРА), развиваемого в Институте кибернетики имени В.М. Глушкова НАН Украины. Основные проблемы, возникающие при ПРА, специфицированных в логическом языке L, и методы их решения.
Подобные документы
Создание на языке С информационно-поискового справочника "Жидкокристаллические индикаторы". Общая структурная схема программы. Описание специальных алгоритмов. Метод вставок и выбора. Структура данных с указанием типов. Описание назначения функции.
контрольная работа, добавлен 14.09.2015Применение переборных алгоритмов в рамках задачи оптимизации транспортной логистики. Задачи применения генетических алгоритмов. Особенности работы операторов скрещивания. Способы решения проблемы перекрестного скрещивания в задаче коммивояжера.
доклад, добавлен 28.04.2014Определение концептуальной классификации. Обзор концептуальных алгоритмов классификации, средняя оценка их трудоемкости и их применение. Основные параметры, влияющие на эффективность реализованных алгоритмов информационной системы оценки трудоемкости.
статья, добавлен 10.03.2019Анализ компьютерных систем регистрации биосигналов. Проектирование компьютерных биомедицинских систем реального времени. Системы регистрации электрокардиограмм. Прикладные программы низкочастотной фильтрации сигналов на основе спектрального подхода.
диссертация, добавлен 23.05.2018Исследование алгоритмов вытеснения данных LRU1 и LRU2 и структурной организации управляющей таблицы. Результаты разработки алгоритмов ускоренного вытеснения информации в кэш-памяти хранилищ данных. Системы канонических уравнений для данных алгоритмов.
статья, добавлен 07.03.2019Понятие и свойства алгоритмов: понятность, дискретность, массовость, конечность, однозначность, результативность. Способы представления алгоритмов: словесный, формульный, графический и табличный. Линейные, разветвляющиеся и циклические алгоритмы.
презентация, добавлен 22.10.2013Рассмотрение проблемы оптимального синтеза технических систем с учетом закономерностей случайных производственных и эксплуатационных изменений их параметров. Средства создания эффективных эвристических алгоритмов многомерной поисковой оптимизации.
статья, добавлен 06.09.2021Происхождение понятия алгоритма. Правила выполнения арифметических действий над целыми числами и простыми дробями в десятичной системе счисления. Способы записи алгоритмов: словесный, графический, программный; примеры записи на естественном языке.
презентация, добавлен 14.08.2013Порядок расчета систем управления на цифровой вычислительной машине. Этапы системной отладки управляющих алгоритмов. Преобразования в цифровой вид дискретных значений сигнала. Аналитический метод оценки качества функционирования линейной системы.
реферат, добавлен 16.01.2018Изучение современных алгоритмов обнаружения и распознавания лиц на изображении для разработки приложения микро-сервиса для распознавания личности на основе фотографии лица с использованием алгоритмов машинного обучения. Описание процесса разработки.
дипломная работа, добавлен 04.12.2019Общее описание нейронных сетей, однослойные и многослойные сети. Описание программных моделей и алгоритмов их обучения. Проблема функции "исключающее или". Исследование представляемости однослойной и двухслойной нейронной сети, релаксация стимула.
курсовая работа, добавлен 26.06.2011Описание и классификация известных на сегодняшний момент алгоритмов детектирования простых элементов на изображении. Классификация детекторов на группы в соответствии с используемыми ими математическими методами. Анализ аппаратной реализации алгоритмов.
статья, добавлен 28.10.2018Описание алгоритма решения задачи графическим способом. Вычисление значения элементов одномерного массива с использованием генератора случайных чисел. Описание блоков укрупненной схемы алгоритмов на языке программирования. Разработка текста программы.
курсовая работа, добавлен 18.08.2017Общие сведения об алгоритмах. Поиск образа в строке. Принципы сортировки массивов и последовательностей. Характеристика ориентированных и неориентированных граф. Описание современных алгоритмов обработки данных, их проблемы и основные пути их решения.
учебное пособие, добавлен 11.10.2014Понятие кибернетики, корни кибернетической теории. Все управляемые системы как объект кибернетики. Примеры кибернетических систем, направления их развития. Роль кибернетики в биологии. Связь психологии с этой наукой. Особенности чистой кибернетики.
реферат, добавлен 22.12.2011Общее описание нейронных сетей, их виды: однослойные и многослойные сети, персептрон, сети Хопфилда. Описание программных моделей и алгоритмов их обучения. Релаксация стимула, возникновение ложного образа и выработка прототипа, бистабильность восприятия.
контрольная работа, добавлен 12.05.2015Описание алгоритмов машинной графики, построение выпуклой оболочки, триангуляции Делоне, звездчатого полигона многоугольника и диаграммы Воронова. Проектирование модуля на языке C++, в среде Visual Studio, с использованием библиотеки классов MFC.
курсовая работа, добавлен 08.03.2015Анализ значения компьютерного доступа к информации, в условиях современного мира. Изучение основных алгоритмов поиска подстроки в строковых последовательностях. Исторический обзор развития программирования в данной сфере. Виды архитектуры алгоритмов.
курсовая работа, добавлен 22.07.2013Определение сущности алгоритмов и способов их описания. Рассмотрение вычислительных, информационных и управляющих алгоритмов. Особенности применения графической записи алгоритмов с помощью блок-схем. Механизм выполнения операций в линейном алгоритме.
реферат, добавлен 29.09.2020Понятие алгоритма как предмета математических исследований, его основные свойства. Составление алгоритмов на естественном языке для процессора электронно-вычислительной машины. Разработка структуры программы с помощью алгоритмов в виде блок-схемы.
реферат, добавлен 08.02.2014Определение понятия алгоритма и его свойства. Характеристика способов описания алгоритмов. Описание основных алгоритмических конструкций: линейной, разветвляющейся, цикличных. Анализ алгоритмов обработки простых и структурированных типов данных.
реферат, добавлен 31.05.2016Критерии оценки алгоритмов сортировки. Постановка задачи сортировки и методы ее решения. Усовершенствованные алгоритмы сортировки. Метод разделения (алгоритм "быстрой" сортировки, метод Хоара). Расположение элементов массива по убыванию модулей.
курсовая работа, добавлен 26.12.2011- 73. Проектирование алгоритмов решения экономических задач в курсе "Информатика и компьютерная техника"
Изучение одного из самых популярных алгоритмических языков современных компьютеров – Visual Basic. Приведение примеров различных экономических задач, описание технологии их решения в визуальной среде. Характеристика типов данных: констант и переменных.
учебное пособие, добавлен 10.11.2017 Операциональный подход в программировании как создание алгоритмов, ориентированных на непосредственно выполняемые компьютером операции. Логика выполнения задач и программная реализация на языках структурного и объектно-ориентированного программирования.
курсовая работа, добавлен 21.06.2013Изучение задачи маршрутизации транспорта. Построение математической модели. Оценка способов решения задач маршрутизации. Обзор алгоритмов: муравьиного, Particle Swarm Optimization, Artificial Bee Colony, меметического, биоиспирированных в задачах VRP.
дипломная работа, добавлен 11.08.2017