Программирование

Содержание

Номер 4, 2022

ПРОГРАММНАЯ ИНЖЕНЕРИЯ, ТЕСТИРОВАНИЕ И ВЕРИФИКАЦИЯ ПРОГРАММ

ПРОГНОЗИРОВАНИЕ СТЕПЕНИ ПОРАЖЕНИЯ ЛЕГКИХ ПРИ COVID-19 НА ОСНОВЕ МЕТОДОВ МАШИННОГО ОБУЧЕНИЯ
Ю. А. Васильев, М. И. Петровский, И. В. Машечкин, Л. Л. Панкратьева

Информация о статьеПолный текст (PDF)

3-16

АНАЛИЗ СТРУКТУРНОГО ПОКРЫТИЯ ТОЧЕК ВХОДА И ВЫХОДА, НЕОБХОДИМЫЙ ДЛЯ ДОСТИЖЕНИЯ ЦЕЛЕЙ, ОПРЕДЕЛЕННЫХ В DO-178C
В. П. Козырев

Информация о статьеПолный текст (PDF)

17-26

ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ

КОНТРОЛЬ ИНФОРМАЦИОННЫХ ПОТОКОВ В ПРОГРАММНЫХ БЛОКАХ БАЗ ДАННЫХ НА ОСНОВЕ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ
А. А. Тимаков

Информация о статьеПолный текст (PDF)

27-49

КОМПЬЮТЕРНАЯ АЛГЕБРА

АЛГОРИТМ ВЫЧИСЛЕНИЯ РЕШЕНИЯ ЗАДАЧИ КОШИ ДЛЯ ДВУМЕРНОГО РАЗНОСТНОГО УРАВНЕНИЯ С НАЧАЛЬНЫМИ ДАННЫМИ, ЗАДАННЫМИ В “ПОЛОСЕ”
М. С. Апанович, А. П. Ляпин, К. В. Шадрин

Информация о статьеПолный текст (PDF)

50-56

РАЗЛОЖЕНИЕ ЗАМКНУТОЙ КВАНТОВОЙ СИСТЕМЫ НА ПОДСИСТЕМЫ В КОНЕЧНОЙ КВАНТОВОЙ МЕХАНИКЕ
В. В. Корняк

Информация о статьеПолный текст (PDF)

57-64

Информация о выпуске

Программирование