• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Методы оценки надежности программных и технических систем
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
22 мая 2026 г.
Лаборатория живых смыслов: как проект НИУ ВШЭ и СахГУ переосмысляет труд
Проект «Зеркальные лаборатории» НИУ ВШЭ — Пермь и Сахалинского государственного университета (СахГУ) изучает, как культура, среда и технологии формируют и меняют трудовые смыслы. Исследование объединяет индивидуальный опыт, профессиональные нормы, городские проблемы, творческие практики и цифровые условия труда. Руководитель Лаборатории междисциплинарных исследований по антропологии труда НИУ ВШЭ в Перми Лилия Пантелеева рассказала о работе проекта.
21 мая 2026 г.
«Пик глупости» и «долина отчаяния»: экономисты НИУ ВШЭ предложили объяснение эффекта Даннинга - Крюгера
Эффект Даннинга — Крюгера, который описывает резкий всплеск уверенности в своих силах у новичков и такое же стремительное ее падение при наборе опыта, объясняется особенностями процесса обучения и набора новых знаний. К такому выводу пришли сотрудник факультета экономических наук НИУ ВШЭ Андрей Ворчик вместе с независимым исследователем Муратом Мамышевым. Они разработали математическую модель процесса обучения и показали, как формируется и изменяется субъективная уверенность по мере накопления знаний и как  преподаватель может уменьшить «долину отчаяния» для ученика.
20 мая 2026 г.
«Еж» против «родственника»: ученые измерили, как мозг реагирует на неожиданные слова в живой речи
Российские нейрофизиологи с участием исследователей из НИУ ВШЭ показали, что изучать восприятие живой речи можно с помощью вызванных потенциалов. Они доказали, что метод применим не только к отдельным словам, но и к непрерывной речи. Оказалось, что слова, сильно отличающиеся по смыслу от предыдущего контекста, мозг обрабатывает дольше, а служебные слова анализирует в два этапа: сначала определяет их грамматическую роль, а затем на этой основе предсказывает следующее слово. Исследование опубликовано в журнале Frontiers in Human Neuroscience.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Методы оценки надежности программных и технических систем

Труды Института системного программирования РАН. 2019. Т. 31. № 5. С. 95–108.
Лаврищева Е. М., Зеленов С. В., Пакулин Н. В.

Определяются основные методы обеспечения и оценки надежности и безопасности программно-технических систем в процессах их жизненного цикла, a также сбора сведений о возникающих в системах ошибках, дефектах и отказах для последующих изменений. Рассматривается стандартная модель надежности и дается характеристика базовых показателей, среди которых присутствует показатель надежности; функциональность и безопасность составляют основу измерения надежности. Приводится классификация моделей надежности, дается характеристика моделей оценочного типов, используемых при проверке показателей надежности компонентов программно-технических систем. Обсуждаются экспериментальные результаты применения оценочных моделей надежности к разным размерам программных компонентов программно-технических систем и приводится оценка результатов измерения показателя надежности на этих компонентах с учетом плотности дефектов, интенсивности отказов и восстанавливаемости. Отмечается важность обеспечения надежности и безопасности (dependability and safety) систем в рамках новых стандартов интеллектуальных систем и Интернета вещей.

