Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов
Понятия качества и надежности вычислительных систем. Требования к телекоммуникационным системам в космонавтике. Создание средств автоматизации проектирования и отладки бортовых программ. Контроль работоспособности аппаратуры космических аппаратов.
Подобные документы
Технико-эксплуатационные характеристики и архитектурное построение последних моделей микропроцессоров фирмы Intel. Особенности микропроцессоров с архитектурой RISC. Тенденции в развитии производства персональных ЭВМ. Функции и виды вычислительных систем.
реферат, добавлен 27.01.2018Современное состояние рынка высокопроизводительных вычислительных систем. Критерии, характеризующие аппаратные средства, необходимые для этих вычислений. Схема адаптации нового метода вербального анализа решений для сравнения вычислительных кластеров.
статья, добавлен 17.01.2018Принципы построения параллельных вычислительных систем. Технология параллельного программирования на платформе .NET. Оптимизация вычислений при решении задач. Разработка электронного методического комплекса "Оптимизация распараллеливанием вычислений".
диссертация, добавлен 10.03.2017Разработка программного средства распараллеливания вычислительных алгоритмов. Нахождение транзитивных связей логической несовместимости и независимости операторов. Построение диаграммы выполнения для конкретной ветви алгоритма. Спецификация данных.
лабораторная работа, добавлен 27.05.2013Основы защиты программного обеспечения компьютерных систем. Классификация угроз информационно-программному обеспечению вычислительных систем и примеры их реализации в современном компьютерном мире. Разработка модели угроз технологической безопасности ПО.
курсовая работа, добавлен 13.06.2012Номенклатура основных видов компьютеров и вычислительных систем. Классификация компьютеров и параллельных вычислительных систем. Задача формирования списков пользователя в MS Excel, расчета величины, установления межтабличных связей, построения диаграммы.
курсовая работа, добавлен 23.04.2013Определение сущности алгоритмов и способов их описания. Рассмотрение вычислительных, информационных и управляющих алгоритмов. Особенности применения графической записи алгоритмов с помощью блок-схем. Механизм выполнения операций в линейном алгоритме.
реферат, добавлен 29.09.2020Методика расчета верхнего и нижнего среднего уровня работоспособности элементов тренажерно-обучающих систем, которые могут находиться в конечном или бесконечном числе состояний надежности. Принципы проведения анализа надежности многозначных систем.
реферат, добавлен 22.01.2018Деление ЭВМ на поколения как классификация вычислительных систем по степени развития аппаратных и программных средств. Возможности мультипрограммирования, одновременного выполнения программ, применение интегральных систем в ЭВМ третьего поколения.
доклад, добавлен 11.10.2016Авторский модифицированный алгоритм структурирования систем Дж. Клира. Задачи исследования систем и системных решений. Выбор системы из реконструктивного семейства. Разработка вычислительных алгоритмов методов исходных и порождающих систем системологии.
статья, добавлен 25.05.2017История систем управления базами данных (СУБД). Характерные черты параллельных и распределенных СУБД. Принципы построения параллельных вычислительных систем с распределенной памятью. Технико-экономическое обоснование разработки программного обеспечения.
дипломная работа, добавлен 03.06.2015Комплекс технических средств для расширения и модернизации системы по мере совершенствования и развития техники. Типы вычислительных машин и систем. Конструктивно персональный компьютер и его характеристика. Материнская плата и модули оперативной памяти.
реферат, добавлен 20.12.2015Регламентация проектирования информационных систем и обеспечение управления процессом. Создание корпоративных ИС, отвечающих целям и задачам организации, а также требованиям по автоматизации деловых процессов заказчика в рамках бюджета проекта.
статья, добавлен 21.03.2019Особенность автоматизации и контроля результатов обучения при помощи вычислительных систем. Исследование классификации информационных систем. Разработка объектно-ориентрованной модели программного обеспечения заданной вариантом предметной области.
курсовая работа, добавлен 30.03.2019Операционные системы реального времени - специальный класс программного обеспечения нижнего уровня, на базе которого разрабатываются так называемые системы реального времени (СРВ). Уровни приоритета и механизмы синхронизации. Прозрачная сетевая структура.
контрольная работа, добавлен 27.04.2020Общая классификация и обзор существующих принципов построения локальных вычислительных сетей. Понятие и виды структурированных кабельных систем, преимущества волоконно-оптического кабеля. Назначение и характеристика коммутационного оборудования.
курсовая работа, добавлен 12.02.2013История развития информационных систем и цели их использования на разных периодах. Основы методологии проектирования АИС на основе CASE-технологий. Разработка информационной системы: реализация и обслуживание кассовых аппаратов. Список должников.
курсовая работа, добавлен 09.05.2014Основные понятия об информационно-вычислительных системах и сетях, их виды и классификация. Семиуровневая модель взаимодействия открытых систем. Коммутирующие устройства и методы доступа к среде передачи данных в современных вычислительных сетях.
реферат, добавлен 03.10.2016Информационные аспекты работы локальных вычислительных систем. Ограничения на информационный шум. Запрет несанкционированного доступа и сетевых атак. Соблюдение правил, установленных владельцами ресурсов. Способы минимизации паразитного трафика.
презентация, добавлен 15.04.2015Представление данных в памяти, типов данных, идентификаторов, переменных, массивов. Определение структуры программ на VBA, операторы описания, операторы присваивания. Оценка понятия макроса, создания, отладки, использования среды для отладки программ.
дипломная работа, добавлен 27.09.2017Изучение методологии, алгоритмов и инструментов систем автоматизированного проектирования в современном мире. Описание программ, предназначенных для автоматизации процессов проектирования и расчета электрических схем. Применение графических редакторов.
статья, добавлен 30.07.2018Программное обеспечение как совокупность компьютерных программ, описаний и инструкций по их применению на электронно-вычислительных машинах. Специфические особенности интеграции функциональных составляющих информационной системы в единый комплекс.
контрольная работа, добавлен 28.12.2016Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Оценка степени возникновения конфликтов и бифуркаций в сложных информационно-управляющих системах. Учёт психических особенностей человека как субъекта управления. Контроль и оптимизация принятия решений между оператором и техническими устройствами.
статья, добавлен 29.07.2016Создание нестандартных аппаратов из стандартных унифицированных модулей для выполнения лимитирующих технологических операций. Основные направления в реализации модульного подхода к созданию высокоэффективного оборудования химико-технологических систем.
реферат, добавлен 15.06.2018