Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов
Понятия качества и надежности вычислительных систем. Требования к телекоммуникационным системам в космонавтике. Создание средств автоматизации проектирования и отладки бортовых программ. Контроль работоспособности аппаратуры космических аппаратов.
Подобные документы
Анализ типовых систем управления сложными динамическими системами. Алгоритм оценивания оптимальных параметров фильтра. Разработка системы информационного обмена и экспресс-анализа телеметрической информации на этапе запуска космических аппаратов.
автореферат, добавлен 09.04.2013Интерфейс - совокупность алгоритмов обмена и технических средств, обеспечивающих обмен информацией между устройствами. Протокол в электронных вычислительных машинах. Электрические характеристики сигналов интерфейса. Оценка дальности передачи информации.
лекция, добавлен 29.09.2014Проблемы синтеза распределенных вычислительных сред на базе компьютерных сетей. Архитектура, надёжность, безопасность, скорость передачи каналов связи и производительность компьютеров как ключевые факторы создания распределенных вычислительных сред.
статья, добавлен 30.10.2016Эволюция вычислительных систем, системы пакетной обработки и многотермальные системы. Глобальные компьютерные сети их особенности, обобщенная структура, типы и функции. Локальные компьютерные сети, отличие от глобальных, тенденции к их сближению.
реферат, добавлен 26.02.2010Анализ возможностей современной системы с числовым программным управлением FMS-3000(3200) в сравнении с другими наиболее распространенными стойками управления. Проектирование управляющих программ для одноинструментального и многослойного фрезерования.
статья, добавлен 31.10.2017Ознакомление со схемой составных частей системного проектирования. Анализ особенностей информационных систем, как человеко-машинных информационно-управляющих систем. Изучение составных частей киберкорпорации. Рассмотрение состава средств проектирования.
реферат, добавлен 22.01.2017Разработка программы на основе систем управления базами данных для автоматизации рабочего места технолога с применением Web-технологии. Разработка модели процессов объекта профессиональной деятельности. Расчет требуемых ресурсов вычислительных средств.
курсовая работа, добавлен 09.07.2014Применение экспоненциальных замкнутых сетей при моделировании многопроцессорных вычислительных систем, анализ их производительности путем расчета среднего числа активных процессоров. Определение оптимальной конфигурации системы с помощью Парето-множеств.
статья, добавлен 15.07.2013Основы теории надёжности и применение изученного материала при расчёте вероятностей безотказной работы и оптимизации вычислительных систем. Вычисление и построение зависимости. Сущность определения статистической оценки частоты и интенсивности отказов.
задача, добавлен 03.01.2014Особенности организации архитектуры супер-ЭВМ, выполненных на ПЛИС. Основные принципы их построения и особенности архитектурноструктурной организации реконфигурируемых вычислительных систем, в том числе: на основе базовых модулей. Применение ПЛИС.
статья, добавлен 21.03.2016Состав информационных систем и виды их программного обеспечения. Создание унифицированных систем документации. Использование электронно-вычислительных машин и центров для технического обеспечения потока данных. Методы математического программирования.
презентация, добавлен 18.03.2014Архитектура агентов, построение мультиагентных систем для автоматизации проектирования изделий и технологических процессов. Применение автоматизированных систем в машиностроительном производстве. Соответствующие инструментальные программные средства.
статья, добавлен 17.01.2018Изучение характерных критериев эффективности вычислительных систем. Мультипрограммирование в системах пакетной обработки, разделения и реального времени. Минимизация простоев всех устройств компьютера, повышение эффективности использования процессора.
реферат, добавлен 28.02.2013Стадии и этапы создания автоматизированных систем. Документирование процесса, управление конфигурацией, обеспечение качества, разрешение проблем, аудит, совместная оценка и верификация. Создание инфраструктуры, управление и усовершенствование системы.
лекция, добавлен 18.01.2014История развития электронно-вычислительных машин и их важная роль в современном мире. Создание современного компьютера, его модели и характеристики. Электронная таблица как удобный инструмент для автоматизации вычислений в области бухгалтерского учёта.
контрольная работа, добавлен 06.02.2014Имитационное моделирование как метод исследования вычислительных систем. Реализация элемента памяти в среде MATLAB. Структура сети и способ задания связей между элементами по выходам. Реализация блока System Time в MATLAB, длительность моделирования.
контрольная работа, добавлен 28.10.2013Ряд проблем для изготовления микроэлектромеханических систем устройств. Характеристика современных инструментов автоматизированного проектирования МЭМС. Архитектура некоторых программ и особенности специализированных модулей систем проектирования.
статья, добавлен 29.11.2016Проблема создания самоорганизующихся баз данных, правил для синтеза комплексов оперативной диагностики, адаптивного синтеза информационно-вычислительных конфигураций. Принципы построения однородных вычислительных систем. Реляционная модель данных.
автореферат, добавлен 29.03.2013Составление плана выполнения комплекса программ в многопроцессорных вычислительных системах (МВС). Механизмы адаптивного поведения муравьиной колонии. Роевой алгоритм планирования работы МВС. Распределение программных заявок на обслуживание процессором.
статья, добавлен 31.10.2017Анализ канонического проектирования, характеризующегося использованием методов ручного проектирования. Рассмотрение средств проектирования информационных систем. Изучение методов компьютерного проектирования с использованием программных средств.
реферат, добавлен 07.11.2017Назначение операционных систем и их типы. Операционные системы диалоговые, пакетной обработки, разделения времени и реального времени. Особенности алгоритмов управления ресурсами. Поддержка многозадачности, многопользовательского режима, многонитевости.
реферат, добавлен 02.04.2011Основные принципы системного подхода проектирования САПР (систем автоматизированного проектирования). Основные виды электронно-вычислительных машин (ЭВМ). Характеристика беспроводных каналов передачи данных. Сетевой протокол IP и его характеристика.
контрольная работа, добавлен 11.02.2015Понятие многоядерных вычислительных систем и их устройство. Разработка средств ускорения работы аппаратно-программного комплекса за счет распараллеливания вычислительных процессов. Отладка модуля обработки данных в многоканальных системах безопасности.
дипломная работа, добавлен 17.11.2015Методология проектирования сложных информационных систем. Повышение эффективности функционирования СИС, работающих в реальном масштабе времени на базе методологии анализа и синтеза СИС РВ. Общая методология анализа и синтеза СИС различных классов.
автореферат, добавлен 13.02.2018Ознакомление с понятием операционных систем, их сравнение и характеристика каждого поколения. Создание концепций сетевого взаимодействия вычислительных машин, организация глобальных и локальных сетей. Развитие корпоративных сетевых операционных систем.
реферат, добавлен 01.03.2014