Приоритетные направления: компьютерно-математическое
Язык: русский
DOI
Ключевые слова: рискнадежностьтестированиеошибкаотказбезопасность авиаперевозокдефектумные компьютеры
Похожие публикации
ML-based Fast Simulation of FARICH Responses
Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.
Добавлено: 19 мая 2026 г.
Natural hazard database from Internet publications: text mining with a large language model
Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.
Добавлено: 28 апреля 2026 г.
Ising models on the hydrogen peroxide and other lattices
Qin X., Deng Y., Щур Л. Н. и др., / Series arXiv "math". 2026. No. 2603.02962.
Добавлено: 20 апреля 2026 г.
Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena
Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.
Добавлено: 20 апреля 2026 г.
Русскоязычная версия Шкалы экотревожности Хогг (HEAS-RU)
Нартова-Бочавер С. К., Стакина Ю. М., Тренина М. Е. и др., Клиническая и специальная психология 2026 Т. 15 № 1 С. 166–181
Контекст и актуальность. Экотревожность — это беспокойство, возникающее у человека в связи с реальными и возможными природными изменениями и катастрофами. Экотревожность представляет собой весомый дестабилизатор человеческой активности и потому нуждается в контроле или интервенциях, что требует наличия инструмента для оценки ее выраженности. Цель. Исследование направлено на адаптацию Шкалы экотревожности Хогг (Hogg Eco-Anxiety Scale, HEAS) в ...
Добавлено: 18 апреля 2026 г.
Using predefined vector systems to speed up neural network multimillion class classification
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Энергоэффективный модульный электродвигатель для тихоходных установок черной металлургии
Курилин С. П., Ясницкий Л. Н., Черные металлы 2025 № 8(1124) С. 81–87
Рассмотрена модернизация электроприводов тихоходных технологических установок черной металлургии: вращающихся печей, конвертеров, обжиговых и агломерационных машин. Целью исследования является повышение КПД и надежности электроприводов установок путем частичной передачи функции редуцирования частоты вращения специальному электродвигателю, а также в ходе реализации модульного принципа построения электродвигателя. Прикладная задача исследования состоит в разработке энергоэффективного модульного электродвигателя для электропривода обжиговой машины ...
Добавлено: 15 февраля 2026 г.
Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Implementing Transport Coding in OMNeT++ for Message Delay Reduction
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
Determining the boundary of dynamical chaos in the generalized Chirikov map via machine learning
Чернышов Д. П., Сатанин А. М., Щур Л. Н., / Series arXiv "math". 2025.
Добавлено: 21 ноября 2025 г.
Факторы отношения преподавателей вузов к тестам как методу оценивания образовательных результатов
Устинова Н. П., Антипкина И. В., Мир психологии. Научно-методический журнал 2025 № 3(122) С. 143–154
В исследовании изучались факторы отношения преподавателей вузов к тестам как методу оценивания образовательных результатов. На выборке 160 преподавателей вузов было показано, что более негативное отношение к тестам было отрицательно связано с самооценкой знаний преподавателя в области методологии создания тестов и тестирования (r = -0,34) и положительно - с оценкой административного давления со стороны вуза в ...
Добавлено: 20 ноября 2025 г.
Эффективный алгоритм торговли на фондовом рынке: ретроспективный анализ, основанный на данных по S&P-500.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Адаптация шкалы метапознания из опросника саморегуляции DAACS при участии российских подростков
Ахмеджанова Д. Р., Окунола А. О., Психологическая наука и образование 2025 Т. 30 № 5 С. 91–104
Контекст и актуальность. Метапознание – это контроль над своими мыслями. На данный момент нет ни одного надежного инструмента, измеряющего навыки метапознания у российских подростков в школьном контексте. Цель. Адаптировать и валидизировать шкалу метапознания при участии российских школьников. Гипотеза. Адаптация и валидизация шкалы метапознания из опросника саморегуляции DAACS позволит получить психометрические характеристики методики, необходимые для преодоления дефицита современного надежного ...
Добавлено: 7 ноября 2025 г.
Разработанный подход для проведения аудита на предприятиях для прогнозирования качества радиоэлектронной аппаратуры
Цветков В. Э., Зубрильцев Е. Е., Мешочков Д. М. и др., В кн.: Фундаментальные, поисковые, прикладные исследования и инновационные проекты: сборник трудов IV Национальной научно-практической конференции.: М.: Ассоциация выпускников и сотрудников ВВИА им. проф. Жуковского, 2025. С. 391–395.
В статье рассмотрены методы проведения аудита для оценки качества радиоэлектронной аппаратуры, что критически важно для обеспечения показателей надежности и качества аппаратуры в высокотехнологичных отраслях электроники. Рассмотрены этапы жизненного цикла радиоэлектронной аппаратуры, включая периоды приработки, нормальной эксплуатации и старения, а также проанализировано их влияние на стратегии управления надежностью. Проведен обзор и анализ международных подходов проведения аудита, ...
Добавлено: 12 октября 2025 г.
Комплексный подход к оценке надёжности электронных модулей телекоммуникационных систем
Буцкий Д. О., Зубрильцев Е. Е., В кн.: 32 Всероссийская межвузовская научно-техническая конференция студентов, аспирантов и молодых ученых с международным участием "Микроэлектроника и информатика – 2025" (Зеленоград, 24–25 апреля 2025 г.). Тезисы докладов.: М.: МИЭТ, 2025. С. 147–147.
Добавлено: 12 октября 2025 г.
Обзор и анализ современных CAQ-систем для управления качеством технологического процесса на предприятиях
Буцкий Д. О., Цветков В. Э., Королев П. С. и др., В кн.: ХХХ Международный симпозиум «Надёжность и качество»Т. 1.: Пенза: Пензенский государственный университет, 2025. С. 103–106.
Рассматривается применение CAQ-систем при управлении качеством производства электронной аппаратуры. Проанализированы как зарубежные, так и отечественные решения в области автоматизированного контроля качества, включая CAQ.Net, Q-DAS и АИСМК от компании «Алинги». Сделан акцент на их функциональные возможности и недостатки в контексте специфики производства радиоэлектронных компонентов. Установлено, что большинство существующих решений не в полной мере адаптированы к нуждам ...
Добавлено: 12 октября 2025 г.
ХХХ Международный симпозиум «Надёжность и качество»
Пенза: Пензенский государственный университет, 2025.
Представлены тезисы докладов. ...
Добавлено: 12 октября 2025 г.
Метод проведения комплексного аудита для оценки качества электронных модулей радиотехнических систем
Цветков В. Э., Буцкий Д. О., Зубрильцев Е. Е., В кн.: 51-я Международная молодёжная научная конференция «Гагаринские чтения — 2025». Сборник тезисов докладов.: М.: Издательство "Перо", 2025. С. 357–358.
Добавлено: 12 октября 2025 г.
Анализ влияния внешних и внутренних факторов на надежность электронных средств
Костюк А. А., Мкртчян Г. А., Ландер Л. Б., В кн.: 51-я Международная молодёжная научная конференция «Гагаринские чтения — 2025». Сборник тезисов докладов.: М.: Издательство "Перо", 2025. С. 343–344.
Добавлено: 12 октября 2025 г.
Сравнительный анализ зарубежных подходов к оценке качества проектирования и производства электронных модулей телекоммуникационных систем
Цветков В. Э., Мкртчян Г. А., Ландер Л. Б. и др., В кн.: XXIX Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов им. Е.В. Арменского. Москва, 22–28 апреля 2025 года.: М.: МИЭМ НИУ ВШЭ, 2025.
В работе приведён анализ подходов ведущих стран мира к оценке качества проектирования и производства электронных модулей (ЭМ) телекоммуникационных систем и радиотехнических устройств (РУ). Рассмотрены методы оценки надёжности (безотказности) ЭМ от первого уровня и выше в соответствии с американским и французским национальными стандартами. Также в работе предложена оригинальная дифференциальная методика оценки качества производства телекоммуникационных систем, учитывающая ...
Добавлено: 12 октября 2025 г.
Разработка метода многофакторного прогнозирования показателей надежности систем промышленного интернета вещей
Цветков В. Э., Ландер Л. Б., Королев П. С., Наноиндустрия 2025 Т. 18 № S11-3(135) С. 1219–1232
Проведен анализ современных подходов к прогнозированию надежности систем промышленного интернета вещей (IIoT), их преимущества и недостатки. В результате разработан уточненный метод многофакторной оценки показателей надежности систем IIoT. ...
Добавлено: 6 октября 2025 г.
Diffusion on language model embeddings for protein sequence generation
Мещанинов В. П., Strashnov, P., Shevtsov A. и др., / Cornell University. Серия CoRR, arXiv:2403.03726 "Computing Research Repository,". 2025.
Дизайн белков требует глубокого понимания присущей сложности «белкового вселенной». Хотя многие работы ориентируются на условную генерацию или сосредоточены на отдельных семействах белков, базовая задача безусловной генерации остаётся недостаточно изученной и недооценённой. В этой работе мы исследуем именно этот ключевой аспект и представляем DiMA — модель, которая использует непрерывную диффузию по эмбеддингам, полученным из языковой модели для белков ESM-2, ...
Добавлено: 5 октября 2025 г.
Smoothie: Smoothing Diffusion on Token Embeddings for Text Generation
Шабалин А. М., Мещанинов В. П., Vetrov D., / Series cs.CL, arXiv:2505.18853 "Computation and Language". 2025.
Диффузионные модели достигли передовых результатов в генерации изображений, аудио и видео, однако их адаптация к тексту остаётся сложной из-за его дискретной природы. Ранее подходы либо применяют гауссовскую диффузию в непрерывных латентных пространствах, что наследует семантическую структуру, но затрудняет декодирование токенов, либо работают в пространстве категориального симплекса, что учитывает дискретность, но игнорирует семантические связи между токенами. ...
Добавлено: 5 октября 2025 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору