Поиск

Выпуск
Название
Авторы
Том 20, № 2 (2019)
Применение программно-математических моделей бортовой аппаратуры при разработке бортового программного обеспечения
Ломаев Ю.С., Иванов И.А., Толстых А.В., Ислентьев Е.В.
PDF
(Eng)
Том 22, № 1 (2021)
Мультиверсионная модель программного обеспечения систем управления космическим аппаратом с ранжированием принятия решения
Карцан И.Н., Ефремова С.В.
PDF
(Rus) PDF
(Eng)
Том 21, № 3 (2020)
Математическая модель надёжности аппаратно-программных комплексов обработки информации для систем управления реального времени
Ааб А.В., Галушин П.В., Попова А.В., Терсков В.А.
PDF
(Eng)
Том 21, № 2 (2020)
Применение программно-математических моделей бортовой аппаратуры при разработке бортового программного обеспечения
Ломаев Ю.С., Иванов И.А., Толстых А.В., Ислентьев Е.В.
PDF
(Eng)
Том 11, № 1 (2010)
Основные принципы системного тестирования и подтверждения бортового программного обеспечения спутников
Колташев А.А.
PDF
(Rus)
Том 10, № 3 (2009)
Модели модульной декомпозиции программного обеспечения технологических циклов управления
Антамошкин О.А., Нургалеева Ю.А., Усачев А.В.
PDF
(Rus)
Том 15, № 4 (2014)
Проблемы программной реализации мультиверсионной среды исполнения алгоритмов обработки информации в системах управления
Ковалев И.В.
PDF
(Rus)
Том 18, № 4 (2017)
ИССЛЕДОВАНИЕ МЕТОДОВ ПРОЦЕССА РАЗРАБОТКИ И ЭКСПЛУАТАЦИИ ПРОГРАММНОГО ПРОДУКТА
Абенова Ж.С., Петров М.Н.
PDF
(Rus)
Том 10, № 1-2 (2009)
ИСПОЛЬЗОВАНИЕ МЕТОДА ДИАКОПТИКИ ДЛЯ АНАЛИЗА НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Колесов К.В.
PDF
(Rus)
Том 15, № 2 (2014)
Модификация стандартного алгоритма муравьиной колонии для решения задачи формирования мультиверсионного программного обеспечения
Ковалев Д.И., Клименко А.В., Соловьев Е.В., Туева Е.В.
PDF
(Rus)
Том 16, № 3 (2015)
НАПРАВЛЕНИЯ МОДЕРНИЗАЦИИ АППАРАТНОЙ ЧАСТИ И ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ РАДИОНАВИГАЦИОННОЙ СИСТЕМЫ «КРАБИК-БМ»
Алешечкин А.М., Феоктистов Д.С.
Том 13, № 5 (2012)
ОЦЕНКА ЗАТРАТ НА МОДЕРНИЗАЦИЮ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ КРИТИЧЕСКИХ ПО НАДЕЖНОСТИ СИСТЕМ
Кукарцев В.В., Шеенок Д.А.
PDF
(Rus)
Том 15, № 1 (2014)
Модификация муравьиного алгоритма для задачи формирования мультиверсионного программного обеспечения
Ковалев И.В., Карасева М.В., Соловьев Е.В.
PDF
(Rus)
Том 13, № 5 (2012)
ПОВЫШЕНИЕ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СЛОЖНЫХ СИСТЕМ
Жуков В.Г., Шеенок Д.А., Терсков В.А.
PDF
(Rus)
Том 15, № 1 (2014)
Развитие методов эквивалентного преобразования ГЕРТ-сетей для анализа мультиверсионного программного обеспечения
Ковалев Д.И., Сарамуд М.В., Карасева М.В., Нургалеева Ю.А.
PDF
(Rus)
Том 13, № 1 (2012)
ПРОБЛЕМЫ ОТРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ БОРТОВОЙ РАДИОЭЛЕКТРОННОЙ АППАРАТУРЫ
Жариков В.Н., Пичкалев А.В.
PDF
(Rus)
Том 14, № 4 (2013)
ПЛАНИРОВАНИЕ ИСПЫТАНИЙ И ПОСТРОЕНИЕ РЕГРЕССИОННЫХ МОДЕЛЕЙ УДЕЛЬНОГО ИМПУЛЬСА ТЯГИ ЖИДКОСТНЫХ РАКЕТНЫХ ДВИГАТЕЛЕЙ ТЯГОЙ ОТ 10 ДО 420 Н
Коломенцев А.И., Хохлов А.Н.
PDF
(Rus)
Том 11, № 3 (2010)
Основные виды избыточности, применяемые в бортовом программном обеспечении для надежного
Кондратьев К.А., Шумаков Н.Н., Ерохов П.М., Хохлова А.В., Колташев А.А.
PDF
(Rus)
Том 13, № 4 (2012)
Анализ вероятностно-временных характеристик отказоустойчивого программного обеспечения распределенных вычислительных систем
Царев Р.Ю., Штарик А.В., Штарик Е.Н., Кочергина М.А., Панфилова Т.А.
PDF
(Rus)
Том 14, № 1 (2013)
Модели ГЕРТ-сетей для различных способов применения методологии мультиверсий
Ковалев И.В., Зеленков П.В., Сарамуд М.В., Сидорова Г.А., Брезицкая В.В.
PDF
(Rus)
Том 11, № 3 (2010)
Алгоритмы диспетчеризации вычислений и их применение в бортовом программном обеспечении спутников связи и навигации
Кондратьев К.А., Шумаков Н.Н., Колташев А.А.
PDF
(Rus)
Том 15, № 2 (2014)
Система формирования состава мультиверсионного программного обеспечения в реальном времени
Соловьев Е.В.
PDF
(Rus)
Том 20, № 1 (2019)
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА ПОВЫШЕНИЯ КАЧЕСТВА ПОЛИМЕРНЫХ ИЗДЕЛИЙ МАШИНОСТРОИТЕЛЬНОГО НАЗНАЧЕНИЯ
Ларченко А.Г., Филиппенко Н.Г., Лившиц А.В.
PDF
(Rus)
Том 15, № 3 (2014)
Анализ проблем в области исследования надежности программного обеспечения: многоэтапность и архитектурный аспект
Ковалев И.В.
PDF
(Rus)
Том 18, № 1 (2017)
ПРОГРАММНАЯ ПОДДЕРЖКА ИСПЫТАНИЙ крупногабаритных трансформируемых антенн И оценка параметров функционирования СИСТЕМы компенсации весовой составляющей
Ковалев И.В., Баданина Ю.О.
PDF
(Rus)
1 - 25 из 25 результатов
Подсказки:
  • Ключевые слова чувствительны к регистру
  • Английские предлоги и союзы игнорируются
  • По умолчанию поиск проводится по всем ключевым словам (агенс AND экспериенцер)
  • Используйте OR для поиска того или иного термина, напр. образование OR обучение
  • Используйте скобки для создания сложных фраз, напр. архив ((журналов OR конференций) NOT диссертаций)
  • Для поиска точной фразы используйте кавычки, напр. "научные исследования"
  • Исключайте слово при помощи знака - (дефис) или оператора NOT; напр. конкурс -красоты или же конкурс NOT красоты
  • Используйте * в качестве версификатора, напр. научн* охватит слова "научный", "научные" и т.д.

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

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

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