Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов

Понятия качества и надежности вычислительных систем. Требования к телекоммуникационным системам в космонавтике. Создание средств автоматизации проектирования и отладки бортовых программ. Контроль работоспособности аппаратуры космических аппаратов.

Подобные документы

  • Исследование вычислительных систем для решения задач гидро- и газодинамики. Выбор структуры сети вычислительных машин, способных решать исследуемые задачи. Экономическое обоснование вычислительной системы для реализации данных задач на практике.

    курсовая работа, добавлен 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

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.