Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов
Понятия качества и надежности вычислительных систем. Требования к телекоммуникационным системам в космонавтике. Создание средств автоматизации проектирования и отладки бортовых программ. Контроль работоспособности аппаратуры космических аппаратов.
Подобные документы
Исследование вычислительных систем для решения задач гидро- и газодинамики. Выбор структуры сети вычислительных машин, способных решать исследуемые задачи. Экономическое обоснование вычислительной системы для реализации данных задач на практике.
курсовая работа, добавлен 20.04.2017Методы компьютерного моделирования как один из способов отладки алгоритмов систем управления без реального объекта и оборудования, оценка эффективности. Устройство тягового электродвигателя постоянного тока, разработка алгоритма динамического управления.
курсовая работа, добавлен 28.04.2018Роль автоматизации проектирования в информационных технологиях. Анализ структуры программного и математического обеспечения САПР, их классификация. Функции, характеристики и примеры CAE/CAD/CAM-систем. Варианты топологии локальных вычислительных сетей.
дипломная работа, добавлен 12.02.2011Предпосылки появления и закономерности развития электронной вычислительной техники. Признаки структурной и функциональной организации вычислительных систем. Основные принципы построения, закладываемые при их создании. Средства специализации ВС.
контрольная работа, добавлен 22.11.2011Обоснование преимуществ использования графического языка "SDL" при разработке телекоммуникационных и компьютерных сетей. Преобразование вычислительных алгоритмов в автоматные. Проектирование объектов с помощью средств автоматного программирования.
диссертация, добавлен 13.08.2014Особенности тестирования и отладки реального оборудования. Использование симуляторов как необходимое действие для ускорения разработки робототехнических систем. Описание симулятора, предназначенного для автономных необитаемых подводных аппаратов.
статья, добавлен 29.06.2017Разработка архитектуры интегрированных компьютерных систем управления производственными процессами. Характеристика объектов автоматизации. Выбор контроллерных средств и алгоритмов. Создание программного обеспечения. Требования к интерфейсам пользователей.
учебное пособие, добавлен 20.12.2014Ознакомление с историей возникновения термина надежности программных средств. Исследование исправления ошибок системой — плодотворного метода проектирования надежных систем аппаратного обеспечения. Анализ мультипроцессорной системы с виртуальной памятью.
курсовая работа, добавлен 17.03.2016Автоматизация проектирования локальных сетей Ethernet и ATM при построении вычислительных сетей, предназначенных для передачи разнородного трафика. Синтез структур Ethernet и ATM с помощью генетических алгоритмов нейронных сетей. Типы коммутации пакетов.
статья, добавлен 06.05.2018Разработка отдельных пакетов прикладных программ и создание систем автоматизированного проектирования процессов технологической подготовки производства. Цели и основные требования к системам, выбор модели объекта проектирования и алгоритм его расчета.
курсовая работа, добавлен 08.09.2010Новые методы оценки структурных и архитектурных решений вычислительных средств. Анализ высокопроизводительных многопроцессорных систем и многомашинных вычислительных комплексов. Необходимость перехода к созданию новых архитектур на суперпроцессорах.
статья, добавлен 17.11.2018Обзор многопроцессорных вычислительных систем. Появление кластерных систем и их преимущества перед традиционными архитектурами вычислительных сетей. Linux как ОС для кластерных систем. Построение простого кластера на примере linux-проекта Beowulf.
курсовая работа, добавлен 13.01.2012Базовые принципы проектирования интеллектуальных систем поддержки принятия решений реального времени семиотического типа и возможности их реализации в высокоэффективной инструментальной среде G2-GDA. Основные требования к техническим характеристикам.
статья, добавлен 16.01.2018Описание предшественников аналоговых и цифровых управляющих машин и средств моделирования процессов и систем - машины для централизованного контроля и аналоговых вычислительных машин. Рассмотрение их роли в истории систем автоматического управления.
курсовая работа, добавлен 10.05.2017Особенности операционных систем реального времени, области применения. Функциональные требования к ним. Признаки классификации ОС. Системы жёсткого и мягкого реального времени и архитектуры ОСРВ. Сравнение ОСРВ с ОС общего назначения, анализ возможностей.
курсовая работа, добавлен 14.10.2022Изучение общих принципов разработки автоматизированных систем конструкторского проектирования радиоэлектронной и электронно-вычислительной аппаратуры. Исследование методов и алгоритмов программных средств автоматизированного проектирования (САПР).
учебное пособие, добавлен 12.05.2014Основные понятия и показатели надежности программных средств. Требования к технологии разработки сложных программных средств. Планирование и управление обеспечением качества программ. Виды тестирования для обеспечения надежности программных средств.
реферат, добавлен 04.05.2011Этапы эволюции, функции и основы функционирования операционных систем локальных вычислительных сетей. Сравнительная характеристика современных операционных систем рабочих станций локальных вычислительных сетей и основные критерии оценки их возможностей.
дипломная работа, добавлен 23.04.2016Прочная научно-техническая база развития систем автоматизированного проектирования. Сквозные системы как набор средств для автоматизации процессов и технологической подготовки производства. Анализ алгоритмов разработки программного обеспечения систем.
курсовая работа, добавлен 06.03.2011Операционная система как комплекс системных и управляющих программ. История создания и развития ОС, особенности их классификации, виды модульных структур. Конкурентная борьба системного программного обеспечения. Режимы работы вычислительных систем.
контрольная работа, добавлен 25.05.2015Характеристика вопросов обеспечения высокой надежности электронной аппаратуры. Требования к программным модулям комплексной системы автоматизированного проектирования для расчета температур каждого из элементов электронной структуры и ее надежности.
статья, добавлен 27.03.2016История создания и развития операционных систем (ОС), их основные виды и функции. ОС, основанные на графическом интерфейсе, предназначенные для организации работы вычислительных сетей. Модульная структура ОС. Режимы работы вычислительных систем.
курсовая работа, добавлен 29.03.2015Средства проектирования информационных систем как комплекс инструментальных средств, обеспечивающих в рамках выбранной методологии проектирования поддержку полного жизненного цикла ИС. Краткая характеристика развитых средств проектирования (программ).
статья, добавлен 06.04.2019Изучение структуры базы знаний (модели мира и механизмы вывода), применяемой в бортовых оперативно-советующих экспертных системах. Назначение бортовых оперативно-советующих экспертных систем типовых ситуаций функционирования антропоцентрических объектов.
статья, добавлен 16.01.2018Технические средства реализации информационных процессов. Модели решения функциональных, вычислительных задач. Защита информации, сведений, составляющих государственную тайну. Административные меры борьбы с вирусами, принципы работы антивирусных программ.
курс лекций, добавлен 10.05.2018