Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов
Понятия качества и надежности вычислительных систем. Требования к телекоммуникационным системам в космонавтике. Создание средств автоматизации проектирования и отладки бортовых программ. Контроль работоспособности аппаратуры космических аппаратов.
Подобные документы
Описание технических характеристик управляющих вычислительных комплексов "системы малых" электронно-вычислительных машин нового поколения. Создание отечественной технологической базы автоматизации управления и контроля объектами различной сложности.
статья, добавлен 27.11.2018Классификация и облик компьютерных систем имитационного моделирования, позволяющих на отдельных этапах разработки бортовых интеллектуальных систем отрабатывать их базы знаний. Разработка информационной системы "Ситуационная осведомленность экипажа".
статья, добавлен 18.01.2018История развития и принципы построения управляющих вычислительных машин, область их применения и основные этапы проектирования. Особенности супервизорного режима работы. Квантование информации в цифровых системах. Разработка программного обеспечения.
лекция, добавлен 22.07.2015Рассмотрение теоретических основ построения автоматизированных систем управления. Характеристика интегрированных систем проектирования и управления. Исследование основных системных методов проектирования информационно-управляющих систем автоматизации.
учебное пособие, добавлен 12.08.2015UML-проектирование систем реального времени. Рассмотрение объектно-ориентированных методов, основаных на концепциях сокрытия информации, классов и наследования. Методы и нотация проектирования. Исследование систем и приложений реального времени.
курсовая работа, добавлен 06.03.2014Создание проблемно-ориентированных системных и прикладных компьютерных программ для информационно-управляющих систем. Разработка методики и алгоритмов для практического осуществления дуального управления. Определение эффективности адаптивного управления.
автореферат, добавлен 14.02.2018Совокупность взаимосвязанных и взаимодействующих компьютеров (процессоров), периферийного оборудования и программного обеспечения для подготовки и решения задач. Классификация вычислительных систем, их основные понятия и показатели эффективности.
реферат, добавлен 11.12.2013Предмет и задачи информатики. Постановка, решение задач на компьютере. Информационные ресурсы и информационное общество. Архитектура вычислительных систем. Концепции: построения вычислительных систем и развития информатики. Пакет программ MS Office.
курс лекций, добавлен 19.10.2010Общая характеристика параллельной обработки данных на электронно-вычислительных машинах. Основы классификации вычислительных систем. Оценка классификации Кришнамарфи. Исследование особенностей использования параллелизма при компьютерной обработке данных.
лабораторная работа, добавлен 29.03.2016Специфика информационно-вычислительных систем (ИВС) железнодорожного транспорта. Зависимость качества работы ИВС от грамотно построенного процесса ее создания. Обобщенная иерархическая структура показателей качества ИВС железнодорожного транспорта.
статья, добавлен 30.05.2017Характеристика организации и построения CASE-средств разработки информационных управляющих систем. Процесс проектирования распределенной базы данных информационных управляющих систем. требования к реализации CASE-системы разработки управляющих систем.
статья, добавлен 19.06.2018Процесс создания вычислительных средств систем противовоздушной и противоракетной обороны (ПВО и ПРО). Развитие архитектуры супер-ЭВМ и схемотехнических решениях вычислительной техники. Возможность адаптации электронных комплексов к решаемым задачам.
статья, добавлен 02.02.2019Понятие вычислительной системы. Сущность архитектуры вычислительных систем. История возникновения и эволюции ЭВМ, принципы фон Неймана. Средства повышения производительности ЭВМ. Развитие параллельных технологий вычисления, парадокс параллелизма.
лекция, добавлен 21.12.2015Классификация систем реального времени, ядра и операционные системы специфического назначения. Преимущества и недостатки систем потоковой передачи данных, синхронизация с внешними событиями и реакции в предсказанное время, ошибки систем реального времени.
контрольная работа, добавлен 06.12.2011Задача автоматизации процесса создания таблиц конфигурации операционных систем реального времени. Классификация конфигурационной информации и информационные связи компонентов автоматизации проектирования. Результаты использования программного обеспечения.
статья, добавлен 28.10.2018Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.
методичка, добавлен 03.03.2012Мультипрограммирование в системах пакетной обработки, разделения и реального времени. Способ организации вычислительного процесса, при котором на одном процессоре попеременно выполняются сразу несколько программ. Эффективность вычислительных систем.
статья, добавлен 25.12.2022Рассмотрение подходов, определяющих архитектуру вычислительной среды. Определение способов ускорения традиционных архитектур вычислительных систем. Описание построения и структуры кэш-памяти, сокращенных систем команд и минимизации длины кода программы.
курсовая работа, добавлен 31.03.2014Представление информации в вычислительных системах. Архитектура и принципы работы основных логических блоков ЭВМ. Системы счисления. Правила недесятичной арифметики. Внутренняя структура вычислительной машины. Характеристика типов вычислительных систем.
тест, добавлен 26.07.2009Возможности и направления автоматизации программ управления благополучием сотрудников на базе информационных систем управления. Перспективные функциональные требования к информационным системам управления талантами, позволяющие расширить их возможности.
статья, добавлен 09.04.2022Примеры параллельных вычислительных систем, суперкомпьютеров. Высокопроизводительный вычислительный кластер ННГУ. Схемы коммуникации в многопроцессорных вычислительных системах. Топологии сети передачи данных. Системные платформы для построения кластеров.
лекция, добавлен 17.09.2013Использование системного и общего программного обеспечения как способа сокращения сроков разработки и повышения качества систем реального времени. Создание мобильных систем, организация псевдопараллельной обработки данных. Базовые операции ввода/вывода.
курсовая работа, добавлен 07.07.2009Обзор современных операционных систем реального времени, аппаратных и инструментальных средств, бортовых шин передачи данных, радиолиний. Разработка и тестирование бортового программного обеспечения массо-габаритного космического аппарата "Канопус-В".
дипломная работа, добавлен 14.03.2016Терминология, применяющаяся в программных комплексах автоматизации производства. Компоненты системы реального времени. Архитектура монолитной операционной системы. Отличие операционных систем общего назначения от операционных систем реального времени.
статья, добавлен 17.11.2016Особенности организации процесса автоматизации управленческой деятельности. Понятие, цели и задачи компьютерных систем, их классификация и виды. Создание локальных многотерминальных информационно-вычислительных систем и сетей массового обслуживания.
реферат, добавлен 15.01.2016