Доказательное проектирование алгоритмов функционирования реактивных систем
Описание подхода к доказательному проектированию реактивных алгоритмов (ПРА), развиваемого в Институте кибернетики имени В.М. Глушкова НАН Украины. Основные проблемы, возникающие при ПРА, специфицированных в логическом языке L, и методы их решения.
Подобные документы
Рассмотрение истории происхождения алгоритма. Описание принципов арифметических действий. Свойства алгоритмов, позволяющие отличать их от других последовательностей действий. Сущность линейных, циклических, разветвляющих и вспомогательных алгоритмов.
статья, добавлен 05.04.2019Концепции био-инспирированного подхода для протоколов маршрутизации, алгоритмов оптимизации. Масштабируемость — способность беспроводной сети эффективно обрабатывать большое количество узлов. Сравнение средств агенто-ориентированного программирования.
дипломная работа, добавлен 18.07.2020Определение основных терминов и система обозначений в анализе алгоритмов. Классификация алгоритмов по виду функции трудоёмкости (количественно-, параметрически- и количественно-параметрические зависимые). Асимптотический анализ функций и его виды.
реферат, добавлен 12.07.2010Задача анализа данных и распознавания образов. Функция конкурентного сходства (FRiS). Модификация с использованием локального спуска. Коммерческое использование алгоритмов. Идентификации классов объектов по характерным для них свойствам или признакам.
курсовая работа, добавлен 27.11.2013История развития, основные понятия и классификация автоматических систем управления. Основние виды алгоритмов функционирования. Требования, предъявляемые к динамическим свойствам систем автоматического регулирования. Показатели переходного процесса.
реферат, добавлен 27.09.2010- 81. Разработка параллельного алгоритма нахождения оптимального решения транспортной задачи на кластере
Подходы к решению транспортной задачи с помощью параллельных алгоритмов. Экспериментальные данные, полученные при выполнении параллельных алгоритмов нахождения решения транспортной задачи на кластере. Подходы к распараллеливанию методов решения задачи.
статья, добавлен 28.05.2017 Проектирование локального автоматизированного рабочего места для специалистов отдела кадров. Разработка программного обеспечения. Создание реляционных баз данных о сотрудниках. Описание алгоритмов решения задачи. Требования по эргономике и эстетике.
курсовая работа, добавлен 15.11.2014Методы построения обучающих интегрированных экспертных систем. Анализ функциональных возможностей средств подсистемы поддержки построения обучающих веб-ИЭС. Разработка алгоритмов учета степени достижения целевых компетенций по конкретным дисциплинам.
дипломная работа, добавлен 25.07.2015Применение генетических алгоритмов (ГА), эффективных при решении задач оптимизации, их преимущества и недостатки. Процесс настройки и контроля параметров конкретного ГА, его влияние на эффективность решения задачи. Результаты тестирования алгоритмов.
статья, добавлен 29.04.2018Кибернетика как наука об общих закономерностях процессов управления и передачи информации в технических, биологических и социальных системах. Предмет, структура, методы и цели кибернетики, ее специфические задачи, системы и основные современные проблемы.
реферат, добавлен 09.10.2015Пределы параметров технологического режима ОАО "Электроцинк". Проектирование автоматизированной системы контроля и учета электроэнергии на предприятии. Разработка алгоритмов управления блоком ранжирования по вероятности отказов и сбоев оборудования.
статья, добавлен 30.04.2018Создание программы с использованием операторов IF, CASE, операторов цикла с неизвестным числом повторений Do…Loop и While…Wend и с известным числом повторений For…Next и For Each…next. Тексты этих программ, блок-схемы алгоритмов и результаты их работы.
контрольная работа, добавлен 10.12.2014Система точных и понятных предписаний о содержании и последовательности выполнения конечного числа действий, необходимых для решения любой задачи данного типа. Исследование алгоритмов и способов их описания. Графическая запись с помощью блок-схем.
статья, добавлен 24.01.2022- 89. Решение прямой и обратной задач. Изучение генетических алгоритмов с помощью графического интерфейса
Графический интерфейс генетических алгоритмов. Нахождение глобального минимума функции переменной. Поиск аргументов с помощью генетических алгоритмов. Решение прямой, обратной задач. Изучение генетических алгоритмов в режиме командной строки MATLAB.
курсовая работа, добавлен 29.02.2020 Характеристика программы, реализующей топологическую сортировку и вычисление цепных дробей. Анализ изучения алгоритмов решения задач. Сущность исследования основных компонентов Windows Form. Особенность достоинств и недостатков системы программирования.
курсовая работа, добавлен 27.02.2015Анализ тригонометрических алгоритмов CORDIC как цифрового решения для задач навигации в реальном времени. Применение алгоритма CORDIC в различных навигационных приложениях. Характеристика и схема итеративной архитектуры и развернутого CORDIC процессора.
статья, добавлен 26.06.2018Рассматриваются основные задачи, требующие решения для разработки и реализации продукта или услуги, базирующейся на концепции "интернета вещей". Примеры алгоритмов и различных технологий решения этих задач. Возможные проблемы реализации этих решений.
статья, добавлен 19.12.2017Математическое описание распределения хи-квадрат. Методы розыгрыша случайной величины заданного распределения. Блок-схемы алгоритмов розыгрыша и фрагменты кода, реализующие данные алгоритмы. Тестирование и отладка программы-генератора случайных величин.
курсовая работа, добавлен 26.01.2013Программирование (в среде Delphi) линейных алгоритмов, разветвляющихся алгоритмов, циклических алгоритмов. Программирование с использованием массивов, строк, записей и файлов, подпрограмм и модулей, средств для отображения графической информации.
методичка, добавлен 17.01.2012Проектирование программного обеспечения. Описание подхода к проектированию. Описание языка моделирования UML. Аналитическая модель программного обеспечения. Диаграмма вариантов использования. Разработка программного обеспечения, спецификации программы.
курсовая работа, добавлен 23.10.2013Графический способ или язык графических символов. Способы описания алгоритмов. Среда системы программирования QBasic. Программирование алгоритмов линейной структуры. Цикл с несколькими одновременно изменяющимися параметрами. Режимы работы с файлами.
учебное пособие, добавлен 16.10.2012Теория автоматического управления как наука, предмет и методика ее изучения. Классификация систем автоматического управления по различным признакам и их математические модели. Основные виды алгоритмов функционирования систем автоматического регулирования.
реферат, добавлен 16.01.2010Обучение разработке блок-схемы алгоритмов по ГОСТУ и ознакомление со средствами программы OpenOffice для их создания. Определение числовой последовательности и математическое решение задачи. Описание алгоритма и выходных данных для проверки условий.
задача, добавлен 13.01.2014История возникновения метода муравьиных алгоритмов. Применение муравьиных алгоритмов для задачи коммивояжера. Достоинства и недостатки данного метода. Код программы, реализующей муравьиный алгоритм, экспериментальное исследование его трудоемкости.
курсовая работа, добавлен 18.05.2013Использование многопоточности при программировании. Математическое описание решения линейных алгебраических уравнений методом Гаусса и матричным методом. Теоретическое исследование, проектирование и анализ эффективности работы параллельных алгоритмов.
курсовая работа, добавлен 24.09.2021