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