Поиск

Выпуск
Название
Авторы
Метод мультиверсионного программирования для обработки телеметрической информации малых космических аппаратов
Ефремова С.В.
Модели и методы оптимального управления программно-технической конфигурацией гетерогенных распределенных систем обработки информации
Онтужева Г.А.
Повышение надежности программного обеспечения для распределенных систем управления
Стрелавина О.Д., Ефимов С.Н., Терсков В.А., Лихарев М.А.
Инновационный учебно-научный центр мониторингалесных ресурсов Сибири на основе лазерной и микроволновой аэрокосмической съемки
Данилин И.М., Лапко В.А., Кузнецов А.А., Бабий И.А., Вайсман А.О.
Применение программно-математических моделей бортовой аппаратуры при разработке бортового программного обеспечения
Ломаев Ю.С., Иванов И.А., Толстых А.В., Ислентьев Е.В.
Многосеточные конечные элементы в расчетах многослойных овальных цилиндрических оболочек
Пустовой Н.В., Гришанов А.Н., Матвеев А.Д.
Автоматизированная система обнаружения аномалий периодических электрических сигналов
Красненко С.С., Хайдукова В.Н., Недорезов Д.А.
Мультиверсионная модель программного обеспечения систем управления космическим аппаратом с ранжированием принятия решения
Карцан И.Н., Ефремова С.В.
Алгоритмическое и программное обеспечение системы профилирования действий пользователей информационной системы
Анашкин Е.В., Жукова М.Н.
Математическая модель надёжности аппаратно-программных комплексов обработки информации для систем управления реального времени
Ааб А.В., Галушин П.В., Попова А.В., Терсков В.А.
Многосеточные конечные элементы в расчетах многослойных овальных цилиндрических оболочек
Пустовой Н.В., Гришанов А.Н., Матвеев А.Д.
Цифровой двойник для управления совмещенной литейно-прокатной линией
Якивьюк П.Н., Пискажова Т.В., Сальников А.В., Гофман П.М.
Моделирование режима электронно-лучевой сварки тонкостенной кон-струкции из сплава АД31
Курашкин С.О., Серегин Ю.Н., Тынченко В.С., Мурыгин А.В., Котельникова С.В.
Особенности организации программной архитектуры адаптивных систем обработки информации, моделирования и управления
Раскина А.В., Виденин С.А., Чжан Е.А., Юсупова Р.Р.
Программная система математического моделирования процесса электронно-лучевой сварки
Мурыгин А.В., Тынченко В.С., Курашкин С.О., Бочаров А.Н., Петренко В.Е.
Применение программно-математических моделей бортовой аппаратуры при разработке бортового программного обеспечения
Ломаев Ю.С., Иванов И.А., Толстых А.В., Ислентьев Е.В.
ПРОЕКТИРОВАНИЕ ПРЕДМЕТНО-ОРИЕНТИРОВАННОЙ ИНФРАСТРУКТУРЫ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ БОРТОВОЙ АППАРАТУРЫ КОСМИЧЕСКОГО АППАРАТА
Ноженкова Л.Ф., Исаева О.С.
ОСОБЕННОСТИ ХРАНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ
Легалов А.И., Матковский И.В., Анкудинов А.В.
ИССЛЕДОВАНИЕ МЕТОДОВ ПРОЦЕССА РАЗРАБОТКИ И ЭКСПЛУАТАЦИИ ПРОГРАММНОГО ПРОДУКТА
Абенова Ж.С., Петров М.Н.
A practical approach to software portability
Koltashev A.A.
ОЦЕНКА ЗАТРАТ НА МОДЕРНИЗАЦИЮ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ КРИТИЧЕСКИХ ПО НАДЕЖНОСТИ СИСТЕМ
Кукарцев В.В., Шеенок Д.А.
Анализ проблем в области исследования надежности программного обеспечения: многоэтапность и архитектурный аспект
Ковалев И.В.
Основные принципы системного тестирования и подтверждения бортового программного обеспечения спутников
Колташев А.А.
Модификация стандартного алгоритма муравьиной колонии для решения задачи формирования мультиверсионного программного обеспечения
Ковалев Д.И., Клименко А.В., Соловьев Е.В., Туева Е.В.
Модели модульной декомпозиции программного обеспечения технологических циклов управления
Антамошкин О.А., Нургалеева Ю.А., Усачев А.В.
Анализ вероятностно-временных характеристик отказоустойчивого программного обеспечения распределенных вычислительных систем
Царев Р.Ю., Штарик А.В., Штарик Е.Н., Кочергина М.А., Панфилова Т.А.
Модельно-алгоритмическое обеспечение поддержки принятия решений в информационных системах управления
Акланов Ф.А., Ковалев Д.И., Туева Е.В., Зеленков П.В., Першакова К.К.
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА ПОВЫШЕНИЯ КАЧЕСТВА ПОЛИМЕРНЫХ ИЗДЕЛИЙ МАШИНОСТРОИТЕЛЬНОГО НАЗНАЧЕНИЯ
Ларченко А.Г., Филиппенко Н.Г., Лившиц А.В.
ИСПОЛЬЗОВАНИЕ МЕТОДА ДИАКОПТИКИ ДЛЯ АНАЛИЗА НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Колесов К.В.
MECHANICAL ANALYSIS OF ONBOARD EQUIPMENT AND THE ISSUE OF FINITE-ELEMENT MODEL ADEQUACY
Hvalko A.A., Suntsov S.B., Butov V.G., Zhukov A.P., Yaschuk A.A.
Модификация муравьиного алгоритма для задачи формирования мультиверсионного программного обеспечения
Ковалев И.В., Карасева М.В., Соловьев Е.В.
ПРОГРАММНАЯ ПОДДЕРЖКА ИСПЫТАНИЙ крупногабаритных трансформируемых антенн И оценка параметров функционирования СИСТЕМы компенсации весовой составляющей
Ковалев И.В., Баданина Ю.О.
ИНФОРМАЦИОННО-ТЕРМИНОЛОГИЧЕСКИЙ БАЗИСВ МУЛЬТИЛИНГВИСТИЧЕСКОЙ АДАПТИВНО-ОБУЧАЮЩЕЙ ТЕХНОЛОГИИ
Карасева М.В., Кустов Д.В., Karaseva M.V., Kustov D.V.
Организация информационных Интернет-ресурсов для поддержки управления муниципальным заказом
Кононов Д.Д., Исаев С.В., Исаева О.С.
ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА МНОГОКРИТЕРИАЛЬНОГО АНАЛИЗА ПРИ РАЗРАБОТКЕ СЛОЖНЫХ ТЕХНИЧЕСКИХ СИСТЕМ
Легалов А.И., Ледяев Д.Н., Анкудинов А.В.
Развитие методов эквивалентного преобразования ГЕРТ-сетей для анализа мультиверсионного программного обеспечения
Ковалев Д.И., Сарамуд М.В., Карасева М.В., Нургалеева Ю.А.
МОДЕЛЬ ФУНКЦИОНИРОВАНИЯ ПРОГРАММНОЙ СИСТЕМЫ НА ОСНОВЕ GERT-СЕТИ
Панфилова Т.А., Панфилов И.А., Золотарев В.В., Ковалев И.В., Сопов Е.А.
Основные виды избыточности, применяемые в бортовом программном обеспечении для надежного
Кондратьев К.А., Шумаков Н.Н., Ерохов П.М., Хохлова А.В., Колташев А.А.
СТРУКТУРНО-МЕТОДОЛОГИЧЕСКОЕ СОВЕРШЕНСТВОВАНИЕИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ ПРОЦЕССОВ СОЗДАНИЯИЗДЕЛИЙ КОСМИЧЕСКОЙ ТЕХНИКИ
Туркенич Р.П.
ОЦЕНКА ДИНАМИЧЕСКОЙ УСТОЙЧИВОСТИ ПРОСТЕЙШЕЙ ЭЛЕКТРОЭНЕРГЕТИЧЕСКОЙ СИСТЕМЫ В ОБЪЕКТНО ОРИЕНТИРОВАННОЙ СРЕДЕ ПРОГРАММИРОВАНИЯ DELPHI
Латушкина Л.Л.
ПЛАНИРОВАНИЕ ИСПЫТАНИЙ И ПОСТРОЕНИЕ РЕГРЕССИОННЫХ МОДЕЛЕЙ УДЕЛЬНОГО ИМПУЛЬСА ТЯГИ ЖИДКОСТНЫХ РАКЕТНЫХ ДВИГАТЕЛЕЙ ТЯГОЙ ОТ 10 ДО 420 Н
Коломенцев А.И., Хохлов А.Н.
Алгоритмы диспетчеризации вычислений и их применение в бортовом программном обеспечении спутников связи и навигации
Кондратьев К.А., Шумаков Н.Н., Колташев А.А.
АНАЛИЗ ПРИМЕНЕНИЯ МОДЕЛИ ОЦЕНКИ НАДЕЖНОСТИ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ ПРЕДПРИЯТИЕМ
Кулягин В.А.
Система формирования состава мультиверсионного программного обеспечения в реальном времени
Соловьев Е.В.
Модели ГЕРТ-сетей для различных способов применения методологии мультиверсий
Ковалев И.В., Зеленков П.В., Сарамуд М.В., Сидорова Г.А., Брезицкая В.В.
ПРИМЕНЕНИЕ МЕТОДА НАГРУЗОЧНОГО ТЕСТИРОВАНИЯ ПРИ НАЗЕМНОЙ ЭКСПЕРИМЕНТАЛЬНОЙ ОТРАБОТКЕ БЛОКОВ УПРАВЛЕНИЯ СИСТЕМ НАВЕДЕНИЯ АНТЕНН
Кудряшова Г.В., Бабанов Д.А., Галимзянов А.Т.
Комплекс механическогоанализа бортовой аппаратуры и проблема адекватности конечно-элементных моделей
Хвалько А.А., Бутов В.Г., Жуков А.П., Сунцов С.Б., Ящук А.А.
ПОВЫШЕНИЕ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СЛОЖНЫХ СИСТЕМ
Жуков В.Г., Шеенок Д.А., Терсков В.А.
Проблемы программной реализации мультиверсионной среды исполнения алгоритмов обработки информации в системах управления
Ковалев И.В.
Минимизация межмодульного интерфейса для обеспечения надежности мультиверсионного программного комплекса
Ковалев И.В., Нургалеева Ю.А., Шахматов А.В., Чекмарев С.А., Лукин Ф.А.
НАПРАВЛЕНИЯ МОДЕРНИЗАЦИИ АППАРАТНОЙ ЧАСТИ И ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ РАДИОНАВИГАЦИОННОЙ СИСТЕМЫ «КРАБИК-БМ»
Алешечкин А.М., Феоктистов Д.С.
ПРОБЛЕМЫ ОТРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ БОРТОВОЙ РАДИОЭЛЕКТРОННОЙ АППАРАТУРЫ
Жариков В.Н., Пичкалев А.В.
ПРОГРАММНЫЙ КОМПЛЕКС РАСЧЕТА ДАВЛЕНИЯ В СМАЗОЧНОМ СЛОЕ ПОДШИПНИКА СКОЛЬЖЕНИЯ
Иванов В.А.
1 - 53 из 53 результатов
Подсказки:
  • Ключевые слова чувствительны к регистру
  • Английские предлоги и союзы игнорируются
  • По умолчанию поиск проводится по всем ключевым словам (агенс AND экспериенцер)
  • Используйте OR для поиска того или иного термина, напр. образование OR обучение
  • Используйте скобки для создания сложных фраз, напр. архив ((журналов OR конференций) NOT диссертаций)
  • Для поиска точной фразы используйте кавычки, напр. "научные исследования"
  • Исключайте слово при помощи знака - (дефис) или оператора NOT; напр. конкурс -красоты или же конкурс NOT красоты
  • Используйте * в качестве версификатора, напр. научн* охватит слова "научный", "научные" и т.д.

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах