Доказательное проектирование алгоритмов функционирования реактивных систем
Описание подхода к доказательному проектированию реактивных алгоритмов (ПРА), развиваемого в Институте кибернетики имени В.М. Глушкова НАН Украины. Основные проблемы, возникающие при ПРА, специфицированных в логическом языке L, и методы их решения.
Подобные документы
Использование многопоточности при программировании. Математическое описание решения линейных алгебраических уравнений методом Гаусса и матричным методом. Теоретическое исследование, проектирование и анализ эффективности работы параллельных алгоритмов.
курсовая работа, добавлен 24.09.2021Проведение исследования времени отклика облачных серверов на распределение ресурсов пользователя. Характеристика основных алгоритмов балансировки резервов абонентами web-сервисов. Передача каждого файла трем устройствам без использования алгоритмов.
статья, добавлен 30.07.2018Практические методы вычисления в прикладной математике. Совершенствование разработки алгоритмов и построение программ на языке программирования. Выбор аппроксимирующей функции. Модульное программирование и техника использования подпрограмм на языке С.
курсовая работа, добавлен 12.12.2016Создание базы данных на языке программирования С++ с элементами ее администрирования. Теоретические основы создания программ. Описание разработанной структуры массива данных. Схемы алгоритмов используемых функций. Логика работы программы и ее листинг.
курсовая работа, добавлен 21.02.2016Характеристика автоматизированной системы, выполняющей анализ нечётких моделей различного вида и автоматизацию процесса провидения сравнительного анализа работы алгоритмов нечётких вычислений. Диаграмма прецедентов информационной системы, функции ввода.
статья, добавлен 25.07.2018- 106. Разработка алгоритмов различной структуры и их реализация с помощью компьютерных программных средств
Приобретение практических навыков по разработке, написанию и отладки алгоритмов и программ. Рассмотрение особенностей использования языка программирования Бейсик и среды разработки Basic-256. Математическая модель и блок-схема алгоритма её решения.
презентация, добавлен 05.12.2021 Рассмотрение различных метрик оценки качества передаваемой видеоинформации. Описание алгоритмов вычисления объективных и субъективных оценок видеоизображений. Проблемы, возникающие в процессе оценки качества и связанные с рассинхронизацией изображений.
статья, добавлен 23.11.2020Рассмотрение видов графов, существующих параллельных алгоритмов поиска кратчайшего пути, определение областей их применения. Рассмотрение систем навигации и анализ эффективности применения параллельных алгоритмов для поиска кратчайшего пути в графе.
статья, добавлен 16.07.2018- 109. Использование алгоритмов ассоциации в интеллектуальных системах обработки телеметрической информации
Оценка целесообразности использования алгоритмов ассоциации для анализа телеметрической информации. Использование эффективности модифицированного варианта алгоритмов Apriori и PredictiveApriori для выделения различных участков телеметрической информации.
доклад, добавлен 16.01.2018 - 110. Понятие кибернетики
Происхождение названия "кибернетика". Предпосылки ее зарождения, путь становления и развития. Предмет кибернетики, ее методы и цели. Основные ее методологические принципы. Основная цель кибернетики как науки об управлении. Ее место в системе наук.
контрольная работа, добавлен 30.03.2010 Расчет значений и построение графиков двух функций. Схема циклических алгоритмов. Разработка программы нахождения корней уравнения методами бисекции и хорд и программы вычисления определённого интеграла методами трапеций и серединных прямоугольников.
курсовая работа, добавлен 22.12.2016Обсуждение "облачных" технологий и их применение для решения задач информационной безопасности. Новая постановка задач и повышение стеганостойкости алгоритмов. Проектирование комплексных систем защиты информации в распределенных и облачных системах.
статья, добавлен 19.02.2016Разработка схем алгоритмов работы программ сканирования линейных, шнуровых и служебных комплектов. Описание схемы алгоритма поиска пути в коммутационном поле. Разработка схемы алгоритмов формирования и выдачи последовательности периферийных команд.
курсовая работа, добавлен 13.09.2016Проблема повышения производительности подсистемы кэш-памяти систем хранения данных. Аналитическое моделирование алгоритмов обработки данных с помощью метода Марковских цепей. Использование хеш-таблицы для построения управляющих индексных таблиц.
статья, добавлен 07.03.2019Этапы планирования программы: постановка задачи, алгоритмизация ее решения, формализованное описание, составление, отладка и эксплуатирование программы. Виды и классификация языков программирования. Методы проектирования алгоритмов и программ.
реферат, добавлен 04.03.2011Подходы к проектированию, эксплуатации и модернизации информационных систем в целом. Рассмотрение системных представлений о каноническом, автоматизированном, типовом подходе к проектированию информационных систем с применением современных CASE-средств.
реферат, добавлен 26.03.2015Анализ существующих систем морского мониторинга (СММ), требования к их построению. Разработка подхода к созданию экспертных СММ, позволяющих формировать методологическую базу для построения структуры, составных блоков, алгоритмов функционирования системы.
автореферат, добавлен 02.08.2018Обзор алгоритмов, при помощи которых можно создавать дескрипторы изображений. Описание платформы Matlab, ее возможности и функционал. Получение дескриптора образа символа алфавита с помощью функции regionprops, встроенной в программный пакет Matlab.
дипломная работа, добавлен 07.08.2018Абстрактные типы данных для разработки алгоритмов распределения и маршрутизации потоков в коммуникационных сетях. Оценки трудоемкости алгоритмов. Численный эксперимент для проверки работоспособности и вычислительной эффективности предложенных алгоритмов.
статья, добавлен 25.03.2016Создание игрового приложения "2 башни" на языке PascalABC.NET. Проектирование игрового цикла и управления графическими объектами через события. Разработка алгоритмов и структур классов реализации игры, ее основные правила и контрольный пример работы.
курсовая работа, добавлен 05.04.2013Разработка программных средств автоматизированной выработки алгоритмов поведения интеллектуального агента с использованием генетического алгоритма для генерации стратегических решений. Анализ модели интерпретации алгоритма на языке макрокоманд робота.
статья, добавлен 27.02.2019Описание используемых директив и команд ассемблера и способов адресации. Выбор варианта построения ассемблера, проектирование алгоритмов и таблиц. Объектный код откомпилированного примера и его расшифровка. Графическая оболочка программы-компилятора.
курсовая работа, добавлен 17.05.2013Проведение исследования техники обнаружения аномалий и предотвращения угроз. Развитие новых алгоритмов и систем для эффективной защиты информационных систем от киберугроз и обнаружения потенциальных атак. Анализ использования генетических алгоритмов.
статья, добавлен 28.12.2024Метод конечных элементов в расчетах конструкций. Анализ существующих систем конечно-элементных расчетов. Анализ основных алгоритмов построения сеток. Разработка технического задания на программу. Разработка алгоритмов программы, технология отладки.
курсовая работа, добавлен 02.04.2016Разработка программы-помощника при редактировании или создании HTML (HyperText Markup Language) страничек. Обзор методов и алгоритмов решения поставленной задачи. Описание программы для программиста. Среда функционирования и инсталляция программы.
курсовая работа, добавлен 10.12.2016